Michael Gottesman 68d37e142b [no-implicit-copy] Add a new instruction called MarkMustCheckInst and use it in the move checker. ...

This is an instruction that I am going to use to drive some of the ownership
based dataflow optimizations that I am writing now. The instruction contains a
kind that allows one to know what type of checking is required and allows the
need to add a bunch of independent instructions for independent checkers. Each
checker is responsible for removing all of its own mark instructions. NOTE:
MarkMustCheckInst is only allowed in Raw SIL since once we are in Canonical SIL
we want to ensure that all such checking has already occurred.

2022-01-29 14:49:39 -08:00

67 KiB

Raw Blame History

View Raw