| # This test checks to make sure that when an instruction (%3 in the test) is |
| # moved due to matching a result of a fold of two other instructions |
| # (%1, and %2 in the test) in the legalizer, the DILocation of the |
| # instruction that is moved (%3) is updated appropriately. |
| |
| # RUN: llc %s -run-pass=legalizer -mtriple=aarch64 -o - | FileCheck %s |
| # CHECK-NOT: %2:_(s32) = G_CONSTANT i32 0, debug-location !DILocation(line: 13 |
| # CHECK: %2:_(s32) = G_CONSTANT i32 0, debug-location !DILocation(line: 0, |
| --- | |
| |
| define i32 @main(i32 %0, ptr %1) #0 !dbg !57 { |
| entry: |
| ret i32 0, !dbg !71 |
| } |
| !3 = !DIFile(filename: "main.swift", directory: "/Volumes/Data/swift") |
| !23 = distinct !DICompileUnit(language: DW_LANG_Swift, file: !3, sdk: "blah.sdk") |
| !57 = distinct !DISubprogram(name: "main", unit: !23) |
| !64 = distinct !DILexicalBlock(scope: !57, column: 1) |
| !66 = distinct !DILexicalBlock(scope: !64, column: 1) |
| !68 = !DILocation(line: 12, scope: !66) |
| !70 = distinct !DILexicalBlock(scope: !66, column: 1) |
| !71 = !DILocation(line: 13, scope: !70) |
| name: main |
| body: | |
| bb.0: |
| %1:_(s8) = G_CONSTANT i8 0, debug-location !68 |
| %2:_(s32) = G_ANYEXT %1(s8), debug-location !68 |
| $w2 = COPY %2(s32), debug-location !68 |
| %3:_(s32) = G_CONSTANT i32 0, debug-location !71 |
| $w0 = COPY %3(s32), debug-location !71 |
