You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently we use various build::* functions in order to build up the function, but many of the checks done by the build::* functions are not necessary for us.
Namely, those functions are concerned with checking for termination and unreachability. Both of these concerns are not relevant to MIR – we have well specified terminator system and unreachable blocks are removed before MIR gets to the trans.
Suggestion is to refactor the MIR translator to use the trans::builder::Builder directly.
The text was updated successfully, but these errors were encountered:
nagisa
added
the
A-MIR
Area: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html
label
Jan 18, 2016
I'd not expect that. It would just avoid some unnecessary, but probably
very cheap, checks during trans, and stop "repositioning" the builder at
its current position over and over again. Probably a tiny gain in the trans
phase, but nothing spectacular. I'd support the change nevertheless,
because it feels cleaner.
Currently we use various
build::*
functions in order to build up the function, but many of the checks done by thebuild::*
functions are not necessary for us.Namely, those functions are concerned with checking for termination and unreachability. Both of these concerns are not relevant to MIR – we have well specified terminator system and unreachable blocks are removed before MIR gets to the trans.
Suggestion is to refactor the MIR translator to use the
trans::builder::Builder
directly.The text was updated successfully, but these errors were encountered: