Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / 5b51fd5b550a9589f95e677fca801cea565e8d9f / . / test / CodeGen / SPARC / 64cond.ll
blob: bdc5e70a2de848a36a2ed0c222239d91ded32df3 [file] [log] [blame]
Venkatraman Govindarajudd482262013-06-02 02:24:27 +0000[diff] [blame]1; RUN: llc < %s -mtriple=sparc64-pc-openbsd -disable-sparc-leaf-proc | FileCheck %s
Jakob Stoklund Olesenbc3db032013-05-14 17:47:27 +0000[diff] [blame]2; Testing 64-bit conditionals. The sparc64 triple is an alias for sparcv9.
Jakob Stoklund Olesen8534e992013-04-03 04:41:44 +0000[diff] [blame]3
4; CHECK: cmpri
Venkatraman Govindaraju01021a82013-06-07 00:03:36 +0000[diff] [blame]5; CHECK: cmp %i1, 1
Roman Divacky6ca5fd32013-06-07 17:46:57 +0000[diff] [blame]6; CHECK: be %xcc,
Jakob Stoklund Olesen8534e992013-04-03 04:41:44 +0000[diff] [blame]7define void @cmpri(i64* %p, i64 %x) {
8entry:
9 %tobool = icmp eq i64 %x, 1
10 br i1 %tobool, label %if.end, label %if.then
11
12if.then:
13 store i64 %x, i64* %p, align 8
14 br label %if.end
15
16if.end:
17 ret void
18}
19
20; CHECK: cmprr
Venkatraman Govindaraju01021a82013-06-07 00:03:36 +0000[diff] [blame]21; CHECK: cmp %i1, %i2
Roman Divacky6ca5fd32013-06-07 17:46:57 +0000[diff] [blame]22; CHECK: bgu %xcc,
Jakob Stoklund Olesen8534e992013-04-03 04:41:44 +0000[diff] [blame]23define void @cmprr(i64* %p, i64 %x, i64 %y) {
24entry:
25 %tobool = icmp ugt i64 %x, %y
26 br i1 %tobool, label %if.end, label %if.then
27
28if.then:
29 store i64 %x, i64* %p, align 8
30 br label %if.end
31
32if.end:
33 ret void
34}
Jakob Stoklund Olesen0e164882013-04-04 03:08:00 +0000[diff] [blame]35
36; CHECK: selecti32_xcc
Venkatraman Govindaraju01021a82013-06-07 00:03:36 +0000[diff] [blame]37; CHECK: cmp %i0, %i1
Jakob Stoklund Olesen0e164882013-04-04 03:08:00 +0000[diff] [blame]38; CHECK: movg %xcc, %i2, %i3
Venkatraman Govindaraju65ca7aa2013-06-02 21:48:17 +0000[diff] [blame]39; CHECK: restore %g0, %i3, %o0
Jakob Stoklund Olesen0e164882013-04-04 03:08:00 +0000[diff] [blame]40define i32 @selecti32_xcc(i64 %x, i64 %y, i32 %a, i32 %b) {
41entry:
42 %tobool = icmp sgt i64 %x, %y
43 %rv = select i1 %tobool, i32 %a, i32 %b
44 ret i32 %rv
45}
46
47; CHECK: selecti64_xcc
Venkatraman Govindaraju01021a82013-06-07 00:03:36 +0000[diff] [blame]48; CHECK: cmp %i0, %i1
Jakob Stoklund Olesen0e164882013-04-04 03:08:00 +0000[diff] [blame]49; CHECK: movg %xcc, %i2, %i3
Venkatraman Govindaraju65ca7aa2013-06-02 21:48:17 +0000[diff] [blame]50; CHECK: restore %g0, %i3, %o0
Jakob Stoklund Olesen0e164882013-04-04 03:08:00 +0000[diff] [blame]51define i64 @selecti64_xcc(i64 %x, i64 %y, i64 %a, i64 %b) {
52entry:
53 %tobool = icmp sgt i64 %x, %y
54 %rv = select i1 %tobool, i64 %a, i64 %b
55 ret i64 %rv
56}
Jakob Stoklund Olesen89db6732013-05-19 20:20:54 +0000[diff] [blame]57
Jakob Stoklund Olesen60abcb72013-05-19 20:38:21 +0000[diff] [blame]58; CHECK: selecti64_icc
Venkatraman Govindaraju01021a82013-06-07 00:03:36 +0000[diff] [blame]59; CHECK: cmp %i0, %i1
Jakob Stoklund Olesen60abcb72013-05-19 20:38:21 +0000[diff] [blame]60; CHECK: movg %icc, %i2, %i3
Venkatraman Govindaraju65ca7aa2013-06-02 21:48:17 +0000[diff] [blame]61; CHECK: restore %g0, %i3, %o0
Jakob Stoklund Olesen60abcb72013-05-19 20:38:21 +0000[diff] [blame]62define i64 @selecti64_icc(i32 %x, i32 %y, i64 %a, i64 %b) {
63entry:
64 %tobool = icmp sgt i32 %x, %y
65 %rv = select i1 %tobool, i64 %a, i64 %b
66 ret i64 %rv
67}
68
Jakob Stoklund Olesen89db6732013-05-19 20:20:54 +0000[diff] [blame]69; CHECK: selecti64_fcc
70; CHECK: fcmps %f1, %f3
71; CHECK: movul %fcc0, %i2, %i3
Venkatraman Govindaraju65ca7aa2013-06-02 21:48:17 +0000[diff] [blame]72; CHECK: restore %g0, %i3, %o0
Jakob Stoklund Olesen89db6732013-05-19 20:20:54 +0000[diff] [blame]73define i64 @selecti64_fcc(float %x, float %y, i64 %a, i64 %b) {
74entry:
75 %tobool = fcmp ult float %x, %y
76 %rv = select i1 %tobool, i64 %a, i64 %b
77 ret i64 %rv
78}
Jakob Stoklund Olesen51d46c32013-05-19 20:33:11 +0000[diff] [blame]79
80; CHECK: selectf32_xcc
Venkatraman Govindaraju01021a82013-06-07 00:03:36 +0000[diff] [blame]81; CHECK: cmp %i0, %i1
Jakob Stoklund Olesen51d46c32013-05-19 20:33:11 +0000[diff] [blame]82; CHECK: fmovsg %xcc, %f5, %f7
83; CHECK: fmovs %f7, %f1
84define float @selectf32_xcc(i64 %x, i64 %y, float %a, float %b) {
85entry:
86 %tobool = icmp sgt i64 %x, %y
87 %rv = select i1 %tobool, float %a, float %b
88 ret float %rv
89}
90
91; CHECK: selectf64_xcc
Venkatraman Govindaraju01021a82013-06-07 00:03:36 +0000[diff] [blame]92; CHECK: cmp %i0, %i1
Jakob Stoklund Olesen51d46c32013-05-19 20:33:11 +0000[diff] [blame]93; CHECK: fmovdg %xcc, %f4, %f6
94; CHECK: fmovd %f6, %f0
95define double @selectf64_xcc(i64 %x, i64 %y, double %a, double %b) {
96entry:
97 %tobool = icmp sgt i64 %x, %y
98 %rv = select i1 %tobool, double %a, double %b
99 ret double %rv
100}
Jakob Stoklund Olesen634123e2013-05-19 21:47:13 +0000[diff] [blame]101
102; The MOVXCC instruction can't use %g0 for its tied operand.
103; CHECK: select_consti64_xcc
Venkatraman Govindaraju01021a82013-06-07 00:03:36 +0000[diff] [blame]104; CHECK: cmp
Andrew Trick6ea2b962013-07-25 18:35:14 +0000[diff] [blame]105; CHECK: movg %xcc, 123, %i{{[0-2]}}
Jakob Stoklund Olesen634123e2013-05-19 21:47:13 +0000[diff] [blame]106define i64 @select_consti64_xcc(i64 %x, i64 %y) {
107entry:
108 %tobool = icmp sgt i64 %x, %y
109 %rv = select i1 %tobool, i64 123, i64 0
110 ret i64 %rv
111}