; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; RUN: llc -verify-machineinstrs < %s | FileCheck %s target datalayout = "E-m:e-p:32:32-i128:64-n32" target triple = "powerpc-ellcc-linux" ; Function Attrs: nounwind define void @foo1(ptr %a, ptr readonly %b, ptr readonly %c) #0 { ; CHECK-LABEL: foo1: ; CHECK: # %bb.0: # %entry ; CHECK-NEXT: stwu 1, -64(1) ; CHECK-NEXT: stw 29, 52(1) # 4-byte Folded Spill ; CHECK-NEXT: li 7, 2048 ; CHECK-NEXT: stw 30, 56(1) # 4-byte Folded Spill ; CHECK-NEXT: li 6, 0 ; CHECK-NEXT: mtctr 7 ; CHECK-NEXT: addi 7, 1, 16 ; CHECK-NEXT: .LBB0_1: # %for.body ; CHECK-NEXT: # ; CHECK-NEXT: lwz 8, 0(4) ; CHECK-NEXT: lwz 9, 4(4) ; CHECK-NEXT: lwz 10, 8(4) ; CHECK-NEXT: lwz 11, 12(4) ; CHECK-NEXT: lwz 12, 12(5) ; CHECK-NEXT: stw 6, 44(1) ; CHECK-NEXT: stw 6, 40(1) ; CHECK-NEXT: stw 6, 36(1) ; CHECK-NEXT: stw 6, 32(1) ; CHECK-NEXT: stw 11, 28(1) ; CHECK-NEXT: stw 10, 24(1) ; CHECK-NEXT: clrlwi 10, 12, 27 ; CHECK-NEXT: stw 9, 20(1) ; CHECK-NEXT: stw 8, 16(1) ; CHECK-NEXT: rlwinm 8, 12, 29, 28, 29 ; CHECK-NEXT: lwzux 9, 8, 7 ; CHECK-NEXT: subfic 12, 10, 32 ; CHECK-NEXT: lwz 11, 8(8) ; CHECK-NEXT: slw 9, 9, 10 ; CHECK-NEXT: lwz 0, 4(8) ; CHECK-NEXT: lwz 8, 12(8) ; CHECK-NEXT: srw 30, 11, 12 ; CHECK-NEXT: slw 29, 0, 10 ; CHECK-NEXT: srw 0, 0, 12 ; CHECK-NEXT: srw 12, 8, 12 ; CHECK-NEXT: slw 11, 11, 10 ; CHECK-NEXT: slw 8, 8, 10 ; CHECK-NEXT: stw 8, 12(3) ; CHECK-NEXT: or 8, 11, 12 ; CHECK-NEXT: stw 8, 8(3) ; CHECK-NEXT: or 8, 9, 0 ; CHECK-NEXT: stw 8, 0(3) ; CHECK-NEXT: or 8, 29, 30 ; CHECK-NEXT: stw 8, 4(3) ; CHECK-NEXT: bdnz .LBB0_1 ; CHECK-NEXT: # %bb.2: # %for.end ; CHECK-NEXT: lwz 30, 56(1) # 4-byte Folded Reload ; CHECK-NEXT: lwz 29, 52(1) # 4-byte Folded Reload ; CHECK-NEXT: addi 1, 1, 64 ; CHECK-NEXT: blr entry: br label %for.body for.body: ; preds = %for.body, %entry %i.02 = phi i32 [ 0, %entry ], [ %inc, %for.body ] %0 = load i128, ptr %b, align 16 %1 = load i128, ptr %c, align 16 %shl = shl i128 %0, %1 store i128 %shl, ptr %a, align 16 %inc = add nsw i32 %i.02, 1 %exitcond = icmp eq i32 %inc, 2048 br i1 %exitcond, label %for.end, label %for.body for.end: ; preds = %for.body ret void } ; Function Attrs: nounwind define void @foo2(ptr %a, ptr readonly %b, ptr readonly %c) #0 { ; CHECK-LABEL: foo2: ; CHECK: # %bb.0: # %entry ; CHECK-NEXT: stwu 1, -48(1) ; CHECK-NEXT: stw 30, 40(1) # 4-byte Folded Spill ; CHECK-NEXT: li 6, 2048 ; CHECK-NEXT: mtctr 6 ; CHECK-NEXT: addi 6, 1, 24 ; CHECK-NEXT: .LBB1_1: # %for.body ; CHECK-NEXT: # ; CHECK-NEXT: lwz 7, 0(4) ; CHECK-NEXT: lwz 8, 4(4) ; CHECK-NEXT: lwz 11, 12(5) ; CHECK-NEXT: lwz 9, 8(4) ; CHECK-NEXT: lwz 10, 12(4) ; CHECK-NEXT: stw 8, 28(1) ; CHECK-NEXT: rlwinm 8, 11, 29, 28, 29 ; CHECK-NEXT: stw 7, 24(1) ; CHECK-NEXT: srawi 7, 7, 31 ; CHECK-NEXT: stw 10, 36(1) ; CHECK-NEXT: clrlwi 10, 11, 27 ; CHECK-NEXT: stw 9, 32(1) ; CHECK-NEXT: subfic 12, 10, 32 ; CHECK-NEXT: stw 7, 20(1) ; CHECK-NEXT: stw 7, 16(1) ; CHECK-NEXT: stw 7, 12(1) ; CHECK-NEXT: stw 7, 8(1) ; CHECK-NEXT: sub 7, 6, 8 ; CHECK-NEXT: lwz 8, 4(7) ; CHECK-NEXT: lwz 9, 0(7) ; CHECK-NEXT: lwz 11, 12(7) ; CHECK-NEXT: srw 0, 8, 10 ; CHECK-NEXT: lwz 7, 8(7) ; CHECK-NEXT: slw 30, 9, 12 ; CHECK-NEXT: slw 8, 8, 12 ; CHECK-NEXT: srw 11, 11, 10 ; CHECK-NEXT: slw 12, 7, 12 ; CHECK-NEXT: srw 7, 7, 10 ; CHECK-NEXT: or 7, 8, 7 ; CHECK-NEXT: stw 7, 8(3) ; CHECK-NEXT: or 7, 12, 11 ; CHECK-NEXT: sraw 9, 9, 10 ; CHECK-NEXT: stw 7, 12(3) ; CHECK-NEXT: or 7, 30, 0 ; CHECK-NEXT: stw 9, 0(3) ; CHECK-NEXT: stw 7, 4(3) ; CHECK-NEXT: bdnz .LBB1_1 ; CHECK-NEXT: # %bb.2: # %for.end ; CHECK-NEXT: lwz 30, 40(1) # 4-byte Folded Reload ; CHECK-NEXT: addi 1, 1, 48 ; CHECK-NEXT: blr entry: br label %for.body for.body: ; preds = %for.body, %entry %i.02 = phi i32 [ 0, %entry ], [ %inc, %for.body ] %0 = load i128, ptr %b, align 16 %1 = load i128, ptr %c, align 16 %shl = ashr i128 %0, %1 store i128 %shl, ptr %a, align 16 %inc = add nsw i32 %i.02, 1 %exitcond = icmp eq i32 %inc, 2048 br i1 %exitcond, label %for.end, label %for.body for.end: ; preds = %for.body ret void } ; Function Attrs: nounwind define void @foo3(ptr %a, ptr readonly %b, ptr readonly %c) #0 { ; CHECK-LABEL: foo3: ; CHECK: # %bb.0: # %entry ; CHECK-NEXT: stwu 1, -64(1) ; CHECK-NEXT: stw 29, 52(1) # 4-byte Folded Spill ; CHECK-NEXT: li 7, 2048 ; CHECK-NEXT: stw 30, 56(1) # 4-byte Folded Spill ; CHECK-NEXT: li 6, 0 ; CHECK-NEXT: mtctr 7 ; CHECK-NEXT: addi 7, 1, 32 ; CHECK-NEXT: .LBB2_1: # %for.body ; CHECK-NEXT: # ; CHECK-NEXT: lwz 8, 0(4) ; CHECK-NEXT: lwz 12, 12(5) ; CHECK-NEXT: lwz 9, 4(4) ; CHECK-NEXT: lwz 10, 8(4) ; CHECK-NEXT: lwz 11, 12(4) ; CHECK-NEXT: stw 8, 32(1) ; CHECK-NEXT: rlwinm 8, 12, 29, 28, 29 ; CHECK-NEXT: stw 6, 28(1) ; CHECK-NEXT: sub 8, 7, 8 ; CHECK-NEXT: stw 6, 24(1) ; CHECK-NEXT: stw 6, 20(1) ; CHECK-NEXT: stw 6, 16(1) ; CHECK-NEXT: stw 11, 44(1) ; CHECK-NEXT: clrlwi 11, 12, 27 ; CHECK-NEXT: stw 10, 40(1) ; CHECK-NEXT: subfic 0, 11, 32 ; CHECK-NEXT: stw 9, 36(1) ; CHECK-NEXT: lwz 9, 4(8) ; CHECK-NEXT: lwz 10, 0(8) ; CHECK-NEXT: lwz 12, 12(8) ; CHECK-NEXT: srw 30, 9, 11 ; CHECK-NEXT: lwz 8, 8(8) ; CHECK-NEXT: slw 29, 10, 0 ; CHECK-NEXT: slw 9, 9, 0 ; CHECK-NEXT: srw 12, 12, 11 ; CHECK-NEXT: slw 0, 8, 0 ; CHECK-NEXT: srw 8, 8, 11 ; CHECK-NEXT: or 8, 9, 8 ; CHECK-NEXT: stw 8, 8(3) ; CHECK-NEXT: or 8, 0, 12 ; CHECK-NEXT: srw 10, 10, 11 ; CHECK-NEXT: stw 8, 12(3) ; CHECK-NEXT: or 8, 29, 30 ; CHECK-NEXT: stw 10, 0(3) ; CHECK-NEXT: stw 8, 4(3) ; CHECK-NEXT: bdnz .LBB2_1 ; CHECK-NEXT: # %bb.2: # %for.end ; CHECK-NEXT: lwz 30, 56(1) # 4-byte Folded Reload ; CHECK-NEXT: lwz 29, 52(1) # 4-byte Folded Reload ; CHECK-NEXT: addi 1, 1, 64 ; CHECK-NEXT: blr entry: br label %for.body for.body: ; preds = %for.body, %entry %i.02 = phi i32 [ 0, %entry ], [ %inc, %for.body ] %0 = load i128, ptr %b, align 16 %1 = load i128, ptr %c, align 16 %shl = lshr i128 %0, %1 store i128 %shl, ptr %a, align 16 %inc = add nsw i32 %i.02, 1 %exitcond = icmp eq i32 %inc, 2048 br i1 %exitcond, label %for.end, label %for.body for.end: ; preds = %for.body ret void } attributes #0 = { nounwind }