; RUN: llc < %s -march=thumb | FileCheck %s

define i32 @f1() {
; CHECK-LABEL: f1:
; CHECK: ldr r0
	%buf = alloca [32 x i32], align 4
	%tmp = getelementptr [32 x i32]* %buf, i32 0, i32 0
	%tmp1 = load i32* %tmp
	ret i32 %tmp1
}

define i32 @f2() {
; CHECK-LABEL: f2:
; CHECK: mov r0
; CHECK: ldrb
	%buf = alloca [32 x i8], align 4
	%tmp = getelementptr [32 x i8]* %buf, i32 0, i32 0
	%tmp1 = load i8* %tmp
        %tmp2 = zext i8 %tmp1 to i32
	ret i32 %tmp2
}

define i32 @f3() {
; CHECK-LABEL: f3:
; CHECK: ldr r0
	%buf = alloca [32 x i32], align 4
	%tmp = getelementptr [32 x i32]* %buf, i32 0, i32 32
	%tmp1 = load i32* %tmp
	ret i32 %tmp1
}

define i32 @f4() {
; CHECK-LABEL: f4:
; CHECK: mov r0
; CHECK: ldrb
	%buf = alloca [32 x i8], align 4
	%tmp = getelementptr [32 x i8]* %buf, i32 0, i32 2
	%tmp1 = load i8* %tmp
        %tmp2 = zext i8 %tmp1 to i32
	ret i32 %tmp2
}
