<< " attribute created with unregistered dialect. If this is "
"intended, please call allowUnregisteredDialects() on the "
"MLIRContext, or use -allow-unregistered-dialect with "
- "mlir-opt";
+ "the MLIR opt tool used";
}
return success();
<< "` type created with unregistered dialect. If this is "
"intended, please call allowUnregisteredDialects() on the "
"MLIRContext, or use -allow-unregistered-dialect with "
- "mlir-opt";
+ "the MLIR opt tool used";
}
return success();
numRegions(numRegions), hasOperandStorage(hasOperandStorage), name(name),
attrs(attributes) {
assert(attributes && "unexpected null attribute dictionary");
+#ifndef NDEBUG
+ if (!getDialect() && !getContext()->allowsUnregisteredDialects())
+ llvm::report_fatal_error(
+ name.getStringRef() +
+ " created with unregistered dialect. If this is intended, please call "
+ "allowUnregisteredDialects() on the MLIRContext, or use "
+ "-allow-unregistered-dialect with the MLIR opt tool used");
+#endif
}
// Operations are deleted through the destroy() member because they are
<< "created with unregistered dialect. If this is "
"intended, please call allowUnregisteredDialects() on the "
"MLIRContext, or use -allow-unregistered-dialect with "
- "mlir-opt";
+ "the MLIR opt tool used";
}
return success();
}
// Otherwise, this is a forward reference. Create a placeholder and remember
// that we did so.
- auto result = createForwardRefPlaceholder(useInfo.loc, type);
+ Value result = createForwardRefPlaceholder(useInfo.loc, type);
entries[useInfo.number] = {result, useInfo.loc};
return maybeRecordUse(result);
}
// We create these placeholders as having an empty name, which we know
// cannot be created through normal user input, allowing us to distinguish
// them.
- auto name = OperationName("placeholder", getContext());
+ auto name = OperationName("unrealized_conversion_cast", getContext());
auto *op = Operation::create(
getEncodedSourceLocation(loc), name, type, /*operands=*/{},
/*attributes=*/llvm::None, /*successors=*/{}, /*numRegions=*/0);
/// block/operation-relative API and their final order is checked.
static void buildWithInsertionsAndPrint(MlirContext ctx) {
MlirLocation loc = mlirLocationUnknownGet(ctx);
+ mlirContextSetAllowUnregisteredDialects(ctx, true);
MlirRegion owningRegion = mlirRegionCreate();
MlirBlock nullBlock = mlirRegionGetFirstBlock(owningRegion);
mlirOperationDump(op);
mlirOperationDestroy(op);
+ mlirContextSetAllowUnregisteredDialects(ctx, false);
// clang-format off
// CHECK-LABEL: "insertion.order.test"
// CHECK: ^{{.*}}(%{{.*}}: i1
// CHECK-LABEL: @testOperands
MlirContext ctx = mlirContextCreate();
+ mlirRegisterAllDialects(ctx);
+ mlirContextGetOrLoadDialect(ctx, mlirStringRefCreateFromCString("test"));
MlirLocation loc = mlirLocationUnknownGet(ctx);
MlirType indexType = mlirIndexTypeGet(ctx);
MlirValue constOneValue = mlirOperationGetResult(constOne, 0);
// Create the operation under test.
+ mlirContextSetAllowUnregisteredDialects(ctx, true);
MlirOperationState opState =
mlirOperationStateGet(mlirStringRefCreateFromCString("dummy.op"), loc);
MlirValue initialOperands[] = {constZeroValue};
MlirValue opOperand = mlirOperationGetOperand(op, 0);
fprintf(stderr, "Original operand: ");
mlirValuePrint(opOperand, printToStderr, NULL);
- // CHECK: Original operand: {{.+}} {value = 0 : index}
+ // CHECK: Original operand: {{.+}} constant 0 : index
mlirOperationSetOperand(op, 0, constOneValue);
opOperand = mlirOperationGetOperand(op, 0);
fprintf(stderr, "Updated operand: ");
mlirValuePrint(opOperand, printToStderr, NULL);
- // CHECK: Updated operand: {{.+}} {value = 1 : index}
+ // CHECK: Updated operand: {{.+}} constant 1 : index
mlirOperationDestroy(op);
mlirOperationDestroy(constZero);
// CHECK-LABEL: @testClone
MlirContext ctx = mlirContextCreate();
+ mlirRegisterAllDialects(ctx);
+ mlirContextGetOrLoadDialect(ctx, mlirStringRefCreateFromCString("std"));
MlirLocation loc = mlirLocationUnknownGet(ctx);
MlirType indexType = mlirIndexTypeGet(ctx);
MlirStringRef valueStringRef = mlirStringRefCreateFromCString("value");
mlirOperationPrint(constZero, printToStderr, NULL);
mlirOperationPrint(constOne, printToStderr, NULL);
- // CHECK: %0 = "std.constant"() {value = 0 : index} : () -> index
- // CHECK: %0 = "std.constant"() {value = 1 : index} : () -> index
+ // CHECK: constant 0 : index
+ // CHECK: constant 1 : index
return 0;
}
// expected-error@below {{expected only `pdl` operations within the pattern body}}
pdl.pattern : benefit(1) {
// expected-note@below {{see non-`pdl` operation defined here}}
- "foo.other_op"() : () -> ()
+ "test.foo.other_op"() : () -> ()
%root = pdl.operation "foo.op"
pdl.rewrite %root with "foo"
// expected-error@+1 {{Operations with a 'SymbolTable' must have exactly one block}}
module {
^bb1:
- "module_terminator"() : () -> ()
+ "test.dummy"() : () -> ()
^bb2:
- "module_terminator"() : () -> ()
+ "test.dummy"() : () -> ()
}
return
}
// RUN: mlir-opt %s -split-input-file -verify-diagnostics
+// REQUIRES: noasserts
+
// expected-error @below {{op created with unregistered dialect}}
"unregistered_dialect.op"() : () -> ()
# lib/Bindings/Python/CMakeLists.txt for where this is set up.
os.path.join(config.llvm_obj_root, 'python'),
], append_path=True)
+
+if config.enable_assertions:
+ config.available_features.add('asserts')
+else:
+ config.available_features.add('noasserts')
# CHECK-LABEL: TEST: testAttributes
def testAttributes():
- with Context(), Location.unknown():
+ with Context() as ctx, Location.unknown():
+ ctx.allow_unregistered_dialects = True
+
#
# Check op construction with attributes.
#
TEST(PassManagerTest, InvalidPass) {
MLIRContext context;
+ context.allowUnregisteredDialects();
// Create a module
OwningModuleRef module(ModuleOp::create(UnknownLoc::get(&context)));