[llvm] [MIR] Round-trip all machine metadata nodes (PR #219612)
via llvm-commits
llvm-commits at lists.llvm.org
Fri Aug 28 21:36:09 PDT 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 140597 tests passed
* 3766 tests skipped
* 1 test failed
## Failed Tests
(click on a test name to see its output)
### LLVM
<details>
<summary>LLVM.DebugInfo/WebAssembly/dbg-loc-reg-stackify.mir</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\llc.exe -run-pass wasm-reg-stackify C:\_work\llvm-project\llvm-project\llvm\test\DebugInfo\WebAssembly\dbg-loc-reg-stackify.mir -o - | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\DebugInfo\WebAssembly\dbg-loc-reg-stackify.mir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\llc.exe' -run-pass wasm-reg-stackify 'C:\_work\llvm-project\llvm-project\llvm\test\DebugInfo\WebAssembly\dbg-loc-reg-stackify.mir' -o -
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\DebugInfo\WebAssembly\dbg-loc-reg-stackify.mir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\DebugInfo\WebAssembly\dbg-loc-reg-stackify.mir:38:15: error: CHECK-NEXT: is not on the line after the previous match
# | # CHECK-NEXT: - '[[SINK_LOC:![0-9]+]] = !DILocation(line: 10,
# | ^
# | <stdin>:95:2: note: 'next' match was here
# | - '!5 = !DILocation(line: 10, scope: !6)'
# | ^
# | <stdin>:93:22: note: previous match ended here
# | machineMetadataNodes:
# | ^
# | <stdin>:94:1: note: non-matching line after previous match is here
# | - '!6 = distinct !DISubprogram(name: "sink_same_bb", scope: !1, file: !1, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !0)'
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\DebugInfo\WebAssembly\dbg-loc-reg-stackify.mir:59:15: error: CHECK-NEXT: is not on the line after the previous match
# | # CHECK-NEXT: - '[[SAME_LOC:![0-9]+]] = !DILocation(line: 10,
# | ^
# | <stdin>:169:2: note: 'next' match was here
# | - '!5 = !DILocation(line: 10, scope: !6)'
# | ^
# | <stdin>:167:22: note: previous match ended here
# | machineMetadataNodes:
# | ^
# | <stdin>:168:1: note: non-matching line after previous match is here
# | - '!6 = distinct !DISubprogram(name: "sink_same_bb", scope: !1, file: !1, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !0)'
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\DebugInfo\WebAssembly\dbg-loc-reg-stackify.mir:84:15: error: CHECK-NEXT: is not on the line after the previous match
# | # CHECK-NEXT: - '[[CLONE_LOC:![0-9]+]] = !DILocation(line: 10,
# | ^
# | <stdin>:245:2: note: 'next' match was here
# | - '!5 = !DILocation(line: 10, scope: !6)'
# | ^
# | <stdin>:243:22: note: previous match ended here
# | machineMetadataNodes:
# | ^
# | <stdin>:244:1: note: non-matching line after previous match is here
# | - '!6 = distinct !DISubprogram(name: "sink_same_bb", scope: !1, file: !1, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !0)'
# | ^
# | C:\_work\llvm-project\llvm-project\llvm\test\DebugInfo\WebAssembly\dbg-loc-reg-stackify.mir:112:15: error: CHECK-NEXT: is not on the line after the previous match
# | # CHECK-NEXT: - '[[DEST_LOC:![0-9]+]] = !DILocation(line: 20,
# | ^
# | <stdin>:324:2: note: 'next' match was here
# | - '!5 = !DILocation(line: 20, scope: !6)'
# | ^
# | <stdin>:322:22: note: previous match ended here
# | machineMetadataNodes:
# | ^
# | <stdin>:323:1: note: non-matching line after previous match is here
# | - '!6 = distinct !DISubprogram(name: "sink_same_bb", scope: !1, file: !1, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !0)'
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\DebugInfo\WebAssembly\dbg-loc-reg-stackify.mir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 88: constants: []
# | 89: machineFunctionInfo:
# | 90: params: [ ]
# | 91: results: [ ]
# | 92: isCFGStackified: false
# | 93: machineMetadataNodes:
# | next:38'0 { search range start (exclusive)
# | 94: - '!6 = distinct !DISubprogram(name: "sink_same_bb", scope: !1, file: !1, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !0)'
# | 95: - '!5 = !DILocation(line: 10, scope: !6)'
# | next:38'1 !~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: match on wrong line
# | 96: - '!8 = !{null}'
# | 97: - '!7 = !DISubroutineType(types: !8)'
# | 98: body: |
# | 99: bb.0:
# | 100: liveins: $arguments, $value_stack
# | 101:
# | 102: NOP implicit-def $arguments
# | 103: %0:i32 = CONST_I32 1, implicit-def $arguments, implicit-def $value_stack, implicit $value_stack, debug-location !5
# | 104: CALL @use, %0, implicit-def $arguments, implicit-def $value_stack, implicit $value_stack
# | 105: RETURN implicit-def $arguments
# | 106: ...
# | 107: ---
# | 108: name: clone_same_bb
# | next:38'2 } search range end (exclusive)
# | 109: alignment: 1
# | 110: exposesReturnsTwice: false
# | 111: legalized: false
# | 112: regBankSelected: false
# | 113: selected: false
# | .
# | .
# | .
# | 162: constants: []
# | 163: machineFunctionInfo:
# | 164: params: [ ]
# | 165: results: [ ]
# | 166: isCFGStackified: false
# | 167: machineMetadataNodes:
# | next:59'0 { search range start (exclusive)
# | 168: - '!6 = distinct !DISubprogram(name: "sink_same_bb", scope: !1, file: !1, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !0)'
# | 169: - '!5 = !DILocation(line: 10, scope: !6)'
# | next:59'1 !~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: match on wrong line
# | 170: - '!8 = !{null}'
# | 171: - '!7 = !DISubroutineType(types: !8)'
# | 172: body: |
# | 173: bb.0:
# | 174: liveins: $arguments, $value_stack
# | .
# | .
# | .
# | 179: %1:i32 = CONST_I32 1, implicit-def $arguments, implicit-def $value_stack, implicit $value_stack, debug-location !5
# | 180: CALL @use, %1, implicit-def $arguments, implicit-def $value_stack, implicit $value_stack
# | 181: RETURN implicit-def $arguments
# | 182: ...
# | 183: ---
# | 184: name: clone_different_bb_0
# | next:59'2 } search range end (exclusive)
# | 185: alignment: 1
# | 186: exposesReturnsTwice: false
# | 187: legalized: false
# | 188: regBankSelected: false
# | 189: selected: false
# | .
# | .
# | .
# | 238: constants: []
# | 239: machineFunctionInfo:
# | 240: params: [ ]
# | 241: results: [ ]
# | 242: isCFGStackified: false
# | 243: machineMetadataNodes:
# | next:84'0 { search range start (exclusive)
# | 244: - '!6 = distinct !DISubprogram(name: "sink_same_bb", scope: !1, file: !1, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !0)'
# | 245: - '!5 = !DILocation(line: 10, scope: !6)'
# | next:84'1 !~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: match on wrong line
# | 246: - '!8 = !{null}'
# | 247: - '!7 = !DISubroutineType(types: !8)'
# | 248: body: |
# | 249: bb.0:
# | 250: successors: %bb.1(0x80000000)
# | .
# | .
# | .
# | 258: %1:i32 = CONST_I32 1, implicit-def $arguments, implicit-def $value_stack, implicit $value_stack, debug-location !5
# | 259: CALL @use, %1, implicit-def $arguments, implicit-def $value_stack, implicit $value_stack, debug-location !5
# | 260: RETURN implicit-def $arguments
# | 261: ...
# | 262: ---
# | 263: name: clone_different_bb_1
# | next:84'2 } search range end (exclusive)
# | 264: alignment: 1
# | 265: exposesReturnsTwice: false
# | 266: legalized: false
# | 267: regBankSelected: false
# | 268: selected: false
# | .
# | .
# | .
# | 317: constants: []
# | 318: machineFunctionInfo:
# | 319: params: [ ]
# | 320: results: [ ]
# | 321: isCFGStackified: false
# | 322: machineMetadataNodes:
# | next:112'0 { search range start (exclusive)
# | 323: - '!6 = distinct !DISubprogram(name: "sink_same_bb", scope: !1, file: !1, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !0)'
# | 324: - '!5 = !DILocation(line: 20, scope: !6)'
# | next:112'1 !~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: match on wrong line
# | 325: - '!8 = !{null}'
# | 326: - '!7 = !DISubroutineType(types: !8)'
# | 327: body: |
# | 328: bb.0:
# | 329: successors: %bb.1(0x80000000)
# | .
# | .
# | .
# | 335: liveins: $value_stack
# | 336:
# | 337: %1:i32 = CONST_I32 1, implicit-def $arguments, implicit-def $value_stack, implicit $value_stack
# | 338: CALL @use, %1, implicit-def $arguments, implicit-def $value_stack, implicit $value_stack, debug-location !5
# | 339: RETURN implicit-def $arguments
# | 340: ...
# | next:112'2 } 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/219612
More information about the llvm-commits
mailing list