Author: Henrich Lauko Date: 2025-05-22T18:48:14+02:00 New Revision: 586e1dffd8d2fab0b4f386c51eff23f3640f45d9
URL: https://github.com/llvm/llvm-project/commit/586e1dffd8d2fab0b4f386c51eff23f3640f45d9 DIFF: https://github.com/llvm/llvm-project/commit/586e1dffd8d2fab0b4f386c51eff23f3640f45d9.diff LOG: [CIR] Implement `AnyScalarType` constraint (#141033) This mirrors incubator changes from https://github.com/llvm/clangir/pull/1625 Added: Modified: clang/include/clang/CIR/Dialect/IR/CIRTypeConstraints.td Removed: ################################################################################ diff --git a/clang/include/clang/CIR/Dialect/IR/CIRTypeConstraints.td b/clang/include/clang/CIR/Dialect/IR/CIRTypeConstraints.td index 902d6535ff717..ec461cab961c7 100644 --- a/clang/include/clang/CIR/Dialect/IR/CIRTypeConstraints.td +++ b/clang/include/clang/CIR/Dialect/IR/CIRTypeConstraints.td @@ -31,6 +31,12 @@ class CIR_ConfinedType<Type type, list<Pred> preds, string summary = ""> : Type<And<[type.predicate, CIR_CastedSelfsToType<type.cppType, preds>]>, summary, type.cppType>; +//===----------------------------------------------------------------------===// +// Bool Type predicates +//===----------------------------------------------------------------------===// + +def CIR_AnyBoolType : CIR_TypeBase<"::cir::BoolType", "boolean type">; + //===----------------------------------------------------------------------===// // IntType predicates //===----------------------------------------------------------------------===// @@ -193,4 +199,16 @@ def IntegerVector : Type< // Any Integer or Vector of Integer Constraints def CIR_AnyIntOrVecOfInt: AnyTypeOf<[CIR_AnyIntType, IntegerVector]>; +//===----------------------------------------------------------------------===// +// Scalar Type predicates +//===----------------------------------------------------------------------===// + +defvar CIR_ScalarTypes = [ + CIR_AnyBoolType, CIR_AnyIntType, CIR_AnyFloatType, CIR_AnyPtrType +]; + +def CIR_AnyScalarType : AnyTypeOf<CIR_ScalarTypes, "cir scalar type"> { + let cppFunctionName = "isScalarType"; +} + #endif // CLANG_CIR_DIALECT_IR_CIRTYPECONSTRAINTS_TD _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
