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 --check-prefix=CHECK-BE \ 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 --check-prefix=CHECK-LE \ 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 i64 @test_llequll(i64 %a, i64 %b) { 13; CHECK-LABEL: test_llequll: 14; CHECK: # %bb.0: # %entry 15; CHECK-NEXT: xor r3, r3, r4 16; CHECK-NEXT: cntlzd r3, r3 17; CHECK-NEXT: rldicl r3, r3, 58, 63 18; CHECK-NEXT: blr 19; CHECK-BE-LABEL: test_llequll: 20; CHECK-BE: # %bb.0: # %entry 21; CHECK-BE-NEXT: xor r3, r3, r4 22; CHECK-BE-NEXT: cntlzd r3, r3 23; CHECK-BE-NEXT: rldicl r3, r3, 58, 63 24; CHECK-BE-NEXT: blr 25; 26; CHECK-LE-LABEL: test_llequll: 27; CHECK-LE: # %bb.0: # %entry 28; CHECK-LE-NEXT: xor r3, r3, r4 29; CHECK-LE-NEXT: cntlzd r3, r3 30; CHECK-LE-NEXT: rldicl r3, r3, 58, 63 31; CHECK-LE-NEXT: blr 32entry: 33 %cmp = icmp eq i64 %a, %b 34 %conv1 = zext i1 %cmp to i64 35 ret i64 %conv1 36} 37 38; Function Attrs: norecurse nounwind readnone 39define i64 @test_llequll_sext(i64 %a, i64 %b) { 40; CHECK-LABEL: test_llequll_sext: 41; CHECK: # %bb.0: # %entry 42; CHECK-NEXT: xor r3, r3, r4 43; CHECK-NEXT: addic r3, r3, -1 44; CHECK-NEXT: subfe r3, r3, r3 45; CHECK-NEXT: blr 46; CHECK-BE-LABEL: test_llequll_sext: 47; CHECK-BE: # %bb.0: # %entry 48; CHECK-BE-NEXT: xor r3, r3, r4 49; CHECK-BE-NEXT: addic r3, r3, -1 50; CHECK-BE-NEXT: subfe r3, r3, r3 51; CHECK-BE-NEXT: blr 52; 53; CHECK-LE-LABEL: test_llequll_sext: 54; CHECK-LE: # %bb.0: # %entry 55; CHECK-LE-NEXT: xor r3, r3, r4 56; CHECK-LE-NEXT: addic r3, r3, -1 57; CHECK-LE-NEXT: subfe r3, r3, r3 58; CHECK-LE-NEXT: blr 59entry: 60 %cmp = icmp eq i64 %a, %b 61 %conv1 = sext i1 %cmp to i64 62 ret i64 %conv1 63} 64 65; Function Attrs: norecurse nounwind readnone 66define i64 @test_llequll_z(i64 %a) { 67; CHECK-LABEL: test_llequll_z: 68; CHECK: # %bb.0: # %entry 69; CHECK-NEXT: cntlzd r3, r3 70; CHECK-NEXT: rldicl r3, r3, 58, 63 71; CHECK-NEXT: blr 72; CHECK-BE-LABEL: test_llequll_z: 73; CHECK-BE: # %bb.0: # %entry 74; CHECK-BE-NEXT: cntlzd r3, r3 75; CHECK-BE-NEXT: rldicl r3, r3, 58, 63 76; CHECK-BE-NEXT: blr 77; 78; CHECK-LE-LABEL: test_llequll_z: 79; CHECK-LE: # %bb.0: # %entry 80; CHECK-LE-NEXT: cntlzd r3, r3 81; CHECK-LE-NEXT: rldicl r3, r3, 58, 63 82; CHECK-LE-NEXT: blr 83entry: 84 %cmp = icmp eq i64 %a, 0 85 %conv1 = zext i1 %cmp to i64 86 ret i64 %conv1 87} 88 89; Function Attrs: norecurse nounwind readnone 90define i64 @test_llequll_sext_z(i64 %a) { 91; CHECK-LABEL: test_llequll_sext_z: 92; CHECK: # %bb.0: # %entry 93; CHECK-NEXT: addic r3, r3, -1 94; CHECK-NEXT: subfe r3, r3, r3 95; CHECK-NEXT: blr 96; CHECK-BE-LABEL: test_llequll_sext_z: 97; CHECK-BE: # %bb.0: # %entry 98; CHECK-BE-NEXT: addic r3, r3, -1 99; CHECK-BE-NEXT: subfe r3, r3, r3 100; CHECK-BE-NEXT: blr 101; 102; CHECK-LE-LABEL: test_llequll_sext_z: 103; CHECK-LE: # %bb.0: # %entry 104; CHECK-LE-NEXT: addic r3, r3, -1 105; CHECK-LE-NEXT: subfe r3, r3, r3 106; CHECK-LE-NEXT: blr 107entry: 108 %cmp = icmp eq i64 %a, 0 109 %conv1 = sext i1 %cmp to i64 110 ret i64 %conv1 111} 112 113; Function Attrs: norecurse nounwind 114define dso_local void @test_llequll_store(i64 %a, i64 %b) { 115; CHECK-LABEL: test_llequll_store: 116; CHECK: # %bb.0: # %entry 117; CHECK-NEXT: xor r3, r3, r4 118; CHECK-NEXT: addis r5, r2, glob@toc@ha 119; CHECK-NEXT: cntlzd r3, r3 120; CHECK-NEXT: rldicl r3, r3, 58, 63 121; CHECK-NEXT: std r3, glob@toc@l(r5) 122; CHECK-NEXT: blr 123; CHECK-BE-LABEL: test_llequll_store: 124; CHECK-BE: # %bb.0: # %entry 125; CHECK-BE-NEXT: xor r3, r3, r4 126; CHECK-BE-NEXT: addis r4, r2, glob@toc@ha 127; CHECK-BE-NEXT: cntlzd r3, r3 128; CHECK-BE-NEXT: rldicl r3, r3, 58, 63 129; CHECK-BE-NEXT: std r3, glob@toc@l(r4) 130; CHECK-BE-NEXT: blr 131; 132; CHECK-LE-LABEL: test_llequll_store: 133; CHECK-LE: # %bb.0: # %entry 134; CHECK-LE-NEXT: xor r3, r3, r4 135; CHECK-LE-NEXT: addis r4, r2, glob@toc@ha 136; CHECK-LE-NEXT: cntlzd r3, r3 137; CHECK-LE-NEXT: rldicl r3, r3, 58, 63 138; CHECK-LE-NEXT: std r3, glob@toc@l(r4) 139; CHECK-LE-NEXT: blr 140entry: 141 %cmp = icmp eq i64 %a, %b 142 %conv1 = zext i1 %cmp to i64 143 store i64 %conv1, ptr @glob, align 8 144 ret void 145} 146 147; Function Attrs: norecurse nounwind 148define dso_local void @test_llequll_sext_store(i64 %a, i64 %b) { 149; CHECK-LABEL: test_llequll_sext_store: 150; CHECK: # %bb.0: # %entry 151; CHECK-NEXT: xor r3, r3, r4 152; CHECK-NEXT: addis r5, r2, glob@toc@ha 153; CHECK-NEXT: addic r3, r3, -1 154; CHECK-NEXT: subfe r3, r3, r3 155; CHECK-NEXT: std r3, glob@toc@l(r5) 156; CHECK-NEXT: blr 157; CHECK-BE-LABEL: test_llequll_sext_store: 158; CHECK-BE: # %bb.0: # %entry 159; CHECK-BE-NEXT: xor r3, r3, r4 160; CHECK-BE-NEXT: addis r4, r2, glob@toc@ha 161; CHECK-BE-NEXT: addic r3, r3, -1 162; CHECK-BE-NEXT: subfe r3, r3, r3 163; CHECK-BE-NEXT: std r3, glob@toc@l(r4) 164; CHECK-BE-NEXT: blr 165; 166; CHECK-LE-LABEL: test_llequll_sext_store: 167; CHECK-LE: # %bb.0: # %entry 168; CHECK-LE-NEXT: xor r3, r3, r4 169; CHECK-LE-NEXT: addis r4, r2, glob@toc@ha 170; CHECK-LE-NEXT: addic r3, r3, -1 171; CHECK-LE-NEXT: subfe r3, r3, r3 172; CHECK-LE-NEXT: std r3, glob@toc@l(r4) 173; CHECK-LE-NEXT: blr 174entry: 175 %cmp = icmp eq i64 %a, %b 176 %conv1 = sext i1 %cmp to i64 177 store i64 %conv1, ptr @glob, align 8 178 ret void 179} 180 181; Function Attrs: norecurse nounwind 182define dso_local void @test_llequll_z_store(i64 %a) { 183; CHECK-LABEL: test_llequll_z_store: 184; CHECK: # %bb.0: # %entry 185; CHECK-NEXT: cntlzd r3, r3 186; CHECK-NEXT: addis r4, r2, glob@toc@ha 187; CHECK-NEXT: rldicl r3, r3, 58, 63 188; CHECK-NEXT: std r3, glob@toc@l(r4) 189; CHECK-NEXT: blr 190; CHECK-BE-LABEL: test_llequll_z_store: 191; CHECK-BE: # %bb.0: # %entry 192; CHECK-BE-NEXT: cntlzd r3, r3 193; CHECK-BE-NEXT: addis r4, r2, glob@toc@ha 194; CHECK-BE-NEXT: rldicl r3, r3, 58, 63 195; CHECK-BE-NEXT: std r3, glob@toc@l(r4) 196; CHECK-BE-NEXT: blr 197; 198; CHECK-LE-LABEL: test_llequll_z_store: 199; CHECK-LE: # %bb.0: # %entry 200; CHECK-LE-NEXT: cntlzd r3, r3 201; CHECK-LE-NEXT: addis r4, r2, glob@toc@ha 202; CHECK-LE-NEXT: rldicl r3, r3, 58, 63 203; CHECK-LE-NEXT: std r3, glob@toc@l(r4) 204; CHECK-LE-NEXT: blr 205entry: 206 %cmp = icmp eq i64 %a, 0 207 %conv1 = zext i1 %cmp to i64 208 store i64 %conv1, ptr @glob, align 8 209 ret void 210} 211 212; Function Attrs: norecurse nounwind 213define dso_local void @test_llequll_sext_z_store(i64 %a) { 214; CHECK-LABEL: test_llequll_sext_z_store: 215; CHECK: # %bb.0: # %entry 216; CHECK-NEXT: addic r3, r3, -1 217; CHECK-NEXT: addis r4, r2, glob@toc@ha 218; CHECK-NEXT: subfe r3, r3, r3 219; CHECK-NEXT: std r3, glob@toc@l(r4) 220; CHECK-NEXT: blr 221; CHECK-BE-LABEL: test_llequll_sext_z_store: 222; CHECK-BE: # %bb.0: # %entry 223; CHECK-BE-NEXT: addic r3, r3, -1 224; CHECK-BE-NEXT: addis r4, r2, glob@toc@ha 225; CHECK-BE-NEXT: subfe r3, r3, r3 226; CHECK-BE-NEXT: std r3, glob@toc@l(r4) 227; CHECK-BE-NEXT: blr 228; 229; CHECK-LE-LABEL: test_llequll_sext_z_store: 230; CHECK-LE: # %bb.0: # %entry 231; CHECK-LE-NEXT: addic r3, r3, -1 232; CHECK-LE-NEXT: addis r4, r2, glob@toc@ha 233; CHECK-LE-NEXT: subfe r3, r3, r3 234; CHECK-LE-NEXT: std r3, glob@toc@l(r4) 235; CHECK-LE-NEXT: blr 236entry: 237 %cmp = icmp eq i64 %a, 0 238 %conv1 = sext i1 %cmp to i64 239 store i64 %conv1, ptr @glob, align 8 240 ret void 241} 242