1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -dfsan -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Workertarget 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*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-unknown-linux-gnu" 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdefine i8 @add(i8 %a, i8 %b) { 6*9880d681SAndroid Build Coastguard Worker ; CHECK: @"dfs$add" 7*9880d681SAndroid Build Coastguard Worker ; CHECK-DAG: %[[ALABEL:.*]] = load{{.*}}__dfsan_arg_tls, i64 0, i64 0 8*9880d681SAndroid Build Coastguard Worker ; CHECK-DAG: %[[BLABEL:.*]] = load{{.*}}__dfsan_arg_tls, i64 0, i64 1 9*9880d681SAndroid Build Coastguard Worker ; CHECK: %[[UNION:.*]] = call{{.*}}__dfsan_union(i16 zeroext %[[ALABEL]], i16 zeroext %[[BLABEL]]) 10*9880d681SAndroid Build Coastguard Worker ; CHECK: %[[ADDLABEL:.*]] = phi i16 [ %[[UNION]], {{.*}} ], [ %[[ALABEL]], {{.*}} ] 11*9880d681SAndroid Build Coastguard Worker ; CHECK: add i8 12*9880d681SAndroid Build Coastguard Worker ; CHECK: store i16 %[[ADDLABEL]], i16* @__dfsan_retval_tls 13*9880d681SAndroid Build Coastguard Worker ; CHECK: ret i8 14*9880d681SAndroid Build Coastguard Worker %c = add i8 %a, %b 15*9880d681SAndroid Build Coastguard Worker ret i8 %c 16*9880d681SAndroid Build Coastguard Worker} 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Workerdefine i8 @sub(i8 %a, i8 %b) { 19*9880d681SAndroid Build Coastguard Worker ; CHECK: @"dfs$sub" 20*9880d681SAndroid Build Coastguard Worker ; CHECK: load{{.*}}__dfsan_arg_tls 21*9880d681SAndroid Build Coastguard Worker ; CHECK: load{{.*}}__dfsan_arg_tls 22*9880d681SAndroid Build Coastguard Worker ; CHECK: call{{.*}}__dfsan_union 23*9880d681SAndroid Build Coastguard Worker ; CHECK: sub i8 24*9880d681SAndroid Build Coastguard Worker ; CHECK: store{{.*}}__dfsan_retval_tls 25*9880d681SAndroid Build Coastguard Worker ; CHECK: ret i8 26*9880d681SAndroid Build Coastguard Worker %c = sub i8 %a, %b 27*9880d681SAndroid Build Coastguard Worker ret i8 %c 28*9880d681SAndroid Build Coastguard Worker} 29*9880d681SAndroid Build Coastguard Worker 30*9880d681SAndroid Build Coastguard Workerdefine i8 @mul(i8 %a, i8 %b) { 31*9880d681SAndroid Build Coastguard Worker ; CHECK: @"dfs$mul" 32*9880d681SAndroid Build Coastguard Worker ; CHECK: load{{.*}}__dfsan_arg_tls 33*9880d681SAndroid Build Coastguard Worker ; CHECK: load{{.*}}__dfsan_arg_tls 34*9880d681SAndroid Build Coastguard Worker ; CHECK: call{{.*}}__dfsan_union 35*9880d681SAndroid Build Coastguard Worker ; CHECK: mul i8 36*9880d681SAndroid Build Coastguard Worker ; CHECK: store{{.*}}__dfsan_retval_tls 37*9880d681SAndroid Build Coastguard Worker ; CHECK: ret i8 38*9880d681SAndroid Build Coastguard Worker %c = mul i8 %a, %b 39*9880d681SAndroid Build Coastguard Worker ret i8 %c 40*9880d681SAndroid Build Coastguard Worker} 41*9880d681SAndroid Build Coastguard Worker 42*9880d681SAndroid Build Coastguard Workerdefine i8 @sdiv(i8 %a, i8 %b) { 43*9880d681SAndroid Build Coastguard Worker ; CHECK: @"dfs$sdiv" 44*9880d681SAndroid Build Coastguard Worker ; CHECK: load{{.*}}__dfsan_arg_tls 45*9880d681SAndroid Build Coastguard Worker ; CHECK: load{{.*}}__dfsan_arg_tls 46*9880d681SAndroid Build Coastguard Worker ; CHECK: call{{.*}}__dfsan_union 47*9880d681SAndroid Build Coastguard Worker ; CHECK: sdiv i8 48*9880d681SAndroid Build Coastguard Worker ; CHECK: store{{.*}}__dfsan_retval_tls 49*9880d681SAndroid Build Coastguard Worker ; CHECK: ret i8 50*9880d681SAndroid Build Coastguard Worker %c = sdiv i8 %a, %b 51*9880d681SAndroid Build Coastguard Worker ret i8 %c 52*9880d681SAndroid Build Coastguard Worker} 53*9880d681SAndroid Build Coastguard Worker 54*9880d681SAndroid Build Coastguard Workerdefine i8 @udiv(i8 %a, i8 %b) { 55*9880d681SAndroid Build Coastguard Worker ; CHECK: @"dfs$udiv" 56*9880d681SAndroid Build Coastguard Worker ; CHECK: load{{.*}}__dfsan_arg_tls 57*9880d681SAndroid Build Coastguard Worker ; CHECK: load{{.*}}__dfsan_arg_tls 58*9880d681SAndroid Build Coastguard Worker ; CHECK: call{{.*}}__dfsan_union 59*9880d681SAndroid Build Coastguard Worker ; CHECK: udiv i8 60*9880d681SAndroid Build Coastguard Worker ; CHECK: store{{.*}}__dfsan_retval_tls 61*9880d681SAndroid Build Coastguard Worker ; CHECK: ret i8 62*9880d681SAndroid Build Coastguard Worker %c = udiv i8 %a, %b 63*9880d681SAndroid Build Coastguard Worker ret i8 %c 64*9880d681SAndroid Build Coastguard Worker} 65