Remove redundant load "QueryInst" by GVN in following case:
lw a0, Addr1 <- LItoSI
sw a0, Addr2 <- SI
lw a0, Addr1 <- QueryInst
Originally, QueryInst can't remove by GVN due to Addr2 may alias to Addr1.
However, QueryInst and LItoSI load from the same address, so even if Addr2 alias
to Addr1, the value load from LItoSI could propagate to QueryInst.