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