584 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; KMSAN instrumentation tests3; RUN: opt < %s -msan-kernel=1 -S -passes=msan 2>&1 | FileCheck %s -check-prefixes=CHECK4 5target 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"6target triple = "x86_64-unknown-linux-gnu"7 8; Check the instrumentation prologue.9define void @Empty() nounwind uwtable sanitize_memory {10; CHECK-LABEL: define void @Empty(11; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {12; CHECK-NEXT: [[ENTRY:.*:]]13; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()14; 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 015; 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 116; 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 217; 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 318; 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 419; 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 520; 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 621; CHECK-NEXT: call void @llvm.donothing()22; CHECK-NEXT: ret void23;24entry:25 ret void26}27 28; Check instrumentation of stores29define void @Store1(ptr nocapture %p, i8 %x) nounwind uwtable sanitize_memory {30; CHECK-LABEL: define void @Store1(31; CHECK-SAME: ptr captures(none) [[P:%.*]], i8 [[X:%.*]]) #[[ATTR0]] {32; CHECK-NEXT: [[ENTRY:.*:]]33; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()34; 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 035; 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 136; 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 237; 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 338; 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 439; 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 540; 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 641; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 042; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 843; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 044; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 445; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 846; CHECK-NEXT: [[TMP7:%.*]] = load i8, ptr [[_MSARG1]], align 847; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 848; CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr [[_MSARG_O2]], align 449; CHECK-NEXT: call void @llvm.donothing()50; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i64 [[TMP2]], 051; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB5:.*]], label %[[BB6:.*]], !prof [[PROF1:![0-9]+]]52; CHECK: [[BB5]]:53; CHECK-NEXT: call void @__msan_warning(i32 [[TMP4]]) #[[ATTR8:[0-9]+]]54; CHECK-NEXT: br label %[[BB6]]55; CHECK: [[BB6]]:56; CHECK-NEXT: [[TMP13:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_1(ptr [[P]])57; CHECK-NEXT: [[TMP14:%.*]] = extractvalue { ptr, ptr } [[TMP13]], 058; CHECK-NEXT: [[TMP15:%.*]] = extractvalue { ptr, ptr } [[TMP13]], 159; CHECK-NEXT: store i8 [[TMP7]], ptr [[TMP14]], align 160; CHECK-NEXT: [[_MSCMP3:%.*]] = icmp ne i8 [[TMP7]], 061; CHECK-NEXT: br i1 [[_MSCMP3]], label %[[BB10:.*]], label %[[BB12:.*]], !prof [[PROF1]]62; CHECK: [[BB10]]:63; CHECK-NEXT: [[TMP17:%.*]] = call i32 @__msan_chain_origin(i32 [[TMP10]])64; CHECK-NEXT: store i32 [[TMP17]], ptr [[TMP15]], align 465; CHECK-NEXT: br label %[[BB12]]66; CHECK: [[BB12]]:67; CHECK-NEXT: store i8 [[X]], ptr [[P]], align 168; CHECK-NEXT: ret void69;70entry:71 store i8 %x, ptr %p72 ret void73}74 75define void @Store2(ptr nocapture %p, i16 %x) nounwind uwtable sanitize_memory {76; CHECK-LABEL: define void @Store2(77; CHECK-SAME: ptr captures(none) [[P:%.*]], i16 [[X:%.*]]) #[[ATTR0]] {78; CHECK-NEXT: [[ENTRY:.*:]]79; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()80; 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 081; 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 182; 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 283; 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 384; 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 485; 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 586; 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 687; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 088; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 889; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 090; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 491; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 892; CHECK-NEXT: [[TMP7:%.*]] = load i16, ptr [[_MSARG1]], align 893; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 894; CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr [[_MSARG_O2]], align 495; CHECK-NEXT: call void @llvm.donothing()96; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i64 [[TMP2]], 097; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB5:.*]], label %[[BB6:.*]], !prof [[PROF1]]98; CHECK: [[BB5]]:99; CHECK-NEXT: call void @__msan_warning(i32 [[TMP4]]) #[[ATTR8]]100; CHECK-NEXT: br label %[[BB6]]101; CHECK: [[BB6]]:102; CHECK-NEXT: [[TMP13:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_2(ptr [[P]])103; CHECK-NEXT: [[TMP14:%.*]] = extractvalue { ptr, ptr } [[TMP13]], 0104; CHECK-NEXT: [[TMP15:%.*]] = extractvalue { ptr, ptr } [[TMP13]], 1105; CHECK-NEXT: store i16 [[TMP7]], ptr [[TMP14]], align 2106; CHECK-NEXT: [[_MSCMP3:%.*]] = icmp ne i16 [[TMP7]], 0107; CHECK-NEXT: br i1 [[_MSCMP3]], label %[[BB10:.*]], label %[[BB12:.*]], !prof [[PROF1]]108; CHECK: [[BB10]]:109; CHECK-NEXT: [[TMP17:%.*]] = call i32 @__msan_chain_origin(i32 [[TMP10]])110; CHECK-NEXT: store i32 [[TMP17]], ptr [[TMP15]], align 4111; CHECK-NEXT: br label %[[BB12]]112; CHECK: [[BB12]]:113; CHECK-NEXT: store i16 [[X]], ptr [[P]], align 2114; CHECK-NEXT: ret void115;116entry:117 store i16 %x, ptr %p118 ret void119}120 121define void @Store4(ptr nocapture %p, i32 %x) nounwind uwtable sanitize_memory {122; CHECK-LABEL: define void @Store4(123; CHECK-SAME: ptr captures(none) [[P:%.*]], i32 [[X:%.*]]) #[[ATTR0]] {124; CHECK-NEXT: [[ENTRY:.*:]]125; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()126; 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 0127; 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 1128; 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 2129; 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 3130; 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 4131; 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 5132; 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 6133; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0134; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 8135; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 0136; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 4137; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 8138; CHECK-NEXT: [[TMP7:%.*]] = load i32, ptr [[_MSARG1]], align 8139; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 8140; CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr [[_MSARG_O2]], align 4141; CHECK-NEXT: call void @llvm.donothing()142; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i64 [[TMP2]], 0143; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB5:.*]], label %[[BB6:.*]], !prof [[PROF1]]144; CHECK: [[BB5]]:145; CHECK-NEXT: call void @__msan_warning(i32 [[TMP4]]) #[[ATTR8]]146; CHECK-NEXT: br label %[[BB6]]147; CHECK: [[BB6]]:148; CHECK-NEXT: [[TMP13:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_4(ptr [[P]])149; CHECK-NEXT: [[TMP14:%.*]] = extractvalue { ptr, ptr } [[TMP13]], 0150; CHECK-NEXT: [[TMP15:%.*]] = extractvalue { ptr, ptr } [[TMP13]], 1151; CHECK-NEXT: store i32 [[TMP7]], ptr [[TMP14]], align 4152; CHECK-NEXT: [[_MSCMP3:%.*]] = icmp ne i32 [[TMP7]], 0153; CHECK-NEXT: br i1 [[_MSCMP3]], label %[[BB10:.*]], label %[[BB12:.*]], !prof [[PROF1]]154; CHECK: [[BB10]]:155; CHECK-NEXT: [[TMP17:%.*]] = call i32 @__msan_chain_origin(i32 [[TMP10]])156; CHECK-NEXT: store i32 [[TMP17]], ptr [[TMP15]], align 4157; CHECK-NEXT: br label %[[BB12]]158; CHECK: [[BB12]]:159; CHECK-NEXT: store i32 [[X]], ptr [[P]], align 4160; CHECK-NEXT: ret void161;162entry:163 store i32 %x, ptr %p164 ret void165}166 167define void @Store8(ptr nocapture %p, i64 %x) nounwind uwtable sanitize_memory {168; CHECK-LABEL: define void @Store8(169; CHECK-SAME: ptr captures(none) [[P:%.*]], i64 [[X:%.*]]) #[[ATTR0]] {170; CHECK-NEXT: [[ENTRY:.*:]]171; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()172; 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 0173; 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 1174; 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 2175; 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 3176; 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 4177; 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 5178; 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 6179; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0180; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 8181; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 0182; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 4183; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 8184; CHECK-NEXT: [[TMP7:%.*]] = load i64, ptr [[_MSARG1]], align 8185; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 8186; CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr [[_MSARG_O2]], align 4187; CHECK-NEXT: call void @llvm.donothing()188; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i64 [[TMP2]], 0189; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB5:.*]], label %[[BB6:.*]], !prof [[PROF1]]190; CHECK: [[BB5]]:191; CHECK-NEXT: call void @__msan_warning(i32 [[TMP4]]) #[[ATTR8]]192; CHECK-NEXT: br label %[[BB6]]193; CHECK: [[BB6]]:194; CHECK-NEXT: [[TMP13:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_8(ptr [[P]])195; CHECK-NEXT: [[TMP14:%.*]] = extractvalue { ptr, ptr } [[TMP13]], 0196; CHECK-NEXT: [[TMP15:%.*]] = extractvalue { ptr, ptr } [[TMP13]], 1197; CHECK-NEXT: store i64 [[TMP7]], ptr [[TMP14]], align 8198; CHECK-NEXT: [[_MSCMP3:%.*]] = icmp ne i64 [[TMP7]], 0199; CHECK-NEXT: br i1 [[_MSCMP3]], label %[[BB10:.*]], label %[[BB15:.*]], !prof [[PROF1]]200; CHECK: [[BB10]]:201; CHECK-NEXT: [[TMP17:%.*]] = call i32 @__msan_chain_origin(i32 [[TMP10]])202; CHECK-NEXT: [[TMP18:%.*]] = zext i32 [[TMP17]] to i64203; CHECK-NEXT: [[TMP19:%.*]] = shl i64 [[TMP18]], 32204; CHECK-NEXT: [[TMP20:%.*]] = or i64 [[TMP18]], [[TMP19]]205; CHECK-NEXT: store i64 [[TMP20]], ptr [[TMP15]], align 8206; CHECK-NEXT: br label %[[BB15]]207; CHECK: [[BB15]]:208; CHECK-NEXT: store i64 [[X]], ptr [[P]], align 8209; CHECK-NEXT: ret void210;211entry:212 store i64 %x, ptr %p213 ret void214}215 216define void @Store16(ptr nocapture %p, i128 %x) nounwind uwtable sanitize_memory {217; CHECK-LABEL: define void @Store16(218; CHECK-SAME: ptr captures(none) [[P:%.*]], i128 [[X:%.*]]) #[[ATTR0]] {219; CHECK-NEXT: [[ENTRY:.*:]]220; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()221; 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 0222; 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 1223; 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 2224; 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 3225; 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 4226; 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 5227; 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 6228; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0229; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 8230; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 0231; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 4232; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 8233; CHECK-NEXT: [[TMP7:%.*]] = load i128, ptr [[_MSARG1]], align 8234; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 8235; CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr [[_MSARG_O2]], align 4236; CHECK-NEXT: call void @llvm.donothing()237; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i64 [[TMP2]], 0238; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB5:.*]], label %[[BB6:.*]], !prof [[PROF1]]239; CHECK: [[BB5]]:240; CHECK-NEXT: call void @__msan_warning(i32 [[TMP4]]) #[[ATTR8]]241; CHECK-NEXT: br label %[[BB6]]242; CHECK: [[BB6]]:243; CHECK-NEXT: [[TMP13:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_n(ptr [[P]], i64 16)244; CHECK-NEXT: [[TMP14:%.*]] = extractvalue { ptr, ptr } [[TMP13]], 0245; CHECK-NEXT: [[TMP15:%.*]] = extractvalue { ptr, ptr } [[TMP13]], 1246; CHECK-NEXT: store i128 [[TMP7]], ptr [[TMP14]], align 8247; CHECK-NEXT: [[_MSCMP3:%.*]] = icmp ne i128 [[TMP7]], 0248; CHECK-NEXT: br i1 [[_MSCMP3]], label %[[BB10:.*]], label %[[BB16:.*]], !prof [[PROF1]]249; CHECK: [[BB10]]:250; CHECK-NEXT: [[TMP17:%.*]] = call i32 @__msan_chain_origin(i32 [[TMP10]])251; CHECK-NEXT: [[TMP18:%.*]] = zext i32 [[TMP17]] to i64252; CHECK-NEXT: [[TMP19:%.*]] = shl i64 [[TMP18]], 32253; CHECK-NEXT: [[TMP20:%.*]] = or i64 [[TMP18]], [[TMP19]]254; CHECK-NEXT: store i64 [[TMP20]], ptr [[TMP15]], align 8255; CHECK-NEXT: [[TMP21:%.*]] = getelementptr i64, ptr [[TMP15]], i32 1256; CHECK-NEXT: store i64 [[TMP20]], ptr [[TMP21]], align 8257; CHECK-NEXT: br label %[[BB16]]258; CHECK: [[BB16]]:259; CHECK-NEXT: store i128 [[X]], ptr [[P]], align 8260; CHECK-NEXT: ret void261;262entry:263 store i128 %x, ptr %p264 ret void265}266 267; Check instrumentation of loads268 269define i8 @Load1(ptr nocapture %p) nounwind uwtable sanitize_memory {270; CHECK-LABEL: define i8 @Load1(271; CHECK-SAME: ptr captures(none) [[P:%.*]]) #[[ATTR0]] {272; CHECK-NEXT: [[ENTRY:.*:]]273; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()274; 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 0275; 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 1276; 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 2277; 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 3278; 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 4279; 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 5280; 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 6281; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0282; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 8283; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 0284; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 4285; CHECK-NEXT: call void @llvm.donothing()286; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i64 [[TMP2]], 0287; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB3:.*]], label %[[BB4:.*]], !prof [[PROF1]]288; CHECK: [[BB3]]:289; CHECK-NEXT: call void @__msan_warning(i32 [[TMP4]]) #[[ATTR8]]290; CHECK-NEXT: br label %[[BB4]]291; CHECK: [[BB4]]:292; CHECK-NEXT: [[TMP7:%.*]] = load i8, ptr [[P]], align 1293; CHECK-NEXT: [[TMP8:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_load_1(ptr [[P]])294; CHECK-NEXT: [[TMP9:%.*]] = extractvalue { ptr, ptr } [[TMP8]], 0295; CHECK-NEXT: [[TMP10:%.*]] = extractvalue { ptr, ptr } [[TMP8]], 1296; CHECK-NEXT: [[_MSLD:%.*]] = load i8, ptr [[TMP9]], align 1297; CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[TMP10]], align 4298; CHECK-NEXT: store i8 [[_MSLD]], ptr [[RETVAL_SHADOW]], align 8299; CHECK-NEXT: store i32 [[TMP11]], ptr [[RETVAL_ORIGIN]], align 4300; CHECK-NEXT: ret i8 [[TMP7]]301;302entry:303 %0 = load i8, ptr %p304 ret i8 %0305}306 307define i16 @Load2(ptr nocapture %p) nounwind uwtable sanitize_memory {308; CHECK-LABEL: define i16 @Load2(309; CHECK-SAME: ptr captures(none) [[P:%.*]]) #[[ATTR0]] {310; CHECK-NEXT: [[ENTRY:.*:]]311; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()312; 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 0313; 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 1314; 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 2315; 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 3316; 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 4317; 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 5318; 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 6319; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0320; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 8321; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 0322; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 4323; CHECK-NEXT: call void @llvm.donothing()324; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i64 [[TMP2]], 0325; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB3:.*]], label %[[BB4:.*]], !prof [[PROF1]]326; CHECK: [[BB3]]:327; CHECK-NEXT: call void @__msan_warning(i32 [[TMP4]]) #[[ATTR8]]328; CHECK-NEXT: br label %[[BB4]]329; CHECK: [[BB4]]:330; CHECK-NEXT: [[TMP7:%.*]] = load i16, ptr [[P]], align 2331; CHECK-NEXT: [[TMP8:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_load_2(ptr [[P]])332; CHECK-NEXT: [[TMP9:%.*]] = extractvalue { ptr, ptr } [[TMP8]], 0333; CHECK-NEXT: [[TMP10:%.*]] = extractvalue { ptr, ptr } [[TMP8]], 1334; CHECK-NEXT: [[_MSLD:%.*]] = load i16, ptr [[TMP9]], align 2335; CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[TMP10]], align 4336; CHECK-NEXT: store i16 [[_MSLD]], ptr [[RETVAL_SHADOW]], align 8337; CHECK-NEXT: store i32 [[TMP11]], ptr [[RETVAL_ORIGIN]], align 4338; CHECK-NEXT: ret i16 [[TMP7]]339;340entry:341 %0 = load i16, ptr %p342 ret i16 %0343}344 345define i32 @Load4(ptr nocapture %p) nounwind uwtable sanitize_memory {346; CHECK-LABEL: define i32 @Load4(347; CHECK-SAME: ptr captures(none) [[P:%.*]]) #[[ATTR0]] {348; CHECK-NEXT: [[ENTRY:.*:]]349; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()350; 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 0351; 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 1352; 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 2353; 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 3354; 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 4355; 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 5356; 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 6357; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0358; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 8359; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 0360; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 4361; CHECK-NEXT: call void @llvm.donothing()362; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i64 [[TMP2]], 0363; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB3:.*]], label %[[BB4:.*]], !prof [[PROF1]]364; CHECK: [[BB3]]:365; CHECK-NEXT: call void @__msan_warning(i32 [[TMP4]]) #[[ATTR8]]366; CHECK-NEXT: br label %[[BB4]]367; CHECK: [[BB4]]:368; CHECK-NEXT: [[TMP7:%.*]] = load i32, ptr [[P]], align 4369; CHECK-NEXT: [[TMP8:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_load_4(ptr [[P]])370; CHECK-NEXT: [[TMP9:%.*]] = extractvalue { ptr, ptr } [[TMP8]], 0371; CHECK-NEXT: [[TMP10:%.*]] = extractvalue { ptr, ptr } [[TMP8]], 1372; CHECK-NEXT: [[_MSLD:%.*]] = load i32, ptr [[TMP9]], align 4373; CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[TMP10]], align 4374; CHECK-NEXT: store i32 [[_MSLD]], ptr [[RETVAL_SHADOW]], align 8375; CHECK-NEXT: store i32 [[TMP11]], ptr [[RETVAL_ORIGIN]], align 4376; CHECK-NEXT: ret i32 [[TMP7]]377;378entry:379 %0 = load i32, ptr %p380 ret i32 %0381}382 383define i64 @Load8(ptr nocapture %p) nounwind uwtable sanitize_memory {384; CHECK-LABEL: define i64 @Load8(385; CHECK-SAME: ptr captures(none) [[P:%.*]]) #[[ATTR0]] {386; CHECK-NEXT: [[ENTRY:.*:]]387; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()388; 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 0389; 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 1390; 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 2391; 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 3392; 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 4393; 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 5394; 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 6395; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0396; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 8397; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 0398; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 4399; CHECK-NEXT: call void @llvm.donothing()400; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i64 [[TMP2]], 0401; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB3:.*]], label %[[BB4:.*]], !prof [[PROF1]]402; CHECK: [[BB3]]:403; CHECK-NEXT: call void @__msan_warning(i32 [[TMP4]]) #[[ATTR8]]404; CHECK-NEXT: br label %[[BB4]]405; CHECK: [[BB4]]:406; CHECK-NEXT: [[TMP7:%.*]] = load i64, ptr [[P]], align 8407; CHECK-NEXT: [[TMP8:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_load_8(ptr [[P]])408; CHECK-NEXT: [[TMP9:%.*]] = extractvalue { ptr, ptr } [[TMP8]], 0409; CHECK-NEXT: [[TMP10:%.*]] = extractvalue { ptr, ptr } [[TMP8]], 1410; CHECK-NEXT: [[_MSLD:%.*]] = load i64, ptr [[TMP9]], align 8411; CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[TMP10]], align 8412; CHECK-NEXT: store i64 [[_MSLD]], ptr [[RETVAL_SHADOW]], align 8413; CHECK-NEXT: store i32 [[TMP11]], ptr [[RETVAL_ORIGIN]], align 4414; CHECK-NEXT: ret i64 [[TMP7]]415;416entry:417 %0 = load i64, ptr %p418 ret i64 %0419}420 421define i128 @Load16(ptr nocapture %p) nounwind uwtable sanitize_memory {422; CHECK-LABEL: define i128 @Load16(423; CHECK-SAME: ptr captures(none) [[P:%.*]]) #[[ATTR0]] {424; CHECK-NEXT: [[ENTRY:.*:]]425; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()426; 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 0427; 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 1428; 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 2429; 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 3430; 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 4431; 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 5432; 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 6433; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0434; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 8435; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 0436; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 4437; CHECK-NEXT: call void @llvm.donothing()438; CHECK-NEXT: [[_MSCMP:%.*]] = icmp ne i64 [[TMP2]], 0439; CHECK-NEXT: br i1 [[_MSCMP]], label %[[BB3:.*]], label %[[BB4:.*]], !prof [[PROF1]]440; CHECK: [[BB3]]:441; CHECK-NEXT: call void @__msan_warning(i32 [[TMP4]]) #[[ATTR8]]442; CHECK-NEXT: br label %[[BB4]]443; CHECK: [[BB4]]:444; CHECK-NEXT: [[TMP7:%.*]] = load i128, ptr [[P]], align 8445; CHECK-NEXT: [[TMP8:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_load_n(ptr [[P]], i64 16)446; CHECK-NEXT: [[TMP9:%.*]] = extractvalue { ptr, ptr } [[TMP8]], 0447; CHECK-NEXT: [[TMP10:%.*]] = extractvalue { ptr, ptr } [[TMP8]], 1448; CHECK-NEXT: [[_MSLD:%.*]] = load i128, ptr [[TMP9]], align 8449; CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[TMP10]], align 8450; CHECK-NEXT: store i128 [[_MSLD]], ptr [[RETVAL_SHADOW]], align 8451; CHECK-NEXT: store i32 [[TMP11]], ptr [[RETVAL_ORIGIN]], align 4452; CHECK-NEXT: ret i128 [[TMP7]]453;454entry:455 %0 = load i128, ptr %p456 ret i128 %0457}458 459; Test kernel-specific va_list instrumentation460 461%struct.__va_list_tag = type { i32, i32, ptr, ptr }462declare void @llvm.va_start(ptr) nounwind463declare void @llvm.va_end(ptr)464@.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1465declare dso_local i32 @VAListFn(ptr, ptr) local_unnamed_addr466 467; Function Attrs: nounwind uwtable468define dso_local i32 @VarArgFn(ptr %fmt, ...) local_unnamed_addr sanitize_memory #0 {469; CHECK-LABEL: define dso_local i32 @VarArgFn(470; CHECK-SAME: ptr [[FMT:%.*]], ...) local_unnamed_addr #[[ATTR1:[0-9]+]] {471; CHECK-NEXT: [[ENTRY:.*:]]472; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()473; 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 0474; 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 1475; 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 2476; 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 3477; 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 4478; 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 5479; 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 6480; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0481; CHECK-NEXT: [[TMP2:%.*]] = load i64, ptr [[_MSARG]], align 8482; CHECK-NEXT: [[_MSARG_O:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 0483; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[_MSARG_O]], align 4484; CHECK-NEXT: [[TMP5:%.*]] = load i64, ptr [[VA_ARG_OVERFLOW_SIZE]], align 8485; CHECK-NEXT: [[TMP6:%.*]] = add i64 48, [[TMP5]]486; CHECK-NEXT: [[TMP7:%.*]] = alloca i8, i64 [[TMP6]], align 8487; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 8 [[TMP7]], i8 0, i64 [[TMP6]], i1 false)488; CHECK-NEXT: [[TMP8:%.*]] = call i64 @llvm.umin.i64(i64 [[TMP6]], i64 800)489; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[TMP7]], ptr align 8 [[VA_ARG_SHADOW]], i64 [[TMP8]], i1 false)490; CHECK-NEXT: [[TMP9:%.*]] = alloca i8, i64 [[TMP6]], align 8491; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[TMP9]], ptr align 8 [[VA_ARG_ORIGIN]], i64 [[TMP8]], i1 false)492; CHECK-NEXT: call void @llvm.donothing()493; CHECK-NEXT: [[ARGS:%.*]] = alloca [1 x %struct.__va_list_tag], align 16494; CHECK-NEXT: call void @__msan_poison_alloca(ptr [[ARGS]], i64 24, ptr @[[GLOB0:[0-9]+]])495; CHECK-NEXT: [[TMP10:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_1(ptr [[ARGS]])496; CHECK-NEXT: [[TMP11:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 0497; CHECK-NEXT: [[TMP12:%.*]] = extractvalue { ptr, ptr } [[TMP10]], 1498; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 8 [[TMP11]], i8 0, i64 24, i1 false)499; CHECK-NEXT: call void @llvm.va_start.p0(ptr nonnull [[ARGS]])500; CHECK-NEXT: [[TMP15:%.*]] = getelementptr i8, ptr [[ARGS]], i64 16501; CHECK-NEXT: [[TMP16:%.*]] = load ptr, ptr [[TMP15]], align 8502; CHECK-NEXT: [[TMP17:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_1(ptr [[TMP16]])503; CHECK-NEXT: [[TMP18:%.*]] = extractvalue { ptr, ptr } [[TMP17]], 0504; CHECK-NEXT: [[TMP19:%.*]] = extractvalue { ptr, ptr } [[TMP17]], 1505; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 16 [[TMP18]], ptr align 16 [[TMP7]], i64 48, i1 false)506; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 16 [[TMP19]], ptr align 16 [[TMP9]], i64 48, i1 false)507; CHECK-NEXT: [[TMP22:%.*]] = getelementptr i8, ptr [[ARGS]], i64 8508; CHECK-NEXT: [[TMP23:%.*]] = load ptr, ptr [[TMP22]], align 8509; CHECK-NEXT: [[TMP24:%.*]] = call { ptr, ptr } @__msan_metadata_ptr_for_store_1(ptr [[TMP23]])510; CHECK-NEXT: [[TMP25:%.*]] = extractvalue { ptr, ptr } [[TMP24]], 0511; CHECK-NEXT: [[TMP26:%.*]] = extractvalue { ptr, ptr } [[TMP24]], 1512; CHECK-NEXT: [[TMP27:%.*]] = getelementptr i8, ptr [[TMP7]], i32 48513; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 16 [[TMP25]], ptr align 16 [[TMP27]], i64 [[TMP5]], i1 false)514; CHECK-NEXT: [[TMP28:%.*]] = getelementptr i8, ptr [[TMP9]], i32 48515; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 16 [[TMP26]], ptr align 16 [[TMP28]], i64 [[TMP5]], i1 false)516; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0517; CHECK-NEXT: store i64 [[TMP2]], ptr [[_MSARG1]], align 8518; CHECK-NEXT: [[_MSARG_O2:%.*]] = getelementptr i8, ptr [[PARAM_ORIGIN]], i64 0519; CHECK-NEXT: store i32 [[TMP4]], ptr [[_MSARG_O2]], align 4520; CHECK-NEXT: [[_MSARG3:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 8521; CHECK-NEXT: store i64 0, ptr [[_MSARG3]], align 8522; CHECK-NEXT: store i32 0, ptr [[RETVAL_SHADOW]], align 8523; CHECK-NEXT: [[CALL:%.*]] = call i32 @VAListFn(ptr [[FMT]], ptr nonnull [[ARGS]])524; CHECK-NEXT: [[_MSRET:%.*]] = load i32, ptr [[RETVAL_SHADOW]], align 8525; CHECK-NEXT: [[TMP33:%.*]] = load i32, ptr [[RETVAL_ORIGIN]], align 4526; CHECK-NEXT: call void @llvm.va_end.p0(ptr nonnull [[ARGS]])527; CHECK-NEXT: store i32 [[_MSRET]], ptr [[RETVAL_SHADOW]], align 8528; CHECK-NEXT: store i32 [[TMP33]], ptr [[RETVAL_ORIGIN]], align 4529; CHECK-NEXT: ret i32 [[CALL]]530;531entry:532 %args = alloca [1 x %struct.__va_list_tag], align 16533 call void @llvm.va_start(ptr nonnull %args)534 %call = call i32 @VAListFn(ptr %fmt, ptr nonnull %args)535 call void @llvm.va_end(ptr nonnull %args)536 ret i32 %call537}538 539; Kernel is built without SSE support.540attributes #0 = { "target-features"="+fxsr,+x87,-sse" }541 542 543; Register save area is 48 bytes for non-SSE builds.544 545; Function Attrs: nounwind uwtable546define dso_local void @VarArgCaller() local_unnamed_addr sanitize_memory {547; CHECK-LABEL: define dso_local void @VarArgCaller(548; CHECK-SAME: ) local_unnamed_addr #[[ATTR2:[0-9]+]] {549; CHECK-NEXT: [[ENTRY:.*:]]550; CHECK-NEXT: [[TMP0:%.*]] = call ptr @__msan_get_context_state()551; 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 0552; 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 1553; 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 2554; 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 3555; 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 4556; 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 5557; 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 6558; CHECK-NEXT: call void @llvm.donothing()559; CHECK-NEXT: [[_MSARG:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 0560; CHECK-NEXT: store i64 0, ptr [[_MSARG]], align 8561; CHECK-NEXT: [[_MSARG1:%.*]] = getelementptr i8, ptr [[PARAM_SHADOW]], i64 8562; CHECK-NEXT: store i32 0, ptr [[_MSARG1]], align 8563; CHECK-NEXT: [[_MSARG_VA_S:%.*]] = getelementptr i8, ptr [[VA_ARG_SHADOW]], i64 0564; CHECK-NEXT: [[_MSARG_VA_O:%.*]] = getelementptr i8, ptr [[VA_ARG_ORIGIN]], i64 0565; CHECK-NEXT: [[_MSARG_VA_S2:%.*]] = getelementptr i8, ptr [[VA_ARG_SHADOW]], i64 8566; CHECK-NEXT: [[_MSARG_VA_O3:%.*]] = getelementptr i8, ptr [[VA_ARG_ORIGIN]], i64 8567; CHECK-NEXT: store i32 0, ptr [[_MSARG_VA_S2]], align 8568; CHECK-NEXT: store i32 0, ptr [[_MSARG_VA_O3]], align 8569; CHECK-NEXT: store i64 0, ptr [[VA_ARG_OVERFLOW_SIZE]], align 8570; CHECK-NEXT: store i32 0, ptr [[RETVAL_SHADOW]], align 8571; CHECK-NEXT: [[CALL:%.*]] = tail call i32 (ptr, ...) @VarArgFn(ptr @.str, i32 123)572; CHECK-NEXT: [[_MSRET:%.*]] = load i32, ptr [[RETVAL_SHADOW]], align 8573; CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[RETVAL_ORIGIN]], align 4574; CHECK-NEXT: ret void575;576entry:577 %call = tail call i32 (ptr, ...) @VarArgFn(ptr @.str, i32 123)578 ret void579}580 581;.582; CHECK: [[PROF1]] = !{!"branch_weights", i32 1, i32 1048575}583;.584