1; RUN: opt < %s -msan -S | FileCheck %s 2 3target datalayout = "E-m:m-i8:8:32-i16:16:32-i64:64-n32:64-S128" 4target triple = "mips64--linux" 5 6define i32 @foo(i32 %guard, ...) { 7 %vl = alloca i8*, align 8 8 %1 = bitcast i8** %vl to i8* 9 call void @llvm.lifetime.start(i64 32, i8* %1) 10 call void @llvm.va_start(i8* %1) 11 call void @llvm.va_end(i8* %1) 12 call void @llvm.lifetime.end(i64 32, i8* %1) 13 ret i32 0 14} 15 16; First, check allocation of the save area. 17 18; CHECK-LABEL: @foo 19; CHECK: [[A:%.*]] = load {{.*}} @__msan_va_arg_overflow_size_tls 20; CHECK: [[B:%.*]] = add i64 0, [[A]] 21; CHECK: [[C:%.*]] = alloca {{.*}} [[B]] 22 23; CHECK: [[STACK:%.*]] = bitcast {{.*}} @__msan_va_arg_tls to i8* 24; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[C]], i8* [[STACK]], i64 [[B]], i32 8, i1 false) 25 26declare void @llvm.lifetime.start(i64, i8* nocapture) #1 27declare void @llvm.va_start(i8*) #2 28declare void @llvm.va_end(i8*) #2 29declare void @llvm.lifetime.end(i64, i8* nocapture) #1 30 31define i32 @bar() { 32 %1 = call i32 (i32, ...) @foo(i32 0, i32 1, i64 2, double 3.000000e+00) 33 ret i32 %1 34} 35 36; Save the incoming shadow value from the arguments in the __msan_va_arg_tls 37; array. The first argument is stored at position 4, since it's right 38; justified. 39; CHECK-LABEL: @bar 40; CHECK: store i32 0, i32* inttoptr (i64 add (i64 ptrtoint ([100 x i64]* @__msan_va_arg_tls to i64), i64 4) to i32*), align 8 41; CHECK: store i64 0, i64* inttoptr (i64 add (i64 ptrtoint ([100 x i64]* @__msan_va_arg_tls to i64), i64 8) to i64*), align 8 42; CHECK: store i64 0, i64* inttoptr (i64 add (i64 ptrtoint ([100 x i64]* @__msan_va_arg_tls to i64), i64 16) to i64*), align 8 43; CHECK: store {{.*}} 24, {{.*}} @__msan_va_arg_overflow_size_tls 44 45; Check multiple fixed arguments. 46declare i32 @foo2(i32 %g1, i32 %g2, ...) 47define i32 @bar2() { 48 %1 = call i32 (i32, i32, ...) @foo2(i32 0, i32 1, i64 2, double 3.000000e+00) 49 ret i32 %1 50} 51 52; CHECK-LABEL: @bar2 53; CHECK: store i64 0, i64* getelementptr inbounds ([100 x i64], [100 x i64]* @__msan_va_arg_tls, i32 0, i32 0), align 8 54; CHECK: store i64 0, i64* inttoptr (i64 add (i64 ptrtoint ([100 x i64]* @__msan_va_arg_tls to i64), i64 8) to i64*), align 8 55; CHECK: store {{.*}} 16, {{.*}} @__msan_va_arg_overflow_size_tls 56