118 lines · plain
1; RUN: opt < %s -msan-check-access-address=0 -S -passes=msan 2>&1 | FileCheck %s2 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; Check instrumentation mul when one of the operands is a constant.7 8define i64 @MulConst(i64 %x) sanitize_memory {9entry:10 %y = mul i64 %x, 4294967296000011 ret i64 %y12}13 14; 42949672960000 = 2**32 * 1000015; 36 trailing zero bits16; 68719476736 = 2**3617 18; CHECK-LABEL: @MulConst(19; CHECK: [[A:%.*]] = load {{.*}} @__msan_param_tls20; CHECK: [[B:%.*]] = mul i64 [[A]], 6871947673621; CHECK: store i64 [[B]], ptr @__msan_retval_tls22 23 24define i64 @MulZero(i64 %x) sanitize_memory {25entry:26 %y = mul i64 %x, 027 ret i64 %y28}29 30; CHECK-LABEL: @MulZero(31; CHECK: [[A:%.*]] = load {{.*}} @__msan_param_tls32; CHECK: [[B:%.*]] = mul i64 [[A]], 0{{$}}33; CHECK: store i64 [[B]], ptr @__msan_retval_tls34 35 36define i64 @MulNeg(i64 %x) sanitize_memory {37entry:38 %y = mul i64 %x, -1639 ret i64 %y40}41 42; CHECK-LABEL: @MulNeg(43; CHECK: [[A:%.*]] = load {{.*}} @__msan_param_tls44; CHECK: [[B:%.*]] = mul i64 [[A]], 1645; CHECK: store i64 [[B]], ptr @__msan_retval_tls46 47 48define i64 @MulNeg2(i64 %x) sanitize_memory {49entry:50 %y = mul i64 %x, -4851 ret i64 %y52}53 54; CHECK-LABEL: @MulNeg2(55; CHECK: [[A:%.*]] = load {{.*}} @__msan_param_tls56; CHECK: [[B:%.*]] = mul i64 [[A]], 1657; CHECK: store i64 [[B]], ptr @__msan_retval_tls58 59 60define i64 @MulOdd(i64 %x) sanitize_memory {61entry:62 %y = mul i64 %x, 1234563 ret i64 %y64}65 66; CHECK-LABEL: @MulOdd(67; CHECK: [[A:%.*]] = load {{.*}} @__msan_param_tls68; CHECK: [[B:%.*]] = mul i64 [[A]], 169; CHECK: store i64 [[B]], ptr @__msan_retval_tls70 71 72define i64 @MulLarge(i64 %x) sanitize_memory {73entry:74 %y = mul i64 %x, -922337203685477580875 ret i64 %y76}77 78; -9223372036854775808 = 0x700000000000000079 80; CHECK-LABEL: @MulLarge(81; CHECK: [[A:%.*]] = load {{.*}} @__msan_param_tls82; CHECK: [[B:%.*]] = mul i64 [[A]], -922337203685477580883; CHECK: store i64 [[B]], ptr @__msan_retval_tls84 85define <4 x i32> @MulVectorConst(<4 x i32> %x) sanitize_memory {86entry:87 %y = mul <4 x i32> %x, <i32 3072, i32 0, i32 -16, i32 -48>88 ret <4 x i32> %y89}90 91; CHECK-LABEL: @MulVectorConst(92; CHECK: [[A:%.*]] = load {{.*}} @__msan_param_tls93; CHECK: [[B:%.*]] = mul <4 x i32> [[A]], <i32 1024, i32 0, i32 16, i32 16>94; CHECK: store <4 x i32> [[B]], ptr @__msan_retval_tls95 96 97; The constant in multiplication does not have to be a literal integer constant.98@X = linkonce_odr global ptr null99define i64 @MulNonIntegerConst(i64 %a) sanitize_memory {100 %mul = mul i64 %a, ptrtoint (ptr @X to i64)101 ret i64 %mul102}103 104; CHECK-LABEL: @MulNonIntegerConst(105; CHECK: [[A:%.*]] = load {{.*}} @__msan_param_tls106; CHECK: [[B:%.*]] = mul i64 [[A]], 1107; CHECK: store i64 [[B]], {{.*}}@__msan_retval_tls108 109define <2 x i64> @MulNonIntegerVectorConst(<2 x i64> %a) sanitize_memory {110 %mul = mul <2 x i64> %a, <i64 3072, i64 ptrtoint (ptr @X to i64)>111 ret <2 x i64> %mul112}113 114; CHECK-LABEL: @MulNonIntegerVectorConst(115; CHECK: [[A:%.*]] = load {{.*}} @__msan_param_tls116; CHECK: [[B:%.*]] = mul <2 x i64> [[A]], <i64 1024, i64 1>117; CHECK: store <2 x i64> [[B]], {{.*}}@__msan_retval_tls118