1; RUN: llc < %s -mtriple=i686-linux | FileCheck %s -check-prefix=X32
2; X32-NOT:     {{$429496728|-7}}
3; X32:     {{$4294967280|-16}}
4; X32-NOT:     {{$429496728|-7}}
5; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s -check-prefix=X64
6; X64:     -16
7
8define void @t() nounwind {
9A:
10	br label %entry
11
12entry:
13	%m1 = alloca i32, align 4
14	%m2 = alloca [7 x i8], align 16
15	call void @s( i32* %m1, [7 x i8]* %m2 )
16	ret void
17}
18
19declare void @s(i32*, [7 x i8]*)
20