Skip to content

Commit 8c63dc0

Browse files
Change tests to make sure external declaration is preserved.
1 parent e80cf79 commit 8c63dc0

File tree

1 file changed

+6
-4
lines changed

1 file changed

+6
-4
lines changed

mlir/test/Dialect/Transform/test-interpreter-external-symbol-decl.mlir

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -21,8 +21,8 @@
2121
// expected-remark @below {{internal colliding_4}}
2222
// expected-remark @below {{internal colliding_5}}
2323
module attributes {transform.with_named_sequence} {
24-
// CHECK: transform.named_sequence @print_message(
25-
// CHECK: transform.include @private_helper
24+
// CHECK-DAG: transform.named_sequence @print_message(
25+
// CHECK-DAG: transform.include @private_helper
2626
transform.named_sequence private @print_message(!transform.any_op {transform.readonly})
2727

2828
// These ops collide with ops from the other module before or after renaming.
@@ -42,6 +42,8 @@ module attributes {transform.with_named_sequence} {
4242
transform.test_print_remark_at_operand %arg0, "internal colliding_3" : !transform.any_op
4343
transform.yield
4444
}
45+
// This symbol is public and thus can't be renamed.
46+
// CHECK-DAG: transform.named_sequence @colliding_4(
4547
transform.named_sequence @colliding_4(%arg0: !transform.any_op {transform.readonly}) {
4648
transform.test_print_remark_at_operand %arg0, "internal colliding_4" : !transform.any_op
4749
transform.yield
@@ -51,8 +53,8 @@ module attributes {transform.with_named_sequence} {
5153
transform.yield
5254
}
5355

54-
// CHECK: transform.named_sequence @unannotated(
55-
// CHECK: test_print_remark_at_operand %{{.*}}, "unannotated"
56+
// CHECK-DAG: transform.named_sequence @unannotated(
57+
// CHECK-DAG: test_print_remark_at_operand %{{.*}}, "unannotated"
5658
transform.named_sequence @unannotated(!transform.any_op {transform.readonly})
5759

5860
transform.sequence failures(propagate) {

0 commit comments

Comments
 (0)