Commits

Xin Tong committed 0c162cd3d11
Refactor in redundant load elimination. NFC. 1. Update some comments. 2. Rename a few functions, e.g. runIterativeDF -> runIterativeRLE, getLSValueBit -> getValueBit. 3. Remove unused headers. 4. Remove no-longer used function, mergePredecessorStates and mergePredecessorState. 5. A few other small NFCs.