shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity

[CIR][CodeGen] Implement __builtin_signbit (#188433)

Browse Source 
__builtin_signbit function checks if the sign bit of a floating-point
number is set to 0 or 1.
This commit is contained in:
Yeongu Choe 2026-04-06 19:11:13 -04:00 committed by GitHub
parent fe07678c1f
commit 228b6ae560
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 168 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
clang/lib/CIR/CodeGen/CIRGenBuiltin.cpp
View File

@ -1943,9 +1943,18 @@ RValue CIRGenFunction::emitBuiltinExpr(const GlobalDecl &gd, unsigned builtinID,
return RValue::get(nullptr);
}
case Builtin::BI__scoped_atomic_thread_fence:
return errorBuiltinNYI(*this, e, builtinID);
case Builtin::BI__builtin_signbit:
case Builtin::BI__builtin_signbitf:
case Builtin::BI__builtin_signbitl:
case Builtin::BI__builtin_signbitl: {
CIRGenFunction::CIRGenFPOptionsRAII fPOptsRAII(*this, e);
mlir::Location loc = getLoc(e->getBeginLoc());
mlir::Value value = emitScalarExpr(e->getArg(0));
mlir::Operation *signBitOp = cir::SignBitOp::create(builder, loc, value);
mlir::Value result = builder.createBoolToInt(signBitOp->getResult(0),
convertType(e->getType()));
return RValue::get(result);
}
case Builtin::BI__warn_memset_zero_len:
case Builtin::BI__annotation:
case Builtin::BI__builtin_annotation:

158
clang/test/CIR/CodeGenBuiltins/builtin-signbit.c Normal file
View File

@ -0,0 +1,158 @@
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir
// RUN: FileCheck %s --check-prefix=CIR --input-file %t.cir
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o %t-cir.ll
// RUN: FileCheck %s --check-prefix=LLVM --input-file %t-cir.ll
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm %s -o %t.ll
// RUN: FileCheck %s --check-prefix=OGCG --input-file %t.ll
void test_signbit_positive_zero(){
double positiveZero = +0.0;
int result = __builtin_signbit(positiveZero);
// CIR: cir.alloca !cir.double, !cir.ptr<!cir.double>, ["positiveZero", init]
// CIR: cir.const #cir.fp<0.000000e+00> : !cir.double
// CIR: cir.signbit {{.*}} : !cir.double -> !cir.bool
// CIR: cir.cast bool_to_int {{.*}} : !cir.bool -> !s32i
// LLVM: store double 0.000000e+00, ptr %{{.*}}
// LLVM: bitcast double %{{.*}} to i64
// LLVM: icmp slt i64 %{{.*}}, 0
// LLVM: zext i1 %{{.*}} to i32
// OGCG: store double 0.000000e+00, ptr %{{.*}}
// OGCG: bitcast double %{{.*}} to i64
// OGCG: icmp slt i64 %{{.*}}, 0
// OGCG: zext i1 %{{.*}} to i32
}
void test_signbit_negative_zero(){
double negativeZero = -0.0;
int result = __builtin_signbit(negativeZero);
// CIR: cir.alloca !cir.double, !cir.ptr<!cir.double>, ["negativeZero", init]
// CIR: cir.const #cir.fp<-0.000000e+00> : !cir.double
// CIR: cir.signbit {{.*}} : !cir.double -> !cir.bool
// CIR: cir.cast bool_to_int {{.*}} : !cir.bool -> !s32i
// LLVM: store double -0.000000e+00, ptr %{{.*}}
// LLVM: bitcast double %{{.*}} to i64
// LLVM: icmp slt i64 %{{.*}}, 0
// LLVM: zext i1 %{{.*}} to i32
// OGCG: store double -0.000000e+00, ptr %{{.*}}
// OGCG: bitcast double %{{.*}} to i64
// OGCG: icmp slt i64 %{{.*}}, 0
// OGCG: zext i1 %{{.*}} to i32
}
void test_signbit_positive_number(){
double positiveNumber = 1.0;
int result = __builtin_signbit(positiveNumber);
// CIR: cir.alloca !cir.double, !cir.ptr<!cir.double>, ["positiveNumber", init]
// CIR: cir.const #cir.fp<1.000000e+00> : !cir.double
// CIR: cir.signbit {{.*}} : !cir.double -> !cir.bool
// CIR: cir.cast bool_to_int {{.*}} : !cir.bool -> !s32i
// LLVM: store double 1.000000e+00, ptr %{{.*}}
// LLVM: bitcast double %{{.*}} to i64
// LLVM: icmp slt i64 %{{.*}}, 0
// LLVM: zext i1 %{{.*}} to i32
// OGCG: store double 1.000000e+00, ptr %{{.*}}
// OGCG: bitcast double %{{.*}} to i64
// OGCG: icmp slt i64 %{{.*}}, 0
// OGCG: zext i1 %{{.*}} to i32
}
void test_signbit_negative_number(){
double negativeNumber = -1.0;
int result = __builtin_signbit(negativeNumber);
// CIR: cir.alloca !cir.double, !cir.ptr<!cir.double>, ["negativeNumber", init]
// CIR: cir.const #cir.fp<-1.000000e+00> : !cir.double
// CIR: cir.signbit {{.*}} : !cir.double -> !cir.bool
// CIR: cir.cast bool_to_int {{.*}} : !cir.bool -> !s32i
// LLVM: store double -1.000000e+00, ptr %{{.*}}
// LLVM: bitcast double %{{.*}} to i64
// LLVM: icmp slt i64 %{{.*}}, 0
// LLVM: zext i1 %{{.*}} to i32
// OGCG: store double -1.000000e+00, ptr %{{.*}}
// OGCG: bitcast double %{{.*}} to i64
// OGCG: icmp slt i64 %{{.*}}, 0
// OGCG: zext i1 %{{.*}} to i32
}
void test_signbit_positive_nan(){
double positiveNan = +__builtin_nan("");
int result = __builtin_signbit(positiveNan);
// CIR: cir.alloca !cir.double, !cir.ptr<!cir.double>, ["positiveNan", init]
// CIR: cir.const #cir.fp<0x7FF8000000000000> : !cir.double
// CIR: cir.signbit {{.*}} : !cir.double -> !cir.bool
// CIR: cir.cast bool_to_int {{.*}} : !cir.bool -> !s32i
// LLVM: store double 0x7FF8000000000000, ptr %{{.*}}
// LLVM: bitcast double %{{.*}} to i64
// LLVM: icmp slt i64 %{{.*}}, 0
// LLVM: zext i1 %{{.*}} to i32
// OGCG: store double 0x7FF8000000000000, ptr %{{.*}}
// OGCG: bitcast double %{{.*}} to i64
// OGCG: icmp slt i64 %{{.*}}, 0
// OGCG: zext i1 %{{.*}} to i32
}
void test_signbit_negative_nan(){
double negativeNan = -__builtin_nan("");
int result = __builtin_signbit(negativeNan);
// CIR: cir.alloca !cir.double, !cir.ptr<!cir.double>, ["negativeNan", init]
// CIR: cir.const #cir.fp<0xFFF8000000000000> : !cir.double
// CIR: cir.signbit {{.*}} : !cir.double -> !cir.bool
// CIR: cir.cast bool_to_int {{.*}} : !cir.bool -> !s32i
// LLVM: store double 0xFFF8000000000000, ptr %{{.*}}
// LLVM: bitcast double %{{.*}} to i64
// LLVM: icmp slt i64 %{{.*}}, 0
// LLVM: zext i1 %{{.*}} to i32
// OGCG: store double 0xFFF8000000000000, ptr %{{.*}}
// OGCG: bitcast double %{{.*}} to i64
// OGCG: icmp slt i64 %{{.*}}, 0
// OGCG: zext i1 %{{.*}} to i32
}
void test_signbit_positive_infinity(){
double positiveInfinity = +__builtin_inf();
int result = __builtin_signbit(positiveInfinity);
// CIR: cir.alloca !cir.double, !cir.ptr<!cir.double>, ["positiveInfinity", init]
// CIR: cir.const #cir.fp<0x7FF0000000000000> : !cir.double
// CIR: cir.signbit {{.*}} : !cir.double -> !cir.bool
// CIR: cir.cast bool_to_int {{.*}} : !cir.bool -> !s32i
// LLVM: store double 0x7FF0000000000000, ptr %{{.*}}
// LLVM: bitcast double %{{.*}} to i64
// LLVM: icmp slt i64 %{{.*}}, 0
// LLVM: zext i1 %{{.*}} to i32
// OGCG: store double 0x7FF0000000000000, ptr %{{.*}}
// OGCG: bitcast double %{{.*}} to i64
// OGCG: icmp slt i64 %{{.*}}, 0
// OGCG: zext i1 %{{.*}} to i32
}
void test_signbit_negative_infinity(){
double negativeInfinity = -__builtin_inf();
int result = __builtin_signbit(negativeInfinity);
// CIR: cir.alloca !cir.double, !cir.ptr<!cir.double>, ["negativeInfinity", init]
// CIR: cir.const #cir.fp<0xFFF0000000000000> : !cir.double
// CIR: cir.signbit {{.*}} : !cir.double -> !cir.bool
// CIR: cir.cast bool_to_int {{.*}} : !cir.bool -> !s32i
// LLVM: store double 0xFFF0000000000000, ptr %{{.*}}
// LLVM: bitcast double %{{.*}} to i64
// LLVM: icmp slt i64 %{{.*}}, 0
// LLVM: zext i1 %{{.*}} to i32
// OGCG: store double 0xFFF0000000000000, ptr %{{.*}}
// OGCG: bitcast double %{{.*}} to i64
// OGCG: icmp slt i64 %{{.*}}, 0
// OGCG: zext i1 %{{.*}} to i32
}