Author: adams381 Date: 2026-04-14T14:01:58-05:00 New Revision: f62b1382ac3be3ec40ef31160bc63c5127b3a481
URL: https://github.com/llvm/llvm-project/commit/f62b1382ac3be3ec40ef31160bc63c5127b3a481 DIFF: https://github.com/llvm/llvm-project/commit/f62b1382ac3be3ec40ef31160bc63c5127b3a481.diff LOG: [CIR] Raise IntType max bitwidth to match LLVM IR (#191499) Follow-up to #188113 per @erichkeane's feedback about the 128-bit cap. CIR's IntType was hard-limited to 128 bits, which meant any _BitInt wider than that hit an errorNYI. LLVM IR goes up to 2^23 (about 8 million bits), and there are real tests/users at those sizes. This raises CIR's limit to match and drops the guard that was working around it. Tests: added a _BitInt(256) global to bitint.c and a 1024-bit round-trip to bitint.cir. Made with [Cursor](https://cursor.com) Added: Modified: clang/include/clang/CIR/Dialect/IR/CIRTypes.td clang/lib/CIR/CodeGen/CIRGenTypes.cpp clang/test/CIR/CodeGen/bitint.c clang/test/CIR/IR/bitint.cir Removed: ################################################################################ diff --git a/clang/include/clang/CIR/Dialect/IR/CIRTypes.td b/clang/include/clang/CIR/Dialect/IR/CIRTypes.td index c8e63a08847fe..504ec850ddb5a 100644 --- a/clang/include/clang/CIR/Dialect/IR/CIRTypes.td +++ b/clang/include/clang/CIR/Dialect/IR/CIRTypes.td @@ -90,8 +90,9 @@ def CIR_IntType : CIR_Type<"Int", "int", [ /// Returns a minimum bitwidth of cir::IntType static unsigned minBitwidth() { return 1; } - /// Returns a maximum bitwidth of cir::IntType - static unsigned maxBitwidth() { return 128; } + /// Returns a maximum bitwidth of cir::IntType. + /// Matches llvm::IntegerType::MAX_INT_BITS (1 << 23). + static unsigned maxBitwidth() { return (1 << 23); } }]; let genVerifyDecl = 1; } diff --git a/clang/lib/CIR/CodeGen/CIRGenTypes.cpp b/clang/lib/CIR/CodeGen/CIRGenTypes.cpp index 9b493263b76c2..883b791d5909c 100644 --- a/clang/lib/CIR/CodeGen/CIRGenTypes.cpp +++ b/clang/lib/CIR/CodeGen/CIRGenTypes.cpp @@ -563,14 +563,12 @@ mlir::Type CIRGenTypes::convertType(QualType type) { case Type::BitInt: { const auto *bitIntTy = cast<BitIntType>(type); - if (bitIntTy->getNumBits() > cir::IntType::maxBitwidth()) { - cgm.errorNYI(SourceLocation(), "large _BitInt type", type); - resultType = cgm.sInt32Ty; - } else { - resultType = cir::IntType::get(&getMLIRContext(), bitIntTy->getNumBits(), - bitIntTy->isSigned(), - /*isBitInt=*/true); - } + unsigned numBits = bitIntTy->getNumBits(); + assert(numBits <= cir::IntType::maxBitwidth() && + "_BitInt width exceeds CIR IntType maximum"); + resultType = + cir::IntType::get(&getMLIRContext(), numBits, bitIntTy->isSigned(), + /*isBitInt=*/true); break; } diff --git a/clang/test/CIR/CodeGen/bitint.c b/clang/test/CIR/CodeGen/bitint.c index 014b315c907ba..e84b610c171b6 100644 --- a/clang/test/CIR/CodeGen/bitint.c +++ b/clang/test/CIR/CodeGen/bitint.c @@ -13,19 +13,32 @@ // CIR-DAG: !s128i_bitint = !cir.int<s, 128, bitint> // CIR-DAG: !u64i_bitint = !cir.int<u, 64, bitint> // CIR-DAG: !s128i = !cir.int<s, 128> +// CIR-DAG: !s256i_bitint = !cir.int<s, 256, bitint> // _BitInt(128) has alignment 8 while __int128 has alignment 16. signed _BitInt(128) bitint128_var; __int128 int128_var; +signed _BitInt(256) bitint256_var; +signed _BitInt(254) bitint254_var; +signed _BitInt(257) bitint257_var; // CIR: cir.global external @bitint128_var = #cir.int<0> : !s128i_bitint {alignment = 8 : i64} // CIR: cir.global external @int128_var = #cir.int<0> : !s128i {alignment = 16 : i64} +// CIR: cir.global external @bitint256_var = #cir.int<0> : !s256i_bitint +// CIR: cir.global external @bitint254_var = #cir.int<0> : !cir.int<s, 254, bitint> +// CIR: cir.global external @bitint257_var = #cir.int<0> : !cir.int<s, 257, bitint> // LLVM: @bitint128_var = global i128 0, align 8 // LLVM: @int128_var = global i128 0, align 16 +// LLVM: @bitint256_var = global i256 0 +// LLVM: @bitint254_var = global i254 0, align 8 +// LLVM: @bitint257_var = global i257 0, align 8 // OGCG: @bitint128_var = global i128 0, align 8 // OGCG: @int128_var = global i128 0, align 16 +// OGCG: @bitint256_var = global i256 0 +// OGCG: @bitint254_var = global i256 0, align 8 +// OGCG: @bitint257_var = global [40 x i8] zeroinitializer, align 8 void take_bitint_32(_BitInt(32) x) {} // CIR: cir.func {{.*}} @take_bitint_32(%arg0: !s32i_bitint @@ -42,6 +55,16 @@ void take_unsigned_bitint(unsigned _BitInt(64) x) {} // LLVM: define {{.*}} void @take_unsigned_bitint(i64 {{.*}}) // OGCG: define {{.*}} void @take_unsigned_bitint(i64 {{.*}}) +void take_bitint_254(signed _BitInt(254) x) {} +// CIR: cir.func {{.*}} @take_bitint_254(%arg0: !cir.int<s, 254, bitint> +// LLVM: define {{.*}} void @take_bitint_254(i254 {{.*}}) +// OGCG: define {{.*}} void @take_bitint_254(ptr noundef byval(i256) align 8 {{.*}}) + +void take_bitint_257(signed _BitInt(257) x) {} +// CIR: cir.func {{.*}} @take_bitint_257(%arg0: !cir.int<s, 257, bitint> +// LLVM: define {{.*}} void @take_bitint_257(i257 {{.*}}) +// OGCG: define {{.*}} void @take_bitint_257(ptr noundef byval([40 x i8]) align 8 {{.*}}) + // Regular __int128 should NOT have the bitint flag. void take_int128(__int128 x) {} // CIR: cir.func {{.*}} @take_int128(%arg0: !s128i diff --git a/clang/test/CIR/IR/bitint.cir b/clang/test/CIR/IR/bitint.cir index 5dddddc833777..c61f1b581b62e 100644 --- a/clang/test/CIR/IR/bitint.cir +++ b/clang/test/CIR/IR/bitint.cir @@ -5,10 +5,11 @@ !s32i_bitint = !cir.int<s, 32, bitint> !u64i_bitint = !cir.int<u, 64, bitint> !s128i_bitint = !cir.int<s, 128, bitint> +!s1024i_bitint = !cir.int<s, 1024, bitint> module { - // CHECK: cir.func @round_trip_bitint(%arg0: !s32i_bitint, %arg1: !u64i_bitint, %arg2: !s128i_bitint) - cir.func @round_trip_bitint(%arg0: !s32i_bitint, %arg1: !u64i_bitint, %arg2: !s128i_bitint) { + // CHECK: cir.func @round_trip_bitint(%arg0: !s32i_bitint, %arg1: !u64i_bitint, %arg2: !s128i_bitint, %arg3: !s1024i_bitint) + cir.func @round_trip_bitint(%arg0: !s32i_bitint, %arg1: !u64i_bitint, %arg2: !s128i_bitint, %arg3: !s1024i_bitint) { cir.return } _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
