| Erik Pilkington | eac7c3f | 2019-02-16 01:11:47 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -Wdouble-promotion -Wimplicit-float-conversion %s -triple x86_64-apple-macosx10.12 -verify=x86,expected |
| 2 | // RUN: %clang_cc1 -Wdouble-promotion -Wimplicit-float-conversion %s -triple armv7-apple-ios9.0 -verify=arm,expected |
| 3 | |
| 4 | // On ARM, long double and double both map to double precision 754s, so there |
| 5 | // isn't any reason to warn on conversions back and forth. |
| 6 | |
| 7 | long double ld; |
| 8 | double d; |
| 9 | _Float16 f16; // x86-error {{_Float16 is not supported on this target}} |
| 10 | |
| 11 | int main() { |
| 12 | ld = d; // x86-warning {{implicit conversion increases floating-point precision: 'double' to 'long double'}} |
| 13 | d = ld; // x86-warning {{implicit conversion loses floating-point precision: 'long double' to 'double'}} |
| 14 | |
| 15 | ld += d; // x86-warning {{implicit conversion increases floating-point precision: 'double' to 'long double'}} |
| 16 | d += ld; // x86-warning {{implicit conversion when assigning computation result loses floating-point precision: 'long double' to 'double'}} |
| 17 | |
| 18 | f16 = ld; // expected-warning {{implicit conversion loses floating-point precision: 'long double' to '_Float16'}} |
| 19 | ld = f16; // expected-warning {{implicit conversion increases floating-point precision: '_Float16' to 'long double'}} |
| 20 | |
| 21 | f16 += ld; // expected-warning {{implicit conversion when assigning computation result loses floating-point precision: 'long double' to '_Float16'}} |
| 22 | ld += f16; // expected-warning {{implicit conversion increases floating-point precision: '_Float16' to 'long double'}} |
| 23 | } |
| 24 | |