xref: /llvm-project/llvm/test/CodeGen/PowerPC/testComparesigeull.ll (revision b922a3621116b404d868af8b74cab25ab78555be)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \
3; RUN:   -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
4; RUN:  --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
5; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \
6; RUN:   -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
7; RUN:  --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
8
9@glob = dso_local local_unnamed_addr global i64 0, align 8
10
11; Function Attrs: norecurse nounwind readnone
12define dso_local signext i32 @test_igeull(i64 %a, i64 %b) {
13; CHECK-LABEL: test_igeull:
14; CHECK:       # %bb.0: # %entry
15; CHECK-NEXT:    subc r3, r3, r4
16; CHECK-NEXT:    subfe r3, r4, r4
17; CHECK-NEXT:    addi r3, r3, 1
18; CHECK-NEXT:    blr
19entry:
20  %cmp = icmp uge i64 %a, %b
21  %conv = zext i1 %cmp to i32
22  ret i32 %conv
23}
24
25; Function Attrs: norecurse nounwind readnone
26define dso_local signext i32 @test_igeull_sext(i64 %a, i64 %b) {
27; CHECK-LABEL: test_igeull_sext:
28; CHECK:       # %bb.0: # %entry
29; CHECK-NEXT:    subc r3, r3, r4
30; CHECK-NEXT:    subfe r3, r4, r4
31; CHECK-NEXT:    not r3, r3
32; CHECK-NEXT:    blr
33entry:
34  %cmp = icmp uge i64 %a, %b
35  %sub = sext i1 %cmp to i32
36  ret i32 %sub
37}
38
39; Function Attrs: norecurse nounwind readnone
40define dso_local signext i32 @test_igeull_z(i64 %a) {
41; CHECK-LABEL: test_igeull_z:
42; CHECK:       # %bb.0: # %entry
43; CHECK-NEXT:    li r3, 1
44; CHECK-NEXT:    blr
45entry:
46  %cmp = icmp uge i64 %a, 0
47  %sub = zext i1 %cmp to i32
48  ret i32 %sub
49}
50
51; Function Attrs: norecurse nounwind readnone
52define dso_local signext i32 @test_igeull_sext_z(i64 %a) {
53; CHECK-LABEL: test_igeull_sext_z:
54; CHECK:       # %bb.0: # %entry
55; CHECK-NEXT:    li r3, -1
56; CHECK-NEXT:    blr
57entry:
58  %cmp = icmp uge i64 %a, 0
59  %sub = sext i1 %cmp to i32
60  ret i32 %sub
61}
62
63; Function Attrs: norecurse nounwind
64define dso_local void @test_igeull_store(i64 %a, i64 %b) {
65; CHECK-LABEL: test_igeull_store:
66; CHECK:       # %bb.0: # %entry
67; CHECK-NEXT:    subc r3, r3, r4
68; CHECK-NEXT:    subfe r3, r4, r4
69; CHECK-NEXT:    addis r4, r2, glob@toc@ha
70; CHECK-NEXT:    addi r3, r3, 1
71; CHECK-NEXT:    std r3, glob@toc@l(r4)
72; CHECK-NEXT:    blr
73entry:
74  %cmp = icmp uge i64 %a, %b
75  %conv1 = zext i1 %cmp to i64
76  store i64 %conv1, ptr @glob
77  ret void
78}
79
80; Function Attrs: norecurse nounwind
81define dso_local void @test_igeull_sext_store(i64 %a, i64 %b) {
82; CHECK-LABEL: test_igeull_sext_store:
83; CHECK:       # %bb.0: # %entry
84; CHECK-NEXT:    subc r3, r3, r4
85; CHECK-NEXT:    subfe r3, r4, r4
86; CHECK-NEXT:    addis r4, r2, glob@toc@ha
87; CHECK-NEXT:    not r3, r3
88; CHECK-NEXT:    std r3, glob@toc@l(r4)
89; CHECK-NEXT:    blr
90entry:
91  %cmp = icmp uge i64 %a, %b
92  %conv1 = sext i1 %cmp to i64
93  store i64 %conv1, ptr @glob
94  ret void
95}
96
97; Function Attrs: norecurse nounwind
98define dso_local void @test_igeull_z_store(i64 %a) {
99; CHECK-LABEL: test_igeull_z_store:
100; CHECK:       # %bb.0: # %entry
101; CHECK-NEXT:    addis r3, r2, glob@toc@ha
102; CHECK-NEXT:    li r4, 1
103; CHECK-NEXT:    std r4, glob@toc@l(r3)
104; CHECK-NEXT:    blr
105entry:
106  %cmp = icmp uge i64 %a, 0
107  %conv1 = zext i1 %cmp to i64
108  store i64 %conv1, ptr @glob
109  ret void
110}
111
112; Function Attrs: norecurse nounwind
113define dso_local void @test_igeull_sext_z_store(i64 %a) {
114; CHECK-LABEL: test_igeull_sext_z_store:
115; CHECK:       # %bb.0: # %entry
116; CHECK-NEXT:    addis r3, r2, glob@toc@ha
117; CHECK-NEXT:    li r4, -1
118; CHECK-NEXT:    std r4, glob@toc@l(r3)
119; CHECK-NEXT:    blr
120entry:
121  %cmp = icmp uge i64 %a, 0
122  %conv1 = sext i1 %cmp to i64
123  store i64 %conv1, ptr @glob
124  ret void
125}
126