[clang] [CIR] Upstream shift operators for VectorType (PR #139465)
Andy Kaylor via cfe-commits
cfe-commits at lists.llvm.org
Mon May 12 10:19:55 PDT 2025
================
@@ -1399,8 +1400,10 @@ mlir::LogicalResult CIRToLLVMShiftOpLowering::matchAndRewrite(
if (op.getIsShiftleft()) {
rewriter.replaceOpWithNewOp<mlir::LLVM::ShlOp>(op, llvmTy, val, amt);
} else {
- assert(!cir::MissingFeatures::vectorType());
- bool isUnsigned = !cirValTy.isSigned();
+ const bool isUnsigned =
+ cirValTy
+ ? !cirValTy.isSigned()
+ : !mlir::cast<cir::IntType>(cirValVTy.getElementType()).isSigned();
----------------
andykaylor wrote:
Would it make sense for the vector type to support `isSigned()`? The instead of having separate cirValTy and cirValVTy (one of which would always be null), we could do something like this above:
```
if (!cirValTy) {
cirValTy = mlir::cast<cir::VectorType>(op.getValue().getType());
assert(mlir::isa<cir::VectorType>(op.getAmount().getType());
}
```
https://github.com/llvm/llvm-project/pull/139465
More information about the cfe-commits
mailing list