| // RUN: mlir-opt %s -pass-pipeline='builtin.module(func.func(test-affine-reify-value-bounds))' \ |
| // RUN: -verify-diagnostics -split-input-file |
| |
| // Note: unstructured control flow (cf dialect) is not yet supported by the |
| // ValueBoundsOpInterface. Block arguments from non-entry blocks cannot have |
| // their bounds computed. The tests below verify that the infrastructure does |
| // not crash on such inputs and fails gracefully instead. |
| // See: https://github.com/llvm/llvm-project/issues/119861 |
| |
| // Regression test: ValueBoundsConstraintSet must not crash when asked to |
| // reify a bound for a non-entry block argument produced by unstructured |
| // control flow. |
| |
| func.func @no_crash_non_entry_block_arg(%n: index) -> index { |
| %c0 = arith.constant 0 : index |
| cf.br ^bb1(%c0 : index) |
| ^bb1(%i: index): |
| // expected-error@+1 {{'test.reify_bound' op could not reify bound}} |
| %bound = "test.reify_bound"(%i) {type = "UB"} : (index) -> index |
| "test.some_use"(%bound) : (index) -> () |
| %cond = arith.cmpi slt, %i, %n : index |
| %next = arith.addi %i, %c0 : index |
| cf.cond_br %cond, ^bb1(%next : index), ^bb2 |
| ^bb2: |
| return %i : index |
| } |
