39 lines · plain
1// RUN: mlir-opt %s -gpu-lower-to-nvvm-pipeline="cubin-format=%gpu_compilation_format allow-pattern-rollback=0" \2// RUN: | mlir-runner \3// RUN: --shared-libs=%mlir_cuda_runtime \4// RUN: --shared-libs=%mlir_runner_utils \5// RUN: --entry-point-result=void 2>&1 \6// RUN: | FileCheck %s7 8// CHECK-DAG: thread 0: print after passing assertion9// CHECK-DAG: thread 1: print after passing assertion10// CHECK-DAG: callee_file.cc:7: callee_func_name: block: [0,0,0], thread: [0,0,0] Assertion `failing assertion` failed.11// CHECK-DAG: callee_file.cc:7: callee_func_name: block: [0,0,0], thread: [1,0,0] Assertion `failing assertion` failed.12// CHECK-NOT: print after failing assertion13 14module attributes {gpu.container_module} {15gpu.module @kernels {16gpu.func @test_assert(%c0: i1, %c1: i1) kernel {17 %0 = gpu.thread_id x18 cf.assert %c1, "passing assertion"19 gpu.printf "thread %lld: print after passing assertion\n", %0 : index20 // Test callsite(callsite(name)) location.21 cf.assert %c0, "failing assertion" loc(callsite(callsite("callee_func_name"("callee_file.cc":7:9) at "caller_file.cc":10:8) at "caller2_file.cc":11:12))22 gpu.printf "thread %lld: print after failing assertion\n", %0 : index23 gpu.return24}25}26 27func.func @main() {28 %c2 = arith.constant 2 : index29 %c1 = arith.constant 1 : index30 %c0_i1 = arith.constant 0 : i131 %c1_i1 = arith.constant 1 : i132 gpu.launch_func @kernels::@test_assert33 blocks in (%c1, %c1, %c1)34 threads in (%c2, %c1, %c1)35 args(%c0_i1 : i1, %c1_i1 : i1)36 return37}38}39