OSDev.org

The Place to Start for Operating System Developers
It is currently Thu Mar 28, 2024 4:59 pm

All times are UTC - 6 hours




Post new topic Reply to topic  [ 2 posts ] 
Author Message
 Post subject: New pages added to Project CompilerDev
PostPosted: Thu Oct 27, 2016 1:14 pm 
Offline
Member
Member
User avatar

Joined: Fri Oct 27, 2006 9:42 am
Posts: 1925
Location: Athens, GA, USA
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.

_________________
Rev. First Speaker Schol-R-LEA;2 LCF ELF JAM POEE KoR KCO PPWMTF
Ordo OS Project
Lisp programmers tend to seem very odd to outsiders, just like anyone else who has had a religious experience they can't quite explain to others.


Top
 Profile  
 
 Post subject: Re: New pages added to Project CompilerDev
PostPosted: Fri Oct 28, 2016 7:13 am 
Offline
Member
Member

Joined: Wed Jan 08, 2014 8:41 am
Posts: 100
Location: Moscow, Russia
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.


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 2 posts ] 

All times are UTC - 6 hours


Who is online

Users browsing this forum: No registered users and 15 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group