| Melanie Blower | 71bf9f0 | 2020-10-30 07:29:37 -0700 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fexperimental-strict-floating-point -S -emit-llvm -triple i386-linux -Wno-unknown-pragmas %s -o - | FileCheck %s |
| Serge Pavlov | 6314f41 | 2020-09-17 14:10:07 +0700 | [diff] [blame] | 2 | |
| 3 | // nextUp(1.F) == 0x1.000002p0F |
| 4 | |
| 5 | const double _Complex C0 = 0x1.000001p0 + 0x1.000001p0I; |
| 6 | |
| 7 | #pragma STDC FENV_ROUND FE_UPWARD |
| 8 | |
| 9 | float F1u = 1.0F + 0x0.000002p0F; |
| 10 | float F2u = 1.0F + 0x0.000001p0F; |
| 11 | float F3u = 0x1.000001p0; |
| 12 | // CHECK: @F1u = {{.*}} float 0x3FF0000020000000 |
| 13 | // CHECK: @F2u = {{.*}} float 0x3FF0000020000000 |
| 14 | // CHECK: @F3u = {{.*}} float 0x3FF0000020000000 |
| 15 | |
| 16 | float _Complex C1u = C0; |
| 17 | // CHECK: @C1u = {{.*}} { float, float } { float 0x3FF0000020000000, float 0x3FF0000020000000 } |
| 18 | |
| 19 | |
| 20 | #pragma STDC FENV_ROUND FE_DOWNWARD |
| 21 | |
| 22 | float F1d = 1.0F + 0x0.000002p0F; |
| 23 | float F2d = 1.0F + 0x0.000001p0F; |
| 24 | float F3d = 0x1.000001p0; |
| 25 | |
| 26 | // CHECK: @F1d = {{.*}} float 0x3FF0000020000000 |
| 27 | // CHECK: @F2d = {{.*}} float 1.000000e+00 |
| 28 | // CHECK: @F3d = {{.*}} float 1.000000e+00 |
| 29 | |
| 30 | float _Complex C1d = C0; |
| 31 | // CHECK: @C1d = {{.*}} { float, float } { float 1.000000e+00, float 1.000000e+00 } |