Getting "minimal" SSA from LLVM -
the llvm's opt -s -mem2reg
pass produces so-called "pruned" ssa -- form has dead phi functions removed. keep phi instructions in ir, obtaining "minimal" ssa, i'm failing find easy way it.
am doomed implement whole ssa construction algorithm scratch or there way existing tools?
llvm doesn't have support forming other pruned ssa form, , it's unlikely grow such mechanism. quite literally don't work synthesize information when doing phi placement.
Comments
Post a Comment