(* 
https://www.jikesrvm.org/JavaDoc/org/jikesrvm/compilers/opt/ssa/LoadElimination.html
 *)