310 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt < %s -S -passes="msan<track-origins=1>" 2>&1 | FileCheck %s3 4target 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"5target triple = "x86_64-unknown-linux-gnu"6 7declare void @FnByVal(ptr byval(i128) %p);8declare void @Fn(ptr %p);9 10define i128 @ByValArgument(i32, ptr byval(i128) %p) sanitize_memory {11; CHECK-LABEL: define i128 @ByValArgument(12; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i128) [[P:%.*]]) #[[ATTR0:[0-9]+]] {13; CHECK-NEXT: [[ENTRY:.*:]]14; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i6415; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 8796093022208016; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr17; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 1759218604441618; CHECK-NEXT: [[TMP5:%.*]] = inttoptr i64 [[TMP4]] to ptr19; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[TMP3]], ptr align 8 getelementptr (i8, ptr @__msan_param_tls, i64 8), i64 16, i1 false)20; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[TMP5]], ptr align 4 getelementptr (i8, ptr @__msan_param_origin_tls, i64 8), i64 16, i1 false)21; CHECK-NEXT: call void @llvm.donothing()22; CHECK-NEXT: [[X:%.*]] = load i128, ptr [[P]], align 823; CHECK-NEXT: [[TMP6:%.*]] = ptrtoint ptr [[P]] to i6424; CHECK-NEXT: [[TMP7:%.*]] = xor i64 [[TMP6]], 8796093022208025; CHECK-NEXT: [[TMP8:%.*]] = inttoptr i64 [[TMP7]] to ptr26; CHECK-NEXT: [[TMP9:%.*]] = add i64 [[TMP7]], 1759218604441627; CHECK-NEXT: [[TMP10:%.*]] = inttoptr i64 [[TMP9]] to ptr28; CHECK-NEXT: [[_MSLD:%.*]] = load i128, ptr [[TMP8]], align 829; CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[TMP10]], align 830; CHECK-NEXT: store i128 [[_MSLD]], ptr @__msan_retval_tls, align 831; CHECK-NEXT: store i32 [[TMP11]], ptr @__msan_retval_origin_tls, align 432; CHECK-NEXT: ret i128 [[X]]33;34entry:35 %x = load i128, ptr %p36 ret i128 %x37}38 39define i128 @ByValArgumentNoSanitize(i32, ptr byval(i128) %p) {40; CHECK-LABEL: define i128 @ByValArgumentNoSanitize(41; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i128) [[P:%.*]]) {42; CHECK-NEXT: [[ENTRY:.*:]]43; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i6444; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 8796093022208045; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr46; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 1759218604441647; CHECK-NEXT: [[TMP5:%.*]] = inttoptr i64 [[TMP4]] to ptr48; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 8 [[TMP3]], i8 0, i64 16, i1 false)49; CHECK-NEXT: call void @llvm.donothing()50; CHECK-NEXT: [[X:%.*]] = load i128, ptr [[P]], align 851; CHECK-NEXT: store i128 0, ptr @__msan_retval_tls, align 852; CHECK-NEXT: store i32 0, ptr @__msan_retval_origin_tls, align 453; CHECK-NEXT: ret i128 [[X]]54;55entry:56 %x = load i128, ptr %p57 ret i128 %x58}59 60define void @ByValForward(i32, ptr byval(i128) %p) sanitize_memory {61; CHECK-LABEL: define void @ByValForward(62; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i128) [[P:%.*]]) #[[ATTR0]] {63; CHECK-NEXT: [[ENTRY:.*:]]64; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i6465; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 8796093022208066; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr67; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 1759218604441668; CHECK-NEXT: [[TMP5:%.*]] = inttoptr i64 [[TMP4]] to ptr69; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[TMP3]], ptr align 8 getelementptr (i8, ptr @__msan_param_tls, i64 8), i64 16, i1 false)70; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[TMP5]], ptr align 4 getelementptr (i8, ptr @__msan_param_origin_tls, i64 8), i64 16, i1 false)71; CHECK-NEXT: call void @llvm.donothing()72; CHECK-NEXT: store i64 0, ptr @__msan_param_tls, align 873; CHECK-NEXT: call void @Fn(ptr [[P]])74; CHECK-NEXT: ret void75;76entry:77 call void @Fn(ptr %p)78 ret void79}80 81define void @ByValForwardNoSanitize(i32, ptr byval(i128) %p) {82; CHECK-LABEL: define void @ByValForwardNoSanitize(83; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i128) [[P:%.*]]) {84; CHECK-NEXT: [[ENTRY:.*:]]85; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i6486; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 8796093022208087; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr88; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 1759218604441689; CHECK-NEXT: [[TMP5:%.*]] = inttoptr i64 [[TMP4]] to ptr90; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 8 [[TMP3]], i8 0, i64 16, i1 false)91; CHECK-NEXT: call void @llvm.donothing()92; CHECK-NEXT: store i64 0, ptr @__msan_param_tls, align 893; CHECK-NEXT: call void @Fn(ptr [[P]])94; CHECK-NEXT: ret void95;96entry:97 call void @Fn(ptr %p)98 ret void99}100 101define void @ByValForwardByVal(i32, ptr byval(i128) %p) sanitize_memory {102; CHECK-LABEL: define void @ByValForwardByVal(103; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i128) [[P:%.*]]) #[[ATTR0]] {104; CHECK-NEXT: [[ENTRY:.*:]]105; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i64106; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 87960930222080107; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr108; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 17592186044416109; CHECK-NEXT: [[TMP5:%.*]] = inttoptr i64 [[TMP4]] to ptr110; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[TMP3]], ptr align 8 getelementptr (i8, ptr @__msan_param_tls, i64 8), i64 16, i1 false)111; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[TMP5]], ptr align 4 getelementptr (i8, ptr @__msan_param_origin_tls, i64 8), i64 16, i1 false)112; CHECK-NEXT: call void @llvm.donothing()113; CHECK-NEXT: [[TMP6:%.*]] = ptrtoint ptr [[P]] to i64114; CHECK-NEXT: [[TMP7:%.*]] = xor i64 [[TMP6]], 87960930222080115; CHECK-NEXT: [[TMP8:%.*]] = inttoptr i64 [[TMP7]] to ptr116; CHECK-NEXT: [[TMP9:%.*]] = add i64 [[TMP7]], 17592186044416117; CHECK-NEXT: [[TMP10:%.*]] = and i64 [[TMP9]], -4118; CHECK-NEXT: [[TMP11:%.*]] = inttoptr i64 [[TMP10]] to ptr119; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr @__msan_param_tls, ptr [[TMP8]], i64 16, i1 false)120; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 @__msan_param_origin_tls, ptr align 4 [[TMP11]], i64 16, i1 false)121; CHECK-NEXT: call void @FnByVal(ptr byval(i128) [[P]])122; CHECK-NEXT: ret void123;124entry:125 call void @FnByVal(ptr byval(i128) %p)126 ret void127}128 129define void @ByValForwardByValNoSanitize(i32, ptr byval(i128) %p) {130; CHECK-LABEL: define void @ByValForwardByValNoSanitize(131; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i128) [[P:%.*]]) {132; CHECK-NEXT: [[ENTRY:.*:]]133; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i64134; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 87960930222080135; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr136; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 17592186044416137; CHECK-NEXT: [[TMP5:%.*]] = inttoptr i64 [[TMP4]] to ptr138; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 8 [[TMP3]], i8 0, i64 16, i1 false)139; CHECK-NEXT: call void @llvm.donothing()140; CHECK-NEXT: [[TMP6:%.*]] = ptrtoint ptr [[P]] to i64141; CHECK-NEXT: [[TMP7:%.*]] = xor i64 [[TMP6]], 87960930222080142; CHECK-NEXT: [[TMP8:%.*]] = inttoptr i64 [[TMP7]] to ptr143; CHECK-NEXT: [[TMP9:%.*]] = add i64 [[TMP7]], 17592186044416144; CHECK-NEXT: [[TMP10:%.*]] = and i64 [[TMP9]], -4145; CHECK-NEXT: [[TMP11:%.*]] = inttoptr i64 [[TMP10]] to ptr146; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr @__msan_param_tls, i8 0, i64 16, i1 false)147; CHECK-NEXT: call void @FnByVal(ptr byval(i128) [[P]])148; CHECK-NEXT: ret void149;150entry:151 call void @FnByVal(ptr byval(i128) %p)152 ret void153}154 155declare void @FnByVal8(ptr byval(i8) %p);156declare void @Fn8(ptr %p);157 158define i8 @ByValArgument8(i32, ptr byval(i8) %p) sanitize_memory {159; CHECK-LABEL: define i8 @ByValArgument8(160; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i8) [[P:%.*]]) #[[ATTR0]] {161; CHECK-NEXT: [[ENTRY:.*:]]162; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i64163; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 87960930222080164; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr165; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 17592186044416166; CHECK-NEXT: [[TMP5:%.*]] = and i64 [[TMP4]], -4167; CHECK-NEXT: [[TMP6:%.*]] = inttoptr i64 [[TMP5]] to ptr168; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 1 [[TMP3]], ptr align 1 getelementptr (i8, ptr @__msan_param_tls, i64 8), i64 1, i1 false)169; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[TMP6]], ptr align 4 getelementptr (i8, ptr @__msan_param_origin_tls, i64 8), i64 4, i1 false)170; CHECK-NEXT: call void @llvm.donothing()171; CHECK-NEXT: [[X:%.*]] = load i8, ptr [[P]], align 1172; CHECK-NEXT: [[TMP7:%.*]] = ptrtoint ptr [[P]] to i64173; CHECK-NEXT: [[TMP8:%.*]] = xor i64 [[TMP7]], 87960930222080174; CHECK-NEXT: [[TMP9:%.*]] = inttoptr i64 [[TMP8]] to ptr175; CHECK-NEXT: [[TMP10:%.*]] = add i64 [[TMP8]], 17592186044416176; CHECK-NEXT: [[TMP11:%.*]] = and i64 [[TMP10]], -4177; CHECK-NEXT: [[TMP12:%.*]] = inttoptr i64 [[TMP11]] to ptr178; CHECK-NEXT: [[_MSLD:%.*]] = load i8, ptr [[TMP9]], align 1179; CHECK-NEXT: [[TMP13:%.*]] = load i32, ptr [[TMP12]], align 4180; CHECK-NEXT: store i8 [[_MSLD]], ptr @__msan_retval_tls, align 8181; CHECK-NEXT: store i32 [[TMP13]], ptr @__msan_retval_origin_tls, align 4182; CHECK-NEXT: ret i8 [[X]]183;184entry:185 %x = load i8, ptr %p186 ret i8 %x187}188 189define i8 @ByValArgumentNoSanitize8(i32, ptr byval(i8) %p) {190; CHECK-LABEL: define i8 @ByValArgumentNoSanitize8(191; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i8) [[P:%.*]]) {192; CHECK-NEXT: [[ENTRY:.*:]]193; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i64194; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 87960930222080195; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr196; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 17592186044416197; CHECK-NEXT: [[TMP5:%.*]] = and i64 [[TMP4]], -4198; CHECK-NEXT: [[TMP6:%.*]] = inttoptr i64 [[TMP5]] to ptr199; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 1 [[TMP3]], i8 0, i64 1, i1 false)200; CHECK-NEXT: call void @llvm.donothing()201; CHECK-NEXT: [[X:%.*]] = load i8, ptr [[P]], align 1202; CHECK-NEXT: store i8 0, ptr @__msan_retval_tls, align 8203; CHECK-NEXT: store i32 0, ptr @__msan_retval_origin_tls, align 4204; CHECK-NEXT: ret i8 [[X]]205;206entry:207 %x = load i8, ptr %p208 ret i8 %x209}210 211define void @ByValForward8(i32, ptr byval(i8) %p) sanitize_memory {212; CHECK-LABEL: define void @ByValForward8(213; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i8) [[P:%.*]]) #[[ATTR0]] {214; CHECK-NEXT: [[ENTRY:.*:]]215; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i64216; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 87960930222080217; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr218; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 17592186044416219; CHECK-NEXT: [[TMP5:%.*]] = and i64 [[TMP4]], -4220; CHECK-NEXT: [[TMP6:%.*]] = inttoptr i64 [[TMP5]] to ptr221; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 1 [[TMP3]], ptr align 1 getelementptr (i8, ptr @__msan_param_tls, i64 8), i64 1, i1 false)222; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[TMP6]], ptr align 4 getelementptr (i8, ptr @__msan_param_origin_tls, i64 8), i64 4, i1 false)223; CHECK-NEXT: call void @llvm.donothing()224; CHECK-NEXT: store i64 0, ptr @__msan_param_tls, align 8225; CHECK-NEXT: call void @Fn8(ptr [[P]])226; CHECK-NEXT: ret void227;228entry:229 call void @Fn8(ptr %p)230 ret void231}232 233define void @ByValForwardNoSanitize8(i32, ptr byval(i8) %p) {234; CHECK-LABEL: define void @ByValForwardNoSanitize8(235; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i8) [[P:%.*]]) {236; CHECK-NEXT: [[ENTRY:.*:]]237; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i64238; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 87960930222080239; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr240; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 17592186044416241; CHECK-NEXT: [[TMP5:%.*]] = and i64 [[TMP4]], -4242; CHECK-NEXT: [[TMP6:%.*]] = inttoptr i64 [[TMP5]] to ptr243; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 1 [[TMP3]], i8 0, i64 1, i1 false)244; CHECK-NEXT: call void @llvm.donothing()245; CHECK-NEXT: store i64 0, ptr @__msan_param_tls, align 8246; CHECK-NEXT: call void @Fn8(ptr [[P]])247; CHECK-NEXT: ret void248;249entry:250 call void @Fn8(ptr %p)251 ret void252}253 254define void @ByValForwardByVal8(i32, ptr byval(i8) %p) sanitize_memory {255; CHECK-LABEL: define void @ByValForwardByVal8(256; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i8) [[P:%.*]]) #[[ATTR0]] {257; CHECK-NEXT: [[ENTRY:.*:]]258; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i64259; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 87960930222080260; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr261; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 17592186044416262; CHECK-NEXT: [[TMP5:%.*]] = and i64 [[TMP4]], -4263; CHECK-NEXT: [[TMP6:%.*]] = inttoptr i64 [[TMP5]] to ptr264; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 1 [[TMP3]], ptr align 1 getelementptr (i8, ptr @__msan_param_tls, i64 8), i64 1, i1 false)265; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 [[TMP6]], ptr align 4 getelementptr (i8, ptr @__msan_param_origin_tls, i64 8), i64 4, i1 false)266; CHECK-NEXT: call void @llvm.donothing()267; CHECK-NEXT: [[TMP7:%.*]] = ptrtoint ptr [[P]] to i64268; CHECK-NEXT: [[TMP8:%.*]] = xor i64 [[TMP7]], 87960930222080269; CHECK-NEXT: [[TMP9:%.*]] = inttoptr i64 [[TMP8]] to ptr270; CHECK-NEXT: [[TMP10:%.*]] = add i64 [[TMP8]], 17592186044416271; CHECK-NEXT: [[TMP11:%.*]] = and i64 [[TMP10]], -4272; CHECK-NEXT: [[TMP12:%.*]] = inttoptr i64 [[TMP11]] to ptr273; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr @__msan_param_tls, ptr [[TMP9]], i64 1, i1 false)274; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 4 @__msan_param_origin_tls, ptr align 4 [[TMP12]], i64 4, i1 false)275; CHECK-NEXT: call void @FnByVal8(ptr byval(i8) [[P]])276; CHECK-NEXT: ret void277;278entry:279 call void @FnByVal8(ptr byval(i8) %p)280 ret void281}282 283define void @ByValForwardByValNoSanitize8(i32, ptr byval(i8) %p) {284; CHECK-LABEL: define void @ByValForwardByValNoSanitize8(285; CHECK-SAME: i32 [[TMP0:%.*]], ptr byval(i8) [[P:%.*]]) {286; CHECK-NEXT: [[ENTRY:.*:]]287; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P]] to i64288; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], 87960930222080289; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[TMP2]] to ptr290; CHECK-NEXT: [[TMP4:%.*]] = add i64 [[TMP2]], 17592186044416291; CHECK-NEXT: [[TMP5:%.*]] = and i64 [[TMP4]], -4292; CHECK-NEXT: [[TMP6:%.*]] = inttoptr i64 [[TMP5]] to ptr293; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 1 [[TMP3]], i8 0, i64 1, i1 false)294; CHECK-NEXT: call void @llvm.donothing()295; CHECK-NEXT: [[TMP7:%.*]] = ptrtoint ptr [[P]] to i64296; CHECK-NEXT: [[TMP8:%.*]] = xor i64 [[TMP7]], 87960930222080297; CHECK-NEXT: [[TMP9:%.*]] = inttoptr i64 [[TMP8]] to ptr298; CHECK-NEXT: [[TMP10:%.*]] = add i64 [[TMP8]], 17592186044416299; CHECK-NEXT: [[TMP11:%.*]] = and i64 [[TMP10]], -4300; CHECK-NEXT: [[TMP12:%.*]] = inttoptr i64 [[TMP11]] to ptr301; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr @__msan_param_tls, i8 0, i64 1, i1 false)302; CHECK-NEXT: call void @FnByVal8(ptr byval(i8) [[P]])303; CHECK-NEXT: ret void304;305entry:306 call void @FnByVal8(ptr byval(i8) %p)307 ret void308}309 310