Re: [GNU Tools Cauldron 2014] A proposal for type-safe RTL

2014-08-06 Thread David Malcolm
On Tue, 2014-08-05 at 03:20 +0530, Prathamesh Kulkarni wrote: Hi, Please find attached my notes on A proposal on type-safe RTL. I would be grateful if you would review it for me. Thanks, Prathamesh A proposal for type-safe RTL Author: David Malcolm RTL is a low-level

[GNU Tools Cauldron 2014] A proposal for type-safe RTL

2014-08-04 Thread Prathamesh Kulkarni
Hi, Please find attached my notes on A proposal on type-safe RTL. I would be grateful if you would review it for me. Thanks, Prathamesh A proposal for type-safe RTL Author: David Malcolm RTL is a low-level intermediate langauge used in GCC to perform machine-dependent optimziations and