| # RUN: llc -mtriple=x86_64-unknown-linux -start-before=x86-flags-copy-lowering -o - %s | FileCheck %s |
| # |
| # Test the emission of pre- and post-instruction labels. |
| |
| --- | |
| declare void @f(i32 %x) nounwind |
| |
| declare void @g(i32 %x) nounwind |
| |
| declare void @h(i32 %x) nounwind |
| |
| define i64 @test(i32 %x) nounwind { |
| entry: |
| call void @f(i32 %x) |
| call void @g(i32 %x) |
| call void @h(i32 %x) |
| ret i64 undef |
| } |
| |
| ... |
| --- |
| name: test |
| # CHECK-LABEL: {{^}}test: |
| tracksRegLiveness: true |
| frameInfo: |
| hasCalls: true |
| body: | |
| bb.0.entry: |
| liveins: $edi |
| |
| %0:gr32 = COPY $edi |
| %1:gr32 = COPY killed %0 |
| ADJCALLSTACKDOWN64 0, 0, 0, implicit-def $rsp, implicit-def $eflags, implicit-def $ssp, implicit $rsp, implicit $ssp |
| $edi = COPY %1 |
| |
| CALL64pcrel32 @f, csr_64, implicit $rsp, implicit $ssp, implicit $edi, pre-instr-symbol <mcsymbol .Lpre_f>, post-instr-symbol <mcsymbol .Lpost_f> |
| ; CHECK: .Lpre_f: |
| ; CHECK-NEXT: callq f |
| ; CHECK-NEXT: .Lpost_f: |
| |
| ADJCALLSTACKUP64 0, 0, implicit-def $rsp, implicit-def $eflags, implicit-def $ssp, implicit $rsp, implicit $ssp |
| ADJCALLSTACKDOWN64 0, 0, 0, implicit-def $rsp, implicit-def $eflags, implicit-def $ssp, implicit $rsp, implicit $ssp |
| $edi = COPY %1 |
| |
| CALL64pcrel32 @g, csr_64, implicit $rsp, implicit $ssp, implicit $edi, pre-instr-symbol <mcsymbol .Lpre_g> |
| ; CHECK: .Lpre_g: |
| ; CHECK-NEXT: callq g |
| |
| ADJCALLSTACKUP64 0, 0, implicit-def $rsp, implicit-def $eflags, implicit-def $ssp, implicit $rsp, implicit $ssp |
| ADJCALLSTACKDOWN64 0, 0, 0, implicit-def $rsp, implicit-def $eflags, implicit-def $ssp, implicit $rsp, implicit $ssp |
| $edi = COPY %1 |
| |
| CALL64pcrel32 @h, csr_64, implicit $rsp, implicit $ssp, implicit $edi, post-instr-symbol <mcsymbol .Lpost_h> |
| ; CHECK: callq h |
| ; CHECK-NEXT: .Lpost_h: |
| |
| ADJCALLSTACKUP64 0, 0, implicit-def $rsp, implicit-def $eflags, implicit-def $ssp, implicit $rsp, implicit $ssp |
| |
| %2:gr64 = MOV64ri32 <mcsymbol .Lpre_f> |
| %3:gr64 = MOV64ri32 <mcsymbol .Lpost_f> |
| %4:gr64 = MOV64ri32 <mcsymbol .Lpre_g> |
| %5:gr64 = MOV64ri32 <mcsymbol .Lpost_h> |
| ; CHECK: movq $.Lpre_f, %{{.*}} |
| ; CHECK-NEXT: movq $.Lpost_f, %{{.*}} |
| ; CHECK-NEXT: movq $.Lpre_g, %{{.*}} |
| ; CHECK-NEXT: movq $.Lpost_h, %{{.*}} |
| |
| %6:gr64 = ADD64rr killed %2, killed %3, implicit-def $eflags |
| %7:gr64 = ADD64rr killed %4, killed %5, implicit-def $eflags |
| %8:gr64 = ADD64rr killed %6, killed %7, implicit-def $eflags |
| $rax = COPY %8 |
| RETQ implicit $rax |
| |
| ... |