blob: eb1f1f1d1bd07b1084c73896e79baeca4d8ff449 [file] [log] [blame]
# 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
...