Skip to content

Commit 17d7696

Browse files
tianqingwtianqingw
authored
[X86][NFC] Add test case for conditional branches with unpredictable metadata. (#102262)
1 parent fc0802a commit 17d7696

File tree

1 file changed

+122
-0
lines changed

1 file changed

+122
-0
lines changed

‎llvm/test/CodeGen/X86/unpredictable-brcond.ll

Lines changed: 122 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,122 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
2+
; Currently, unpredictable metadata on conditional branches is lost during CodeGen.
3+
; RUN: llc -mtriple=x86_64-unknown-linux-gnu -stop-after=finalize-isel < %s | FileCheck %s
4+
5+
define void @cond_branch_1(i1 %cond) {
6+
; CHECK-LABEL: name: cond_branch_1
7+
; CHECK: bb.0.entry:
8+
; CHECK-NEXT: successors: %bb.1(0x40000000), %bb.2(0x40000000)
9+
; CHECK-NEXT: liveins: $edi
10+
; CHECK-NEXT: {{ $}}
11+
; CHECK-NEXT: [[COPY:%[0-9]+]]:gr32 = COPY $edi
12+
; CHECK-NEXT: [[COPY1:%[0-9]+]]:gr8 = COPY [[COPY]].sub_8bit
13+
; CHECK-NEXT: TEST8ri killed [[COPY1]], 1, implicit-def $eflags
14+
; CHECK-NEXT: JCC_1 %bb.2, 4, implicit $eflags
15+
; CHECK-NEXT: JMP_1 %bb.1
16+
; CHECK-NEXT: {{ $}}
17+
; CHECK-NEXT: bb.1.then:
18+
; CHECK-NEXT: ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
19+
; CHECK-NEXT: CALL64pcrel32 target-flags(x86-plt) @f1, csr_64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
20+
; CHECK-NEXT: ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
21+
; CHECK-NEXT: RET 0
22+
; CHECK-NEXT: {{ $}}
23+
; CHECK-NEXT: bb.2.else:
24+
; CHECK-NEXT: ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
25+
; CHECK-NEXT: CALL64pcrel32 target-flags(x86-plt) @f2, csr_64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
26+
; CHECK-NEXT: ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
27+
; CHECK-NEXT: RET 0
28+
entry:
29+
br i1 %cond, label %then, label %else, !unpredictable !0
30+
then:
31+
call void @f1()
32+
ret void
33+
else:
34+
call void @f2()
35+
ret void
36+
}
37+
38+
define void @cond_branch_2(double %a, double %b, i32 %c, i32 %d) nounwind {
39+
; CHECK-LABEL: name: cond_branch_2
40+
; CHECK: bb.0 (%ir-block.0):
41+
; CHECK-NEXT: successors: %bb.1(0x40000000), %bb.2(0x40000000)
42+
; CHECK-NEXT: liveins: $xmm0, $xmm1, $edi, $esi
43+
; CHECK-NEXT: {{ $}}
44+
; CHECK-NEXT: [[COPY:%[0-9]+]]:gr32 = COPY $esi
45+
; CHECK-NEXT: [[COPY1:%[0-9]+]]:gr32 = COPY $edi
46+
; CHECK-NEXT: [[COPY2:%[0-9]+]]:fr64 = COPY $xmm1
47+
; CHECK-NEXT: [[COPY3:%[0-9]+]]:fr64 = COPY $xmm0
48+
; CHECK-NEXT: nofpexcept UCOMISDrr [[COPY2]], [[COPY3]], implicit-def $eflags, implicit $mxcsr
49+
; CHECK-NEXT: [[SETCCr:%[0-9]+]]:gr8 = SETCCr 3, implicit $eflags
50+
; CHECK-NEXT: [[SUB32rr:%[0-9]+]]:gr32 = SUB32rr [[COPY1]], [[COPY]], implicit-def $eflags
51+
; CHECK-NEXT: [[SETCCr1:%[0-9]+]]:gr8 = SETCCr 6, implicit $eflags
52+
; CHECK-NEXT: [[OR8rr:%[0-9]+]]:gr8 = OR8rr [[SETCCr]], killed [[SETCCr1]], implicit-def dead $eflags
53+
; CHECK-NEXT: TEST8rr [[OR8rr]], [[OR8rr]], implicit-def $eflags
54+
; CHECK-NEXT: JCC_1 %bb.2, 5, implicit $eflags
55+
; CHECK-NEXT: JMP_1 %bb.1
56+
; CHECK-NEXT: {{ $}}
57+
; CHECK-NEXT: bb.1.true:
58+
; CHECK-NEXT: ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
59+
; CHECK-NEXT: CALL64pcrel32 target-flags(x86-plt) @f1, csr_64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
60+
; CHECK-NEXT: ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
61+
; CHECK-NEXT: RET 0
62+
; CHECK-NEXT: {{ $}}
63+
; CHECK-NEXT: bb.2.false:
64+
; CHECK-NEXT: ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
65+
; CHECK-NEXT: CALL64pcrel32 target-flags(x86-plt) @f2, csr_64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
66+
; CHECK-NEXT: ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
67+
; CHECK-NEXT: RET 0
68+
%cond1 = fcmp ugt double %a, %b
69+
%cond2 = icmp ugt i32 %c, %d
70+
%cond = and i1 %cond1, %cond2
71+
br i1 %cond, label %true, label %false, !unpredictable !0
72+
true:
73+
call void @f1()
74+
ret void
75+
false:
76+
call void @f2()
77+
ret void
78+
}
79+
80+
define void @isint_branch(double %d) nounwind {
81+
; CHECK-LABEL: name: isint_branch
82+
; CHECK: bb.0 (%ir-block.0):
83+
; CHECK-NEXT: successors: %bb.1(0x50000000), %bb.2(0x30000000)
84+
; CHECK-NEXT: liveins: $xmm0
85+
; CHECK-NEXT: {{ $}}
86+
; CHECK-NEXT: [[COPY:%[0-9]+]]:fr64 = COPY $xmm0
87+
; CHECK-NEXT: [[COPY1:%[0-9]+]]:vr128 = COPY [[COPY]]
88+
; CHECK-NEXT: [[CVTTPD2DQrr:%[0-9]+]]:vr128 = nofpexcept CVTTPD2DQrr killed [[COPY1]], implicit $mxcsr
89+
; CHECK-NEXT: [[CVTDQ2PDrr:%[0-9]+]]:vr128 = CVTDQ2PDrr killed [[CVTTPD2DQrr]]
90+
; CHECK-NEXT: [[COPY2:%[0-9]+]]:fr64 = COPY [[CVTDQ2PDrr]]
91+
; CHECK-NEXT: nofpexcept UCOMISDrr [[COPY]], killed [[COPY2]], implicit-def $eflags, implicit $mxcsr
92+
; CHECK-NEXT: JCC_1 %bb.2, 5, implicit $eflags
93+
; CHECK-NEXT: JCC_1 %bb.2, 10, implicit $eflags
94+
; CHECK-NEXT: JMP_1 %bb.1
95+
; CHECK-NEXT: {{ $}}
96+
; CHECK-NEXT: bb.1.true:
97+
; CHECK-NEXT: ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
98+
; CHECK-NEXT: CALL64pcrel32 target-flags(x86-plt) @f1, csr_64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
99+
; CHECK-NEXT: ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
100+
; CHECK-NEXT: RET 0
101+
; CHECK-NEXT: {{ $}}
102+
; CHECK-NEXT: bb.2.false:
103+
; CHECK-NEXT: ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
104+
; CHECK-NEXT: CALL64pcrel32 target-flags(x86-plt) @f2, csr_64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
105+
; CHECK-NEXT: ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
106+
; CHECK-NEXT: RET 0
107+
%i = fptosi double %d to i32
108+
%e = sitofp i32 %i to double
109+
%c = fcmp oeq double %d, %e
110+
br i1 %c, label %true, label %false, !unpredictable !0
111+
true:
112+
call void @f1()
113+
ret void
114+
false:
115+
call void @f2()
116+
ret void
117+
}
118+
119+
declare void @f1()
120+
declare void @f2()
121+
122+
!0 = !{}

0 commit comments

Comments
 (0)