1; RUN: opt < %s -msan -msan-check-access-address=0 -msan-track-origins=1 -S | FileCheck %s 2 3target 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" 4target triple = "x86_64-unknown-linux-gnu" 5 6 7; Test origin for longer stores. 8 9define void @Store8(i64* nocapture %p, i64 %x) sanitize_memory { 10entry: 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 22define void @Store8_align4(i64* nocapture %p, i64 %x) sanitize_memory { 23entry: 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 39define void @StoreAgg(%struct.S* nocapture %p, %struct.S %x) sanitize_memory { 40entry: 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 57define void @StoreAgg8(%struct.S* nocapture %p, %struct.S %x) sanitize_memory { 58entry: 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 } 74define void @StoreAgg24(%struct.Q* nocapture %p, %struct.Q %x) sanitize_memory { 75entry: 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