| // RUN: mlir-opt %s -buffer-deallocation-pipeline --allow-unregistered-dialect | FileCheck %s |
| |
| func.func @gpu_launch() { |
| %c1 = arith.constant 1 : index |
| gpu.launch blocks(%arg0, %arg1, %arg2) in (%arg6 = %c1, %arg7 = %c1, %arg8 = %c1) |
| threads(%arg3, %arg4, %arg5) in (%arg9 = %c1, %arg10 = %c1, %arg11 = %c1) { |
| %alloc = memref.alloc() : memref<2xf32> |
| "test.read_buffer"(%alloc) : (memref<2xf32>) -> () |
| gpu.terminator |
| } |
| return |
| } |
| |
| // CHECK-LABEL: func @gpu_launch |
| // CHECK: gpu.launch |
| // CHECK: [[ALLOC:%.+]] = memref.alloc( |
| // CHECK: memref.dealloc [[ALLOC]] |
| // CHECK: gpu.terminator |