[Mlir-commits] [mlir] [mlir] IntegerRangeAnalysis: return initialized state for noninteger values (PR #133541)

[LLVM Continuous Integration]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `mlir-s390x-linux` running on `systemz-1` while building `mlir` at step 6 "test-build-unified-tree-check-mlir".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/117/builds/8172

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 6 (test-build-unified-tree-check-mlir) failure: test (failure)
******************** TEST 'MLIR :: Dialect/Arith/int-range-interface.mlir' FAILED ********************
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
/home/uweigand/sandbox/buildbot/mlir-s390x-linux/build/bin/mlir-opt -allow-unregistered-dialect -int-range-optimizations -canonicalize /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir | /home/uweigand/sandbox/buildbot/mlir-s390x-linux/build/bin/FileCheck /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# executed command: /home/uweigand/sandbox/buildbot/mlir-s390x-linux/build/bin/mlir-opt -allow-unregistered-dialect -int-range-optimizations -canonicalize /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# executed command: /home/uweigand/sandbox/buildbot/mlir-s390x-linux/build/bin/FileCheck /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# .---command stderr------------
# | /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir:1022:12: error: CHECK: expected string not found in input
# |  // CHECK: [[OUTS:%.*]]:2 = scf.for
# |            ^
# | <stdin>:439:40: note: scanning from here
# |  func.func @noninteger_operation_result(%arg0: index, %arg1: index, %arg2: index, %arg3: i1) {
# |                                        ^
# | <stdin>:440:2: note: possible intended match here
# |  %c1_i32 = arith.constant 1 : i32
# |  ^
# | 
# | Input file: <stdin>
# | Check file: /home/uweigand/sandbox/buildbot/mlir-s390x-linux/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |               .
# |               .
# |               .
# |             434:  return 
# |             435:  } 
# |             436:  func.func @zero_trip_loop2() { 
# |             437:  return 
# |             438:  } 
# |             439:  func.func @noninteger_operation_result(%arg0: index, %arg1: index, %arg2: index, %arg3: i1) { 
# | check:1022'0                                            X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# |             440:  %c1_i32 = arith.constant 1 : i32 
# | check:1022'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:1022'1      ?                                 possible intended match
# |             441:  %0 = "some_fp_op"() : () -> f32 
# | check:1022'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             442:  %1 = scf.for %arg4 = %arg0 to %arg1 step %arg2 iter_args(%arg5 = %c1_i32) -> (i32) { 
# | check:1022'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             443:  %3 = "some_int_op"() : () -> i32 
# | check:1022'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             444:  scf.yield %3 : i32 
# | check:1022'0     ~~~~~~~~~~~~~~~~~~~~
# |             445:  } 
# | check:1022'0     ~~~
...

```

</details>

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