OSDev.org
https://forum.osdev.org/

New pages added to Project CompilerDev
https://forum.osdev.org/viewtopic.php?f=8&t=30960
Page 1 of 1

Author:  Schol-R-LEA [ Thu Oct 27, 2016 1:14 pm ]
Post subject:  New pages added to Project CompilerDev

I have added a new page on how compilers implement conditional statements and loops. It still needs extensive improvement, but I will continue working on it.

There is a standing plan to (eventually) create a separate wiki and forum for language design and compiler development. To this end, the OS wiki group established a set of pages for bootstrapping it, to be temporary hosted here.

No one else has worked on it for a while, as there hasn't been the necessary interest, but it is still there as there hasn't been any reason to remove it, and the specifics of compiler optimization do come up in OS dev.

A few days ago, the subject of what kind of code is generated for certain language constructs came up in the fora, and was relevant to OS dev (because a question arose about efficiency for explicit loops versus gotos - one of the posters was using goto extensively on this basis, and we were able to show that it was not faster in general), so I thought it would make sense to add this as a (sort of) permanent part of the CompilerDev wiki project.

Author:  Icee [ Fri Oct 28, 2016 7:13 am ]
Post subject:  Re: New pages added to Project CompilerDev

The transformation you are outlining at the end of the article is called loop inversion. Along with other control-flow optimizations it is nicely described and evaluated in Steven Muchnick's Advanced Compiler Design & Implementation (chapter 18). If simplicifation is also described there.

Page 1 of 1 All times are UTC - 6 hours
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/