Lines Matching refs:bufferization
22 // CHECK-NOT: bufferization.dealloc
24 // CHECK-NOT: bufferization.dealloc
26 // CHECK-NOT: bufferization.dealloc
28 // CHECK: bufferization.dealloc (%[[FIRST_ALLOC]] :{{.*}}) if (%true{{[0-9_]*}})
29 // CHECK: bufferization.dealloc (%[[SECOND_ALLOC]] :{{.*}}) if (%true{{[0-9_]*}})
51 // CHECK: bufferization.dealloc (%[[FIRST_ALLOC]] :{{.*}}) if (%true{{[0-9_]*}})
70 // CHECK: bufferization.dealloc (%[[ALLOC0]] :{{.*}}) if (%true{{[0-9_]*}})
88 // CHECK: bufferization.dealloc ([[BASE]] : {{.*}}) if ([[COND0]])
94 %0 = bufferization.clone %arg0 : memref<?x?xf64> to memref<?x?xf64>
95 %1 = bufferization.clone %arg1 : memref<?x?xf64> to memref<?x?xf64>
101 // CHECK: %[[RES0:.*]] = bufferization.clone %[[ARG0]]
102 // CHECK: %[[RES1:.*]] = bufferization.clone %[[ARG1]]
103 // CHECK-NEXT: bufferization.dealloc (%[[RES1]] :{{.*}}) if (%true{{[0-9_]*}})
124 // CHECK: [[CLONE:%.+]] = bufferization.clone [[GLOBAL]]
130 // Allocations with "bufferization.manual_deallocation" are assigned an
134 %0 = memref.alloc() {bufferization.manual_deallocation} : memref<5xf32>
146 memref.dealloc %0 {bufferization.manual_deallocation} : memref<5xf32>
153 // CHECK: %[[manual_alloc:.*]] = memref.alloc() {bufferization.manual_deallocation} : memre…
158 // CHECK: bufferization.dealloc (%[[managed_alloc]] : memref<5xf32>) if (%[[true]])