llvm/test/Instrumentation/DataFlowSanitizer/shadow-args-zext.ll

   1 ; RUN: opt -mtriple=x86_64-unknown-linux-gnu < %s -dfsan -S --dfsan-abilist=%S/Inputs/shadow-args-abilist.txt | FileCheck %s
   2
   3 ; REQUIRES: x86-registered-target
   4
   5 ; Test that the custom abi marks shadow parameters as zero extended.
   6
   7 ; CHECK: @__dfsan_shadow_width_bits = weak_odr constant i32 [[#SBITS:]]
   8 ; CHECK: @__dfsan_shadow_width_bytes = weak_odr constant i32 [[#SBYTES:]]
   9
  10 define i32 @m() {
  11   ; CHECK-LABEL: @m.dfsan
  12   ; CHECK: %{{.*}} = call zeroext i16 @__dfsw_dfsan_get_label(i64 signext 56, i[[#SBITS]] zeroext 0, i[[#SBITS]]* %{{.*}})
  13
  14 entry:
  15   %call = call zeroext i16 @dfsan_get_label(i64 signext 56)
  16   %conv = zext i16 %call to i32
  17   ret i32 %conv
  18 }
  19
  20 define i32 @k() {
  21   ; CHECK-LABEL: @k.dfsan
  22   ; CHECK: %{{.*}} = call zeroext i16 @__dfsw_k2(i64 signext 56, i64 signext 67, i[[#SBITS]] zeroext {{.*}}, i[[#SBITS]] zeroext {{.*}}, i[[#SBITS]]* %{{.*}})
  23
  24 entry:
  25   %call = call zeroext i16 @k2(i64 signext 56, i64 signext 67)
  26   %conv = zext i16 %call to i32
  27   ret i32 %conv
  28 }
  29
  30 define i32 @k3() {
  31   ; CHECK-LABEL: @k3.dfsan
  32   ; CHECK: %{{.*}} = call zeroext i16 @__dfsw_k4(i64 signext 56, i64 signext 67, i64 signext 78, i64 signext 89, i[[#SBITS]] zeroext {{.*}}, i[[#SBITS]] zeroext {{.*}}, i[[#SBITS]] zeroext {{.*}}, i[[#SBITS]] zeroext {{.*}}, i[[#SBITS]]* %{{.*}})
  33
  34 entry:
  35   %call = call zeroext i16 @k4(i64 signext 56, i64 signext 67, i64 signext 78, i64 signext 89)
  36   %conv = zext i16 %call to i32
  37   ret i32 %conv
  38 }
  39
  40 declare zeroext i16 @dfsan_get_label(i64 signext)
  41 ; CHECK-LABEL: @"dfsw$dfsan_get_label"
  42 ; CHECK: %{{.*}} = call i16 @__dfsw_dfsan_get_label(i64 %0, i[[#SBITS]] zeroext %1, i[[#SBITS]]* %{{.*}})
  43
  44 declare zeroext i16 @k2(i64 signext, i64 signext)
  45 ; CHECK-LABEL: @"dfsw$k2"
  46 ; CHECK: %{{.*}} = call i16 @__dfsw_k2(i64 %{{.*}}, i64 %{{.*}}, i[[#SBITS]] zeroext %{{.*}}, i[[#SBITS]] zeroext %{{.*}}, i[[#SBITS]]* %{{.*}})
  47
  48 declare zeroext i16 @k4(i64 signext, i64 signext, i64 signext, i64 signext)
  49 ; CHECK-LABEL: @"dfsw$k4"
  50 ; CHECK: %{{.*}} = call i16 @__dfsw_k4(i64 %{{.*}}, i64 %{{.*}}, i64  %{{.*}}, i64 %{{.*}}, i[[#SBITS]] zeroext %{{.*}}, i[[#SBITS]] zeroext %{{.*}}, i[[#SBITS]] zeroext %{{.*}}, i[[#SBITS]] zeroext %{{.*}}, i[[#SBITS]]* %{{.*}})
  51
  52
  53 ; CHECK: declare zeroext i16 @__dfsw_dfsan_get_label(i64 signext, i[[#SBITS]], i[[#SBITS]]*)
  54 ; CHECK: declare zeroext i16 @__dfsw_k2(i64 signext, i64 signext, i[[#SBITS]], i[[#SBITS]], i[[#SBITS]]*)
  55 ; CHECK: declare zeroext i16 @__dfsw_k4(i64 signext, i64 signext, i64 signext, i64 signext, i[[#SBITS]], i[[#SBITS]], i[[#SBITS]], i[[#SBITS]], i[[#SBITS]]*)