| // RUN: %clang_cc1 -emit-llvm -o - -triple x86_64-linux-pc -target-feature +avx512fp16 %s | FileCheck %s |
| // RUN: %clang_cc1 -emit-llvm -o - -triple spir-unknown-unknown %s | FileCheck %s |
| // RUN: %clang_cc1 -emit-llvm -o - -triple armv7a--none-eabi %s | FileCheck %s |
| // RUN: %clang_cc1 -emit-llvm -o - -triple aarch64-linux-gnu %s | FileCheck %s |
| |
| void test_float16_builtins(void) { |
| volatile _Float16 res; |
| |
| // CHECK: store volatile half 0xH7C00, ptr %res, align 2 |
| res = __builtin_huge_valf16(); |
| // CHECK: store volatile half 0xH7C00, ptr %res, align 2 |
| res = __builtin_inff16(); |
| // CHECK: store volatile half 0xH7E00, ptr %res, align 2 |
| res = __builtin_nanf16(""); |
| // CHECK: store volatile half 0xH7D00, ptr %res, align 2 |
| res = __builtin_nansf16(""); |
| } |