111 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mcpu=pwr9 -mtriple=powerpc64le-unknown-unknown \3; RUN: -verify-machineinstrs -O2 < %s | FileCheck %s4$test = comdat any5 6; Function Attrs: noinline nounwind7define void @test() local_unnamed_addr #0 comdat align 2 {8; CHECK-LABEL: test:9; CHECK: # %bb.0: # %entry10; CHECK-NEXT: ld 3, 0(3)11; CHECK-NEXT: cmpdi 1, 3, 012; CHECK-NEXT: andi. 4, 3, 313; CHECK-NEXT: crand 20, 2, 514; CHECK-NEXT: isel 3, 0, 3, 2015; CHECK-NEXT: addi 3, 3, -116; CHECK-NEXT: cmpldi 3, 317; CHECK-NEXT: bltlr+ 018; CHECK-NEXT: # %bb.1: # %for.body.i.i.i.i.i.i.i19entry:20 %0 = load ptr, ptr undef, align 821 %1 = load i64, ptr undef, align 822 %add.ptr.i.i.i.i = getelementptr inbounds float, ptr %0, i64 undef23 %2 = ptrtoint ptr %add.ptr.i.i.i.i to i6424 %and.i.i.i.i.i.i.i = and i64 %2, 325 %tobool.i.i.i.i.i.i.i = icmp eq i64 %and.i.i.i.i.i.i.i, 026 %cmp.i.i.i.i.i.i.i = icmp slt i64 0, %127 %3 = and i1 %tobool.i.i.i.i.i.i.i, %cmp.i.i.i.i.i.i.i28 %spec.select.i.i.i.i.i.i.i = select i1 %3, i64 0, i64 %129 %4 = add i64 %spec.select.i.i.i.i.i.i.i, -130 %5 = sub i64 %4, 031 br label %for.body.i.i.i.i.i.i.i.prol.loopexit32 33for.body.i.i.i.i.i.i.i.prol.loopexit: ; preds = %entry34 %6 = icmp ult i64 %5, 335 br i1 %6, label %exitBB, label %for.body.i.i.i.i.i.i.i36 37for.body.i.i.i.i.i.i.i: ; preds = %for.body.i.i.i.i.i.i.i.prol.loopexit38 unreachable39 40exitBB: ; preds = %for.body.i.i.i.i.i.i.i.prol.loopexit41 ret void42}43 44define signext i32 @andis_bot(i32 signext %a, i32 signext %b) {45; CHECK-LABEL: andis_bot:46; CHECK: # %bb.0: # %entry47; CHECK-NEXT: andis. 5, 3, 148; CHECK-NEXT: li 5, 149; CHECK-NEXT: iseleq 4, 4, 550; CHECK-NEXT: mullw 3, 4, 351; CHECK-NEXT: extsw 3, 352; CHECK-NEXT: blr53entry:54 %and = and i32 %a, 6553655 %tobool = icmp eq i32 %and, 056 %mul = select i1 %tobool, i32 %b, i32 157 %cond = mul nsw i32 %mul, %a58 ret i32 %cond59}60 61; Function Attrs: norecurse nounwind readnone62define signext i32 @andis_mid(i32 signext %a, i32 signext %b) {63; CHECK-LABEL: andis_mid:64; CHECK: # %bb.0: # %entry65; CHECK-NEXT: andis. 5, 3, 25266; CHECK-NEXT: li 5, 167; CHECK-NEXT: iseleq 4, 4, 568; CHECK-NEXT: mullw 3, 4, 369; CHECK-NEXT: extsw 3, 370; CHECK-NEXT: blr71entry:72 %and = and i32 %a, 1651507273 %tobool = icmp eq i32 %and, 074 %mul = select i1 %tobool, i32 %b, i32 175 %cond = mul nsw i32 %mul, %a76 ret i32 %cond77}78 79; Function Attrs: norecurse nounwind readnone80define signext i32 @andis_top(i32 signext %a, i32 signext %b) {81; CHECK-LABEL: andis_top:82; CHECK: # %bb.0: # %entry83; CHECK-NEXT: andis. 5, 3, 6451284; CHECK-NEXT: li 5, 185; CHECK-NEXT: iseleq 4, 4, 586; CHECK-NEXT: mullw 3, 4, 387; CHECK-NEXT: extsw 3, 388; CHECK-NEXT: blr89entry:90 %tobool = icmp ugt i32 %a, 6710886391 %mul = select i1 %tobool, i32 1, i32 %b92 %cond = mul nsw i32 %mul, %a93 ret i32 %cond94}95 96define i64 @andis_no_cmp(i64 %a, i64 %b) {97; CHECK-LABEL: andis_no_cmp:98; CHECK: # %bb.0: # %entry99; CHECK-NEXT: andis. 5, 3, 1100; CHECK-NEXT: li 5, 1101; CHECK-NEXT: iseleq 4, 4, 5102; CHECK-NEXT: mulld 3, 4, 3103; CHECK-NEXT: blr104entry:105 %and = and i64 %a, 65536106 %tobool = icmp eq i64 %and, 0107 %mul = select i1 %tobool, i64 %b, i64 1108 %cond = mul nsw i64 %mul, %a109 ret i64 %cond110}111