[LLVMdev] Equality Saturation

[Jonathan Turner]

Saw this mentioned on Lambda, and thought it was worth pointing out (though I'm betting most of you are Lambda readers).  Looks like it's a new approach to mapping out optimizations and picking the best ordering/grouping.

http://www.cse.ucsd.edu/~rtate/publications/eqsat/

Just watched the video and am settling down to read the paper, and it looks interesting so far.  Anyone more well-versed in compiler optimization theory see this and want to comment?


Jonathan

_________________________________________________________________
Express your personality in color! Preview and select themes for Hotmail®. 
http://www.windowslive-hotmail.com/LearnMore/personalize.aspx?ocid=TXT_MSGTX_WL_HM_express_032009#colortheme