// 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("");
}