1 ; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \ 2 ; RUN: -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \ 3 ; RUN: --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl 4 ; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \ 5 ; RUN: -ppc-gpr-icmps=all -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \ 6 ; RUN: --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl 7 8 @glob = common local_unnamed_addr global i16 0, align 2 9 10 ; Function Attrs: norecurse nounwind readnone 11 define signext i32 @test_igeus(i16 zeroext %a, i16 zeroext %b) { 12 entry: 13 %cmp = icmp uge i16 %a, %b 14 %conv2 = zext i1 %cmp to i32 15 ret i32 %conv2 16 ; CHECK-LABEL: test_igeus: 17 ; CHECK: sub [[REG1:r[0-9]+]], r3, r4 18 ; CHECK-NEXT: rldicl [[REG2:r[0-9]+]], [[REG2]], 1, 63 19 ; CHECK-NEXT: xori r3, [[REG2]], 1 20 ; CHECK: blr 21 } 22 23 ; Function Attrs: norecurse nounwind readnone 24 define signext i32 @test_igeus_sext(i16 zeroext %a, i16 zeroext %b) { 25 entry: 26 %cmp = icmp uge i16 %a, %b 27 %sub = sext i1 %cmp to i32 28 ret i32 %sub 29 ; CHECK-LABEL: @test_igeus_sext 30 ; CHECK: sub [[REG1:r[0-9]+]], r3, r4 31 ; CHECK-NEXT: rldicl [[REG2:r[0-9]+]], [[REG1]], 1, 63 32 ; CHECK-NEXT: addi [[REG3:r[0-9]+]], [[REG2]], -1 33 ; CHECK-NEXT: blr 34 } 35 36 ; Function Attrs: norecurse nounwind readnone 37 define signext i32 @test_igeus_z(i16 zeroext %a) { 38 entry: 39 %cmp = icmp uge i16 %a, 0 40 %conv2 = zext i1 %cmp to i32 41 ret i32 %conv2 42 ; CHECK-LABEL: @test_igeus_z 43 ; CHECK: li r3, 1 44 ; CHECK-NEXT: blr 45 } 46 47 ; Function Attrs: norecurse nounwind readnone 48 define signext i32 @test_igeus_sext_z(i16 zeroext %a) { 49 entry: 50 %cmp = icmp uge i16 %a, 0 51 %conv2 = zext i1 %cmp to i32 52 ret i32 %conv2 53 ; CHECK-LABEL: @test_igeus_sext_z 54 ; CHECK: li r3, 1 55 ; CHECK-NEXT: blr 56 } 57 58 ; Function Attrs: norecurse nounwind 59 define void @test_igeus_store(i16 zeroext %a, i16 zeroext %b) { 60 entry: 61 %cmp = icmp uge i16 %a, %b 62 %conv3 = zext i1 %cmp to i16 63 store i16 %conv3, i16* @glob 64 ret void 65 ; CHECK_LABEL: test_igeus_store: 66 ; CHECK: sub [[REG1:r[0-9]+]], r3, r4 67 ; CHECK: rldicl [[REG2:r[0-9]+]], [[REG2]], 1, 63 68 ; CHECK: xori {{r[0-9]+}}, [[REG2]], 1 69 ; CHECK: blr 70 } 71 72 ; Function Attrs: norecurse nounwind 73 define void @test_igeus_sext_store(i16 zeroext %a, i16 zeroext %b) { 74 entry: 75 %cmp = icmp uge i16 %a, %b 76 %conv3 = sext i1 %cmp to i16 77 store i16 %conv3, i16* @glob 78 ret void 79 ; CHECK-LABEL: @test_igeus_sext_store 80 ; CHECK: sub [[REG1:r[0-9]+]], r3, r4 81 ; CHECK: rldicl [[REG2:r[0-9]+]], [[REG1]], 1, 63 82 ; CHECK: addi [[REG3:r[0-9]+]], [[REG2]], -1 83 ; CHECK: sth [[REG3]] 84 ; CHECK: blr 85 } 86 87 ; Function Attrs: norecurse nounwind 88 define void @test_igeus_z_store(i16 zeroext %a) { 89 entry: 90 %cmp = icmp uge i16 %a, 0 91 %conv3 = zext i1 %cmp to i16 92 store i16 %conv3, i16* @glob 93 ret void 94 ; CHECK-LABEL: @test_igeus_z_store 95 ; CHECK: li [[REG1:r[0-9]+]], 1 96 ; CHECK: sth [[REG1]] 97 ; CHECK: blr 98 } 99 100 ; Function Attrs: norecurse nounwind 101 define void @test_igeus_sext_z_store(i16 zeroext %a) { 102 entry: 103 %cmp = icmp uge i16 %a, 0 104 %conv3 = sext i1 %cmp to i16 105 store i16 %conv3, i16* @glob 106 ret void 107 ; CHECK-LABEL: @test_igeus_sext_z_store 108 ; CHECK: li [[REG1:r[0-9]+]], -1 109 ; CHECK: sth [[REG1]] 110 ; CHECK: blr 111 } 112 113
