| 1539 | } |
| 1540 | |
| 1541 | void TransformVerify::fixupTypes(const TypingAssignments &ty) { |
| 1542 | if (ty.has_only_one_solution) |
| 1543 | return; |
| 1544 | if (t.precondition) |
| 1545 | t.precondition->fixupTypes(ty.r.getModel()); |
| 1546 | t.src.fixupTypes(ty.r.getModel()); |
| 1547 | t.tgt.fixupTypes(ty.r.getModel()); |
| 1548 | } |
| 1549 | |
| 1550 | static map<string_view, Instr*> can_remove_init(Function &fn) { |
| 1551 | map<string_view, Instr*> to_remove; |