@@ -1921,10 +1921,6 @@ mlir::LogicalResult CIRToLLVMVecCreateOpLowering::matchAndRewrite(
19211921mlir::LogicalResult CIRToLLVMVecCmpOpLowering::matchAndRewrite (
19221922 cir::VecCmpOp op, OpAdaptor adaptor,
19231923 mlir::ConversionPatternRewriter &rewriter) const {
1924- assert (mlir::isa<cir::VectorType>(op.getType ()) &&
1925- mlir::isa<cir::VectorType>(op.getLhs ().getType ()) &&
1926- mlir::isa<cir::VectorType>(op.getRhs ().getType ()) &&
1927- " Vector compare with non-vector type" );
19281924 // LLVM IR vector comparison returns a vector of i1. This one-bit vector
19291925 // must be sign-extended to the correct result type.
19301926 auto elementType = elementTypeIfVector (op.getLhs ().getType ());
@@ -1980,11 +1976,6 @@ mlir::LogicalResult CIRToLLVMVecSplatOpLowering::matchAndRewrite(
19801976mlir::LogicalResult CIRToLLVMVecTernaryOpLowering::matchAndRewrite (
19811977 cir::VecTernaryOp op, OpAdaptor adaptor,
19821978 mlir::ConversionPatternRewriter &rewriter) const {
1983- assert (mlir::isa<cir::VectorType>(op.getType ()) &&
1984- mlir::isa<cir::VectorType>(op.getCond ().getType ()) &&
1985- mlir::isa<cir::VectorType>(op.getVec1 ().getType ()) &&
1986- mlir::isa<cir::VectorType>(op.getVec2 ().getType ()) &&
1987- " Vector ternary op with non-vector type" );
19881979 // Convert `cond` into a vector of i1, then use that in a `select` op.
19891980 mlir::Value bitVec = rewriter.create <mlir::LLVM::ICmpOp>(
19901981 op.getLoc (), mlir::LLVM::ICmpPredicate::ne, adaptor.getCond (),
0 commit comments