15 lines · plain
1// RUN: mlir-opt %s -test-cf-assert \2// RUN: -convert-func-to-llvm -convert-arith-to-llvm | \3// RUN: mlir-runner -e main -entry-point-result=void | \4// RUN: FileCheck %s5 6func.func @main() {7 %a = arith.constant 0 : i18 %b = arith.constant 1 : i19 // CHECK: assertion foo10 cf.assert %a, "assertion foo"11 // CHECK-NOT: assertion bar12 cf.assert %b, "assertion bar"13 return14}15