| /llvm-project/mlir/test/Dialect/Bufferization/Transforms/OwnershipBasedBufferDeallocation/ |
| H A D | dealloc-subviews.mlir | 1 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation \
2 // RUN: --buffer-deallocation-simplification -split-input-file %s | FileCheck %s
3 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation=private-function-dynamic-…
5 // RUN: mlir-opt %s -buffer-deallocation-pipeline --split-input-file > /dev/null
|
| H A D | dealloc-function-boundaries.mlir | 1 …llow-unregistered-dialect -verify-diagnostics -ownership-based-buffer-deallocation=private-functio…
2 // RUN: --buffer-deallocation-simplification -split-input-file %s | FileCheck %s
3 …llow-unregistered-dialect -verify-diagnostics -ownership-based-buffer-deallocation=private-functio…
4 // RUN: --buffer-deallocation-simplification -split-input-file %s | FileCheck %s --check-prefix=CH…
6 // RUN: mlir-opt %s -buffer-deallocation-pipeline --split-input-file > /dev/null
7 // RUN: mlir-opt %s -buffer-deallocation-pipeline=private-function-dynamic-ownership --split-input-…
86 // Test Case: buffer deallocation escaping
|
| H A D | dealloc-callop-interface.mlir | 1 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation=private-function-dynamic-…
2 // RUN: -buffer-deallocation-simplification -split-input-file %s | FileCheck %s
3 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation=private-function-dynamic-…
4 // RUN: --buffer-deallocation-simplification -split-input-file %s | FileCheck %s --check-prefix=C…
6 // RUN: mlir-opt %s -buffer-deallocation-pipeline --split-input-file > /dev/null
7 // RUN: mlir-opt %s -buffer-deallocation-pipeline=private-function-dynamic-ownership --split-input-…
29 // COM: deallocation ABI, however, the local alias analysis is not powerful
|
| H A D | dealloc-existing-deallocs.mlir | 1 …-opt -verify-diagnostics -expand-realloc=emit-deallocs=false -ownership-based-buffer-deallocation \
2 // RUN: --buffer-deallocation-simplification -split-input-file %s | FileCheck %s
4 // RUN: mlir-opt %s -buffer-deallocation-pipeline --split-input-file > /dev/null
|
| H A D | dealloc-other.mlir | 1 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation \
2 // RUN: --buffer-deallocation-simplification -canonicalize -split-input-file %s | FileCheck %s
44 // Buffer deallocation should not emit any error here as the operation does not
|
| H A D | misc-other.mlir | 1 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation -split-input-file %s
3 // Test Case: ownership-based-buffer-deallocation should not fail
|
| H A D | dealloc-memoryeffect-interface.mlir | 1 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation \
2 // RUN: --buffer-deallocation-simplification -split-input-file %s | FileCheck %s
3 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation=private-function-dynamic-…
5 // RUN: mlir-opt %s -buffer-deallocation-pipeline --split-input-file > /dev/null
141 // Only buffers that are under "manual deallocation" are allowed to be
|
| H A D | dealloc-helper-function.mlir | 1 // RUN: mlir-opt %s -buffer-deallocation-pipeline | FileCheck %s
2 // RUN: mlir-opt %s --pass-pipeline="builtin.module(buffer-deallocation-pipeline)" | FileCheck %s
|
| H A D | invalid-buffer-deallocation.mlir | 1 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation -split-input-file %s
90 // expected-error @below {{No deallocation operations must be present when running this pass!}}
|
| H A D | dealloc-branchop-interface.mlir | 1 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation \
2 // RUN: -buffer-deallocation-simplification -split-input-file %s | FileCheck %s
3 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation=private-function-dynamic-ownership=true -split-input-file %s > /dev/null
5 // RUN: mlir-opt %s -buffer-deallocation-pipeline --split-input-file > /dev/null
14 // passed to bb3. In the latter block, there should be a deallocation.
15 // Since bb1 does not contain an adequate alloc, the deallocation has to be
57 // appropriate shape dimensions. The copy buffer deallocation will be applied
341 // could do an unconditional deallocation on ALLOC0 and move it before the
440 // could do an unconditional deallocation on ALLOC0 and move it before the
|
| H A D | dealloc-region-branchop-interface.mlir | 1 …UN: mlir-opt -allow-unregistered-dialect -verify-diagnostics -ownership-based-buffer-deallocation \
2 // RUN: --buffer-deallocation-simplification -split-input-file %s | FileCheck %s
3 …llow-unregistered-dialect -verify-diagnostics -ownership-based-buffer-deallocation=private-functio…
5 // RUN: mlir-opt %s -buffer-deallocation-pipeline --split-input-file --verify-diagnostics > /dev/nu…
100 // Buffer deallocation places a copy for both %1 and %3, since they are
516 // deallocation because the operation's region does not deal with any MemRef
535 // not allowed during buffer deallocation.
651 // Expected result: deallocation should happen after affine.if op.
680 // Expected result: deallocation should happen after affine.if op.
|
| /llvm-project/mlir/include/mlir/Dialect/Bufferization/IR/ |
| H A D | BufferizationBase.td | 28 deallocation](/docs/OwnershipBasedBufferDeallocation/).
65 /// deallocation side effect. It indicates that the op is under a "manual
66 /// deallocation" scheme. In the case of an allocation op, the returned
68 /// ownership of "false". Furthermore, only deallocation ops that are
69 /// guaranteed to deallocate a buffer under "manual deallocation" are
71 /// attribute are rejected by the ownership-based buffer deallocation pass.)
|
| H A D | AllocationOpInterface.td | 10 // buffer deallocation pass.
27 construct associated deallocation and clone operations that are compatible
34 Builds a deallocation operation using the provided builder and the
38 deallocation operation, this method can return ::std::nullopt.
|
| H A D | BufferDeallocationOpInterface.td | 26 This method takes the current deallocation state and transformation
27 options and updates the deallocation state as necessary for the
33 deallocation pass. On success, either the current operation or one of
35 should continue the processing. On failure, the deallocation pass
|
| /llvm-project/mlir/test/Pass/ |
| H A D | pipeline-invalid.mlir | 2 // RUN: --pass-pipeline='any(buffer-deallocation)' --verify-diagnostics \
5 // Note: "buffer-deallocation" is a function pass. Any other function pass could
|
| /llvm-project/mlir/test/mlir-cpu-runner/ |
| H A D | simple.mlir | |
| /llvm-project/mlir/docs/ |
| H A D | OwnershipBasedBufferDeallocation.md | 8 `-ownership-based-buffer-deallocation` pass. This pass supersedes the now
9 deprecated `-buffer-deallocation` pass, which does not work well with
17 run together with the ownership-based buffer deallocation pass. The recommended
27 ownership-based-buffer-deallocation
31 buffer-deallocation-simplification
40 The entire deallocation pipeline (excluding `-one-shot-bufferize`) is exposed
41 as `-buffer-deallocation-pipeline`.
43 The ownership-based buffer deallocation pass processes operations implementing
50 (`--buffer-deallocation-simplification`) and the regular canonicalizer
52 `-ownership-based-buffer-deallocation` pass directly using
[all …]
|
| /llvm-project/clang-tools-extra/docs/clang-tidy/checks/misc/ |
| H A D | new-delete-overloads.rst | 18 … to CERT C++ Coding Standard rule `DCL54-CPP. Overload allocation and deallocation functions as a …
19 …t.org/confluence/display/cplusplus/DCL54-CPP.+Overload+allocation+and+deallocation+functions+as+a+…
|
| /llvm-project/mlir/test/Dialect/SCF/ |
| H A D | buffer-deallocation.mlir | 1 // RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation \
2 // RUN: -buffer-deallocation-simplification -split-input-file %s | FileCheck %s
|
| /llvm-project/llvm/docs/ |
| H A D | ScudoHardenedAllocator.rst | 52 - the Quarantine: offers a way to delay the deallocation operations, preventing
83 necessary for reallocation or sized-deallocation operations;
116 reclaiming. While Secondary mapped allocations can be unmapped on deallocation,
121 be zero filled on subsequent accesses). This is done in the deallocation path,
143 Your linked binary should now make use of the Scudo allocation and deallocation
217 | | | the actual deallocation of chunks. Lower value…
258 | | | deallocation stack traces for MTE fault …
347 - ``"allocation type mismatch"``: when the optional deallocation type mismatch
348 check is enabled, a deallocation function called on a chunk has to match the
|
| /llvm-project/compiler-rt/lib/scudo/standalone/ |
| H A D | flags.inc | 15 "deallocation of chunks. Lower value may reduce memory usage but "
28 "Terminate on a type mismatch in allocation-deallocation functions, "
|
| /llvm-project/clang-tools-extra/docs/clang-tidy/checks/objc/ |
| H A D | dealloc-in-category.rst | 12 override the class's implementation and unexpected deallocation behavior
|
| /llvm-project/clang-tools-extra/docs/clang-tidy/checks/clang-analyzer/ |
| H A D | cplusplus.InnerPointer.rst | 8 Check for inner pointers of C++ containers used after re/deallocation.
|
| /llvm-project/mlir/test/Dialect/GPU/ |
| H A D | bufferization-buffer-deallocation.mlir | 1 // RUN: mlir-opt %s -buffer-deallocation-pipeline --allow-unregistered-dialect | FileCheck %s
|
| /llvm-project/mlir/lib/Dialect/Bufferization/Transforms/ |
| H A D | BufferDeallocation.cpp | 673 BufferDeallocation deallocation(op); in deallocateBuffers() local
677 if (failed(deallocation.prepare())) in deallocateBuffers()
681 if (failed(deallocation.deallocate())) in deallocateBuffers()
|