1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
2 // RUN: %clang_cc1 %s -emit-llvm -ffp-exception-behavior=maytrap -o - -triple x86_64-unknown-unknown | FileCheck %s
3
4 // Test that the constrained intrinsics are picking up the exception
5 // metadata from the AST instead of the global default from the command line.
6 // FIXME: these functions shouldn't trap on SNaN.
7
8 #pragma float_control(except, on)
9
10 int printf(const char *, ...);
11
12 // CHECK-LABEL: @p(
13 // CHECK-NEXT: entry:
14 // CHECK-NEXT: [[STR_ADDR:%.*]] = alloca i8*, align 8
15 // CHECK-NEXT: [[X_ADDR:%.*]] = alloca i32, align 4
16 // CHECK-NEXT: store i8* [[STR:%.*]], i8** [[STR_ADDR]], align 8
17 // CHECK-NEXT: store i32 [[X:%.*]], i32* [[X_ADDR]], align 4
18 // CHECK-NEXT: [[TMP0:%.*]] = load i8*, i8** [[STR_ADDR]], align 8
19 // CHECK-NEXT: [[TMP1:%.*]] = load i32, i32* [[X_ADDR]], align 4
20 // CHECK-NEXT: [[CALL:%.*]] = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str, i64 0, i64 0), i8* [[TMP0]], i32 [[TMP1]]) [[ATTR4:#.*]]
21 // CHECK-NEXT: ret void
22 //
p(char * str,int x)23 void p(char *str, int x) {
24 printf("%s: %d\n", str, x);
25 }
26
27 #define P(n,args) p(#n #args, __builtin_##n args)
28
29 // CHECK-LABEL: @test_long_double_isinf(
30 // CHECK-NEXT: entry:
31 // CHECK-NEXT: [[LD_ADDR:%.*]] = alloca x86_fp80, align 16
32 // CHECK-NEXT: store x86_fp80 [[D:%.*]], x86_fp80* [[LD_ADDR]], align 16
33 // CHECK-NEXT: [[TMP0:%.*]] = load x86_fp80, x86_fp80* [[LD_ADDR]], align 16
34 // CHECK-NEXT: [[BITCAST:%.*]] = bitcast x86_fp80 [[TMP0]] to i80
35 // CHECK-NEXT: [[SHL1:%.*]] = shl i80 [[BITCAST]], 1
36 // CHECK-NEXT: [[CMP:%.*]] = icmp eq i80 [[SHL1]], -18446744073709551616
37 // CHECK-NEXT: [[RES:%.*]] = zext i1 [[CMP]] to i32
38 // CHECK-NEXT: call void @p(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.[[#STRID:1]], i64 0, i64 0), i32 [[RES]]) [[ATTR4]]
39 // CHECK-NEXT: ret void
40 //
test_long_double_isinf(long double ld)41 void test_long_double_isinf(long double ld) {
42 P(isinf, (ld));
43
44 return;
45 }
46
47 // CHECK-LABEL: @test_long_double_isfinite(
48 // CHECK-NEXT: entry:
49 // CHECK-NEXT: [[LD_ADDR:%.*]] = alloca x86_fp80, align 16
50 // CHECK-NEXT: store x86_fp80 [[D:%.*]], x86_fp80* [[LD_ADDR]], align 16
51 // CHECK-NEXT: [[TMP0:%.*]] = load x86_fp80, x86_fp80* [[LD_ADDR]], align 16
52 // CHECK-NEXT: [[BITCAST:%.*]] = bitcast x86_fp80 [[TMP0]] to i80
53 // CHECK-NEXT: [[SHL1:%.*]] = shl i80 [[BITCAST]], 1
54 // CHECK-NEXT: [[CMP:%.*]] = icmp ult i80 [[SHL1]], -18446744073709551616
55 // CHECK-NEXT: [[RES:%.*]] = zext i1 [[CMP]] to i32
56 // CHECK-NEXT: call void @p(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.[[#STRID:STRID+1]], i64 0, i64 0), i32 [[RES]]) [[ATTR4]]
57 // CHECK-NEXT: ret void
58 //
test_long_double_isfinite(long double ld)59 void test_long_double_isfinite(long double ld) {
60 P(isfinite, (ld));
61
62 return;
63 }
64
65 // CHECK-LABEL: @test_long_double_isnan(
66 // CHECK-NEXT: entry:
67 // CHECK-NEXT: [[LD_ADDR:%.*]] = alloca x86_fp80, align 16
68 // CHECK-NEXT: store x86_fp80 [[D:%.*]], x86_fp80* [[LD_ADDR]], align 16
69 // CHECK-NEXT: [[TMP0:%.*]] = load x86_fp80, x86_fp80* [[LD_ADDR]], align 16
70 // CHECK-NEXT: [[BITCAST:%.*]] = bitcast x86_fp80 [[TMP0]] to i80
71 // CHECK-NEXT: [[ABS:%.*]] = and i80 [[BITCAST]], 604462909807314587353087
72 // CHECK-NEXT: [[TMP1:%.*]] = sub i80 604453686435277732577280, [[ABS]]
73 // CHECK-NEXT: [[ISNAN:%.*]] = lshr i80 [[TMP1]], 79
74 // CHECK-NEXT: [[RES:%.*]] = trunc i80 [[ISNAN]] to i32
75 // CHECK-NEXT: call void @p(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.[[#STRID:STRID+1]], i64 0, i64 0), i32 [[RES]]) [[ATTR4]]
76 // CHECK-NEXT: ret void
77 //
test_long_double_isnan(long double ld)78 void test_long_double_isnan(long double ld) {
79 P(isnan, (ld));
80
81 return;
82 }
83