[LLVMdev] choice between SSAPRE and bitvector aporach

[Bill Wendling]

On Apr 2, 2008, at 10:11 PM, Xuehai Qian wrote:
> Hi LLVMers,
>    I am a PHD student in CS dept in UIUC, I am doing a project for
> Vikram's course, it is about PRE. I would like to know why you didn't
> choose SSAPRE in LLVM, since it seems to be more suitable for LLVM (it
> can operate directly on SSA form and avoid the conversion between SSA
> and bit-vector). Can anyone tell me the reason?

Hi Xuehai,
>

If I remember correctly, there were several details that the paper  
assumed that made adapting it to work in LLVM very difficult.

-bw