1 // Test without serialization:
2 // RUN: %clang_cc1 -fsyntax-only -triple x86_64-pc-linux -std=c++11 -ast-dump %s \
3 // RUN: | FileCheck --strict-whitespace %s
4 
5 // Test with serialization:
6 // RUN: %clang_cc1 -triple x86_64-pc-linux -emit-pch -o %t %s
7 // RUN: %clang_cc1 -x c++ -triple x86_64-pc-linux -include-pch %t -ast-dump-all /dev/null \
8 // RUN: | sed -e "s/ <undeserialized declarations>//" -e "s/ imported//" \
9 // RUN: | FileCheck --strict-whitespace %s
10 
11 float func_01(float x);
12 
13 template <typename T>
14 T func_02(T x) {
15 #pragma STDC FP_CONTRACT ON
16   return func_01(x);
17 }
18 
19 float func_03(float x) {
20 #pragma STDC FP_CONTRACT OFF
21   return func_02(x);
22 }
23 
24 // CHECK:      FunctionTemplateDecl {{.*}} func_02
25 // CHECK:        FunctionDecl {{.*}} func_02 'float (float)'
26 // CHECK-NEXT:     TemplateArgument type 'float'
27 // CHECK-NEXT:       BuiltinType {{.*}} 'float'
28 // CHECK-NEXT:     ParmVarDecl {{.*}} x 'float'
29 // CHECK-NEXT:     CompoundStmt
30 // CHECK-NEXT:       ReturnStmt
31 // CHECK-NEXT:         CallExpr {{.*}} FPContractMode=1
32 
33 // CHECK:      FunctionDecl {{.*}} func_03 'float (float)'
34 // CHECK-NEXT:   ParmVarDecl {{.*}} x 'float'
35 // CHECK-NEXT:     CompoundStmt
36 // CHECK-NEXT:       ReturnStmt
37 // CHECK-NEXT:         CallExpr {{.*}} FPContractMode=0
38 
39 int func_04(float x) {
40 #pragma STDC FP_CONTRACT ON
41   return x;
42 }
43 
44 // CHECK:      FunctionDecl {{.*}} func_04 'int (float)'
45 // CHECK-NEXT:   ParmVarDecl {{.*}} x 'float'
46 // CHECK-NEXT:   CompoundStmt
47 // CHECK-NEXT:     ReturnStmt
48 // CHECK-NEXT:       ImplicitCastExpr {{.*}} 'int' <FloatingToIntegral> FPContractMode=1
49 
50 float func_05(double x) {
51 #pragma STDC FP_CONTRACT ON
52   return (float)x;
53 }
54 
55 // CHECK:      FunctionDecl {{.*}} func_05 'float (double)'
56 // CHECK-NEXT:   ParmVarDecl {{.*}} x 'double'
57 // CHECK-NEXT:   CompoundStmt
58 // CHECK-NEXT:     ReturnStmt
59 // CHECK-NEXT:       CStyleCastExpr {{.*}} FPContractMode=1
60 
61 float func_06(double x) {
62 #pragma STDC FP_CONTRACT ON
63   return float(x);
64 }
65 
66 // CHECK:      FunctionDecl {{.*}} func_06 'float (double)'
67 // CHECK-NEXT:   ParmVarDecl {{.*}} x 'double'
68 // CHECK-NEXT:   CompoundStmt
69 // CHECK-NEXT:     ReturnStmt
70 // CHECK-NEXT:       CXXFunctionalCastExpr {{.*}} FPContractMode=1
71 
72 float func_07(double x) {
73 #pragma STDC FP_CONTRACT ON
74   return static_cast<float>(x);
75 }
76 
77 // CHECK:      FunctionDecl {{.*}} func_07 'float (double)'
78 // CHECK-NEXT:   ParmVarDecl {{.*}} x 'double'
79 // CHECK-NEXT:   CompoundStmt
80 // CHECK-NEXT:     ReturnStmt
81 // CHECK-NEXT:       CXXStaticCastExpr {{.*}} FPContractMode=1
82 
83 #pragma STDC FENV_ROUND FE_DOWNWARD
84 
85 float func_10(float x, float y) {
86   return x + y;
87 }
88 
89 // CHECK-LABEL: FunctionDecl {{.*}} func_10 'float (float, float)'
90 // CHECK:         BinaryOperator {{.*}} 'float' '+' RoundingMode=downward
91 
92 float func_11(float x, float y) {
93   if (x < 0) {
94     #pragma STDC FENV_ROUND FE_UPWARD
95     return x + y;
96   }
97   return x - y;
98 }
99 
100 // CHECK-LABEL: FunctionDecl {{.*}} func_11 'float (float, float)'
101 // CHECK:         BinaryOperator {{.*}} 'float' '+' RoundingMode=upward
102 // CHECK:         BinaryOperator {{.*}} 'float' '-' RoundingMode=downward
103 
104 
105 #pragma STDC FENV_ROUND FE_DYNAMIC
106 
107 float func_12(float x, float y) {
108   return x + y;
109 }
110 
111 // CHECK-LABEL: FunctionDecl {{.*}} func_12 'float (float, float)'
112 // CHECK:         BinaryOperator {{.*}} 'float' '+' RoundingMode=tonearest
113 
114 #pragma STDC FENV_ROUND FE_TONEAREST
115 
116 float func_13(float x, float y) {
117   return x + y;
118 }
119 
120 // CHECK-LABEL: FunctionDecl {{.*}} func_13 'float (float, float)'
121 // CHECK:         BinaryOperator {{.*}} 'float' '+' RoundingMode=tonearest
122 
123 
124 template <typename T>
125 T func_14(T x, T y) {
126 #pragma STDC FENV_ROUND FE_TOWARDZERO
127   return x + y;
128 }
129 
130 float func_15(float x, float y) {
131 #pragma STDC FENV_ROUND FE_DOWNWARD
132   return func_14(x, y);
133 }
134 
135 // CHECK-LABEL: FunctionTemplateDecl {{.*}} func_14
136 // CHECK:         FunctionDecl {{.*}} func_14 'T (T, T)'
137 // CHECK:           CompoundStmt
138 // CHECK-NEXT:        ReturnStmt
139 // CHECK-NEXT:          BinaryOperator {{.*}} '+' RoundingMode=towardzero
140 // CHECK:         FunctionDecl {{.*}} func_14 'float (float, float)'
141 // CHECK:           CompoundStmt
142 // CHECK-NEXT:        ReturnStmt
143 // CHECK-NEXT:          BinaryOperator {{.*}} 'float' '+' RoundingMode=towardzero
144