diff options
Diffstat (limited to 'mlir/test/lib')
| -rw-r--r-- | mlir/test/lib/Dialect/Test/CMakeLists.txt | 1 | ||||
| -rw-r--r-- | mlir/test/lib/Dialect/Test/TestPatterns.cpp | 7 | ||||
| -rw-r--r-- | mlir/test/lib/Dialect/Transform/TestTransformDialectExtension.cpp | 2 | 
3 files changed, 9 insertions, 1 deletions
| diff --git a/mlir/test/lib/Dialect/Test/CMakeLists.txt b/mlir/test/lib/Dialect/Test/CMakeLists.txt index f099d01..9354a85 100644 --- a/mlir/test/lib/Dialect/Test/CMakeLists.txt +++ b/mlir/test/lib/Dialect/Test/CMakeLists.txt @@ -71,6 +71,7 @@ add_mlir_library(MLIRTestDialect    )  mlir_target_link_libraries(MLIRTestDialect PUBLIC    MLIRControlFlowInterfaces +  MLIRControlFlowTransforms    MLIRDataLayoutInterfaces    MLIRDerivedAttributeOpInterface    MLIRDestinationStyleOpInterface diff --git a/mlir/test/lib/Dialect/Test/TestPatterns.cpp b/mlir/test/lib/Dialect/Test/TestPatterns.cpp index efbdbfb..fd2b943 100644 --- a/mlir/test/lib/Dialect/Test/TestPatterns.cpp +++ b/mlir/test/lib/Dialect/Test/TestPatterns.cpp @@ -11,6 +11,7 @@  #include "TestTypes.h"  #include "mlir/Dialect/Arith/IR/Arith.h"  #include "mlir/Dialect/CommonFolders.h" +#include "mlir/Dialect/ControlFlow/Transforms/StructuralTypeConversions.h"  #include "mlir/Dialect/Func/IR/FuncOps.h"  #include "mlir/Dialect/Func/Transforms/FuncConversions.h"  #include "mlir/Dialect/SCF/Transforms/Patterns.h" @@ -2042,6 +2043,10 @@ struct TestTypeConversionDriver      });      converter.addConversion([](IndexType type) { return type; });      converter.addConversion([](IntegerType type, SmallVectorImpl<Type> &types) { +      if (type.isInteger(1)) { +        // i1 is legal. +        types.push_back(type); +      }        if (type.isInteger(38)) {          // i38 is legal.          types.push_back(type); @@ -2175,6 +2180,8 @@ struct TestTypeConversionDriver                                                                converter);      mlir::scf::populateSCFStructuralTypeConversionsAndLegality(          converter, patterns, target); +    mlir::cf::populateCFStructuralTypeConversionsAndLegality(converter, +                                                             patterns, target);      ConversionConfig config;      config.allowPatternRollback = allowPatternRollback; diff --git a/mlir/test/lib/Dialect/Transform/TestTransformDialectExtension.cpp b/mlir/test/lib/Dialect/Transform/TestTransformDialectExtension.cpp index 496f18b..61db9d2 100644 --- a/mlir/test/lib/Dialect/Transform/TestTransformDialectExtension.cpp +++ b/mlir/test/lib/Dialect/Transform/TestTransformDialectExtension.cpp @@ -797,7 +797,7 @@ DiagnosedSilenceableFailure mlir::test::TestProduceInvalidIR::applyToOne(    // Provide some IR that does not verify.    rewriter.setInsertionPointToStart(&target->getRegion(0).front());    TestDummyPayloadOp::create(rewriter, target->getLoc(), TypeRange(), -                             ValueRange(), /*failToVerify=*/true); +                             ValueRange(), /*fail_to_verify=*/true);    return DiagnosedSilenceableFailure::success();  } | 
