; RUN: llc -mtriple=thumbv4t-none--eabi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-V4T
; RUN: llc -mtriple=thumbv6m-none--eabi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-V6M

; CHECK-LABEL: foo
define i32 @foo(i32 %z, ...) #0 {
entry:
  %a = alloca i32, align 4
  %b = alloca i32, align 4
  %c = alloca i32, align 4
  %d = alloca i32, align 4
  %e = alloca i32, align 4
  %f = alloca i32, align 4
  %g = alloca i32, align 4
  %h = alloca i32, align 4

  store i32 1, i32* %a, align 4
  store i32 2, i32* %b, align 4
  store i32 3, i32* %c, align 4
  store i32 4, i32* %d, align 4
  store i32 5, i32* %e, align 4
  store i32 6, i32* %f, align 4
  store i32 7, i32* %g, align 4
  store i32 8, i32* %h, align 4

  %0 = load i32* %a, align 4
  %1 = load i32* %b, align 4
  %2 = load i32* %c, align 4
  %3 = load i32* %d, align 4
  %4 = load i32* %e, align 4
  %5 = load i32* %f, align 4
  %6 = load i32* %g, align 4
  %7 = load i32* %h, align 4

  %add  = add nsw i32 %0, %1
  %add4 = add nsw i32 %add, %2
  %add5 = add nsw i32 %add4, %3
  %add6 = add nsw i32 %add5, %4
  %add7 = add nsw i32 %add6, %5
  %add8 = add nsw i32 %add7, %6
  %add9 = add nsw i32 %add8, %7

  %addz = add nsw i32 %add9, %z
  call void @llvm.va_start(i8* null)
  ret i32 %addz

; CHECK:      sub sp, #40
; CHECK-NEXT: add [[BASE:r[0-9]]], sp, #8

; CHECK-V4T:  movs [[NEWBASE:r[0-9]]], [[BASE]]
; CHECK-V6M:  mov [[NEWBASE:r[0-9]]], [[BASE]]
; CHECK-NEXT: adds [[NEWBASE]], #8
; CHECK-NEXT: ldm [[NEWBASE]],
}

declare void @llvm.va_start(i8*) nounwind