Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 59b1262d012e0ed8ac3ef51f6abd15d5876ae148 / . / llvm / test / Instrumentation / DataFlowSanitizer / arith.ll
blob: d75c396e141a72b0fc8751713e3df0e5ab372776 [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) {
Peter Collingbourne59b12622013-08-22 20:08:08 +0000[diff] [blame^]5 ; CHECK: @"dfs$add"
Peter Collingbournee5d5b0c2013-08-07 22:47:18 +0000[diff] [blame]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) {
Peter Collingbourne59b12622013-08-22 20:08:08 +0000[diff] [blame^]17 ; CHECK: @"dfs$sub"
Peter Collingbournee5d5b0c2013-08-07 22:47:18 +0000[diff] [blame]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) {
Peter Collingbourne59b12622013-08-22 20:08:08 +0000[diff] [blame^]29 ; CHECK: @"dfs$mul"
Peter Collingbournee5d5b0c2013-08-07 22:47:18 +0000[diff] [blame]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) {
Peter Collingbourne59b12622013-08-22 20:08:08 +0000[diff] [blame^]41 ; CHECK: @"dfs$sdiv"
Peter Collingbournee5d5b0c2013-08-07 22:47:18 +0000[diff] [blame]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) {
Peter Collingbourne59b12622013-08-22 20:08:08 +0000[diff] [blame^]53 ; CHECK: @"dfs$udiv"
Peter Collingbournee5d5b0c2013-08-07 22:47:18 +0000[diff] [blame]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}