test/Instrumentation/DataFlowSanitizer/load.ll

   1 ; RUN: opt < %s -dfsan -dfsan-combine-pointer-labels-on-load=1 -S | FileCheck %s --check-prefix=COMBINE_PTR_LABEL
   2 ; RUN: opt < %s -dfsan -dfsan-combine-pointer-labels-on-load=0 -S | FileCheck %s --check-prefix=NO_COMBINE_PTR_LABEL
   3 target 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"
   4
   5 define {} @load0({}* %p) {
   6   ; COMBINE_PTR_LABEL: @"dfs$load0"
   7   ; COMBINE_PTR_LABEL: load
   8   ; COMBINE_PTR_LABEL-NOT: load
   9
  10   ; NO_COMBINE_PTR_LABEL: @"dfs$load0"
  11   ; NO_COMBINE_PTR_LABEL: load
  12   ; NO_COMBINE_PTR_LABEL-NOT: load
  13   %a = load {}* %p
  14   ret {} %a
  15 }
  16
  17 define i8 @load8(i8* %p) {
  18   ; COMBINE_PTR_LABEL: @"dfs$load8"
  19   ; COMBINE_PTR_LABEL: load i16*
  20   ; COMBINE_PTR_LABEL: ptrtoint i8* {{.*}} to i64
  21   ; COMBINE_PTR_LABEL: and i64
  22   ; COMBINE_PTR_LABEL: mul i64
  23   ; COMBINE_PTR_LABEL: inttoptr i64
  24   ; COMBINE_PTR_LABEL: load i16*
  25   ; COMBINE_PTR_LABEL: icmp ne i16
  26   ; COMBINE_PTR_LABEL: call zeroext i16 @__dfsan_union
  27   ; COMBINE_PTR_LABEL: load i8*
  28   ; COMBINE_PTR_LABEL: store i16 {{.*}} @__dfsan_retval_tls
  29   ; COMBINE_PTR_LABEL: ret i8
  30
  31   ; NO_COMBINE_PTR_LABEL: @"dfs$load8"
  32   ; NO_COMBINE_PTR_LABEL: ptrtoint i8*
  33   ; NO_COMBINE_PTR_LABEL: and i64
  34   ; NO_COMBINE_PTR_LABEL: mul i64
  35   ; NO_COMBINE_PTR_LABEL: inttoptr i64 {{.*}} to i16*
  36   ; NO_COMBINE_PTR_LABEL: load i16*
  37   ; NO_COMBINE_PTR_LABEL: load i8*
  38   ; NO_COMBINE_PTR_LABEL: store i16 {{.*}} @__dfsan_retval_tls
  39   ; NO_COMBINE_PTR_LABEL: ret i8
  40
  41   %a = load i8* %p
  42   ret i8 %a
  43 }
  44
  45 define i16 @load16(i16* %p) {
  46   ; COMBINE_PTR_LABEL: @"dfs$load16"
  47   ; COMBINE_PTR_LABEL: ptrtoint i16*
  48   ; COMBINE_PTR_LABEL: and i64
  49   ; COMBINE_PTR_LABEL: mul i64
  50   ; COMBINE_PTR_LABEL: inttoptr i64 {{.*}} i16*
  51   ; COMBINE_PTR_LABEL: getelementptr i16
  52   ; COMBINE_PTR_LABEL: load i16*
  53   ; COMBINE_PTR_LABEL: load i16*
  54   ; COMBINE_PTR_LABEL: icmp ne
  55   ; COMBINE_PTR_LABEL: call {{.*}} @__dfsan_union
  56   ; COMBINE_PTR_LABEL: icmp ne i16
  57   ; COMBINE_PTR_LABEL: call {{.*}} @__dfsan_union
  58   ; COMBINE_PTR_LABEL: load i16*
  59   ; COMBINE_PTR_LABEL: store {{.*}} @__dfsan_retval_tls
  60   ; COMBINE_PTR_LABEL: ret i16
  61
  62   ; NO_COMBINE_PTR_LABEL: @"dfs$load16"
  63   ; NO_COMBINE_PTR_LABEL: ptrtoint i16*
  64   ; NO_COMBINE_PTR_LABEL: and i64
  65   ; NO_COMBINE_PTR_LABEL: mul i64
  66   ; NO_COMBINE_PTR_LABEL: inttoptr i64 {{.*}} i16*
  67   ; NO_COMBINE_PTR_LABEL: getelementptr i16*
  68   ; NO_COMBINE_PTR_LABEL: load i16*
  69   ; NO_COMBINE_PTR_LABEL: load i16*
  70   ; NO_COMBINE_PTR_LABEL: icmp ne i16
  71   ; NO_COMBINE_PTR_LABEL: call {{.*}} @__dfsan_union
  72   ; NO_COMBINE_PTR_LABEL: load i16*
  73   ; NO_COMBINE_PTR_LABEL: store i16 {{.*}} @__dfsan_retval_tls
  74   ; NO_COMBINE_PTR_LABEL: ret i16
  75
  76   %a = load i16* %p
  77   ret i16 %a
  78 }
  79
  80 define i32 @load32(i32* %p) {
  81   ; COMBINE_PTR_LABEL: @"dfs$load32"
  82   ; COMBINE_PTR_LABEL: ptrtoint i32*
  83   ; COMBINE_PTR_LABEL: and i64
  84   ; COMBINE_PTR_LABEL: mul i64
  85   ; COMBINE_PTR_LABEL: inttoptr i64 {{.*}} i16*
  86   ; COMBINE_PTR_LABEL: bitcast i16* {{.*}} i64*
  87   ; COMBINE_PTR_LABEL: load i64*
  88   ; COMBINE_PTR_LABEL: trunc i64 {{.*}} i16
  89   ; COMBINE_PTR_LABEL: shl i64
  90   ; COMBINE_PTR_LABEL: lshr i64
  91   ; COMBINE_PTR_LABEL: or i64
  92   ; COMBINE_PTR_LABEL: icmp eq i64
  93   ; COMBINE_PTR_LABEL: icmp ne i16
  94   ; COMBINE_PTR_LABEL: call {{.*}} @__dfsan_union
  95   ; COMBINE_PTR_LABEL: load i32*
  96   ; COMBINE_PTR_LABEL: store i16 {{.*}} @__dfsan_retval_tls
  97   ; COMBINE_PTR_LABEL: ret i32
  98   ; COMBINE_PTR_LABEL: call {{.*}} @__dfsan_union_load
  99
 100   ; NO_COMBINE_PTR_LABEL: @"dfs$load32"
 101   ; NO_COMBINE_PTR_LABEL: ptrtoint i32*
 102   ; NO_COMBINE_PTR_LABEL: and i64
 103   ; NO_COMBINE_PTR_LABEL: mul i64
 104   ; NO_COMBINE_PTR_LABEL: inttoptr i64 {{.*}} i16*
 105   ; NO_COMBINE_PTR_LABEL: bitcast i16* {{.*}} i64*
 106   ; NO_COMBINE_PTR_LABEL: load i64*
 107   ; NO_COMBINE_PTR_LABEL: trunc i64 {{.*}} i16
 108   ; NO_COMBINE_PTR_LABEL: shl i64
 109   ; NO_COMBINE_PTR_LABEL: lshr i64
 110   ; NO_COMBINE_PTR_LABEL: or i64
 111   ; NO_COMBINE_PTR_LABEL: icmp eq i64
 112   ; NO_COMBINE_PTR_LABEL: load i32*
 113   ; NO_COMBINE_PTR_LABEL: store i16 {{.*}} @__dfsan_retval_tls
 114   ; NO_COMBINE_PTR_LABEL: ret i32
 115   ; NO_COMBINE_PTR_LABEL: call {{.*}} @__dfsan_union_load
 116
 117
 118   %a = load i32* %p
 119   ret i32 %a
 120 }
 121
 122 define i64 @load64(i64* %p) {
 123   ; COMBINE_PTR_LABEL: @"dfs$load64"
 124   ; COMBINE_PTR_LABEL: ptrtoint i64*
 125   ; COMBINE_PTR_LABEL: and i64
 126   ; COMBINE_PTR_LABEL: mul i64
 127   ; COMBINE_PTR_LABEL: inttoptr i64 {{.*}} i16*
 128   ; COMBINE_PTR_LABEL: bitcast i16* {{.*}} i64*
 129   ; COMBINE_PTR_LABEL: load i64*
 130   ; COMBINE_PTR_LABEL: trunc i64 {{.*}} i16
 131   ; COMBINE_PTR_LABEL: shl i64
 132   ; COMBINE_PTR_LABEL: lshr i64
 133   ; COMBINE_PTR_LABEL: or i64
 134   ; COMBINE_PTR_LABEL: icmp eq i64
 135   ; COMBINE_PTR_LABEL: icmp ne i16
 136   ; COMBINE_PTR_LABEL: call {{.*}} @__dfsan_union
 137   ; COMBINE_PTR_LABEL: load i64*
 138   ; COMBINE_PTR_LABEL: store i16 {{.*}} @__dfsan_retval_tls
 139   ; COMBINE_PTR_LABEL: ret i64
 140   ; COMBINE_PTR_LABEL: call {{.*}} @__dfsan_union_load
 141   ; COMBINE_PTR_LABEL: getelementptr i64* {{.*}} i64
 142   ; COMBINE_PTR_LABEL: load i64*
 143   ; COMBINE_PTR_LABEL: icmp eq i64
 144
 145   ; NO_COMBINE_PTR_LABEL: @"dfs$load64"
 146   ; NO_COMBINE_PTR_LABEL: ptrtoint i64*
 147   ; NO_COMBINE_PTR_LABEL: and i64
 148   ; NO_COMBINE_PTR_LABEL: mul i64
 149   ; NO_COMBINE_PTR_LABEL: inttoptr i64 {{.*}} i16*
 150   ; NO_COMBINE_PTR_LABEL: bitcast i16* {{.*}} i64*
 151   ; NO_COMBINE_PTR_LABEL: load i64*
 152   ; NO_COMBINE_PTR_LABEL: trunc i64 {{.*}} i16
 153   ; NO_COMBINE_PTR_LABEL: shl i64
 154   ; NO_COMBINE_PTR_LABEL: lshr i64
 155   ; NO_COMBINE_PTR_LABEL: or i64
 156   ; NO_COMBINE_PTR_LABEL: icmp eq i64
 157   ; NO_COMBINE_PTR_LABEL: load i64*
 158   ; NO_COMBINE_PTR_LABEL: store i16 {{.*}} @__dfsan_retval_tls
 159   ; NO_COMBINE_PTR_LABEL: ret i64
 160   ; NO_COMBINE_PTR_LABEL: call {{.*}} @__dfsan_union_load
 161   ; NO_COMBINE_PTR_LABEL: getelementptr i64* {{.*}} i64
 162   ; NO_COMBINE_PTR_LABEL: load i64*
 163   ; NO_COMBINE_PTR_LABEL: icmp eq i64
 164
 165   %a = load i64* %p
 166   ret i64 %a
 167 }