n1396.c | Explore in Territory

// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 5
// RUN: %clang_cc1 -triple=x86_64 -emit-llvm -o - %s | FileCheck --check-prefixes=CHECK-X64 %s
// RUN: %clang_cc1 -triple=aarch64 -emit-llvm -o - %s | FileCheck --check-prefixes=CHECK-AARCH64 %s
// RUN: %clang_cc1 -triple=arm -emit-llvm -o - %s | FileCheck --check-prefixes=CHECK-ARM %s
// RUN: %clang_cc1 -triple=ppc32 -emit-llvm -o - %s | FileCheck --check-prefixes=CHECK-PPC32 %s
// RUN: %clang_cc1 -triple=ppc64 -emit-llvm -o - %s | FileCheck --check-prefixes=CHECK-PPC64 %s
// RUN: %clang_cc1 -triple=sparcv9 -emit-llvm -o - %s | FileCheck --check-prefixes=CHECK-SPARCV9 %s

/* WG14 N1396: Partial
 * Wide function returns (alternate proposal)
 *
 * This only applies if attempting to conform to Annex F. Clang is not claiming
 * conformance to Annex F, but we do aim for conformance. This means that the
 * return statement converts the value to the return type of the function
 * rather than return the result in a wider evaluation format. We test this by
 * using a return statement without a cast and ensure it produces the same IR
 * as a return statement with an explicit cast.
 *
 * Clang conforms on targets other than 32-bit x86 (without SSE2), which is why
 * support is only partial. Once support for that target is dropped, Clang
 * should be conforming to this paper on all targets. See
 * https://github.com/llvm/llvm-project/issues/44218 and other linked issues
 * for further details.
 *
 */

// CHECK-X64-LABEL: define dso_local float @extended_float_func(
// CHECK-X64-SAME: float noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] {
// CHECK-X64-NEXT:  [[ENTRY:.*:]]
// CHECK-X64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-X64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to x86_fp80
// CHECK-X64-NEXT:    [[MUL:%.*]] = fmul x86_fp80 [[CONV]], 0xK3FFF8000000000000000
// CHECK-X64-NEXT:    [[CONV1:%.*]] = fptrunc x86_fp80 [[MUL]] to float
// CHECK-X64-NEXT:    ret float [[CONV1]]
//
// CHECK-AARCH64-LABEL: define dso_local float @extended_float_func(
// CHECK-AARCH64-SAME: float noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] {
// CHECK-AARCH64-NEXT:  [[ENTRY:.*:]]
// CHECK-AARCH64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-AARCH64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to fp128
// CHECK-AARCH64-NEXT:    [[MUL:%.*]] = fmul fp128 [[CONV]], 0xL00000000000000003FFF000000000000
// CHECK-AARCH64-NEXT:    [[CONV1:%.*]] = fptrunc fp128 [[MUL]] to float
// CHECK-AARCH64-NEXT:    ret float [[CONV1]]
//
// CHECK-ARM-LABEL: define dso_local arm_aapcscc float @extended_float_func(
// CHECK-ARM-SAME: float noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] {
// CHECK-ARM-NEXT:  [[ENTRY:.*:]]
// CHECK-ARM-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-ARM-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-ARM-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-ARM-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-ARM-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC32-LABEL: define dso_local float @extended_float_func(
// CHECK-PPC32-SAME: float noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] {
// CHECK-PPC32-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC32-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC32-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to ppc_fp128
// CHECK-PPC32-NEXT:    [[MUL:%.*]] = fmul ppc_fp128 [[CONV]], 0xM3FF00000000000000000000000000000
// CHECK-PPC32-NEXT:    [[CONV1:%.*]] = fptrunc ppc_fp128 [[MUL]] to float
// CHECK-PPC32-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC64-LABEL: define dso_local float @extended_float_func(
// CHECK-PPC64-SAME: float noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] {
// CHECK-PPC64-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to ppc_fp128
// CHECK-PPC64-NEXT:    [[MUL:%.*]] = fmul ppc_fp128 [[CONV]], 0xM3FF00000000000000000000000000000
// CHECK-PPC64-NEXT:    [[CONV1:%.*]] = fptrunc ppc_fp128 [[MUL]] to float
// CHECK-PPC64-NEXT:    ret float [[CONV1]]
//
// CHECK-SPARCV9-LABEL: define dso_local float @extended_float_func(
// CHECK-SPARCV9-SAME: float noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] {
// CHECK-SPARCV9-NEXT:  [[ENTRY:.*:]]
// CHECK-SPARCV9-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-SPARCV9-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to fp128
// CHECK-SPARCV9-NEXT:    [[MUL:%.*]] = fmul fp128 [[CONV]], 0xL00000000000000003FFF000000000000
// CHECK-SPARCV9-NEXT:    [[CONV1:%.*]] = fptrunc fp128 [[MUL]] to float
// CHECK-SPARCV9-NEXT:    ret float [[CONV1]]
//
float extended_float_func(float x) {
#pragma clang fp eval_method(extended)
  return x * 1.0f;
}

// CHECK-X64-LABEL: define dso_local float @extended_float_func_cast(
// CHECK-X64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-X64-NEXT:  [[ENTRY:.*:]]
// CHECK-X64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-X64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to x86_fp80
// CHECK-X64-NEXT:    [[MUL:%.*]] = fmul x86_fp80 [[CONV]], 0xK3FFF8000000000000000
// CHECK-X64-NEXT:    [[CONV1:%.*]] = fptrunc x86_fp80 [[MUL]] to float
// CHECK-X64-NEXT:    ret float [[CONV1]]
//
// CHECK-AARCH64-LABEL: define dso_local float @extended_float_func_cast(
// CHECK-AARCH64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-AARCH64-NEXT:  [[ENTRY:.*:]]
// CHECK-AARCH64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-AARCH64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to fp128
// CHECK-AARCH64-NEXT:    [[MUL:%.*]] = fmul fp128 [[CONV]], 0xL00000000000000003FFF000000000000
// CHECK-AARCH64-NEXT:    [[CONV1:%.*]] = fptrunc fp128 [[MUL]] to float
// CHECK-AARCH64-NEXT:    ret float [[CONV1]]
//
// CHECK-ARM-LABEL: define dso_local arm_aapcscc float @extended_float_func_cast(
// CHECK-ARM-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-ARM-NEXT:  [[ENTRY:.*:]]
// CHECK-ARM-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-ARM-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-ARM-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-ARM-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-ARM-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC32-LABEL: define dso_local float @extended_float_func_cast(
// CHECK-PPC32-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC32-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC32-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC32-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to ppc_fp128
// CHECK-PPC32-NEXT:    [[MUL:%.*]] = fmul ppc_fp128 [[CONV]], 0xM3FF00000000000000000000000000000
// CHECK-PPC32-NEXT:    [[CONV1:%.*]] = fptrunc ppc_fp128 [[MUL]] to float
// CHECK-PPC32-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC64-LABEL: define dso_local float @extended_float_func_cast(
// CHECK-PPC64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC64-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to ppc_fp128
// CHECK-PPC64-NEXT:    [[MUL:%.*]] = fmul ppc_fp128 [[CONV]], 0xM3FF00000000000000000000000000000
// CHECK-PPC64-NEXT:    [[CONV1:%.*]] = fptrunc ppc_fp128 [[MUL]] to float
// CHECK-PPC64-NEXT:    ret float [[CONV1]]
//
// CHECK-SPARCV9-LABEL: define dso_local float @extended_float_func_cast(
// CHECK-SPARCV9-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-SPARCV9-NEXT:  [[ENTRY:.*:]]
// CHECK-SPARCV9-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-SPARCV9-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to fp128
// CHECK-SPARCV9-NEXT:    [[MUL:%.*]] = fmul fp128 [[CONV]], 0xL00000000000000003FFF000000000000
// CHECK-SPARCV9-NEXT:    [[CONV1:%.*]] = fptrunc fp128 [[MUL]] to float
// CHECK-SPARCV9-NEXT:    ret float [[CONV1]]
//
float extended_float_func_cast(float x) {
#pragma clang fp eval_method(extended)
  return (float)(x * 1.0f);
}

// CHECK-X64-LABEL: define dso_local float @extended_double_func(
// CHECK-X64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-X64-NEXT:  [[ENTRY:.*:]]
// CHECK-X64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-X64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to x86_fp80
// CHECK-X64-NEXT:    [[MUL:%.*]] = fmul x86_fp80 [[CONV]], 0xK3FFF8000000000000000
// CHECK-X64-NEXT:    [[CONV1:%.*]] = fptrunc x86_fp80 [[MUL]] to float
// CHECK-X64-NEXT:    ret float [[CONV1]]
//
// CHECK-AARCH64-LABEL: define dso_local float @extended_double_func(
// CHECK-AARCH64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-AARCH64-NEXT:  [[ENTRY:.*:]]
// CHECK-AARCH64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-AARCH64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to fp128
// CHECK-AARCH64-NEXT:    [[MUL:%.*]] = fmul fp128 [[CONV]], 0xL00000000000000003FFF000000000000
// CHECK-AARCH64-NEXT:    [[CONV1:%.*]] = fptrunc fp128 [[MUL]] to float
// CHECK-AARCH64-NEXT:    ret float [[CONV1]]
//
// CHECK-ARM-LABEL: define dso_local arm_aapcscc float @extended_double_func(
// CHECK-ARM-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-ARM-NEXT:  [[ENTRY:.*:]]
// CHECK-ARM-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-ARM-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-ARM-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-ARM-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-ARM-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC32-LABEL: define dso_local float @extended_double_func(
// CHECK-PPC32-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC32-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC32-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC32-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to ppc_fp128
// CHECK-PPC32-NEXT:    [[MUL:%.*]] = fmul ppc_fp128 [[CONV]], 0xM3FF00000000000000000000000000000
// CHECK-PPC32-NEXT:    [[CONV1:%.*]] = fptrunc ppc_fp128 [[MUL]] to float
// CHECK-PPC32-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC64-LABEL: define dso_local float @extended_double_func(
// CHECK-PPC64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC64-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to ppc_fp128
// CHECK-PPC64-NEXT:    [[MUL:%.*]] = fmul ppc_fp128 [[CONV]], 0xM3FF00000000000000000000000000000
// CHECK-PPC64-NEXT:    [[CONV1:%.*]] = fptrunc ppc_fp128 [[MUL]] to float
// CHECK-PPC64-NEXT:    ret float [[CONV1]]
//
// CHECK-SPARCV9-LABEL: define dso_local float @extended_double_func(
// CHECK-SPARCV9-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-SPARCV9-NEXT:  [[ENTRY:.*:]]
// CHECK-SPARCV9-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-SPARCV9-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to fp128
// CHECK-SPARCV9-NEXT:    [[MUL:%.*]] = fmul fp128 [[CONV]], 0xL00000000000000003FFF000000000000
// CHECK-SPARCV9-NEXT:    [[CONV1:%.*]] = fptrunc fp128 [[MUL]] to float
// CHECK-SPARCV9-NEXT:    ret float [[CONV1]]
//
float extended_double_func(float x) {
#pragma clang fp eval_method(extended)
  return x * 1.0;
}

// CHECK-X64-LABEL: define dso_local float @extended_double_func_cast(
// CHECK-X64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-X64-NEXT:  [[ENTRY:.*:]]
// CHECK-X64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-X64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to x86_fp80
// CHECK-X64-NEXT:    [[MUL:%.*]] = fmul x86_fp80 [[CONV]], 0xK3FFF8000000000000000
// CHECK-X64-NEXT:    [[CONV1:%.*]] = fptrunc x86_fp80 [[MUL]] to float
// CHECK-X64-NEXT:    ret float [[CONV1]]
//
// CHECK-AARCH64-LABEL: define dso_local float @extended_double_func_cast(
// CHECK-AARCH64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-AARCH64-NEXT:  [[ENTRY:.*:]]
// CHECK-AARCH64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-AARCH64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to fp128
// CHECK-AARCH64-NEXT:    [[MUL:%.*]] = fmul fp128 [[CONV]], 0xL00000000000000003FFF000000000000
// CHECK-AARCH64-NEXT:    [[CONV1:%.*]] = fptrunc fp128 [[MUL]] to float
// CHECK-AARCH64-NEXT:    ret float [[CONV1]]
//
// CHECK-ARM-LABEL: define dso_local arm_aapcscc float @extended_double_func_cast(
// CHECK-ARM-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-ARM-NEXT:  [[ENTRY:.*:]]
// CHECK-ARM-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-ARM-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-ARM-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-ARM-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-ARM-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC32-LABEL: define dso_local float @extended_double_func_cast(
// CHECK-PPC32-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC32-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC32-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC32-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to ppc_fp128
// CHECK-PPC32-NEXT:    [[MUL:%.*]] = fmul ppc_fp128 [[CONV]], 0xM3FF00000000000000000000000000000
// CHECK-PPC32-NEXT:    [[CONV1:%.*]] = fptrunc ppc_fp128 [[MUL]] to float
// CHECK-PPC32-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC64-LABEL: define dso_local float @extended_double_func_cast(
// CHECK-PPC64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC64-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to ppc_fp128
// CHECK-PPC64-NEXT:    [[MUL:%.*]] = fmul ppc_fp128 [[CONV]], 0xM3FF00000000000000000000000000000
// CHECK-PPC64-NEXT:    [[CONV1:%.*]] = fptrunc ppc_fp128 [[MUL]] to float
// CHECK-PPC64-NEXT:    ret float [[CONV1]]
//
// CHECK-SPARCV9-LABEL: define dso_local float @extended_double_func_cast(
// CHECK-SPARCV9-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-SPARCV9-NEXT:  [[ENTRY:.*:]]
// CHECK-SPARCV9-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-SPARCV9-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to fp128
// CHECK-SPARCV9-NEXT:    [[MUL:%.*]] = fmul fp128 [[CONV]], 0xL00000000000000003FFF000000000000
// CHECK-SPARCV9-NEXT:    [[CONV1:%.*]] = fptrunc fp128 [[MUL]] to float
// CHECK-SPARCV9-NEXT:    ret float [[CONV1]]
//
float extended_double_func_cast(float x) {
#pragma clang fp eval_method(extended)
  return (float)(x * 1.0);
}

// CHECK-X64-LABEL: define dso_local float @float_source_func(
// CHECK-X64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-X64-NEXT:  [[ENTRY:.*:]]
// CHECK-X64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-X64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-X64-NEXT:    ret float [[MUL]]
//
// CHECK-AARCH64-LABEL: define dso_local float @float_source_func(
// CHECK-AARCH64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-AARCH64-NEXT:  [[ENTRY:.*:]]
// CHECK-AARCH64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-AARCH64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-AARCH64-NEXT:    ret float [[MUL]]
//
// CHECK-ARM-LABEL: define dso_local arm_aapcscc float @float_source_func(
// CHECK-ARM-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-ARM-NEXT:  [[ENTRY:.*:]]
// CHECK-ARM-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-ARM-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-ARM-NEXT:    ret float [[MUL]]
//
// CHECK-PPC32-LABEL: define dso_local float @float_source_func(
// CHECK-PPC32-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC32-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC32-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC32-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-PPC32-NEXT:    ret float [[MUL]]
//
// CHECK-PPC64-LABEL: define dso_local float @float_source_func(
// CHECK-PPC64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC64-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-PPC64-NEXT:    ret float [[MUL]]
//
// CHECK-SPARCV9-LABEL: define dso_local float @float_source_func(
// CHECK-SPARCV9-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-SPARCV9-NEXT:  [[ENTRY:.*:]]
// CHECK-SPARCV9-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-SPARCV9-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-SPARCV9-NEXT:    ret float [[MUL]]
//
float float_source_func(float x) {
#pragma clang fp eval_method(source)
  return x * 1.0f;
}

// CHECK-X64-LABEL: define dso_local float @float_source_func_cast(
// CHECK-X64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-X64-NEXT:  [[ENTRY:.*:]]
// CHECK-X64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-X64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-X64-NEXT:    ret float [[MUL]]
//
// CHECK-AARCH64-LABEL: define dso_local float @float_source_func_cast(
// CHECK-AARCH64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-AARCH64-NEXT:  [[ENTRY:.*:]]
// CHECK-AARCH64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-AARCH64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-AARCH64-NEXT:    ret float [[MUL]]
//
// CHECK-ARM-LABEL: define dso_local arm_aapcscc float @float_source_func_cast(
// CHECK-ARM-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-ARM-NEXT:  [[ENTRY:.*:]]
// CHECK-ARM-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-ARM-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-ARM-NEXT:    ret float [[MUL]]
//
// CHECK-PPC32-LABEL: define dso_local float @float_source_func_cast(
// CHECK-PPC32-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC32-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC32-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC32-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-PPC32-NEXT:    ret float [[MUL]]
//
// CHECK-PPC64-LABEL: define dso_local float @float_source_func_cast(
// CHECK-PPC64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC64-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-PPC64-NEXT:    ret float [[MUL]]
//
// CHECK-SPARCV9-LABEL: define dso_local float @float_source_func_cast(
// CHECK-SPARCV9-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-SPARCV9-NEXT:  [[ENTRY:.*:]]
// CHECK-SPARCV9-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-SPARCV9-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[MUL:%.*]] = fmul float [[TMP0]], 1.000000e+00
// CHECK-SPARCV9-NEXT:    ret float [[MUL]]
//
float float_source_func_cast(float x) {
#pragma clang fp eval_method(source)
  return (float)(x * 1.0f);
}

// CHECK-X64-LABEL: define dso_local float @double_source_func(
// CHECK-X64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-X64-NEXT:  [[ENTRY:.*:]]
// CHECK-X64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-X64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-X64-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-X64-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-X64-NEXT:    ret float [[CONV1]]
//
// CHECK-AARCH64-LABEL: define dso_local float @double_source_func(
// CHECK-AARCH64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-AARCH64-NEXT:  [[ENTRY:.*:]]
// CHECK-AARCH64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-AARCH64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-AARCH64-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-AARCH64-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-AARCH64-NEXT:    ret float [[CONV1]]
//
// CHECK-ARM-LABEL: define dso_local arm_aapcscc float @double_source_func(
// CHECK-ARM-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-ARM-NEXT:  [[ENTRY:.*:]]
// CHECK-ARM-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-ARM-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-ARM-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-ARM-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-ARM-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC32-LABEL: define dso_local float @double_source_func(
// CHECK-PPC32-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC32-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC32-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC32-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-PPC32-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-PPC32-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-PPC32-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC64-LABEL: define dso_local float @double_source_func(
// CHECK-PPC64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC64-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-PPC64-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-PPC64-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-PPC64-NEXT:    ret float [[CONV1]]
//
// CHECK-SPARCV9-LABEL: define dso_local float @double_source_func(
// CHECK-SPARCV9-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-SPARCV9-NEXT:  [[ENTRY:.*:]]
// CHECK-SPARCV9-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-SPARCV9-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-SPARCV9-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-SPARCV9-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-SPARCV9-NEXT:    ret float [[CONV1]]
//
float double_source_func(float x) {
#pragma clang fp eval_method(source)
  return x * 1.0;
}

// CHECK-X64-LABEL: define dso_local float @double_source_func_cast(
// CHECK-X64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-X64-NEXT:  [[ENTRY:.*:]]
// CHECK-X64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-X64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-X64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-X64-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-X64-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-X64-NEXT:    ret float [[CONV1]]
//
// CHECK-AARCH64-LABEL: define dso_local float @double_source_func_cast(
// CHECK-AARCH64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-AARCH64-NEXT:  [[ENTRY:.*:]]
// CHECK-AARCH64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-AARCH64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-AARCH64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-AARCH64-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-AARCH64-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-AARCH64-NEXT:    ret float [[CONV1]]
//
// CHECK-ARM-LABEL: define dso_local arm_aapcscc float @double_source_func_cast(
// CHECK-ARM-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-ARM-NEXT:  [[ENTRY:.*:]]
// CHECK-ARM-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-ARM-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-ARM-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-ARM-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-ARM-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-ARM-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC32-LABEL: define dso_local float @double_source_func_cast(
// CHECK-PPC32-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC32-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC32-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC32-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC32-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-PPC32-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-PPC32-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-PPC32-NEXT:    ret float [[CONV1]]
//
// CHECK-PPC64-LABEL: define dso_local float @double_source_func_cast(
// CHECK-PPC64-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-PPC64-NEXT:  [[ENTRY:.*:]]
// CHECK-PPC64-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-PPC64-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-PPC64-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-PPC64-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-PPC64-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-PPC64-NEXT:    ret float [[CONV1]]
//
// CHECK-SPARCV9-LABEL: define dso_local float @double_source_func_cast(
// CHECK-SPARCV9-SAME: float noundef [[X:%.*]]) #[[ATTR0]] {
// CHECK-SPARCV9-NEXT:  [[ENTRY:.*:]]
// CHECK-SPARCV9-NEXT:    [[X_ADDR:%.*]] = alloca float, align 4
// CHECK-SPARCV9-NEXT:    store float [[X]], ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[TMP0:%.*]] = load float, ptr [[X_ADDR]], align 4
// CHECK-SPARCV9-NEXT:    [[CONV:%.*]] = fpext float [[TMP0]] to double
// CHECK-SPARCV9-NEXT:    [[MUL:%.*]] = fmul double [[CONV]], 1.000000e+00
// CHECK-SPARCV9-NEXT:    [[CONV1:%.*]] = fptrunc double [[MUL]] to float
// CHECK-SPARCV9-NEXT:    ret float [[CONV1]]
//
float double_source_func_cast(float x) {
#pragma clang fp eval_method(source)
  return (float)(x * 1.0);
}
llvm/clang/test/C/C11/n1396.c
