diff options
Diffstat (limited to 'test/CodeGen/fp16-ops.c')
-rw-r--r-- | test/CodeGen/fp16-ops.c | 55 |
1 files changed, 20 insertions, 35 deletions
diff --git a/test/CodeGen/fp16-ops.c b/test/CodeGen/fp16-ops.c index c96727f3d3fb..f2ed667341bb 100644 --- a/test/CodeGen/fp16-ops.c +++ b/test/CodeGen/fp16-ops.c @@ -1,8 +1,9 @@ // REQUIRES: arm-registered-target -// 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 %s | FileCheck %s --check-prefix=NOTNATIVE --check-prefix=CHECK +// RUN: %clang_cc1 -emit-llvm -o - -triple aarch64-none-linux-gnueabi %s | FileCheck %s --check-prefix=NOTNATIVE --check-prefix=CHECK +// RUN: %clang_cc1 -emit-llvm -o - -triple x86_64-linux-gnu %s | FileCheck %s --check-prefix=NOTNATIVE --check-prefix=CHECK +// RUN: %clang_cc1 -emit-llvm -o - -triple arm-none-linux-gnueabi -fallow-half-arguments-and-returns %s | FileCheck %s --check-prefix=NOTNATIVE --check-prefix=CHECK +// RUN: %clang_cc1 -emit-llvm -o - -triple aarch64-none-linux-gnueabi -fallow-half-arguments-and-returns %s | FileCheck %s --check-prefix=NOTNATIVE --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 \ @@ -16,20 +17,19 @@ volatile int i0; volatile __fp16 h0 = 0.0, h1 = 1.0, h2; volatile float f0, f1, f2; volatile double d0; +short s0; void foo(void) { // CHECK-LABEL: define void @foo() // Check unary ops - // NOHALF: [[F16TOF32:call float @llvm.convert.from.fp16.f32]] - // HALF: [[F16TOF32:fpext half]] + // NOTNATIVE: [[F16TOF32:fpext half]] // CHECK: fptoui float // NATIVE-HALF: fptoui half test = (h0); // CHECK: uitofp i32 - // NOHALF: [[F32TOF16:call i16 @llvm.convert.to.fp16.f32]] - // HALF: [[F32TOF16:fptrunc float]] + // NOTNATIVE: [[F32TOF16:fptrunc float]] // NATIVE-HALF: uitofp i32 {{.*}} to half h0 = (test); // CHECK: [[F16TOF32]] @@ -38,8 +38,7 @@ void foo(void) { test = (!h1); // CHECK: [[F16TOF32]] // CHECK: fsub float - // NOHALF: [[F32TOF16]] - // HALF: [[F32TOF16]] + // NOTNATIVE: [[F32TOF16]] // NATIVE-HALF: fsub half h1 = -h1; // CHECK: [[F16TOF32]] @@ -76,8 +75,6 @@ void foo(void) { // NATIVE-HALF: fmul half h1 = h0 * h2; // CHECK: [[F16TOF32]] - // NOHALF: [[F32TOF16]] - // NOHALF: [[F16TOF32]] // CHECK: fmul float // CHECK: [[F32TOF16]] // NATIVE-HALF: fmul half @@ -107,7 +104,6 @@ void foo(void) { // NATIVE-HALF: fdiv half h1 = (h0 / h2); // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fdiv float // CHECK: [[F32TOF16]] // NATIVE-HALF: fdiv half @@ -137,7 +133,6 @@ void foo(void) { // NATIVE-HALF: fadd half h1 = (h2 + h0); // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fadd float // CHECK: [[F32TOF16]] // NATIVE-HALF: fadd half @@ -167,7 +162,6 @@ void foo(void) { // NATIVE-HALF: fsub half h1 = (h2 - h0); // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fsub float // CHECK: [[F32TOF16]] // NATIVE-HALF: fsub half @@ -196,7 +190,6 @@ void foo(void) { // NATIVE-HALF: fcmp olt half test = (h2 < h0); // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fcmp olt float // NATIVE-HALF: fcmp olt half test = (h2 < (__fp16)42.0); @@ -225,7 +218,6 @@ void foo(void) { // NATIVE-HALF: fcmp ogt half test = (h0 > h2); // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fcmp ogt float // NATIVE-HALF: fcmp ogt half test = ((__fp16)42.0 > h2); @@ -254,7 +246,6 @@ void foo(void) { // NATIVE-HALF: fcmp ole half test = (h2 <= h0); // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fcmp ole float // NATIVE-HALF: fcmp ole half test = (h2 <= (__fp16)42.0); @@ -284,7 +275,6 @@ void foo(void) { // NATIVE-HALF: fcmp oge half test = (h0 >= h2); // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fcmp oge float // NATIVE-HALF: fcmp oge half test = (h0 >= (__fp16)-2.0); @@ -313,7 +303,6 @@ void foo(void) { // NATIVE-HALF: fcmp oeq half test = (h1 == h2); // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fcmp oeq float // NATIVE-HALF: fcmp oeq half test = (h1 == (__fp16)1.0); @@ -342,7 +331,6 @@ void foo(void) { // NATIVE-HALF: fcmp une half test = (h1 != h2); // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fcmp une float // NATIVE-HALF: fcmp une half test = (h1 != (__fp16)1.0); @@ -374,8 +362,7 @@ void foo(void) { h1 = (h1 ? h2 : h0); // Check assignments (inc. compound) h0 = h1; - // NOHALF: [[F32TOF16]] - // HALF: store {{.*}} half 0xHC000 + // NOTNATIVE: store {{.*}} half 0xHC000 // NATIVE-HALF: store {{.*}} half 0xHC000 h0 = (__fp16)-2.0f; // CHECK: [[F32TOF16]] @@ -398,7 +385,6 @@ void foo(void) { // NATIVE-HALF: fadd half h0 += h1; // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fadd float // CHECK: [[F32TOF16]] // NATIVE-HALF: fadd half @@ -433,7 +419,6 @@ void foo(void) { // NATIVE-HALF: fsub half h0 -= h1; // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fsub float // CHECK: [[F32TOF16]] // NATIVE-HALF: fsub half @@ -468,7 +453,6 @@ void foo(void) { // NATIVE-HALF: fmul half h0 *= h1; // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fmul float // CHECK: [[F32TOF16]] // NATIVE-HALF: fmul half @@ -503,7 +487,6 @@ void foo(void) { // NATIVE-HALF: fdiv half h0 /= h1; // CHECK: [[F16TOF32]] - // NOHALF: [[F16TOF32]] // CHECK: fdiv float // CHECK: [[F32TOF16]] // NATIVE-HALF: fdiv half @@ -532,27 +515,29 @@ void foo(void) { h0 /= i0; // Check conversions to/from double - // NOHALF: call i16 @llvm.convert.to.fp16.f64( - // HALF: fptrunc double {{.*}} to half + // NOTNATIVE: 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 + // NOTNATIVE: 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 + // NOTNATIVE: 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 + // NOTNATIVE: [[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; + + // NOTNATIVE: [[V1:%.*]] = load i16, i16* @s0 + // NOTNATIVE: [[CONV:%.*]] = sitofp i16 [[V1]] to float + // NOTNATIVE: [[TRUNC:%.*]] = fptrunc float [[CONV]] to half + // NOTNATIVE: store volatile half [[TRUNC]], half* @h0 + h0 = s0; } |