[LLVMdev] Converting into SSA form
chayan.ju at gmail.com
Mon Jun 7 02:09:05 PDT 2010
E-path PRE requires the program in SSA form like SSAPRE algorithm.
Then it finds the eliminatable path (e-path) for an expression and
converts partially redundant to fully redundant and removes redundancy
On Mon, Jun 7, 2010 at 1:58 PM, Eli Friedman <eli.friedman at gmail.com> wrote:
> On Sun, Jun 6, 2010 at 8:56 PM, Chayan Sarkar <chayan.ju at gmail.com> wrote:
>> Hi Jeffrey,
>> Actually I am trying to implement "E-path PRE" which is based on
>> non-algebric equivallence. So, the variable names need to be
> Then why do you want to run mem2reg before your optimization in the first place?
More information about the llvm-dev