[LLVMdev] choice between SSAPRE and bitvector aporach

[Xuehai Qian]

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?
Xuehai