Lines Matching full:operation

7   // Operation with attributes and results.
10   %op0 = operation {"attr" = %attribute} -> (%type : !pdl.type)
13   // Operation with input.
15   %root = operation(%op0_result, %input : !pdl.value, !pdl.value)
23   %root = operation(%input : !pdl.value)
33   %op1 = operation(%input1 : !pdl.value) -> (%type : !pdl.type)
35   %root1 = operation(%val1 : !pdl.value)
36   %op2 = operation(%input2 : !pdl.value) -> (%type : !pdl.type)
38   %root2 = operation(%val1, %val2 : !pdl.value, !pdl.value)
39   rewrite with "rewriter"(%root1, %root2 : !pdl.operation, !pdl.operation)
48   %op1 = operation(%input1 : !pdl.value) -> (%type : !pdl.type)
50   %root1 = operation(%val1 : !pdl.value)
51   %op2 = operation(%input2 : !pdl.value) -> (%type : !pdl.type)
53   %root2 = operation(%val1, %val2 : !pdl.value, !pdl.value)
54   rewrite %root1 with "rewriter"(%root2 : !pdl.operation)
59 // Check that the result type of an operation within a rewrite can be inferred
64   %root = operation -> (%type1, %type2 : !pdl.type, !pdl.type)
67     %newOp = operation "foo.op" -> (%type1, %type3 : !pdl.type, !pdl.type)
74 // Check that the result type of an operation within a rewrite can be inferred
75 // from the result types of an operation within the match block.
79   %root = operation -> (%type1, %type2 : !pdl.type, !pdl.type)
81     %newOp = operation "foo.op" -> (%type1, %type2 : !pdl.type, !pdl.type)
87 // Check that the result type of an operation within a rewrite can be inferred
88 // from the result types of an operation within the match block.
91   %root = operation -> (%types : !pdl.range<type>)
94     %newOp = operation "foo.op" -> (%types, %otherTypes : !pdl.range<type>, !pdl.range<type>)
100 // Check that the result type of an operation within a rewrite can be inferred
107   %root = operation (%operand1, %operand2 : !pdl.value, !pdl.value)
109     %newOp = operation "foo.op" -> (%type1, %type2 : !pdl.type, !pdl.type)
115 // Check that the result type of an operation within a rewrite can be inferred
120   %root = operation (%operands : !pdl.range<value>)
122     %newOp = operation "foo.op" -> (%types : !pdl.range<type>)
129   %root = operation
131     apply_native_rewrite "NativeRewrite"(%root : !pdl.operation)
138   %root = operation
139   apply_native_constraint "NativeConstraint"(%root : !pdl.operation)
146   %root = operation
147   %attr = apply_native_constraint "NativeConstraint"(%root : !pdl.operation) : !pdl.attribute
156   %root = operation
173   %root = operation {"attribute" = %attr}