blob: e04641d608ed8286cd642129df5c9424eebdcd3f [file] [log] [blame]
Stefan Pintiliecb4f0c52018-07-04 18:54:25 +00001; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +00002; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \
Nemanja Ivanovicdb7e7702017-11-30 13:39:10 +00003; RUN: -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +00004; RUN: --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
5; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \
Nemanja Ivanovicdb7e7702017-11-30 13:39:10 +00006; RUN: -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +00007; RUN: --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +00008
9@glob = common local_unnamed_addr global i32 0, align 4
10
11define i64 @test_lllesi(i32 signext %a, i32 signext %b) {
12; CHECK-LABEL: test_lllesi:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000013; CHECK: # %bb.0: # %entry
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +000014; CHECK-NEXT: sub r3, r4, r3
15; CHECK-NEXT: rldicl r3, r3, 1, 63
16; CHECK-NEXT: xori r3, r3, 1
17; CHECK-NEXT: blr
18entry:
19 %cmp = icmp sle i32 %a, %b
20 %conv1 = zext i1 %cmp to i64
21 ret i64 %conv1
22}
23
24define i64 @test_lllesi_sext(i32 signext %a, i32 signext %b) {
25; CHECK-LABEL: test_lllesi_sext:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000026; CHECK: # %bb.0: # %entry
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +000027; CHECK-NEXT: sub r3, r4, r3
28; CHECK-NEXT: rldicl r3, r3, 1, 63
29; CHECK-NEXT: addi r3, r3, -1
30; CHECK-NEXT: blr
31entry:
32 %cmp = icmp sle i32 %a, %b
33 %conv1 = sext i1 %cmp to i64
34 ret i64 %conv1
35}
36
37define void @test_lllesi_store(i32 signext %a, i32 signext %b) {
38; CHECK-LABEL: test_lllesi_store:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000039; CHECK: # %bb.0: # %entry
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +000040; CHECK-NEXT: addis r5, r2, .LC0@toc@ha
41; CHECK-NEXT: sub r3, r4, r3
Stefan Pintiliecb4f0c52018-07-04 18:54:25 +000042; CHECK-NEXT: ld r4, .LC0@toc@l(r5)
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +000043; CHECK-NEXT: rldicl r3, r3, 1, 63
44; CHECK-NEXT: xori r3, r3, 1
Stefan Pintiliecb4f0c52018-07-04 18:54:25 +000045; CHECK-NEXT: stw r3, 0(r4)
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +000046; CHECK-NEXT: blr
47entry:
48 %cmp = icmp sle i32 %a, %b
49 %conv = zext i1 %cmp to i32
50 store i32 %conv, i32* @glob, align 4
51 ret void
52}
53
54define void @test_lllesi_sext_store(i32 signext %a, i32 signext %b) {
55; CHECK-LABEL: test_lllesi_sext_store:
Francis Visoiu Mistrih25528d62017-12-04 17:18:51 +000056; CHECK: # %bb.0: # %entry
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +000057; CHECK-NEXT: addis r5, r2, .LC0@toc@ha
58; CHECK-NEXT: sub r3, r4, r3
Stefan Pintiliecb4f0c52018-07-04 18:54:25 +000059; CHECK-NEXT: ld r4, .LC0@toc@l(r5)
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +000060; CHECK-NEXT: rldicl r3, r3, 1, 63
61; CHECK-NEXT: addi r3, r3, -1
Stefan Pintiliecb4f0c52018-07-04 18:54:25 +000062; CHECK-NEXT: stw r3, 0(r4)
Nemanja Ivanovicd6f93f52017-09-22 11:50:25 +000063; CHECK-NEXT: blr
64entry:
65 %cmp = icmp sle i32 %a, %b
66 %sub = sext i1 %cmp to i32
67 store i32 %sub, i32* @glob, align 4
68 ret void
69}