Mercurial > hg > CbC > CbC_llvm

annotate test/CodeGen/X86/fp-une-cmp.ll @ 120:1172e4bd9c6f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update 4.0.0
author mir3636
date Fri, 25 Nov 2016 19:14:25 +0900
parents 95c75e76d11b
children 803732b1fca8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
3
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 ; <rdar://problem/7859988>
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 ; Make sure we don't generate more jumps than we need to. We used to generate
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 ; something like this:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 ;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 ; jne LBB0_1
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 ; jnp LBB0_2
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 ; LBB0_1:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 ; jmp LBB0_3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 ; LBB0_2:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 ; addsd ...
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 ; LBB0_3:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 ;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 ; Now we generate this:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 ;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 ; jne LBB0_2
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 ; jp LBB0_2
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 ; addsd ...
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 ; LBB0_2:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
24 define double @rdar_7859988(double %x, double %y) nounwind readnone optsize ssp {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
25 ; CHECK-LABEL: rdar_7859988:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
26 ; CHECK: # BB#0: # %entry
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
27 ; CHECK-NEXT: mulsd %xmm1, %xmm0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
28 ; CHECK-NEXT: xorpd %xmm1, %xmm1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
29 ; CHECK-NEXT: ucomisd %xmm1, %xmm0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
30 ; CHECK-NEXT: jne .LBB0_2
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
31 ; CHECK-NEXT: jp .LBB0_2
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
32 ; CHECK-NEXT: # BB#1: # %bb1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
33 ; CHECK-NEXT: addsd {{.*}}(%rip), %xmm0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
34 ; CHECK-NEXT: .LBB0_2: # %bb2
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
35 ; CHECK-NEXT: retq
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 entry:
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
38 %mul = fmul double %x, %y
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
39 %cmp = fcmp une double %mul, 0.000000e+00
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
40 br i1 %cmp, label %bb2, label %bb1
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 bb1:
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
43 %add = fadd double %mul, -1.000000e+00
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
44 br label %bb2
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
45
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
46 bb2:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
47 %phi = phi double [ %add, %bb1 ], [ %mul, %entry ]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
48 ret double %phi
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
49 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
50
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
51 define double @profile_metadata(double %x, double %y) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
52 ; CHECK-LABEL: profile_metadata:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
53 ; CHECK: # BB#0: # %entry
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
54 ; CHECK-NEXT: mulsd %xmm1, %xmm0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
55 ; CHECK-NEXT: xorpd %xmm1, %xmm1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
56 ; CHECK-NEXT: ucomisd %xmm1, %xmm0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
57 ; CHECK-NEXT: jne .LBB1_1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
58 ; CHECK-NEXT: jp .LBB1_1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
59 ; CHECK-NEXT: # %bb2
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
60 ; CHECK-NEXT: retq
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
61 ; CHECK-NEXT: .LBB1_1: # %bb1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
62 ; CHECK-NEXT: addsd {{.*}}(%rip), %xmm0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
63 ; CHECK-NEXT: retq
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
64
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
65 entry:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
66 %mul = fmul double %x, %y
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
67 %cmp = fcmp une double %mul, 0.000000e+00
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
68 br i1 %cmp, label %bb1, label %bb2, !prof !1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
69
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
70 bb1:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
71 %add = fadd double %mul, -1.000000e+00
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 br label %bb2
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 bb2:
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
75 %phi = phi double [ %add, %bb1 ], [ %mul, %entry ]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
76 ret double %phi
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
77 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
78
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
79 ; Test if the negation of the non-equality check between floating points are
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
80 ; translated to jnp followed by jne.
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
81
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
82 define void @foo(float %f) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
83 ; CHECK-LABEL: foo:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
84 ; CHECK: # BB#0: # %entry
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
85 ; CHECK-NEXT: xorps %xmm1, %xmm1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
86 ; CHECK-NEXT: ucomiss %xmm1, %xmm0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
87 ; CHECK-NEXT: jne .LBB2_2
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
88 ; CHECK-NEXT: jnp .LBB2_1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
89 ; CHECK-NEXT: .LBB2_2: # %if.then
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
90 ; CHECK-NEXT: jmp a # TAILCALL
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
91 ; CHECK-NEXT: .LBB2_1: # %if.end
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
92 ; CHECK-NEXT: retq
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
93 entry:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
94 %cmp = fcmp une float %f, 0.000000e+00
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
95 br i1 %cmp, label %if.then, label %if.end
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
96
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
97 if.then:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
98 tail call void @a()
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
99 br label %if.end
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
100
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
101 if.end:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
102 ret void
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 }
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
104
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
105 ; Test that an FP oeq/une conditional branch can be inverted successfully even
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
106 ; when the true and false targets are the same (PR27750).
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
107 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
108 ; CHECK-LABEL: pr27750
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
109 ; CHECK: ucomiss
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
110 ; CHECK-NEXT: jne [[TARGET:.*]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
111 ; CHECK-NEXT: jp [[TARGET]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
112 define void @pr27750(i32* %b, float %x, i1 %y) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
113 entry:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
114 br label %for.cond
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
115
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
116 for.cond:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
117 br label %for.cond1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
118
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
119 for.cond1:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
120 br i1 %y, label %for.body3.lr.ph, label %for.end
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
121
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
122 for.body3.lr.ph:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
123 store i32 0, i32* %b, align 4
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
124 br label %for.end
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
125
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
126 for.end:
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
127 ; After block %for.cond gets eliminated, the two target blocks of this
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
128 ; conditional block are the same.
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
129 %tobool = fcmp une float %x, 0.000000e+00
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
130 br i1 %tobool, label %for.cond, label %for.cond1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
131 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
132
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
133 declare void @a()
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
134
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
135 !1 = !{!"branch_weights", i32 1, i32 1000}