1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc -mcpu=pwr8 -mtriple=powerpc64le-unknown-unknown \ 3; RUN: -verify-machineinstrs < %s | FileCheck %s 4define signext i32 @test(i32* noalias %PtrA, i32* noalias %PtrB, i32 signext %LenA, i32 signext %LenB) #0 { 5; CHECK-LABEL: test: 6; CHECK: # %bb.0: # %entry 7; CHECK-NEXT: li 6, 0 8; CHECK-NEXT: addi 7, 3, 4 9; CHECK-NEXT: addi 4, 4, -4 10; CHECK-NEXT: li 8, 0 11; CHECK-NEXT: .LBB0_1: # %block3 12; CHECK-NEXT: # =>This Loop Header: Depth=1 13; CHECK-NEXT: # Child Loop BB0_2 Depth 2 14; CHECK-NEXT: mr 9, 6 15; CHECK-NEXT: addi 6, 6, 1 16; CHECK-NEXT: extsw 8, 8 17; CHECK-NEXT: cmpw 6, 5 18; CHECK-NEXT: extsw 9, 9 19; CHECK-NEXT: crnot 20, 0 20; CHECK-NEXT: sldi 10, 8, 2 21; CHECK-NEXT: sldi 9, 9, 2 22; CHECK-NEXT: addi 8, 8, 1 23; CHECK-NEXT: add 10, 4, 10 24; CHECK-NEXT: bc 12, 20, .LBB0_5 25; CHECK-NEXT: .p2align 5 26; CHECK-NEXT: .LBB0_2: # %if.end 27; CHECK-NEXT: # Parent Loop BB0_1 Depth=1 28; CHECK-NEXT: # => This Inner Loop Header: Depth=2 29; CHECK-NEXT: lwz 11, 4(10) 30; CHECK-NEXT: cmplwi 11, 0 31; CHECK-NEXT: addi 11, 10, 4 32; CHECK-NEXT: beq 0, .LBB0_4 33; CHECK-NEXT: # %bb.3: # %if.then4 34; CHECK-NEXT: # 35; CHECK-NEXT: lwzx 12, 7, 9 36; CHECK-NEXT: addi 8, 8, 1 37; CHECK-NEXT: stw 12, 8(10) 38; CHECK-NEXT: mr 10, 11 39; CHECK-NEXT: bc 4, 20, .LBB0_2 40; CHECK-NEXT: b .LBB0_5 41; CHECK-NEXT: .p2align 4 42; CHECK-NEXT: .LBB0_4: # %if.end9 43; CHECK-NEXT: # 44; CHECK-NEXT: add 9, 3, 9 45; CHECK-NEXT: lwz 10, 4(9) 46; CHECK-NEXT: addi 10, 10, 1 47; CHECK-NEXT: stw 10, 4(9) 48; CHECK-NEXT: b .LBB0_1 49; CHECK-NEXT: .LBB0_5: # %if.then 50; CHECK-NEXT: lwax 3, 9, 3 51; CHECK-NEXT: blr 52entry: 53 br label %block2 54 55block2: ; preds = %entry 56 br label %block3 57 58block3: ; preds = %block8, %block2 59 %OuterInd.0 = phi i32 [ 0, %block2 ], [ %inc, %block8 ] 60 %InnerInd.0 = phi i32 [ 0, %block2 ], [ %inc1, %block8 ] 61 %inc = add nsw i32 %OuterInd.0, 1 62 br label %block4 63 64block4: ; preds = %if.then4, %block3 65 %InnerInd.1 = phi i32 [ %InnerInd.0, %block3 ], [ %inc1, %if.then4 ] 66 %cmp = icmp sge i32 %inc, %LenA 67 br i1 %cmp, label %if.then, label %if.end 68 69if.then: ; preds = %block4 70 %sub = sub nsw i32 %inc, 1 71 %idxprom = sext i32 %sub to i64 72 %arrayidx = getelementptr inbounds i32, i32* %PtrA, i64 %idxprom 73 %0 = load i32, i32* %arrayidx, align 4 74 ret i32 %0 75 76if.end: ; preds = %block4 77 br label %block5 78 79block5: ; preds = %if.end 80 %inc1 = add nsw i32 %InnerInd.1, 1 81 %idxprom2 = sext i32 %InnerInd.1 to i64 82 %arrayidx3 = getelementptr inbounds i32, i32* %PtrB, i64 %idxprom2 83 %1 = load i32, i32* %arrayidx3, align 4 84 %tobool = icmp ne i32 %1, 0 85 br i1 %tobool, label %if.then4, label %if.end9 86 87if.then4: ; preds = %block5 88 %idxprom5 = sext i32 %inc to i64 89 %arrayidx6 = getelementptr inbounds i32, i32* %PtrA, i64 %idxprom5 90 %2 = load i32, i32* %arrayidx6, align 4 91 %idxprom7 = sext i32 %inc1 to i64 92 %arrayidx8 = getelementptr inbounds i32, i32* %PtrB, i64 %idxprom7 93 store i32 %2, i32* %arrayidx8, align 4 94 br label %block4 95 96if.end9: ; preds = %block5 97 br label %block6 98 99block6: ; preds = %if.end9 100 %idxprom10 = sext i32 %inc to i64 101 %arrayidx11 = getelementptr inbounds i32, i32* %PtrA, i64 %idxprom10 102 %3 = load i32, i32* %arrayidx11, align 4 103 %inc12 = add nsw i32 %3, 1 104 store i32 %inc12, i32* %arrayidx11, align 4 105 br label %block8 106 107block8: ; preds = %block6 108 br label %block3 109} 110