[LLVMdev] choice between SSAPRE and bitvector aporach
isanbard at gmail.com
Thu Apr 3 23:38:33 PDT 2008
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?
If I remember correctly, there were several details that the paper
assumed that made adapting it to work in LLVM very difficult.
More information about the llvm-dev