[Mlir-commits] [mlir] [MLIR] Implement mayHaveNonZeroOffset class (PR #231285)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 10559 tests passed
* 659 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### Flang
<details>
<summary>Flang.Analysis/AliasAnalysis/alias-analysis-regionbranch.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
fir-opt /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Analysis/AliasAnalysis/alias-analysis-regionbranch.mlir -pass-pipeline='builtin.module(func.func(test-fir-alias-analysis))'    -split-input-file --mlir-disable-threading 2>&1 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Analysis/AliasAnalysis/alias-analysis-regionbranch.mlir
# executed command: fir-opt /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Analysis/AliasAnalysis/alias-analysis-regionbranch.mlir '-pass-pipeline=builtin.module(func.func(test-fir-alias-analysis))' -split-input-file --mlir-disable-threading
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Analysis/AliasAnalysis/alias-analysis-regionbranch.mlir
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Analysis/AliasAnalysis/alias-analysis-regionbranch.mlir:337:15: error: CHECK-DAG: expected string not found in input
# | // CHECK-DAG: carry_init#0 <-> loop_join_ref#0: MustAlias
# |               ^
# | <stdin>:257:43: note: scanning from here
# | Testing : "test_rb_do_loop_iter_carry_ref"
# |                                           ^
# | <stdin>:259:1: note: possible intended match here
# | carry_init#0 <-> loop_join_ref#0: MayAlias
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Analysis/AliasAnalysis/alias-analysis-regionbranch.mlir:407:15: error: CHECK-DAG: expected string not found in input
# | // CHECK-DAG: fv_carry_init#0 <-> fv_loop_join_ref#0: MustAlias
# |               ^
# | <stdin>:265:59: note: scanning from here
# | Testing : "test_rb_do_loop_final_value_and_iter_carry_ref"
# |                                                           ^
# | <stdin>:267:1: note: possible intended match here
# | fv_carry_init#0 <-> fv_loop_join_ref#0: MayAlias
# | ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/flang/test/Analysis/AliasAnalysis/alias-analysis-regionbranch.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            .
# |            .
# |            .
# |          252:  } else { 
# |          253:  fir.result %2 : !fir.ref<iTesting : "test_rb_nulls_different_attrs" 
# |          254: outside_attr#0 <-> join_attr#0: NoAlias 
# |          255: Testing : "test_rb_optional_ref_outside_target" 
# |          256: outside_opt_tgt#0 <-> opt_join_tgt#0: NoAlias 
# |          257: Testing : "test_rb_do_loop_iter_carry_ref" 
# | dag:337'0                                              {   search range start (exclusive)
# | dag:337'1                                                  error: no match found in search range
# |          258: carry_init#0 <-> outside_loop#0: NoAlias 
# |          259: carry_init#0 <-> loop_join_ref#0: MayAlias 
# | dag:337'2     ?                                            possible intended match
# |          260: outside_loop#0 <-> loop_join_ref#0: MayAlias 
# |          261: Testing : "test_rb_do_loop_no_iter_args" 
# | dag:337'3                                             }  search range end (exclusive)
# |          262: no_iter_a#0 <-> no_iter_b#0: NoAlias 
# |          263: Testing : "test_rb_do_loop_final_value_only" 
# |          264: fv_only_a#0 <-> fv_only_b#0: NoAlias 
# |          265: Testing : "test_rb_do_loop_final_value_and_iter_carry_ref" 
# | dag:407'0                                                              {   search range start (exclusive)
# | dag:407'1                                                                  error: no match found in search range
# |          266: fv_carry_init#0 <-> fv_outside_loop#0: NoAlias 
# |          267: fv_carry_init#0 <-> fv_loop_join_ref#0: MayAlias 
# | dag:407'2     ?                                                  possible intended match
# |          268: fv_outside_loop#0 <-> fv_loop_join_ref#0: MayAlias 
# |          269: 32> 
# |          270:  } 
# |          271:  %4 = fir.convert %3 {test.ptr = "join_nulls"} : (!fir.ref<i32>) -> !fir.ref<i32> 
# |          272:  return 
# |            .
# |            .
# |            .
# |          380:  } 
# |          381:  %5 = fir.convert %4#1 {test.ptr = "fv_loop_join_ref"} : (!fir.ref<f32>) -> !fir.ref<f32> 
# |          382:  return 
# |          383:  } 
# |          384: } 
# |          385:  
# | dag:407'3      } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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