[llvm] [ReachingDefAnalysis] Print basic blocks. (PR #175568)
via llvm-commits
llvm-commits at lists.llvm.org
Mon Jan 12 08:17:26 PST 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results
* 167917 tests passed
* 2989 tests skipped
* 3 tests failed
## Failed Tests
(click on a test name to see its output)
### LLVM
<details>
<summary>LLVM.CodeGen/RISCV/rda-liveins.mir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir -mtriple=riscv64 --passes='print<reaching-def>' -o - 2>&1 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir -mtriple=riscv64 '--passes=print<reaching-def>' -o -
# 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/llvm/test/CodeGen/RISCV/rda-liveins.mir
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir:8:16: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: RDA results for test0
# | ^
# | <stdin>:1:53: note: scanning from here
# | Reaching definitions for for machine function: test0
# | ^
# | <stdin>:6:34: note: possible intended match here
# | Reaching definitions for for machine function: test1
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir:23:16: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: RDA results for test1
# | ^
# | <stdin>:6:53: note: scanning from here
# | Reaching definitions for for machine function: test1
# | ^
# | <stdin>:14:34: note: possible intended match here
# | Reaching definitions for for machine function: test2
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir:41:16: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: RDA results for test2
# | ^
# | <stdin>:14:53: note: scanning from here
# | Reaching definitions for for machine function: test2
# | ^
# | <stdin>:31:34: note: possible intended match here
# | Reaching definitions for for machine function: test3
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir:77:16: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: RDA results for test3
# | ^
# | <stdin>:31:53: note: scanning from here
# | Reaching definitions for for machine function: test3
# | ^
# | <stdin>:55:62: note: possible intended match here
# | ; ModuleID = '/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir'
# | ^
# |
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: Reaching definitions for for machine function: test0
# | next:8'0 X error: no match found
# | 2: %bb.0:
# | next:8'0 ~~~~~~~
# | 3: implicit $x10:{ }
# | next:8'0 ~~~~~~~~~~~~~~~~~~
# | 4: 0: PseudoRET implicit $x10
# | next:8'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 5:
# | next:8'0 ~
# | 6: Reaching definitions for for machine function: test1
# | next:8'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:8'1 ? possible intended match
# | next:23'0 X error: no match found
# | 7: %bb.0:
# | next:23'0 ~~~~~~~
# | 8: $x10:{ }
# | next:23'0 ~~~~~~~~~
# | 9: 0: $x10 = ADDI $x10, 1
# | next:23'0 ~~~~~~~~~~~~~~~~~~~~~~~
# | 10:
# | next:23'0 ~
# | 11: implicit $x10:{ 0 }
# | next:23'0 ~~~~~~~~~~~~~~~~~~~~
# | 12: 1: PseudoRET implicit $x10
# | next:23'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 13:
# | next:23'0 ~
# | 14: Reaching definitions for for machine function: test2
# | next:23'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:23'1 ? possible intended match
# | next:41'0 X error: no match found
# | 15: %bb.0:
# | next:41'0 ~~~~~~~
# | 16: $x10:{ }
# | next:41'0 ~~~~~~~~~
# | 17: $x0:{ }
# | next:41'0 ~~~~~~~~
# | 18: 0: BEQ $x10, $x0, %bb.2
# | next:41'0 ~~~~~~~~~~~~~~~~~~~~~~~~
# | 19:
# | next:41'0 ~
# | .
# | .
# | .
# | 26:
# | next:41'0 ~
# | 27: %bb.2:
# | next:41'0 ~~~~~~~
# | 28: implicit $x10:{ }
# | next:41'0 ~~~~~~~~~~~~~~~~~~
# | 29: 3: PseudoRET implicit $x10
# | next:41'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 30:
# | next:41'0 ~
# | 31: Reaching definitions for for machine function: test3
# | next:41'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:41'1 ? possible intended match
# | next:77'0 X error: no match found
# | 32: %bb.0:
# | next:77'0 ~~~~~~~
# | 33: $x10:{ }
# | next:77'0 ~~~~~~~~~
# | 34: $x0:{ }
# | next:77'0 ~~~~~~~~
# | 35: 0: BEQ $x10, $x0, %bb.2
# | next:77'0 ~~~~~~~~~~~~~~~~~~~~~~~~
# | 36:
# | next:77'0 ~
# | .
# | .
# | .
# | 50: %bb.3:
# | next:77'0 ~~~~~~~
# | 51: implicit $x10:{ 1 }
# | next:77'0 ~~~~~~~~~~~~~~~~~~~~
# | 52: 5: PseudoRET implicit $x10
# | next:77'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 53:
# | next:77'0 ~
# | 54: --- |
# | next:77'0 ~~~~~~
# | 55: ; ModuleID = '/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir'
# | next:77'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:77'1 ? possible intended match
# | 56: source_filename = "/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/RISCV/rda-liveins.mir"
# | next:77'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 57: target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"
# | next:77'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 58: target triple = "riscv64"
# | next:77'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 59:
# | next:77'0 ~~
# | 60: define void @test0() {
# | next:77'0 ~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.CodeGen/SystemZ/rda-stack-copy.mir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/SystemZ/rda-stack-copy.mir -mtriple=s390x-linux-gnu --passes='print<reaching-def>' -o - 2>&1 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/SystemZ/rda-stack-copy.mir
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/SystemZ/rda-stack-copy.mir -mtriple=s390x-linux-gnu '--passes=print<reaching-def>' -o -
# 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/llvm/test/CodeGen/SystemZ/rda-stack-copy.mir
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/SystemZ/rda-stack-copy.mir:14:17: error: CHECK-LABEL: expected string not found in input
# | ; CHECK-LABEL: RDA results for test0
# | ^
# | <stdin>:1:1: note: scanning from here
# | Reaching definitions for for machine function: test0
# | ^
# | <stdin>:1:34: note: possible intended match here
# | Reaching definitions for for machine function: test0
# | ^
# |
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/SystemZ/rda-stack-copy.mir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: Reaching definitions for for machine function: test0
# | label:14'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | label:14'1 ? possible intended match
# | 2: %bb.0:
# | label:14'0 ~~~~~~~
# | 3: %stack.1:{ }
# | label:14'0 ~~~~~~~~~~~~~
# | 4: %stack.0:{ }
# | label:14'0 ~~~~~~~~~~~~~
# | 5: 0: MVC %stack.1, 0, 4, %stack.0, 0 :: (store (s32) into %stack.1), (load (s32) from %stack.0)
# | label:14'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 6:
# | label:14'0 ~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.CodeGen/X86/print-reaching-defs.mir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=x86_64-unknown-unknown --passes='print<reaching-def>' -filetype=null 2>&1 /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/X86/print-reaching-defs.mir | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/X86/print-reaching-defs.mir
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=x86_64-unknown-unknown '--passes=print<reaching-def>' -filetype=null /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/X86/print-reaching-defs.mir
# 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/llvm/test/CodeGen/X86/print-reaching-defs.mir
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/X86/print-reaching-defs.mir:16:15: error: CHECK-NEXT: expected string not found in input
# | # CHECK-NEXT: RDA results for is_odd
# | ^
# | <stdin>:1:54: note: scanning from here
# | Reaching definitions for for machine function: is_odd
# | ^
# | <stdin>:24:1: note: possible intended match here
# | name: is_odd
# | ^
# |
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/X86/print-reaching-defs.mir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: Reaching definitions for for machine function: is_odd
# | next:16'0 X error: no match found
# | 2: %bb.0:
# | next:16'0 ~~~~~~~
# | 3: $edi:{ }
# | next:16'0 ~~~~~~~~~
# | 4: 0: $eax = MOV32rr $edi
# | next:16'0 ~~~~~~~~~~~~~~~~~~~~~~~
# | 5:
# | next:16'0 ~
# | 6: killed $eax(tied-def 0):{ 0 }
# | next:16'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 19: entry:
# | next:16'0 ~~~~~~~~
# | 20: unreachable
# | next:16'0 ~~~~~~~~~~~~~
# | 21: }
# | next:16'0 ~~~
# | 22: ...
# | next:16'0 ~~~~
# | 23: ---
# | next:16'0 ~~~~
# | 24: name: is_odd
# | next:16'0 ~~~~~~~~~~~~~
# | next:16'1 ? possible intended match
# | 25: alignment: 1
# | next:16'0 ~~~~~~~~~~~~~
# | 26: exposesReturnsTwice: false
# | next:16'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 27: legalized: false
# | next:16'0 ~~~~~~~~~~~~~~~~~
# | 28: regBankSelected: false
# | next:16'0 ~~~~~~~~~~~~~~~~~~~~~~~
# | 29: selected: false
# | next:16'0 ~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# 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/175568
More information about the llvm-commits
mailing list