1 Regression test for the optimizing compiler's GVN, that 2 used to not take into account all side effects between 3 a dominator and its dominated blocks. 4