1// RUN: mlir-opt %s -gpu-lower-to-nvvm-pipeline="cubin-format=%gpu_compilation_format" \ 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 %s 7 8// CHECK-DAG: thread 0: print after passing assertion 9// CHECK-DAG: thread 1: print after passing assertion 10// 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 assertion 13 14module attributes {gpu.container_module} { 15gpu.module @kernels { 16gpu.func @test_assert(%c0: i1, %c1: i1) kernel { 17 %0 = gpu.thread_id x 18 cf.assert %c1, "passing assertion" 19 gpu.printf "thread %lld: print after passing assertion\n", %0 : index 20 // 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 : index 23 gpu.return 24} 25} 26 27func.func @main() { 28 %c2 = arith.constant 2 : index 29 %c1 = arith.constant 1 : index 30 %c0_i1 = arith.constant 0 : i1 31 %c1_i1 = arith.constant 1 : i1 32 gpu.launch_func @kernels::@test_assert 33 blocks in (%c1, %c1, %c1) 34 threads in (%c2, %c1, %c1) 35 args(%c0_i1 : i1, %c1_i1 : i1) 36 return 37} 38} 39