PNaCl: Add NoAlias attributes in ExpandByVal and ExpandVarArgs passes

test/Transforms/NaCl/expand-varargs.ll

Index: test/Transforms/NaCl/expand-varargs.ll
diff --git a/test/Transforms/NaCl/expand-varargs.ll b/test/Transforms/NaCl/expand-varargs.ll
index 93ba538cca0c695ea0b6ab227d75968719a44c12..741a8fda44f54ad2921d42c0e439d95387baab67 100644
--- a/test/Transforms/NaCl/expand-varargs.ll
+++ b/test/Transforms/NaCl/expand-varargs.ll
@@ -48,7 +48,7 @@ define i32 @varargs_call1() {
 ; CHECK-NEXT: %vararg_ptr1 = getelementptr %vararg_call* %vararg_buffer, i32 0, i32 1
 ; CHECK-NEXT: store i32 333, i32* %vararg_ptr1
 ; CHECK-NEXT: %vararg_func = bitcast i32 (i32, ...)* bitcast (i32 (i32, i8*)* @varargs_func to i32 (i32, ...)*) to i32 (i32, %vararg_call*)*
-; CHECK-NEXT: %result = call i32 %vararg_func(i32 111, %vararg_call* %vararg_buffer)
+; CHECK-NEXT: %result = call i32 %vararg_func(i32 111, %vararg_call* noalias %vararg_buffer)
 ; CHECK-NEXT: call void @llvm.lifetime.end(i64 12, i8* %vararg_lifetime_bitcast)
 ; CHECK-NEXT: ret i32 %result
 
@@ -61,7 +61,7 @@ define i32 @call_with_zero_varargs() {
 ; CHECK: define i32 @call_with_zero_varargs() {
 ; CHECK-NEXT: %vararg_buffer = alloca %vararg_call.0
 ; CHECK: %vararg_func = bitcast i32 (i32, ...)* bitcast (i32 (i32, i8*)* @varargs_func to i32 (i32, ...)*) to i32 (i32, %vararg_call.0*)*
-; CHECK-NEXT: %result = call i32 %vararg_func(i32 111, %vararg_call.0* %vararg_buffer)
+; CHECK-NEXT: %result = call i32 %vararg_func(i32 111, %vararg_call.0* noalias %vararg_buffer)
 
 
 ; Check that "invoke" instructions are expanded out too.
@@ -75,7 +75,7 @@ lpad:
   ret i32 0
 }
 ; CHECK: @varargs_invoke
-; CHECK: %result = invoke i32 %vararg_func(i32 111, %vararg_call.1* %vararg_buffer)
+; CHECK: %result = invoke i32 %vararg_func(i32 111, %vararg_call.1* noalias %vararg_buffer)
 ; CHECK-NEXT: to label %cont unwind label %lpad
 ; CHECK: cont:
 ; CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* %vararg_lifetime_bitcast)
@@ -92,8 +92,8 @@ define void @varargs_multiple_calls() {
 ; The added allocas should appear at the start of the function.
 ; CHECK: %vararg_buffer{{.*}} = alloca %vararg_call{{.*}}
 ; CHECK: %vararg_buffer{{.*}} = alloca %vararg_call{{.*}}
-; CHECK: %call1 = call i32 %vararg_func{{.*}}(i32 11, %vararg_call{{.*}}* %vararg_buffer{{.*}})
-; CHECK: %call2 = call i32 %vararg_func{{.*}}(i32 44, %vararg_call{{.*}}* %vararg_buffer{{.*}})
+; CHECK: %call1 = call i32 %vararg_func{{.*}}(i32 11, %vararg_call{{.*}}* noalias %vararg_buffer{{.*}})
+; CHECK: %call2 = call i32 %vararg_func{{.*}}(i32 44, %vararg_call{{.*}}* noalias %vararg_buffer{{.*}})
 
 
 define i32 @va_arg_i32(i8* %arglist) {