--- /dev/null
+; RUN: llc -march=hexagon -mcpu=hexagonv5 <%s | \
+; RUN: FileCheck %s --check-prefix=CHECK-ONE
+; RUN: llc -march=hexagon -mcpu=hexagonv5 <%s | \
+; RUN: FileCheck %s --check-prefix=CHECK-TWO
+; RUN: llc -march=hexagon -mcpu=hexagonv5 <%s | \
+; RUN: FileCheck %s --check-prefix=CHECK-THREE
+
+%struct.test_struct = type { i32, i8, i64 }
+%struct.test_struct_long = type { i8, i64 }
+
+@mystruct = external global %struct.test_struct*, align 4
+
+; CHECK-ONE: memw(r29+#48) = r2
+; CHECK-TWO: memw(r29+#52) = r2
+; CHECK-THREE: memw(r29+#56) = r2
+; Function Attrs: nounwind
+define void @foo(%struct.test_struct* noalias sret %agg.result, i32 %a, i8 zeroext %c, %struct.test_struct* byval %s, %struct.test_struct_long* byval %t) #0 {
+entry:
+ %a.addr = alloca i32, align 4
+ %c.addr = alloca i8, align 1
+ %z = alloca i32, align 4
+ %ret = alloca %struct.test_struct, align 8
+ store i32 %a, i32* %a.addr, align 4
+ store i8 %c, i8* %c.addr, align 1
+ %0 = bitcast i32* %z to i8*
+ call void @llvm.lifetime.start(i64 4, i8* %0) #1
+ store i32 45, i32* %z, align 4
+ %1 = bitcast %struct.test_struct* %ret to i8*
+ call void @llvm.lifetime.start(i64 16, i8* %1) #1
+ %2 = load i32, i32* %z, align 4
+ %3 = load %struct.test_struct*, %struct.test_struct** @mystruct, align 4
+ %4 = load %struct.test_struct*, %struct.test_struct** @mystruct, align 4
+ %5 = load i8, i8* %c.addr, align 1
+ %6 = load i32, i32* %a.addr, align 4
+ %conv = sext i32 %6 to i64
+ %add = add nsw i64 %conv, 1
+ %7 = load i32, i32* %a.addr, align 4
+ %add1 = add nsw i32 %7, 2
+ %8 = load i32, i32* %a.addr, align 4
+ %conv2 = sext i32 %8 to i64
+ %add3 = add nsw i64 %conv2, 3
+ %9 = load i8, i8* %c.addr, align 1
+ %10 = load i8, i8* %c.addr, align 1
+ %11 = load i8, i8* %c.addr, align 1
+ %12 = load i32, i32* %z, align 4
+ call void @bar(%struct.test_struct* sret %ret, i32 %2, %struct.test_struct* byval %3, %struct.test_struct* byval %4, i8 zeroext %5, i64 %add, i32 %add1, i64 %add3, i8 zeroext %9, i8 zeroext %10, i8 zeroext %11, i32 %12)
+ %x = getelementptr inbounds %struct.test_struct, %struct.test_struct* %ret, i32 0, i32 0
+ store i32 20, i32* %x, align 4
+ %13 = bitcast %struct.test_struct* %agg.result to i8*
+ %14 = bitcast %struct.test_struct* %ret to i8*
+ call void @llvm.memcpy.p0i8.p0i8.i32(i8* %13, i8* %14, i32 16, i32 8, i1 false)
+ %15 = bitcast %struct.test_struct* %ret to i8*
+ call void @llvm.lifetime.end(i64 16, i8* %15) #1
+ %16 = bitcast i32* %z to i8*
+ call void @llvm.lifetime.end(i64 4, i8* %16) #1
+ ret void
+}
+
+; Function Attrs: nounwind
+declare void @llvm.lifetime.start(i64, i8* nocapture) #1
+
+declare void @bar(%struct.test_struct* sret, i32, %struct.test_struct* byval, %struct.test_struct* byval, i8 zeroext, i64, i32, i64, i8 zeroext, i8 zeroext, i8 zeroext, i32) #2
+
+; Function Attrs: nounwind
+declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i32, i1) #1
+
+; Function Attrs: nounwind
+declare void @llvm.lifetime.end(i64, i8* nocapture) #1
+
+attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="hexagonv4" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #1 = { nounwind }
+attributes #2 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="hexagonv4" "unsafe-fp-math"="false" "use-soft-float"="false" }
+