1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc -mcpu=pwr9 -mtriple=powerpc64le-unknown-unknown \ 3; RUN: -verify-machineinstrs -O2 < %s | FileCheck %s 4$test = comdat any 5 6; Function Attrs: noinline nounwind 7define void @test() local_unnamed_addr #0 comdat align 2 { 8; CHECK-LABEL: test: 9; CHECK: # %bb.0: # %entry 10; CHECK-NEXT: ld 3, 0(3) 11; CHECK-NEXT: cmpdi 1, 3, 0 12; CHECK-NEXT: andi. 4, 3, 3 13; CHECK-NEXT: crand 20, 2, 5 14; CHECK-NEXT: isel 3, 0, 3, 20 15; CHECK-NEXT: addi 3, 3, -1 16; CHECK-NEXT: cmpldi 3, 3 17; CHECK-NEXT: bltlr+ 0 18; CHECK-NEXT: # %bb.1: # %for.body.i.i.i.i.i.i.i 19entry: 20 %0 = load float*, float** undef, align 8 21 %1 = load i64, i64* undef, align 8 22 %add.ptr.i.i.i.i = getelementptr inbounds float, float* %0, i64 undef 23 %2 = ptrtoint float* %add.ptr.i.i.i.i to i64 24 %and.i.i.i.i.i.i.i = and i64 %2, 3 25 %tobool.i.i.i.i.i.i.i = icmp eq i64 %and.i.i.i.i.i.i.i, 0 26 %cmp.i.i.i.i.i.i.i = icmp slt i64 0, %1 27 %3 = and i1 %tobool.i.i.i.i.i.i.i, %cmp.i.i.i.i.i.i.i 28 %spec.select.i.i.i.i.i.i.i = select i1 %3, i64 0, i64 %1 29 %4 = add i64 %spec.select.i.i.i.i.i.i.i, -1 30 %5 = sub i64 %4, 0 31 br label %for.body.i.i.i.i.i.i.i.prol.loopexit 32 33for.body.i.i.i.i.i.i.i.prol.loopexit: ; preds = %entry 34 %6 = icmp ult i64 %5, 3 35 br i1 %6, label %exitBB, label %for.body.i.i.i.i.i.i.i 36 37for.body.i.i.i.i.i.i.i: ; preds = %for.body.i.i.i.i.i.i.i.prol.loopexit 38 unreachable 39 40exitBB: ; preds = %for.body.i.i.i.i.i.i.i.prol.loopexit 41 ret void 42} 43 44define signext i32 @andis_bot(i32 signext %a, i32 signext %b) { 45; CHECK-LABEL: andis_bot: 46; CHECK: # %bb.0: # %entry 47; CHECK-NEXT: andis. 5, 3, 1 48; CHECK-NEXT: li 5, 1 49; CHECK-NEXT: isel 4, 4, 5, 2 50; CHECK-NEXT: mullw 3, 4, 3 51; CHECK-NEXT: extsw 3, 3 52; CHECK-NEXT: blr 53entry: 54 %and = and i32 %a, 65536 55 %tobool = icmp eq i32 %and, 0 56 %mul = select i1 %tobool, i32 %b, i32 1 57 %cond = mul nsw i32 %mul, %a 58 ret i32 %cond 59} 60 61; Function Attrs: norecurse nounwind readnone 62define signext i32 @andis_mid(i32 signext %a, i32 signext %b) { 63; CHECK-LABEL: andis_mid: 64; CHECK: # %bb.0: # %entry 65; CHECK-NEXT: andis. 5, 3, 252 66; CHECK-NEXT: li 5, 1 67; CHECK-NEXT: isel 4, 4, 5, 2 68; CHECK-NEXT: mullw 3, 4, 3 69; CHECK-NEXT: extsw 3, 3 70; CHECK-NEXT: blr 71entry: 72 %and = and i32 %a, 16515072 73 %tobool = icmp eq i32 %and, 0 74 %mul = select i1 %tobool, i32 %b, i32 1 75 %cond = mul nsw i32 %mul, %a 76 ret i32 %cond 77} 78 79; Function Attrs: norecurse nounwind readnone 80define signext i32 @andis_top(i32 signext %a, i32 signext %b) { 81; CHECK-LABEL: andis_top: 82; CHECK: # %bb.0: # %entry 83; CHECK-NEXT: andis. 5, 3, 64512 84; CHECK-NEXT: li 5, 1 85; CHECK-NEXT: isel 4, 4, 5, 2 86; CHECK-NEXT: mullw 3, 4, 3 87; CHECK-NEXT: extsw 3, 3 88; CHECK-NEXT: blr 89entry: 90 %tobool = icmp ugt i32 %a, 67108863 91 %mul = select i1 %tobool, i32 1, i32 %b 92 %cond = mul nsw i32 %mul, %a 93 ret i32 %cond 94} 95 96define i64 @andis_no_cmp(i64 %a, i64 %b) { 97entry: 98 %and = and i64 %a, 65536 99 %tobool = icmp eq i64 %and, 0 100 %mul = select i1 %tobool, i64 %b, i64 1 101 %cond = mul nsw i64 %mul, %a 102 ret i64 %cond 103} 104