@@ -1921,10 +1921,6 @@ mlir::LogicalResult CIRToLLVMVecCreateOpLowering::matchAndRewrite(
1921
1921
mlir::LogicalResult CIRToLLVMVecCmpOpLowering::matchAndRewrite (
1922
1922
cir::VecCmpOp op, OpAdaptor adaptor,
1923
1923
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" );
1928
1924
// LLVM IR vector comparison returns a vector of i1. This one-bit vector
1929
1925
// must be sign-extended to the correct result type.
1930
1926
auto elementType = elementTypeIfVector (op.getLhs ().getType ());
@@ -1980,11 +1976,6 @@ mlir::LogicalResult CIRToLLVMVecSplatOpLowering::matchAndRewrite(
1980
1976
mlir::LogicalResult CIRToLLVMVecTernaryOpLowering::matchAndRewrite (
1981
1977
cir::VecTernaryOp op, OpAdaptor adaptor,
1982
1978
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" );
1988
1979
// Convert `cond` into a vector of i1, then use that in a `select` op.
1989
1980
mlir::Value bitVec = rewriter.create <mlir::LLVM::ICmpOp>(
1990
1981
op.getLoc (), mlir::LLVM::ICmpPredicate::ne, adaptor.getCond (),
0 commit comments