intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-01-22 07:01:03 +08:00
Code Issues Packages Projects Releases Wiki Activity

[CIR] Upstream Builtin FloorOp (#169954)

Browse Source
This commit is contained in:
Letu Ren
2025-12-02 08:51:08 +08:00
committed by GitHub
parent c6f501d479
commit 91e8780424
4 changed files with 50 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
clang/include/clang/CIR/Dialect/IR/CIROps.td
View File

@@ -4722,6 +4722,16 @@ def CIR_FAbsOp : CIR_UnaryFPToFPBuiltinOp<"fabs", "FAbsOp"> {
}];
}
def CIR_FloorOp : CIR_UnaryFPToFPBuiltinOp<"floor", "FloorOp"> {
let summary = "Computes the floating-point floor value";
let description = [{
`cir.floor` computes the floor of a floating-point operand and returns
a result of the same type.
Floating-point exceptions are ignored, and it does not set `errno`.
}];
}
//===----------------------------------------------------------------------===//
// Variadic Operations
//===----------------------------------------------------------------------===//

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

@@ -321,6 +321,16 @@ RValue CIRGenFunction::emitBuiltinExpr(const GlobalDecl &gd, unsigned builtinID,
case Builtin::BI__builtin_fabsf128:
return emitUnaryMaybeConstrainedFPBuiltin<cir::FAbsOp>(*this, *e);
case Builtin::BIfloor:
case Builtin::BIfloorf:
case Builtin::BIfloorl:
case Builtin::BI__builtin_floor:
case Builtin::BI__builtin_floorf:
case Builtin::BI__builtin_floorf16:
case Builtin::BI__builtin_floorl:
case Builtin::BI__builtin_floorf128:
return emitUnaryMaybeConstrainedFPBuiltin<cir::FloorOp>(*this, *e);
case Builtin::BI__assume:
case Builtin::BI__builtin_assume: {
if (e->getArg(0)->HasSideEffects(getContext()))

9
clang/lib/CIR/Lowering/DirectToLLVM/LowerToLLVM.cpp
View File

@@ -210,6 +210,15 @@ mlir::LogicalResult CIRToLLVMExp2OpLowering::matchAndRewrite(
return mlir::success();
}
mlir::LogicalResult CIRToLLVMFloorOpLowering::matchAndRewrite(
cir::FloorOp op, OpAdaptor adaptor,
mlir::ConversionPatternRewriter &rewriter) const {
mlir::Type resTy = typeConverter->convertType(op.getType());
rewriter.replaceOpWithNewOp<mlir::LLVM::FFloorOp>(op, resTy,
adaptor.getSrc());
return mlir::success();
}
static mlir::Value getLLVMIntCast(mlir::ConversionPatternRewriter &rewriter,
mlir::Value llvmSrc, mlir::Type llvmDstIntTy,
bool isUnsigned, uint64_t cirSrcWidth,

21
clang/test/CIR/CodeGenBuiltins/builtins-floating-point.c
View File

@@ -67,3 +67,24 @@ long double my_exp2l(long double f) {
// LLVM: %{{.*}} = call fp128 @llvm.exp2.f128(fp128 %{{.*}})
// OGCG: %{{.*}} = call fp128 @llvm.exp2.f128(fp128 %{{.*}})
}
float floorf(float f) {
return __builtin_floorf(f);
// CIR: %{{.*}} = cir.floor %{{.*}} : !cir.float
// LLVM: %{{.*}} = call float @llvm.floor.f32(float %{{.*}})
// OGCG: %{{.*}} = call float @llvm.floor.f32(float %{{.*}})
}
double floor(double f) {
return __builtin_floor(f);
// CIR: %{{.*}} = cir.floor %{{.*}} : !cir.double
// LLVM: %{{.*}} = call double @llvm.floor.f64(double %{{.*}})
// OGCG: %{{.*}} = call double @llvm.floor.f64(double %{{.*}})
}
long double floorl(long double f) {
return __builtin_floorl(f);
// CIR: %{{.*}} = cir.floor %{{.*}} : !cir.long_double<!cir.f128>
// LLVM: %{{.*}} = call fp128 @llvm.floor.f128(fp128 %{{.*}})
// OGCG: %{{.*}} = call fp128 @llvm.floor.f128(fp128 %{{.*}})
}