457 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -S -msan-kernel=1 -passes=msan -msan-origin-base=0x40000000 -msan-and-mask=0x80000000 2>&1 | FileCheck %s3 4target datalayout = "e-m:e-p:32:32-Fn32-i64:64-n32"5target triple = "powerpcle--linux"6 7define void @Store1(ptr %p, i8 %x) sanitize_memory {8; CHECK-LABEL: define void @Store1(9; CHECK-SAME: ptr [[P:%.*]], i8 [[X:%.*]]) #[[ATTR0:[0-9]+]] {10; CHECK-NEXT: [[ENTRY:.*:]]11; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()12; CHECK-NEXT: [[PARAM_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 013; CHECK-NEXT: [[RETVAL_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 114; CHECK-NEXT: [[VA_ARG_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 215; CHECK-NEXT: [[VA_ARG_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 316; CHECK-NEXT: [[VA_ARG_OVERFLOW_SIZE:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 417; CHECK-NEXT: [[PARAM_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 518; CHECK-NEXT: [[RETVAL_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 619; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 020; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[_MSARG]], align 821; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 022; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[_MSARG_O]], align 423; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[VA_ARG_OVERFLOW_SIZE]], align 424; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 825; CHECK-NEXT: [[TMP9:%.*]] = load i8, ptr [[_MSARG1]], align 826; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 827; CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[_MSARG_O2]], align 428; CHECK-NEXT: call void @llvm.donothing()29; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i32 [[TMP2]], 030; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB6:.*]], label %[[BB7:.*]], !prof [[PROF1:![0-9]+]]31; CHECK: [[BB6]]:32; CHECK-NEXT: call void @__msan_warning(i32 [[TMP3]]) #[[ATTR2:[0-9]+]]33; CHECK-NEXT: br label %[[BB7]]34; CHECK: [[BB7]]:35; CHECK-NEXT: [[TMP15:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_1(ptr [[P]])36; CHECK-NEXT: [[TMP16:%.*]] = extractvalue { ptr, ptr } [[TMP15]], 037; CHECK-NEXT: [[TMP17:%.*]] = extractvalue { ptr, ptr } [[TMP15]], 138; CHECK-NEXT: store i8 [[TMP9]], ptr [[TMP16]], align 139; CHECK-NEXT: [[_MSCMP3:%.*]] = icmp ne i8 [[TMP9]], 040; CHECK-NEXT: br i1 [[_MSCMP3]], label %[[BB11:.*]], label %[[BB13:.*]], !prof [[PROF1]]41; CHECK: [[BB11]]:42; CHECK-NEXT: [[TMP19:%.*]] = call i32 @__msan_chain_origin(i32 [[TMP12]])43; CHECK-NEXT: store i32 [[TMP19]], ptr [[TMP17]], align 444; CHECK-NEXT: br label %[[BB13]]45; CHECK: [[BB13]]:46; CHECK-NEXT: store i8 [[X]], ptr [[P]], align 147; CHECK-NEXT: ret void48;49entry:50 store i8 %x, ptr %p51 ret void52}53 54 55define void @Store2(ptr %p, i16 %x) sanitize_memory {56; CHECK-LABEL: define void @Store2(57; CHECK-SAME: ptr [[P:%.*]], i16 [[X:%.*]]) #[[ATTR0]] {58; CHECK-NEXT: [[ENTRY:.*:]]59; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()60; CHECK-NEXT: [[PARAM_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 061; CHECK-NEXT: [[RETVAL_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 162; CHECK-NEXT: [[VA_ARG_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 263; CHECK-NEXT: [[VA_ARG_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 364; CHECK-NEXT: [[VA_ARG_OVERFLOW_SIZE:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 465; CHECK-NEXT: [[PARAM_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 566; CHECK-NEXT: [[RETVAL_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 667; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 068; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[_MSARG]], align 869; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 070; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[_MSARG_O]], align 471; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[VA_ARG_OVERFLOW_SIZE]], align 472; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 873; CHECK-NEXT: [[TMP9:%.*]] = load i16, ptr [[_MSARG1]], align 874; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 875; CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[_MSARG_O2]], align 476; CHECK-NEXT: call void @llvm.donothing()77; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i32 [[TMP2]], 078; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB6:.*]], label %[[BB7:.*]], !prof [[PROF1]]79; CHECK: [[BB6]]:80; CHECK-NEXT: call void @__msan_warning(i32 [[TMP3]]) #[[ATTR2]]81; CHECK-NEXT: br label %[[BB7]]82; CHECK: [[BB7]]:83; CHECK-NEXT: [[TMP15:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_2(ptr [[P]])84; CHECK-NEXT: [[TMP16:%.*]] = extractvalue { ptr, ptr } [[TMP15]], 085; CHECK-NEXT: [[TMP17:%.*]] = extractvalue { ptr, ptr } [[TMP15]], 186; CHECK-NEXT: store i16 [[TMP9]], ptr [[TMP16]], align 287; CHECK-NEXT: [[_MSCMP3:%.*]] = icmp ne i16 [[TMP9]], 088; CHECK-NEXT: br i1 [[_MSCMP3]], label %[[BB11:.*]], label %[[BB13:.*]], !prof [[PROF1]]89; CHECK: [[BB11]]:90; CHECK-NEXT: [[TMP19:%.*]] = call i32 @__msan_chain_origin(i32 [[TMP12]])91; CHECK-NEXT: store i32 [[TMP19]], ptr [[TMP17]], align 492; CHECK-NEXT: br label %[[BB13]]93; CHECK: [[BB13]]:94; CHECK-NEXT: store i16 [[X]], ptr [[P]], align 295; CHECK-NEXT: ret void96;97entry:98 store i16 %x, ptr %p99 ret void100}101 102 103define void @Store4(ptr %p, i32 %x) sanitize_memory {104; CHECK-LABEL: define void @Store4(105; CHECK-SAME: ptr [[P:%.*]], i32 [[X:%.*]]) #[[ATTR0]] {106; CHECK-NEXT: [[ENTRY:.*:]]107; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()108; CHECK-NEXT: [[PARAM_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 0109; CHECK-NEXT: [[RETVAL_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 1110; CHECK-NEXT: [[VA_ARG_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 2111; CHECK-NEXT: [[VA_ARG_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 3112; CHECK-NEXT: [[VA_ARG_OVERFLOW_SIZE:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 4113; CHECK-NEXT: [[PARAM_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 5114; CHECK-NEXT: [[RETVAL_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 6115; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 0116; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[_MSARG]], align 8117; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 0118; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[_MSARG_O]], align 4119; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[VA_ARG_OVERFLOW_SIZE]], align 4120; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 8121; CHECK-NEXT: [[TMP9:%.*]] = load i32, ptr [[_MSARG1]], align 8122; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 8123; CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[_MSARG_O2]], align 4124; CHECK-NEXT: call void @llvm.donothing()125; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i32 [[TMP2]], 0126; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB6:.*]], label %[[BB7:.*]], !prof [[PROF1]]127; CHECK: [[BB6]]:128; CHECK-NEXT: call void @__msan_warning(i32 [[TMP3]]) #[[ATTR2]]129; CHECK-NEXT: br label %[[BB7]]130; CHECK: [[BB7]]:131; CHECK-NEXT: [[TMP15:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_4(ptr [[P]])132; CHECK-NEXT: [[TMP16:%.*]] = extractvalue { ptr, ptr } [[TMP15]], 0133; CHECK-NEXT: [[TMP17:%.*]] = extractvalue { ptr, ptr } [[TMP15]], 1134; CHECK-NEXT: store i32 [[TMP9]], ptr [[TMP16]], align 4135; CHECK-NEXT: [[_MSCMP3:%.*]] = icmp ne i32 [[TMP9]], 0136; CHECK-NEXT: br i1 [[_MSCMP3]], label %[[BB11:.*]], label %[[BB13:.*]], !prof [[PROF1]]137; CHECK: [[BB11]]:138; CHECK-NEXT: [[TMP19:%.*]] = call i32 @__msan_chain_origin(i32 [[TMP12]])139; CHECK-NEXT: store i32 [[TMP19]], ptr [[TMP17]], align 4140; CHECK-NEXT: br label %[[BB13]]141; CHECK: [[BB13]]:142; CHECK-NEXT: store i32 [[X]], ptr [[P]], align 4143; CHECK-NEXT: ret void144;145entry:146 store i32 %x, ptr %p147 ret void148}149 150 151define void @Store8(ptr %p, i64 %x) sanitize_memory {152; CHECK-LABEL: define void @Store8(153; CHECK-SAME: ptr [[P:%.*]], i64 [[X:%.*]]) #[[ATTR0]] {154; CHECK-NEXT: [[ENTRY:.*:]]155; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()156; CHECK-NEXT: [[PARAM_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 0157; CHECK-NEXT: [[RETVAL_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 1158; CHECK-NEXT: [[VA_ARG_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 2159; CHECK-NEXT: [[VA_ARG_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 3160; CHECK-NEXT: [[VA_ARG_OVERFLOW_SIZE:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 4161; CHECK-NEXT: [[PARAM_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 5162; CHECK-NEXT: [[RETVAL_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 6163; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 0164; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[_MSARG]], align 8165; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 0166; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[_MSARG_O]], align 4167; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[VA_ARG_OVERFLOW_SIZE]], align 4168; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 8169; CHECK-NEXT: [[TMP9:%.*]] = load i64, ptr [[_MSARG1]], align 8170; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 8171; CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[_MSARG_O2]], align 4172; CHECK-NEXT: call void @llvm.donothing()173; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i32 [[TMP2]], 0174; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB6:.*]], label %[[BB7:.*]], !prof [[PROF1]]175; CHECK: [[BB6]]:176; CHECK-NEXT: call void @__msan_warning(i32 [[TMP3]]) #[[ATTR2]]177; CHECK-NEXT: br label %[[BB7]]178; CHECK: [[BB7]]:179; CHECK-NEXT: [[TMP15:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_8(ptr [[P]])180; CHECK-NEXT: [[TMP16:%.*]] = extractvalue { ptr, ptr } [[TMP15]], 0181; CHECK-NEXT: [[TMP17:%.*]] = extractvalue { ptr, ptr } [[TMP15]], 1182; CHECK-NEXT: store i64 [[TMP9]], ptr [[TMP16]], align 8183; CHECK-NEXT: [[_MSCMP3:%.*]] = icmp ne i64 [[TMP9]], 0184; CHECK-NEXT: br i1 [[_MSCMP3]], label %[[BB11:.*]], label %[[BB14:.*]], !prof [[PROF1]]185; CHECK: [[BB11]]:186; CHECK-NEXT: [[TMP19:%.*]] = call i32 @__msan_chain_origin(i32 [[TMP12]])187; CHECK-NEXT: store i32 [[TMP19]], ptr [[TMP17]], align 8188; CHECK-NEXT: [[TMP20:%.*]] = getelementptr i32, ptr [[TMP17]], i32 1189; CHECK-NEXT: store i32 [[TMP19]], ptr [[TMP20]], align 4190; CHECK-NEXT: br label %[[BB14]]191; CHECK: [[BB14]]:192; CHECK-NEXT: store i64 [[X]], ptr [[P]], align 8193; CHECK-NEXT: ret void194;195entry:196 store i64 %x, ptr %p197 ret void198}199 200 201define void @Store16(ptr %p, i128 %x) sanitize_memory {202; CHECK-LABEL: define void @Store16(203; CHECK-SAME: ptr [[P:%.*]], i128 [[X:%.*]]) #[[ATTR0]] {204; CHECK-NEXT: [[ENTRY:.*:]]205; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()206; CHECK-NEXT: [[PARAM_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 0207; CHECK-NEXT: [[RETVAL_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 1208; CHECK-NEXT: [[VA_ARG_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 2209; CHECK-NEXT: [[VA_ARG_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 3210; CHECK-NEXT: [[VA_ARG_OVERFLOW_SIZE:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 4211; CHECK-NEXT: [[PARAM_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 5212; CHECK-NEXT: [[RETVAL_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 6213; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 0214; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[_MSARG]], align 8215; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 0216; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[_MSARG_O]], align 4217; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[VA_ARG_OVERFLOW_SIZE]], align 4218; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 8219; CHECK-NEXT: [[TMP9:%.*]] = load i128, ptr [[_MSARG1]], align 8220; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 8221; CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[_MSARG_O2]], align 4222; CHECK-NEXT: call void @llvm.donothing()223; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i32 [[TMP2]], 0224; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB6:.*]], label %[[BB7:.*]], !prof [[PROF1]]225; CHECK: [[BB6]]:226; CHECK-NEXT: call void @__msan_warning(i32 [[TMP3]]) #[[ATTR2]]227; CHECK-NEXT: br label %[[BB7]]228; CHECK: [[BB7]]:229; CHECK-NEXT: [[TMP15:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_n(ptr [[P]], i32 16)230; CHECK-NEXT: [[TMP16:%.*]] = extractvalue { ptr, ptr } [[TMP15]], 0231; CHECK-NEXT: [[TMP17:%.*]] = extractvalue { ptr, ptr } [[TMP15]], 1232; CHECK-NEXT: store i128 [[TMP9]], ptr [[TMP16]], align 8233; CHECK-NEXT: [[_MSCMP3:%.*]] = icmp ne i128 [[TMP9]], 0234; CHECK-NEXT: br i1 [[_MSCMP3]], label %[[BB11:.*]], label %[[BB16:.*]], !prof [[PROF1]]235; CHECK: [[BB11]]:236; CHECK-NEXT: [[TMP19:%.*]] = call i32 @__msan_chain_origin(i32 [[TMP12]])237; CHECK-NEXT: store i32 [[TMP19]], ptr [[TMP17]], align 8238; CHECK-NEXT: [[TMP22:%.*]] = getelementptr i32, ptr [[TMP17]], i32 1239; CHECK-NEXT: store i32 [[TMP19]], ptr [[TMP22]], align 4240; CHECK-NEXT: [[TMP20:%.*]] = getelementptr i32, ptr [[TMP17]], i32 2241; CHECK-NEXT: store i32 [[TMP19]], ptr [[TMP20]], align 4242; CHECK-NEXT: [[TMP21:%.*]] = getelementptr i32, ptr [[TMP17]], i32 3243; CHECK-NEXT: store i32 [[TMP19]], ptr [[TMP21]], align 4244; CHECK-NEXT: br label %[[BB16]]245; CHECK: [[BB16]]:246; CHECK-NEXT: store i128 [[X]], ptr [[P]], align 8247; CHECK-NEXT: ret void248;249entry:250 store i128 %x, ptr %p251 ret void252}253 254 255define i8 @Load1(ptr %p) sanitize_memory {256; CHECK-LABEL: define i8 @Load1(257; CHECK-SAME: ptr [[P:%.*]]) #[[ATTR0]] {258; CHECK-NEXT: [[ENTRY:.*:]]259; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()260; CHECK-NEXT: [[PARAM_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 0261; CHECK-NEXT: [[RETVAL_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 1262; CHECK-NEXT: [[VA_ARG_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 2263; CHECK-NEXT: [[VA_ARG_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 3264; CHECK-NEXT: [[VA_ARG_OVERFLOW_SIZE:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 4265; CHECK-NEXT: [[PARAM_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 5266; CHECK-NEXT: [[RETVAL_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 6267; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 0268; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[_MSARG]], align 8269; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 0270; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[_MSARG_O]], align 4271; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[VA_ARG_OVERFLOW_SIZE]], align 4272; CHECK-NEXT: call void @llvm.donothing()273; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i32 [[TMP2]], 0274; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB4:.*]], label %[[BB5:.*]], !prof [[PROF1]]275; CHECK: [[BB4]]:276; CHECK-NEXT: call void @__msan_warning(i32 [[TMP3]]) #[[ATTR2]]277; CHECK-NEXT: br label %[[BB5]]278; CHECK: [[BB5]]:279; CHECK-NEXT: [[TMP9:%.*]] = load i8, ptr [[P]], align 1280; CHECK-NEXT: [[TMP10:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_load_1(ptr [[P]])281; CHECK-NEXT: [[TMP11:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 0282; CHECK-NEXT: [[TMP12:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 1283; CHECK-NEXT: [[_MSLD:%.*]] = load i8, ptr [[TMP11]], align 1284; CHECK-NEXT: [[TMP13:%.*]] = load i32, ptr [[TMP12]], align 4285; CHECK-NEXT: store i8 [[_MSLD]], ptr [[RETVAL_SHADOW]], align 8286; CHECK-NEXT: store i32 [[TMP13]], ptr [[RETVAL_ORIGIN]], align 4287; CHECK-NEXT: ret i8 [[TMP9]]288;289entry:290 %0 = load i8, ptr %p291 ret i8 %0292}293 294 295define i16 @Load2(ptr %p) sanitize_memory {296; CHECK-LABEL: define i16 @Load2(297; CHECK-SAME: ptr [[P:%.*]]) #[[ATTR0]] {298; CHECK-NEXT: [[ENTRY:.*:]]299; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()300; CHECK-NEXT: [[PARAM_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 0301; CHECK-NEXT: [[RETVAL_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 1302; CHECK-NEXT: [[VA_ARG_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 2303; CHECK-NEXT: [[VA_ARG_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 3304; CHECK-NEXT: [[VA_ARG_OVERFLOW_SIZE:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 4305; CHECK-NEXT: [[PARAM_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 5306; CHECK-NEXT: [[RETVAL_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 6307; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 0308; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[_MSARG]], align 8309; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 0310; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[_MSARG_O]], align 4311; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[VA_ARG_OVERFLOW_SIZE]], align 4312; CHECK-NEXT: call void @llvm.donothing()313; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i32 [[TMP2]], 0314; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB4:.*]], label %[[BB5:.*]], !prof [[PROF1]]315; CHECK: [[BB4]]:316; CHECK-NEXT: call void @__msan_warning(i32 [[TMP3]]) #[[ATTR2]]317; CHECK-NEXT: br label %[[BB5]]318; CHECK: [[BB5]]:319; CHECK-NEXT: [[TMP9:%.*]] = load i16, ptr [[P]], align 2320; CHECK-NEXT: [[TMP10:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_load_2(ptr [[P]])321; CHECK-NEXT: [[TMP11:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 0322; CHECK-NEXT: [[TMP12:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 1323; CHECK-NEXT: [[_MSLD:%.*]] = load i16, ptr [[TMP11]], align 2324; CHECK-NEXT: [[TMP13:%.*]] = load i32, ptr [[TMP12]], align 4325; CHECK-NEXT: store i16 [[_MSLD]], ptr [[RETVAL_SHADOW]], align 8326; CHECK-NEXT: store i32 [[TMP13]], ptr [[RETVAL_ORIGIN]], align 4327; CHECK-NEXT: ret i16 [[TMP9]]328;329entry:330 %0 = load i16, ptr %p331 ret i16 %0332}333 334 335define i32 @Load4(ptr %p) sanitize_memory {336; CHECK-LABEL: define i32 @Load4(337; CHECK-SAME: ptr [[P:%.*]]) #[[ATTR0]] {338; CHECK-NEXT: [[ENTRY:.*:]]339; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()340; CHECK-NEXT: [[PARAM_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 0341; CHECK-NEXT: [[RETVAL_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 1342; CHECK-NEXT: [[VA_ARG_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 2343; CHECK-NEXT: [[VA_ARG_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 3344; CHECK-NEXT: [[VA_ARG_OVERFLOW_SIZE:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 4345; CHECK-NEXT: [[PARAM_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 5346; CHECK-NEXT: [[RETVAL_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 6347; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 0348; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[_MSARG]], align 8349; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 0350; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[_MSARG_O]], align 4351; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[VA_ARG_OVERFLOW_SIZE]], align 4352; CHECK-NEXT: call void @llvm.donothing()353; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i32 [[TMP2]], 0354; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB4:.*]], label %[[BB5:.*]], !prof [[PROF1]]355; CHECK: [[BB4]]:356; CHECK-NEXT: call void @__msan_warning(i32 [[TMP3]]) #[[ATTR2]]357; CHECK-NEXT: br label %[[BB5]]358; CHECK: [[BB5]]:359; CHECK-NEXT: [[TMP9:%.*]] = load i32, ptr [[P]], align 4360; CHECK-NEXT: [[TMP10:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_load_4(ptr [[P]])361; CHECK-NEXT: [[TMP11:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 0362; CHECK-NEXT: [[TMP12:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 1363; CHECK-NEXT: [[_MSLD:%.*]] = load i32, ptr [[TMP11]], align 4364; CHECK-NEXT: [[TMP13:%.*]] = load i32, ptr [[TMP12]], align 4365; CHECK-NEXT: store i32 [[_MSLD]], ptr [[RETVAL_SHADOW]], align 8366; CHECK-NEXT: store i32 [[TMP13]], ptr [[RETVAL_ORIGIN]], align 4367; CHECK-NEXT: ret i32 [[TMP9]]368;369entry:370 %0 = load i32, ptr %p371 ret i32 %0372}373 374 375define i64 @Load8(ptr %p) sanitize_memory {376; CHECK-LABEL: define i64 @Load8(377; CHECK-SAME: ptr [[P:%.*]]) #[[ATTR0]] {378; CHECK-NEXT: [[ENTRY:.*:]]379; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()380; CHECK-NEXT: [[PARAM_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 0381; CHECK-NEXT: [[RETVAL_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 1382; CHECK-NEXT: [[VA_ARG_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 2383; CHECK-NEXT: [[VA_ARG_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 3384; CHECK-NEXT: [[VA_ARG_OVERFLOW_SIZE:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 4385; CHECK-NEXT: [[PARAM_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 5386; CHECK-NEXT: [[RETVAL_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 6387; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 0388; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[_MSARG]], align 8389; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 0390; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[_MSARG_O]], align 4391; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[VA_ARG_OVERFLOW_SIZE]], align 4392; CHECK-NEXT: call void @llvm.donothing()393; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i32 [[TMP2]], 0394; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB4:.*]], label %[[BB5:.*]], !prof [[PROF1]]395; CHECK: [[BB4]]:396; CHECK-NEXT: call void @__msan_warning(i32 [[TMP3]]) #[[ATTR2]]397; CHECK-NEXT: br label %[[BB5]]398; CHECK: [[BB5]]:399; CHECK-NEXT: [[TMP9:%.*]] = load i64, ptr [[P]], align 8400; CHECK-NEXT: [[TMP10:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_load_8(ptr [[P]])401; CHECK-NEXT: [[TMP11:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 0402; CHECK-NEXT: [[TMP12:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 1403; CHECK-NEXT: [[_MSLD:%.*]] = load i64, ptr [[TMP11]], align 8404; CHECK-NEXT: [[TMP13:%.*]] = load i32, ptr [[TMP12]], align 8405; CHECK-NEXT: store i64 [[_MSLD]], ptr [[RETVAL_SHADOW]], align 8406; CHECK-NEXT: store i32 [[TMP13]], ptr [[RETVAL_ORIGIN]], align 4407; CHECK-NEXT: ret i64 [[TMP9]]408;409entry:410 %0 = load i64, ptr %p411 ret i64 %0412}413 414 415define i128 @Load16(ptr %p) sanitize_memory {416; CHECK-LABEL: define i128 @Load16(417; CHECK-SAME: ptr [[P:%.*]]) #[[ATTR0]] {418; CHECK-NEXT: [[ENTRY:.*:]]419; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()420; CHECK-NEXT: [[PARAM_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 0421; CHECK-NEXT: [[RETVAL_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 1422; CHECK-NEXT: [[VA_ARG_SHADOW:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 2423; CHECK-NEXT: [[VA_ARG_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 3424; CHECK-NEXT: [[VA_ARG_OVERFLOW_SIZE:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 4425; CHECK-NEXT: [[PARAM_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 5426; CHECK-NEXT: [[RETVAL_ORIGIN:%.*]] = getelementptr { [100 x i64], [100 x i64], [100 x i64], [100 x i64], i64, [200 x i32], i32, i32 }, ptr [[TMP0]], i32 0, i32 6427; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i32 0428; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[_MSARG]], align 8429; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i32 0430; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[_MSARG_O]], align 4431; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[VA_ARG_OVERFLOW_SIZE]], align 4432; CHECK-NEXT: call void @llvm.donothing()433; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i32 [[TMP2]], 0434; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB4:.*]], label %[[BB5:.*]], !prof [[PROF1]]435; CHECK: [[BB4]]:436; CHECK-NEXT: call void @__msan_warning(i32 [[TMP3]]) #[[ATTR2]]437; CHECK-NEXT: br label %[[BB5]]438; CHECK: [[BB5]]:439; CHECK-NEXT: [[TMP9:%.*]] = load i128, ptr [[P]], align 8440; CHECK-NEXT: [[TMP10:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_load_n(ptr [[P]], i32 16)441; CHECK-NEXT: [[TMP11:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 0442; CHECK-NEXT: [[TMP12:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 1443; CHECK-NEXT: [[_MSLD:%.*]] = load i128, ptr [[TMP11]], align 8444; CHECK-NEXT: [[TMP13:%.*]] = load i32, ptr [[TMP12]], align 8445; CHECK-NEXT: store i128 [[_MSLD]], ptr [[RETVAL_SHADOW]], align 8446; CHECK-NEXT: store i32 [[TMP13]], ptr [[RETVAL_ORIGIN]], align 4447; CHECK-NEXT: ret i128 [[TMP9]]448;449entry:450 %0 = load i128, ptr %p451 ret i128 %0452}453 454;.455; CHECK: [[PROF1]] = !{!"branch_weights", i32 1, i32 1048575}456;.457