@@ -302,6 +302,14 @@ module attributes {transform.with_named_sequence} {
302
302
303
303
// -----
304
304
305
+ /////////////////////////////////////////////////////////////////////
306
+ // Check that the following cases are caugh in the generic format. //
307
+ /////////////////////////////////////////////////////////////////////
308
+
309
+ // Invalid due to param_operand_index occurences in options dict not being
310
+ // one-to-one with the dynamic options provided as params:
311
+ // param_operand_index out of bounds w.r.t. the number of options provided via params.
312
+
305
313
" builtin.module" () ({
306
314
" transform.named_sequence" () <{function_type = (!transform.any_op ) -> (), sym_name = " __transform_main" }> ({
307
315
^bb0 (%arg0: !transform.any_op ):
@@ -320,6 +328,11 @@ module attributes {transform.with_named_sequence} {
320
328
321
329
// -----
322
330
331
+ // Invalid due to param_operand_index occurences in options dict not being
332
+ // one-to-one with the dynamic options provided as params:
333
+ // the first option-param is referred to twice and the second one not at all.
334
+ // (The pretty-printed format supports this by passing in the same param twice.)
335
+
323
336
" builtin.module" () ({
324
337
" transform.named_sequence" () <{function_type = (!transform.any_op ) -> (), sym_name = " __transform_main" }> ({
325
338
^bb0 (%arg0: !transform.any_op ):
@@ -340,6 +353,10 @@ module attributes {transform.with_named_sequence} {
340
353
341
354
// -----
342
355
356
+ // Invalid due to param_operand_index occurences in options dict not being
357
+ // one-to-one with the dynamic options provided as params:
358
+ // two option-params are provide though only the first one is referred to from the options-dict.
359
+
343
360
" builtin.module" () ({
344
361
" transform.named_sequence" () <{function_type = (!transform.any_op ) -> (), sym_name = " __transform_main" }> ({
345
362
^bb0 (%arg0: !transform.any_op ):
0 commit comments