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 define i32 @m() {
   8 entry:
   9   %call = call zeroext i16 @dfsan_get_label(i64 signext 56)
  10   %conv = zext i16 %call to i32
  11   ret i32 %conv
  12 }
  13
  14 ; CHECK-LABEL: @"dfs$m"
  15 ; CHECK: %{{.*}} = call zeroext i16 @__dfsw_dfsan_get_label(i64 signext 56, i16 zeroext 0, i16* %{{.*}})
  16
  17 define i32 @k() {
  18 entry:
  19   %call = call zeroext i16 @k2(i64 signext 56, i64 signext 67)
  20   %conv = zext i16 %call to i32
  21   ret i32 %conv
  22 }
  23
  24 ; CHECK-LABEL: @"dfs$k"
  25 ; CHECK: %{{.*}} = call zeroext i16 @__dfsw_k2(i64 signext 56, i64 signext 67, i16 zeroext {{.*}}, i16 zeroext {{.*}}, i16* %{{.*}})
  26
  27 define i32 @k3() {
  28 entry:
  29   %call = call zeroext i16 @k4(i64 signext 56, i64 signext 67, i64 signext 78, i64 signext 89)
  30   %conv = zext i16 %call to i32
  31   ret i32 %conv
  32 }
  33
  34 ; CHECK-LABEL: @"dfs$k3"
  35 ; CHECK: %{{.*}} = call zeroext i16 @__dfsw_k4(i64 signext 56, i64 signext 67, i64 signext 78, i64 signext 89, i16 zeroext {{.*}}, i16 zeroext {{.*}}, i16 zeroext {{.*}}, i16 zeroext {{.*}}, i16* %{{.*}})
  36
  37 declare zeroext i16 @dfsan_get_label(i64 signext)
  38
  39 ; CHECK-LABEL: @"dfsw$dfsan_get_label"
  40 ; CHECK: %{{.*}} = call i16 @__dfsw_dfsan_get_label(i64 %0, i16 zeroext %1, i16* %{{.*}})
  41
  42 declare zeroext i16 @k2(i64 signext, i64 signext)
  43 ; CHECK-LABEL: @"dfsw$k2"
  44 ; CHECK: %{{.*}} = call i16 @__dfsw_k2(i64 %{{.*}}, i64 %{{.*}}, i16 zeroext %{{.*}}, i16 zeroext %{{.*}}, i16* %{{.*}})
  45
  46 declare zeroext i16 @k4(i64 signext, i64 signext, i64 signext, i64 signext)
  47
  48 ; CHECK-LABEL: @"dfsw$k4"
  49 ; CHECK: %{{.*}} = call i16 @__dfsw_k4(i64 %{{.*}}, i64 %{{.*}}, i64  %{{.*}}, i64 %{{.*}}, i16 zeroext %{{.*}}, i16 zeroext %{{.*}}, i16 zeroext %{{.*}}, i16 zeroext %{{.*}}, i16* %{{.*}})
  50
  51
  52 ; CHECK: declare zeroext i16 @__dfsw_dfsan_get_label(i64 signext, i16, i16*)
  53 ; CHECK: declare zeroext i16 @__dfsw_k2(i64 signext, i64 signext, i16, i16, i16*)
  54 ; CHECK: declare zeroext i16 @__dfsw_k4(i64 signext, i64 signext, i64 signext, i64 signext, i16, i16, i16, i16, i16*)