test/Instrumentation/DataFlowSanitizer/arith.ll

   1 ; RUN: opt < %s -dfsan -S | FileCheck %s
   2 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"
   3
   4 define i8 @add(i8 %a, i8 %b) {
   5   ; CHECK: @"dfs$add"
   6   ; CHECK: load{{.*}}__dfsan_arg_tls
   7   ; CHECK: load{{.*}}__dfsan_arg_tls
   8   ; CHECK: call{{.*}}__dfsan_union
   9   ; CHECK: add i8
  10   ; CHECK: store{{.*}}__dfsan_retval_tls
  11   ; CHECK: ret i8
  12   %c = add i8 %a, %b
  13   ret i8 %c
  14 }
  15
  16 define i8 @sub(i8 %a, i8 %b) {
  17   ; CHECK: @"dfs$sub"
  18   ; CHECK: load{{.*}}__dfsan_arg_tls
  19   ; CHECK: load{{.*}}__dfsan_arg_tls
  20   ; CHECK: call{{.*}}__dfsan_union
  21   ; CHECK: sub i8
  22   ; CHECK: store{{.*}}__dfsan_retval_tls
  23   ; CHECK: ret i8
  24   %c = sub i8 %a, %b
  25   ret i8 %c
  26 }
  27
  28 define i8 @mul(i8 %a, i8 %b) {
  29   ; CHECK: @"dfs$mul"
  30   ; CHECK: load{{.*}}__dfsan_arg_tls
  31   ; CHECK: load{{.*}}__dfsan_arg_tls
  32   ; CHECK: call{{.*}}__dfsan_union
  33   ; CHECK: mul i8
  34   ; CHECK: store{{.*}}__dfsan_retval_tls
  35   ; CHECK: ret i8
  36   %c = mul i8 %a, %b
  37   ret i8 %c
  38 }
  39
  40 define i8 @sdiv(i8 %a, i8 %b) {
  41   ; CHECK: @"dfs$sdiv"
  42   ; CHECK: load{{.*}}__dfsan_arg_tls
  43   ; CHECK: load{{.*}}__dfsan_arg_tls
  44   ; CHECK: call{{.*}}__dfsan_union
  45   ; CHECK: sdiv i8
  46   ; CHECK: store{{.*}}__dfsan_retval_tls
  47   ; CHECK: ret i8
  48   %c = sdiv i8 %a, %b
  49   ret i8 %c
  50 }
  51
  52 define i8 @udiv(i8 %a, i8 %b) {
  53   ; CHECK: @"dfs$udiv"
  54   ; CHECK: load{{.*}}__dfsan_arg_tls
  55   ; CHECK: load{{.*}}__dfsan_arg_tls
  56   ; CHECK: call{{.*}}__dfsan_union
  57   ; CHECK: udiv i8
  58   ; CHECK: store{{.*}}__dfsan_retval_tls
  59   ; CHECK: ret i8
  60   %c = udiv i8 %a, %b
  61   ret i8 %c
  62 }