[Mlir-commits] [mlir] [mlir] IntegerRangeAnalysis: return initialized state for noninteger values (PR #133541)
LLVM Continuous Integration
llvmlistbot at llvm.org
Fri Mar 28 17:27:50 PDT 2025
llvm-ci wrote:
LLVM Buildbot has detected a new failure on builder `sanitizer-x86_64-linux-fast` running on `sanitizer-buildbot3` while building `mlir` at step 2 "annotate".
Full details are available at: https://lab.llvm.org/buildbot/#/builders/169/builds/9923
<details>
<summary>Here is the relevant piece of the build log for the reference</summary>
```
Step 2 (annotate) failure: 'python ../sanitizer_buildbot/sanitizers/zorg/buildbot/builders/sanitizers/buildbot_selector.py' (failure)
...
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/main.py:72: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 89805 tests, 88 workers --
Testing: 0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.
FAIL: MLIR :: Dialect/Arith/int-range-interface.mlir (41567 of 89805)
******************** TEST 'MLIR :: Dialect/Arith/int-range-interface.mlir' FAILED ********************
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
/home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/mlir-opt -allow-unregistered-dialect -int-range-optimizations -canonicalize /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir | /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/FileCheck /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# executed command: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/mlir-opt -allow-unregistered-dialect -int-range-optimizations -canonicalize /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# note: command had no output on stdout or stderr
# executed command: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/FileCheck /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# .---command stderr------------
# | /home/b/sanitizer-x86_64-linux-fast/build/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/b/sanitizer-x86_64-linux-fast/build/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
Step 10 (stage2/asan_ubsan check) failure: stage2/asan_ubsan check (failure)
...
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/main.py:72: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 89805 tests, 88 workers --
Testing: 0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.
FAIL: MLIR :: Dialect/Arith/int-range-interface.mlir (41567 of 89805)
******************** TEST 'MLIR :: Dialect/Arith/int-range-interface.mlir' FAILED ********************
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
/home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/mlir-opt -allow-unregistered-dialect -int-range-optimizations -canonicalize /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir | /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/FileCheck /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# executed command: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/mlir-opt -allow-unregistered-dialect -int-range-optimizations -canonicalize /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# note: command had no output on stdout or stderr
# executed command: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_asan_ubsan/bin/FileCheck /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# .---command stderr------------
# | /home/b/sanitizer-x86_64-linux-fast/build/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/b/sanitizer-x86_64-linux-fast/build/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
Step 14 (stage2/msan check) failure: stage2/msan check (failure)
...
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/ld.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using lld-link: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/lld-link
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using ld64.lld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:520: note: using wasm-ld: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/llvm/utils/lit/lit/main.py:72: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 89803 tests, 88 workers --
Testing: 0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80..
FAIL: MLIR :: Dialect/Arith/int-range-interface.mlir (28769 of 89803)
******************** TEST 'MLIR :: Dialect/Arith/int-range-interface.mlir' FAILED ********************
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
/home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/mlir-opt -allow-unregistered-dialect -int-range-optimizations -canonicalize /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir | /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/FileCheck /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# executed command: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/mlir-opt -allow-unregistered-dialect -int-range-optimizations -canonicalize /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# note: command had no output on stdout or stderr
# executed command: /home/b/sanitizer-x86_64-linux-fast/build/llvm_build_msan/bin/FileCheck /home/b/sanitizer-x86_64-linux-fast/build/llvm-project/mlir/test/Dialect/Arith/int-range-interface.mlir
# .---command stderr------------
# | /home/b/sanitizer-x86_64-linux-fast/build/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/b/sanitizer-x86_64-linux-fast/build/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
```
</details>
https://github.com/llvm/llvm-project/pull/133541
More information about the Mlir-commits
mailing list