Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / e5d5b0c71e8a27bc5582a6f296e65b78d40b14a5 / . / llvm / test / Instrumentation / DataFlowSanitizer / arith.ll
blob: ecb77a260088399705fcff242b675e29a4823518 [file] [log] [blame]
Peter Collingbournee5d5b0c2013-08-07 22:47:18 +0000[diff] [blame^]1; RUN: opt < %s -dfsan -S | FileCheck %s
2target 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
4define i8 @add(i8 %a, i8 %b) {
5 ; CHECK: @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
16define i8 @sub(i8 %a, i8 %b) {
17 ; CHECK: @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
28define i8 @mul(i8 %a, i8 %b) {
29 ; CHECK: @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
40define i8 @sdiv(i8 %a, i8 %b) {
41 ; CHECK: @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
52define i8 @udiv(i8 %a, i8 %b) {
53 ; CHECK: @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}