Author Mark.Shannon
Recipients BTaskaya, Mark.Shannon, pablogsal, yselivanov
Date 2020-11-13.17:23:56
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1605288236.63.0.535930114151.issue42349@roundup.psfhosted.org>
In-reply-to
Content
The front-end of the bytecode compiler produces a broken CFG.
A number of "basic-block"s have terminators before their end.
This makes the back-end optimizations unsafe as they rely of a well-formed CFG.

The fix is simple. Insert a check that the CFG is well-formed before doing any optimizations, then fix up the front-end.

Once done, we can be more aggressive with optimizations without worrying that things will break for no apparent reason.
History
Date User Action Args
2020-11-13 17:23:56Mark.Shannonsetrecipients: + Mark.Shannon, yselivanov, pablogsal, BTaskaya
2020-11-13 17:23:56Mark.Shannonsetmessageid: <1605288236.63.0.535930114151.issue42349@roundup.psfhosted.org>
2020-11-13 17:23:56Mark.Shannonlinkissue42349 messages
2020-11-13 17:23:56Mark.Shannoncreate