; 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 }