1 ; RUN: opt < %s -msan -msan-check-access-address=0 -msan-track-origins=1 -S | FileCheck %s 2 3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 4 target triple = "x86_64-unknown-linux-gnu" 5 6 7 ; Test origin for longer stores. 8 9 define void @Store8(i64* nocapture %p, i64 %x) sanitize_memory { 10 entry: 11 store i64 %x, i64* %p, align 8 12 ret void 13 } 14 15 ; Single 8-byte origin store 16 ; CHECK-LABEL: define void @Store8( 17 ; CHECK: store i64 {{.*}}, align 8 18 ; CHECK: store i64 {{.*}}, align 8 19 ; CHECK: store i64 {{.*}}, align 8 20 ; CHECK: ret void 21 22 define void @Store8_align4(i64* nocapture %p, i64 %x) sanitize_memory { 23 entry: 24 store i64 %x, i64* %p, align 4 25 ret void 26 } 27 28 ; Two 4-byte origin stores 29 ; CHECK-LABEL: define void @Store8_align4( 30 ; CHECK: store i64 {{.*}}, align 4 31 ; CHECK: store i32 {{.*}}, align 4 32 ; CHECK: getelementptr i32, i32* {{.*}}, i32 1 33 ; CHECK: store i32 {{.*}}, align 4 34 ; CHECK: store i64 {{.*}}, align 4 35 ; CHECK: ret void 36 37 %struct.S = type { i32, i32, i32 } 38 39 define void @StoreAgg(%struct.S* nocapture %p, %struct.S %x) sanitize_memory { 40 entry: 41 store %struct.S %x, %struct.S* %p, align 4 42 ret void 43 } 44 45 ; Three 4-byte origin stores 46 ; CHECK-LABEL: define void @StoreAgg( 47 ; CHECK: store { i32, i32, i32 } {{.*}}, align 4 48 ; CHECK: store i32 {{.*}}, align 4 49 ; CHECK: getelementptr i32, i32* {{.*}}, i32 1 50 ; CHECK: store i32 {{.*}}, align 4 51 ; CHECK: getelementptr i32, i32* {{.*}}, i32 2 52 ; CHECK: store i32 {{.*}}, align 4 53 ; CHECK: store %struct.S {{.*}}, align 4 54 ; CHECK: ret void 55 56 57 define void @StoreAgg8(%struct.S* nocapture %p, %struct.S %x) sanitize_memory { 58 entry: 59 store %struct.S %x, %struct.S* %p, align 8 60 ret void 61 } 62 63 ; 8-byte + 4-byte origin stores 64 ; CHECK-LABEL: define void @StoreAgg8( 65 ; CHECK: store { i32, i32, i32 } {{.*}}, align 8 66 ; CHECK: store i64 {{.*}}, align 8 67 ; CHECK: getelementptr i32, i32* {{.*}}, i32 2 68 ; CHECK: store i32 {{.*}}, align 8 69 ; CHECK: store %struct.S {{.*}}, align 8 70 ; CHECK: ret void 71 72 73 %struct.Q = type { i64, i64, i64 } 74 define void @StoreAgg24(%struct.Q* nocapture %p, %struct.Q %x) sanitize_memory { 75 entry: 76 store %struct.Q %x, %struct.Q* %p, align 8 77 ret void 78 } 79 80 ; 3 8-byte origin stores 81 ; CHECK-LABEL: define void @StoreAgg24( 82 ; CHECK: store { i64, i64, i64 } {{.*}}, align 8 83 ; CHECK: store i64 {{.*}}, align 8 84 ; CHECK: getelementptr i64, i64* {{.*}}, i32 1 85 ; CHECK: store i64 {{.*}}, align 8 86 ; CHECK: getelementptr i64, i64* {{.*}}, i32 2 87 ; CHECK: store i64 {{.*}}, align 8 88 ; CHECK: store %struct.Q {{.*}}, align 8 89 ; CHECK: ret void 90
