| Evgeniy Stepanov | e08633e | 2014-10-17 23:29:44 +0000 | [diff] [blame] | 1 | ; Test that copy alignment for byval arguments is limited by param-tls slot alignment. |
| 2 | |
| 3 | ; RUN: opt < %s -msan -msan-check-access-address=0 -S | FileCheck %s |
| 4 | |
| 5 | target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| 6 | target triple = "x86_64-unknown-linux-gnu" |
| 7 | |
| 8 | %struct.S = type { i64, i64, i64, [8 x i8] } |
| 9 | |
| 10 | ; CHECK: [[A:%.*]] = bitcast i64* {{.*}} add {{.*}} ptrtoint {{.*}} @__msan_param_tls {{.*}} i64 8) |
| Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 11 | ; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[A]], i8* {{.*}}, i64 32, i32 8, i1 false) |
| Evgeniy Stepanov | e08633e | 2014-10-17 23:29:44 +0000 | [diff] [blame] | 12 | |
| 13 | define void @Caller() sanitize_memory { |
| 14 | entry: |
| 15 | %agg.tmp = alloca %struct.S, align 16 |
| 16 | call void @Callee(i32 1, %struct.S* byval align 16 %agg.tmp) |
| 17 | ret void |
| 18 | } |
| 19 | |
| 20 | declare void @Callee(i32, %struct.S* byval align 16) |