diff options
Diffstat (limited to 'test/CodeGen/fp16-ops.c')
| -rw-r--r-- | test/CodeGen/fp16-ops.c | 477 |
1 files changed, 305 insertions, 172 deletions
diff --git a/test/CodeGen/fp16-ops.c b/test/CodeGen/fp16-ops.c index b269cf8..fe0fa2c 100644 --- a/test/CodeGen/fp16-ops.c +++ b/test/CodeGen/fp16-ops.c @@ -1,284 +1,417 @@ // REQUIRES: arm-registered-target -// RUN: %clang_cc1 -emit-llvm -o - -triple arm-none-linux-gnueabi %s | FileCheck %s +// RUN: %clang_cc1 -emit-llvm -o - -triple arm-none-linux-gnueabi %s | FileCheck %s --check-prefix=NOHALF --check-prefix=CHECK +// RUN: %clang_cc1 -emit-llvm -o - -triple aarch64-none-linux-gnueabi %s | FileCheck %s --check-prefix=NOHALF --check-prefix=CHECK +// RUN: %clang_cc1 -emit-llvm -o - -triple arm-none-linux-gnueabi -fallow-half-arguments-and-returns %s | FileCheck %s --check-prefix=HALF --check-prefix=CHECK +// RUN: %clang_cc1 -emit-llvm -o - -triple aarch64-none-linux-gnueabi -fallow-half-arguments-and-returns %s | FileCheck %s --check-prefix=HALF --check-prefix=CHECK +// RUN: %clang_cc1 -emit-llvm -o - -triple arm-none-linux-gnueabi -fnative-half-type %s \ +// RUN: | FileCheck %s --check-prefix=NATIVE-HALF +// RUN: %clang_cc1 -emit-llvm -o - -triple aarch64-none-linux-gnueabi -fnative-half-type %s \ +// RUN: | FileCheck %s --check-prefix=NATIVE-HALF typedef unsigned cond_t; volatile cond_t test; volatile __fp16 h0 = 0.0, h1 = 1.0, h2; volatile float f0, f1, f2; +volatile double d0; void foo(void) { // CHECK-LABEL: define void @foo() // Check unary ops - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK fptoi float + // NOHALF: [[F16TOF32:call float @llvm.convert.from.fp16.f32]] + // HALF: [[F16TOF32:fpext half]] + // CHECK: fptoui float + // NATIVE-HALF: fptoui half test = (h0); - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: uitofp i32 + // NOHALF: [[F32TOF16:call i16 @llvm.convert.to.fp16.f32]] + // HALF: [[F32TOF16:fptrunc float]] + // NATIVE-HALF: uitofp i32 {{.*}} to half + h0 = (test); + // CHECK: [[F16TOF32]] // CHECK: fcmp une float + // NATIVE-HALF: fcmp une half test = (!h1); - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] // CHECK: fsub float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // NOHALF: [[F32TOF16]] + // HALF: [[F32TOF16]] + // NATIVE-HALF: fsub half h1 = -h1; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: [[F32TOF16]] + // NATIVE-HALF: load volatile half + // NATIVE-HALF-NEXT: store volatile half h1 = +h1; - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] // CHECK: fadd float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fadd half h1++; - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] // CHECK: fadd float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fadd half ++h1; - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] // CHECK: fadd float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fadd half --h1; - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] // CHECK: fadd float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fadd half h1--; // Check binary ops with various operands - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] // CHECK: fmul float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fmul half h1 = h0 * h2; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call i16 @llvm.convert.to.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] + // NOHALF: [[F32TOF16]] + // NOHALF: [[F16TOF32]] // CHECK: fmul float - // CHECK: call i16 @llvm.convert.to.fp16.f32( - h1 = h0 * (__fp16) -2.0; - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fmul half + h1 = h0 * (__fp16) -2.0f; + // CHECK: [[F16TOF32]] // CHECK: fmul float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fmul float h1 = h0 * f2; - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] // CHECK: fmul float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fmul float h1 = f0 * h2; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] // CHECK: fdiv float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fdiv half h1 = (h0 / h2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] // CHECK: fdiv float - // CHECK: call i16 @llvm.convert.to.fp16.f32( - h1 = (h0 / (__fp16) -2.0); - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fdiv half + h1 = (h0 / (__fp16) -2.0f); + // CHECK: [[F16TOF32]] // CHECK: fdiv float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fdiv float h1 = (h0 / f2); - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] // CHECK: fdiv float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fdiv float h1 = (f0 / h2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] // CHECK: fadd float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fadd half h1 = (h2 + h0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] // CHECK: fadd float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fadd half h1 = ((__fp16)-2.0 + h0); - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] // CHECK: fadd float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fadd float h1 = (h2 + f0); - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] // CHECK: fadd float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fadd float h1 = (f2 + h0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] // CHECK: fsub float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fsub half h1 = (h2 - h0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] // CHECK: fsub float - // CHECK: call i16 @llvm.convert.to.fp16.f32( - h1 = ((__fp16)-2.0 - h0); - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fsub half + h1 = ((__fp16)-2.0f - h0); + // CHECK: [[F16TOF32]] // CHECK: fsub float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fsub float h1 = (h2 - f0); - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] // CHECK: fsub float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fsub float h1 = (f2 - h0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp olt + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] + // CHECK: fcmp olt float + // NATIVE-HALF: fcmp olt half test = (h2 < h0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp olt + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] + // CHECK: fcmp olt float + // NATIVE-HALF: fcmp olt half test = (h2 < (__fp16)42.0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp olt + // CHECK: [[F16TOF32]] + // CHECK: fcmp olt float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp olt float test = (h2 < f0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp olt + // CHECK: [[F16TOF32]] + // CHECK: fcmp olt float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp olt float test = (f2 < h0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp ogt + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] + // CHECK: fcmp ogt float + // NATIVE-HALF: fcmp ogt half test = (h0 > h2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp ogt + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] + // CHECK: fcmp ogt float + // NATIVE-HALF: fcmp ogt half test = ((__fp16)42.0 > h2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp ogt + // CHECK: [[F16TOF32]] + // CHECK: fcmp ogt float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp ogt float test = (h0 > f2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp ogt + // CHECK: [[F16TOF32]] + // CHECK: fcmp ogt float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp ogt float test = (f0 > h2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp ole + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] + // CHECK: fcmp ole float + // NATIVE-HALF: fcmp ole half test = (h2 <= h0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp ole + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] + // CHECK: fcmp ole float + // NATIVE-HALF: fcmp ole half test = (h2 <= (__fp16)42.0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp ole + // CHECK: [[F16TOF32]] + // CHECK: fcmp ole float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp ole float test = (h2 <= f0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp ole + // CHECK: [[F16TOF32]] + // CHECK: fcmp ole float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp ole float test = (f2 <= h0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp oge + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] + // CHECK: fcmp oge float + // NATIVE-HALF: fcmp oge half test = (h0 >= h2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp oge + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] + // CHECK: fcmp oge float + // NATIVE-HALF: fcmp oge half test = (h0 >= (__fp16)-2.0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp oge + // CHECK: [[F16TOF32]] + // CHECK: fcmp oge float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp oge float test = (h0 >= f2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp oge + // CHECK: [[F16TOF32]] + // CHECK: fcmp oge float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp oge float test = (f0 >= h2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp oeq + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] + // CHECK: fcmp oeq float + // NATIVE-HALF: fcmp oeq half test = (h1 == h2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp oeq + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] + // CHECK: fcmp oeq float + // NATIVE-HALF: fcmp oeq half test = (h1 == (__fp16)1.0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp oeq + // CHECK: [[F16TOF32]] + // CHECK: fcmp oeq float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp oeq float test = (h1 == f1); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp oeq + // CHECK: [[F16TOF32]] + // CHECK: fcmp oeq float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp oeq float test = (f1 == h1); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp une + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] + // CHECK: fcmp une float + // NATIVE-HALF: fcmp une half test = (h1 != h2); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp une + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] + // CHECK: fcmp une float + // NATIVE-HALF: fcmp une half test = (h1 != (__fp16)1.0); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp une + // CHECK: [[F16TOF32]] + // CHECK: fcmp une float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp une float test = (h1 != f1); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp une + // CHECK: [[F16TOF32]] + // CHECK: fcmp une float + // NATIVE-HALF: fpext half + // NATIVE-HALF: fcmp une float test = (f1 != h1); - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fcmp une - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: fcmp une float + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fcmp une half {{.*}}, 0xH0000 h1 = (h1 ? h2 : h0); // Check assignments (inc. compound) h0 = h1; - // CHECK: call i16 @llvm.convert.to.fp16.f32( - h0 = (__fp16)-2.0; - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // NOHALF: [[F32TOF16]] + // HALF: store {{.*}} half 0xHC000 + // NATIVE-HALF: store {{.*}} half 0xHC000 + h0 = (__fp16)-2.0f; + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fptrunc float h0 = f0; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] // CHECK: fadd float - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fadd half h0 += h1; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fadd - // CHECK: call i16 @llvm.convert.to.fp16.f32( - h0 += (__fp16)1.0; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fadd - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] + // CHECK: fadd float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fadd half + h0 += (__fp16)1.0f; + // CHECK: [[F16TOF32]] + // CHECK: fadd float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fadd float + // NATIVE-HALF: fptrunc float h0 += f2; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fsub - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] + // CHECK: fsub float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fsub half h0 -= h1; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fsub - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] + // CHECK: fsub float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fsub half h0 -= (__fp16)1.0; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fsub - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: fsub float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fsub float + // NATIVE-HALF: fptrunc float h0 -= f2; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fmul - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] + // CHECK: fmul float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fmul half h0 *= h1; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fmul - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] + // CHECK: fmul float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fmul half h0 *= (__fp16)1.0; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fmul - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: fmul float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fmul float + // NATIVE-HALF: fptrunc float h0 *= f2; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fdiv - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: [[F16TOF32]] + // CHECK: fdiv float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fdiv half h0 /= h1; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fdiv - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // NOHALF: [[F16TOF32]] + // CHECK: fdiv float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fdiv half h0 /= (__fp16)1.0; - // CHECK: call float @llvm.convert.from.fp16.f32( - // CHECK: fdiv - // CHECK: call i16 @llvm.convert.to.fp16.f32( + // CHECK: [[F16TOF32]] + // CHECK: fdiv float + // CHECK: [[F32TOF16]] + // NATIVE-HALF: fpext half + // NATIVE-HALF: fdiv float + // NATIVE-HALF: fptrunc float h0 /= f2; + + // Check conversions to/from double + // NOHALF: call i16 @llvm.convert.to.fp16.f64( + // HALF: fptrunc double {{.*}} to half + // NATIVE-HALF: fptrunc double {{.*}} to half + h0 = d0; + + // CHECK: [[MID:%.*]] = fptrunc double {{%.*}} to float + // NOHALF: call i16 @llvm.convert.to.fp16.f32(float [[MID]]) + // HALF: fptrunc float [[MID]] to half + // NATIVE-HALF: [[MID:%.*]] = fptrunc double {{%.*}} to float + // NATIVE-HALF: fptrunc float {{.*}} to half + h0 = (float)d0; + + // NOHALF: call double @llvm.convert.from.fp16.f64( + // HALF: fpext half {{.*}} to double + // NATIVE-HALF: fpext half {{.*}} to double + d0 = h0; + + // NOHALF: [[MID:%.*]] = call float @llvm.convert.from.fp16.f32( + // HALF: [[MID:%.*]] = fpext half {{.*}} to float + // CHECK: fpext float [[MID]] to double + // NATIVE-HALF: [[MID:%.*]] = fpext half {{.*}} to float + // NATIVE-HALF: fpext float [[MID]] to double + d0 = (float)h0; } |
