1// RUN: mlir-opt %s --gpu-to-llvm | FileCheck %s
2
3module attributes {gpu.container_module} {
4  // CHECK-LABEL: llvm.func @main
5  // CHECK-SAME: %[[size:.*]]: i64
6  func @main(%size : index) {
7    // CHECK: %[[stream:.*]] = llvm.call @mgpuStreamCreate()
8    %0 = gpu.wait async
9    // CHECK: %[[gep:.*]] = llvm.getelementptr {{.*}}[%[[size]]]
10    // CHECK: %[[size_bytes:.*]] = llvm.ptrtoint %[[gep]]
11    // CHECK: llvm.call @mgpuMemAlloc(%[[size_bytes]], %[[stream]])
12    %1, %2 = gpu.alloc async [%0] (%size) : memref<?xf32>
13    // CHECK: %[[float_ptr:.*]] = llvm.extractvalue {{.*}}[0]
14    // CHECK: %[[void_ptr:.*]] = llvm.bitcast %[[float_ptr]]
15    // CHECK: llvm.call @mgpuMemFree(%[[void_ptr]], %[[stream]])
16    %3 = gpu.dealloc async [%2] %1 : memref<?xf32>
17    // CHECK: llvm.call @mgpuStreamSynchronize(%[[stream]])
18    // CHECK: llvm.call @mgpuStreamDestroy(%[[stream]])
19    gpu.wait [%3]
20    return
21  }
22}
23