| a486cf5e | 14-Feb-2022 |
River Riddle <[email protected]> |
[mlir:PDLL] Fix handling of unspecified operands/results on operation expressions
If the operand list or result list of an operation expression is not specified, we interpret this as meaning that th
[mlir:PDLL] Fix handling of unspecified operands/results on operation expressions
If the operand list or result list of an operation expression is not specified, we interpret this as meaning that the operands/results are "unconstraint" (i.e. "could be anything"). We currently don't properly handle differentiating this case from the case of "no operands/results". This commit adds the insertion of implicit value/type range variables when these lists are unspecified. This allows for adding proper support for when zero operands or results are expected.
Differential Revision: https://reviews.llvm.org/D119780
show more ...
|