175 lines · c
1// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir2// RUN: FileCheck --input-file=%t.cir %s -check-prefix=CIR3// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o %t.cir4// RUN: FileCheck --input-file=%t.cir %s -check-prefix=LLVM5// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm %s -o %t.cir6// RUN: FileCheck --input-file=%t.cir %s -check-prefix=OGCG7int finite(double);8 9// CHECK: cir.func {{.*}}@test_is_finite10void test_is_finite(__fp16 *H, float F, double D, long double LD) {11 volatile int res;12 res = __builtin_isinf(*H);13 // CIR: cir.is_fp_class %{{.*}}, fcInf : (!cir.f16) -> !cir.bool14 // LLVM: call i1 @llvm.is.fpclass.f16(half {{.*}}, i32 516)15 // OGCG: call i1 @llvm.is.fpclass.f16(half {{.*}}, i32 516)16 17 res = __builtin_isinf(F);18 // CIR: cir.is_fp_class %{{.*}}, fcInf : (!cir.float) -> !cir.bool19 // LLVM: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 516)20 // OGCG: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 516)21 22 res = __builtin_isinf(D);23 // CIR: cir.is_fp_class %{{.*}}, fcInf : (!cir.double) -> !cir.bool24 // LLVM: call i1 @llvm.is.fpclass.f64(double {{.*}}, i32 516)25 // OGCG: call i1 @llvm.is.fpclass.f64(double {{.*}}, i32 516)26 27 res = __builtin_isinf(LD);28 // CIR: cir.is_fp_class %{{.*}}, fcInf : (!cir.long_double<!cir.f80>) -> !cir.bool29 // LLVM: call i1 @llvm.is.fpclass.f80(x86_fp80 {{.*}}, i32 516)30 // OGCG: call i1 @llvm.is.fpclass.f80(x86_fp80 {{.*}}, i32 516)31 32 res = __builtin_isfinite(*H);33 // CIR: cir.is_fp_class %{{.*}}, fcFinite : (!cir.f16) -> !cir.bool34 // LLVM: call i1 @llvm.is.fpclass.f16(half {{.*}}, i32 504)35 // OGCG: call i1 @llvm.is.fpclass.f16(half {{.*}}, i32 504)36 37 res = __builtin_isfinite(F);38 // CIR: cir.is_fp_class %{{.*}}, fcFinite : (!cir.float) -> !cir.bool39 // LLVM: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 504)40 // OGCG: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 504)41 42 res = finite(D);43 // CIR: cir.call @finite(%{{.*}}) nothrow side_effect(const) : (!cir.double) -> !s32i44 // LLVM: call i32 @finite(double {{.*}})45 // OGCG: call i1 @llvm.is.fpclass.f64(double %20, i32 504)46 res = __builtin_isnormal(*H);47 // CIR: cir.is_fp_class %{{.*}}, fcNormal : (!cir.f16) -> !cir.bool48 // LLVM: call i1 @llvm.is.fpclass.f16(half {{.*}}, i32 264)49 // OGCG: call i1 @llvm.is.fpclass.f16(half {{.*}}, i32 264)50 51 res = __builtin_isnormal(F);52 // CIR: cir.is_fp_class %{{.*}}, fcNormal : (!cir.float) -> !cir.bool53 // LLVM: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 264)54 // OGCG: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 264)55 56 res = __builtin_issubnormal(F);57 // CIR: cir.is_fp_class %{{.*}}, fcSubnormal : (!cir.float) -> !cir.bool58 // LLVM: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 144)59 // OGCG: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 144)60 res = __builtin_iszero(F);61 // CIR: cir.is_fp_class %{{.*}}, fcZero : (!cir.float) -> !cir.bool62 // LLVM: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 96)63 // OGCG: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 96)64 res = __builtin_issignaling(F);65 // CIR: cir.is_fp_class %{{.*}}, fcSNan : (!cir.float) -> !cir.bool66 // LLVM: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 1)67 // OGCG: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 1)68}69 70_Bool check_isfpclass_finite(float x) {71 return __builtin_isfpclass(x, 504 /*Finite*/);72}73 74// CIR: cir.func {{.*}}@check_isfpclass_finite75// CIR: cir.is_fp_class %{{.*}}, fcFinite : (!cir.float)76// LLVM: @check_isfpclass_finite77// LLVM: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 504)78// OGCG: @check_isfpclass_finite79// OGCG: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 504)80 81_Bool check_isfpclass_nan_f32(float x) {82 return __builtin_isfpclass(x, 3 /*NaN*/);83}84 85// CIR: cir.func {{.*}}@check_isfpclass_nan_f3286// CIR: cir.is_fp_class %{{.*}}, fcNan : (!cir.float)87// LLVM: @check_isfpclass_nan_f3288// LLVM: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 3)89// OGCG: @check_isfpclass_nan_f3290// OGCG: call i1 @llvm.is.fpclass.f32(float {{.*}}, i32 3)91 92 93_Bool check_isfpclass_snan_f64(double x) {94 return __builtin_isfpclass(x, 1 /*SNaN*/);95}96 97// CIR: cir.func {{.*}}@check_isfpclass_snan_f6498// CIR: cir.is_fp_class %{{.*}}, fcSNan : (!cir.double)99// LLVM: @check_isfpclass_snan_f64100// LLVM: call i1 @llvm.is.fpclass.f64(double {{.*}}, i32 1)101// OGCG: @check_isfpclass_snan_f64102// OGCG: call i1 @llvm.is.fpclass.f64(double {{.*}}, i32 1)103 104 105_Bool check_isfpclass_zero_f16(_Float16 x) {106 return __builtin_isfpclass(x, 96 /*Zero*/);107}108 109// CIR: cir.func {{.*}}@check_isfpclass_zero_f16110// CIR: cir.is_fp_class %{{.*}}, fcZero : (!cir.f16)111// LLVM: @check_isfpclass_zero_f16112// LLVM: call i1 @llvm.is.fpclass.f16(half {{.*}}, i32 96)113// OGCG: @check_isfpclass_zero_f16114// OGCG: call i1 @llvm.is.fpclass.f16(half {{.*}}, i32 96)115 116// Update when we support FP pragma in functions and can convert BoolType in prvalue to i1.117 118// _Bool check_isfpclass_finite_strict(float x) {119// #pragma STDC FENV_ACCESS ON120// return __builtin_isfpclass(x, 504 /*Finite*/);121// }122// 123// _Bool check_isfpclass_nan_f32_strict(float x) {124// #pragma STDC FENV_ACCESS ON125// return __builtin_isfpclass(x, 3 /*NaN*/);126// }127// 128// _Bool check_isfpclass_snan_f64_strict(double x) {129// #pragma STDC FENV_ACCESS ON130// return __builtin_isfpclass(x, 1 /*NaN*/);131// }132// 133// _Bool check_isfpclass_zero_f16_strict(_Float16 x) {134// #pragma STDC FENV_ACCESS ON135// return __builtin_isfpclass(x, 96 /*Zero*/);136// }137// 138// _Bool check_isnan(float x) {139// #pragma STDC FENV_ACCESS ON140// return __builtin_isnan(x);141// }142// 143// _Bool check_isinf(float x) {144// #pragma STDC FENV_ACCESS ON145// return __builtin_isinf(x);146// }147// 148// _Bool check_isfinite(float x) {149// #pragma STDC FENV_ACCESS ON150// return __builtin_isfinite(x);151// }152// 153// _Bool check_isnormal(float x) {154// #pragma STDC FENV_ACCESS ON155// return __builtin_isnormal(x);156// }157// 158// typedef float __attribute__((ext_vector_type(4))) float4;159// typedef double __attribute__((ext_vector_type(4))) double4;160// typedef int __attribute__((ext_vector_type(4))) int4;161// typedef long __attribute__((ext_vector_type(4))) long4;162// 163// int4 check_isfpclass_nan_v4f32(float4 x) {164// return __builtin_isfpclass(x, 3 /*NaN*/);165// }166// 167// int4 check_isfpclass_nan_strict_v4f32(float4 x) {168// #pragma STDC FENV_ACCESS ON169// return __builtin_isfpclass(x, 3 /*NaN*/);170// }171// 172// long4 check_isfpclass_nan_v4f64(double4 x) {173// return __builtin_isfpclass(x, 3 /*NaN*/);174// }175