[Mlir-commits] [mlir] [MLIR][IntRange] Materialize known constant values only when the value type is integer-like (PR #196133)

[Krzysztof Drewniak]

================
@@ -2808,6 +2799,17 @@ def TestLoopTypesCompatOp : TEST_Op<"loop_types_compat",
   let regions = (region SizedRegion<1>:$body);
 }
 
+def TestRegionTypeChangerOp : TEST_Op<"region_type_changer",
----------------
krzysz00 wrote:

Basically, I'm trying to understand why dataflow analysis naively ported the results from the integers in the `yield` to the results of this operation ... since I'd expect that not to be automatic, and to have required manual intervention on your part. I'm wondering if this bug is the result of violating the interface contract for RegionBranchOpInterface.

https://github.com/llvm/llvm-project/pull/196133