From ad23a471762eb32d235e3542bfe1fb30ade10cce Mon Sep 17 00:00:00 2001
From: oflatt <oflatt@gmail.com>
Date: Fri, 7 Feb 2025 12:41:32 -0800
Subject: [PATCH] snapshots

---
 ...es__fib_recursive-optimize-sequential.snap | 575 +++++++++---------
 .../files__fib_recursive-optimize.snap        | 101 +--
 ...riant_do_pull_out-optimize-sequential.snap |  30 +-
 ...es__if_invariant_do_pull_out-optimize.snap |   4 +-
 ...ant_dont_pull_out-optimize-sequential.snap |  32 +-
 ...s__pull_out_small-optimize-sequential.snap |  16 +-
 .../files__pull_out_small-optimize.snap       |  16 +-
 7 files changed, 381 insertions(+), 393 deletions(-)

diff --git a/tests/snapshots/files__fib_recursive-optimize-sequential.snap b/tests/snapshots/files__fib_recursive-optimize-sequential.snap
index 2f4af4d7f..679d95aa9 100644
--- a/tests/snapshots/files__fib_recursive-optimize-sequential.snap
+++ b/tests/snapshots/files__fib_recursive-optimize-sequential.snap
@@ -52,11 +52,11 @@ expression: visualization.result
   ret v4_;
   jmp .b7_;
 .b26_:
-  c29_: int = const -2;
-  c30_: int = const -1;
-  v31_: int = call @fac c30_;
-  v32_: int = call @fac c29_;
-  v33_: int = add v31_ v32_;
+  c29_: int = const -1;
+  v30_: int = call @fac c29_;
+  c31_: int = const -2;
+  v32_: int = call @fac c31_;
+  v33_: int = add v30_ v32_;
   v28_: int = id v33_;
   v20_: int = id v28_;
   v23_: int = id v0;
@@ -66,290 +66,272 @@ expression: visualization.result
   ret v4_;
   jmp .b7_;
 .b18_:
-  c34_: int = const -2;
+  c34_: int = const -1;
   v35_: bool = eq c1_ c34_;
-  c36_: int = const -1;
-  v37_: bool = eq c1_ c36_;
-  v38_: int = id v0;
-  br v37_ .b39_ .b40_;
-.b39_:
-  v41_: int = id v0;
-.b42_:
-  br v35_ .b43_ .b44_;
-.b43_:
-  v45_: int = add v38_ v41_;
-  v23_: int = id v45_;
+  v36_: int = id v0;
+  br v35_ .b37_ .b38_;
+.b38_:
+  v39_: bool = eq c34_ v0;
+  br v39_ .b40_ .b41_;
+.b40_:
+  v42_: int = call @fac c1_;
+  v43_: int = id c34_;
+  v36_: int = id v43_;
+.b37_:
+  c44_: int = const -2;
+  v45_: bool = eq c1_ c44_;
+  v46_: int = id v0;
+  br v45_ .b47_ .b48_;
+.b47_:
+  v49_: int = add v36_ v46_;
+  v23_: int = id v49_;
   v12_: int = id v23_;
   v15_: int = id v0;
   v4_: int = id v15_;
   ret v4_;
   jmp .b7_;
-.b44_:
-  v46_: bool = eq c34_ v0;
-  br v46_ .b47_ .b48_;
-.b47_:
-  v49_: int = call @fac c1_;
-  v50_: int = id c34_;
-  v41_: int = id v50_;
-  v45_: int = add v38_ v41_;
-  v23_: int = id v45_;
+.b48_:
+  v50_: bool = eq c44_ v0;
+  br v50_ .b51_ .b52_;
+.b51_:
+  v53_: int = call @fac c1_;
+  v54_: int = id c44_;
+  v46_: int = id v54_;
+  v49_: int = add v36_ v46_;
+  v23_: int = id v49_;
   v12_: int = id v23_;
   v15_: int = id v0;
   v4_: int = id v15_;
   ret v4_;
   jmp .b7_;
-.b48_:
-  c51_: int = const -4;
-  c52_: int = const -3;
-  v53_: int = call @fac c52_;
-  v54_: int = call @fac c51_;
-  v55_: int = add v53_ v54_;
-  v50_: int = id v55_;
-  v41_: int = id v50_;
-  v45_: int = add v38_ v41_;
-  v23_: int = id v45_;
+.b52_:
+  c55_: int = const -3;
+  v56_: int = call @fac c55_;
+  c57_: int = const -4;
+  v58_: int = call @fac c57_;
+  v59_: int = add v56_ v58_;
+  v54_: int = id v59_;
+  v46_: int = id v54_;
+  v49_: int = add v36_ v46_;
+  v23_: int = id v49_;
   v12_: int = id v23_;
   v15_: int = id v0;
   v4_: int = id v15_;
   ret v4_;
   jmp .b7_;
-.b40_:
-  v56_: bool = eq c36_ v0;
-  br v56_ .b57_ .b58_;
-.b57_:
-  v59_: int = call @fac c1_;
-  v60_: int = id c36_;
-  v38_: int = id v60_;
-  v41_: int = id v0;
-  jmp .b42_;
-.b58_:
-  c61_: int = const -3;
-  c62_: int = const -2;
+.b41_:
+  c60_: int = const -2;
+  v61_: int = call @fac c60_;
+  c62_: int = const -3;
   v63_: int = call @fac c62_;
-  v64_: int = call @fac c61_;
-  v65_: int = add v63_ v64_;
-  v60_: int = id v65_;
-  v38_: int = id v60_;
-  v41_: int = id v0;
-  jmp .b42_;
+  v64_: int = add v61_ v63_;
+  v43_: int = id v64_;
+  v36_: int = id v43_;
+  jmp .b37_;
 .b10_:
-  v66_: int = sub v0 c3_;
-  v67_: int = sub v66_ c3_;
-  v68_: bool = eq c1_ v67_;
-  v69_: bool = eq c1_ v66_;
-  v70_: int = id c3_;
-  br v69_ .b71_ .b72_;
+  v65_: int = sub v0 c3_;
+  v66_: bool = eq c1_ v65_;
+  v67_: int = id c3_;
+  br v66_ .b68_ .b69_;
+.b69_:
+  v70_: bool = eq c3_ v65_;
+  br v70_ .b71_ .b72_;
 .b71_:
-  v73_: int = id c3_;
-.b74_:
-  br v68_ .b75_ .b76_;
+  v73_: bool = eq c1_ c1_;
+  v74_: int = id v65_;
+  br v73_ .b75_ .b76_;
 .b75_:
-  v77_: int = add v70_ v73_;
-  v15_: int = id v77_;
+  v77_: int = id v65_;
+  v67_: int = id v77_;
+.b68_:
+  v78_: int = sub v65_ c3_;
+  v79_: bool = eq c1_ v78_;
+  v80_: int = id c3_;
+  br v79_ .b81_ .b82_;
+.b81_:
+  v83_: int = add v67_ v80_;
+  v15_: int = id v83_;
   v4_: int = id v15_;
   ret v4_;
   jmp .b7_;
-.b76_:
-  v78_: bool = eq c3_ v67_;
-  br v78_ .b79_ .b80_;
-.b79_:
-  v81_: bool = eq c1_ c1_;
-  v82_: int = id v67_;
-  br v81_ .b83_ .b84_;
-.b83_:
-  v85_: int = id v67_;
-  v73_: int = id v85_;
-  v77_: int = add v70_ v73_;
-  v15_: int = id v77_;
+.b82_:
+  v84_: bool = eq c3_ v78_;
+  br v84_ .b85_ .b86_;
+.b85_:
+  v87_: bool = eq c1_ c1_;
+  v88_: int = id v78_;
+  br v87_ .b89_ .b90_;
+.b89_:
+  v91_: int = id v78_;
+  v80_: int = id v91_;
+  v83_: int = add v67_ v80_;
+  v15_: int = id v83_;
   v4_: int = id v15_;
   ret v4_;
   jmp .b7_;
-.b84_:
-  v86_: bool = eq c1_ v67_;
-  br v86_ .b87_ .b88_;
-.b87_:
-  v89_: int = call @fac c1_;
-  v90_: int = id v67_;
-  v82_: int = id v90_;
-  v85_: int = id v67_;
-  v73_: int = id v85_;
-  v77_: int = add v70_ v73_;
-  v15_: int = id v77_;
+.b90_:
+  v92_: bool = eq c1_ v78_;
+  br v92_ .b93_ .b94_;
+.b93_:
+  v95_: int = call @fac c1_;
+  v96_: int = id v78_;
+  v88_: int = id v96_;
+  v91_: int = id v78_;
+  v80_: int = id v91_;
+  v83_: int = add v67_ v80_;
+  v15_: int = id v83_;
   v4_: int = id v15_;
   ret v4_;
   jmp .b7_;
-.b88_:
-  c91_: int = const -2;
-  c92_: int = const -1;
-  v93_: int = call @fac c92_;
-  v94_: int = call @fac c91_;
-  v95_: int = add v93_ v94_;
-  v90_: int = id v95_;
-  v82_: int = id v90_;
-  v85_: int = id v67_;
-  v73_: int = id v85_;
-  v77_: int = add v70_ v73_;
-  v15_: int = id v77_;
+.b94_:
+  c97_: int = const -1;
+  v98_: int = call @fac c97_;
+  c99_: int = const -2;
+  v100_: int = call @fac c99_;
+  v101_: int = add v100_ v98_;
+  v96_: int = id v101_;
+  v88_: int = id v96_;
+  v91_: int = id v78_;
+  v80_: int = id v91_;
+  v83_: int = add v67_ v80_;
+  v15_: int = id v83_;
   v4_: int = id v15_;
   ret v4_;
   jmp .b7_;
-.b80_:
-  v96_: int = sub v67_ c3_;
-  v97_: int = sub v96_ c3_;
-  v98_: bool = eq c1_ v97_;
-  v99_: bool = eq c1_ v96_;
-  v100_: int = id c3_;
-  br v99_ .b101_ .b102_;
-.b101_:
-  v103_: int = id c3_;
-.b104_:
-  br v98_ .b105_ .b106_;
+.b86_:
+  v102_: int = sub v78_ c3_;
+  v103_: bool = eq c1_ v102_;
+  v104_: int = id c3_;
+  br v103_ .b105_ .b106_;
+.b106_:
+  v107_: bool = eq c3_ v102_;
+  br v107_ .b108_ .b109_;
+.b108_:
+  v110_: int = call @fac c1_;
+  v111_: int = id v102_;
+  v104_: int = id v111_;
 .b105_:
-  v107_: int = add v100_ v103_;
-  v85_: int = id v107_;
-  v73_: int = id v85_;
-  v77_: int = add v70_ v73_;
-  v15_: int = id v77_;
+  v112_: int = sub v102_ c3_;
+  v113_: bool = eq c1_ v112_;
+  v114_: int = id c3_;
+  br v113_ .b115_ .b116_;
+.b115_:
+  v117_: int = add v104_ v114_;
+  v91_: int = id v117_;
+  v80_: int = id v91_;
+  v83_: int = add v67_ v80_;
+  v15_: int = id v83_;
   v4_: int = id v15_;
   ret v4_;
   jmp .b7_;
-.b106_:
-  v108_: bool = eq c3_ v97_;
-  br v108_ .b109_ .b110_;
-.b109_:
-  v111_: int = call @fac c1_;
-  v112_: int = id v97_;
-  v103_: int = id v112_;
-  v107_: int = add v100_ v103_;
-  v85_: int = id v107_;
-  v73_: int = id v85_;
-  v77_: int = add v70_ v73_;
-  v15_: int = id v77_;
+.b116_:
+  v118_: bool = eq c3_ v112_;
+  br v118_ .b119_ .b120_;
+.b119_:
+  v121_: int = call @fac c1_;
+  v122_: int = id v112_;
+  v114_: int = id v122_;
+  v117_: int = add v104_ v114_;
+  v91_: int = id v117_;
+  v80_: int = id v91_;
+  v83_: int = add v67_ v80_;
+  v15_: int = id v83_;
   v4_: int = id v15_;
   ret v4_;
   jmp .b7_;
-.b110_:
-  v113_: int = sub v97_ c3_;
-  v114_: int = sub v113_ c3_;
-  v115_: int = call @fac v113_;
-  v116_: int = call @fac v114_;
-  v117_: int = add v115_ v116_;
-  v112_: int = id v117_;
-  v103_: int = id v112_;
-  v107_: int = add v100_ v103_;
-  v85_: int = id v107_;
-  v73_: int = id v85_;
-  v77_: int = add v70_ v73_;
-  v15_: int = id v77_;
+.b120_:
+  v123_: int = sub v112_ c3_;
+  v124_: int = call @fac v123_;
+  v125_: int = sub v123_ c3_;
+  v126_: int = call @fac v125_;
+  v127_: int = add v124_ v126_;
+  v122_: int = id v127_;
+  v114_: int = id v122_;
+  v117_: int = add v104_ v114_;
+  v91_: int = id v117_;
+  v80_: int = id v91_;
+  v83_: int = add v67_ v80_;
+  v15_: int = id v83_;
   v4_: int = id v15_;
   ret v4_;
   jmp .b7_;
-.b102_:
-  v118_: bool = eq c3_ v96_;
-  br v118_ .b119_ .b120_;
-.b119_:
-  v121_: int = call @fac c1_;
-  v122_: int = id v96_;
-  v100_: int = id v122_;
-  v103_: int = id c3_;
-  jmp .b104_;
-.b120_:
-  v123_: int = sub v96_ c3_;
-  v124_: int = sub v123_ c3_;
-  v125_: int = call @fac v123_;
-  v126_: int = call @fac v124_;
-  v127_: int = add v125_ v126_;
-  v122_: int = id v127_;
-  v100_: int = id v122_;
-  v103_: int = id c3_;
-  jmp .b104_;
-.b72_:
-  v128_: bool = eq c3_ v66_;
-  br v128_ .b129_ .b130_;
-.b129_:
-  v131_: bool = eq c1_ c1_;
-  v132_: int = id v66_;
-  br v131_ .b133_ .b134_;
-.b133_:
-  v135_: int = id v66_;
-  v70_: int = id v135_;
-  v73_: int = id c3_;
-  jmp .b74_;
+.b109_:
+  v128_: int = sub v102_ c3_;
+  v129_: int = call @fac v128_;
+  v130_: int = sub v128_ c3_;
+  v131_: int = call @fac v130_;
+  v132_: int = add v129_ v131_;
+  v111_: int = id v132_;
+  v104_: int = id v111_;
+  jmp .b105_;
+.b76_:
+  v133_: bool = eq c1_ v65_;
+  br v133_ .b134_ .b135_;
 .b134_:
-  v136_: bool = eq c1_ v66_;
-  br v136_ .b137_ .b138_;
-.b137_:
-  v139_: int = call @fac c1_;
-  v140_: int = id v66_;
-  v132_: int = id v140_;
-  v135_: int = id v66_;
-  v70_: int = id v135_;
-  v73_: int = id c3_;
-  jmp .b74_;
-.b138_:
-  c141_: int = const -2;
-  c142_: int = const -1;
-  v143_: int = call @fac c142_;
-  v144_: int = call @fac c141_;
-  v145_: int = add v143_ v144_;
-  v140_: int = id v145_;
-  v132_: int = id v140_;
-  v135_: int = id v66_;
-  v70_: int = id v135_;
-  v73_: int = id c3_;
-  jmp .b74_;
-.b130_:
-  v146_: int = sub v66_ c3_;
-  v147_: int = sub v146_ c3_;
-  v148_: bool = eq c1_ v147_;
-  v149_: bool = eq c1_ v146_;
-  v150_: int = id c3_;
-  br v149_ .b151_ .b152_;
-.b151_:
-  v153_: int = id c3_;
-.b154_:
-  br v148_ .b155_ .b156_;
-.b156_:
-  v157_: bool = eq c3_ v147_;
-  br v157_ .b158_ .b159_;
-.b158_:
-  v160_: int = call @fac c1_;
-  v161_: int = id v147_;
-  v153_: int = id v161_;
-.b155_:
-  v162_: int = add v150_ v153_;
-  v135_: int = id v162_;
-  v70_: int = id v135_;
-  v73_: int = id c3_;
-  jmp .b74_;
+  v136_: int = call @fac c1_;
+  v137_: int = id v65_;
+  v74_: int = id v137_;
+  v77_: int = id v65_;
+  v67_: int = id v77_;
+  jmp .b68_;
+.b135_:
+  c138_: int = const -1;
+  v139_: int = call @fac c138_;
+  c140_: int = const -2;
+  v141_: int = call @fac c140_;
+  v142_: int = add v139_ v141_;
+  v137_: int = id v142_;
+  v74_: int = id v137_;
+  v77_: int = id v65_;
+  v67_: int = id v77_;
+  jmp .b68_;
+.b72_:
+  v143_: int = sub v65_ c3_;
+  v144_: bool = eq c1_ v143_;
+  v145_: int = id c3_;
+  br v144_ .b146_ .b147_;
+.b147_:
+  v148_: bool = eq c3_ v143_;
+  br v148_ .b149_ .b150_;
+.b149_:
+  v151_: int = call @fac c1_;
+  v152_: int = id c3_;
+  v145_: int = id v152_;
+.b146_:
+  v153_: int = sub v143_ c3_;
+  v154_: bool = eq c1_ v153_;
+  v155_: int = id c3_;
+  br v154_ .b156_ .b157_;
+.b157_:
+  v158_: bool = eq c3_ v153_;
+  br v158_ .b159_ .b160_;
 .b159_:
-  v163_: int = sub v147_ c3_;
-  v164_: int = sub v163_ c3_;
-  v165_: int = call @fac v163_;
-  v166_: int = call @fac v164_;
-  v167_: int = add v165_ v166_;
-  v161_: int = id v167_;
-  v153_: int = id v161_;
-  jmp .b155_;
-.b152_:
-  v168_: bool = eq c3_ v146_;
-  br v168_ .b169_ .b170_;
-.b169_:
-  v171_: int = call @fac c1_;
-  v172_: int = id v146_;
-  v150_: int = id v172_;
-  v153_: int = id c3_;
-  jmp .b154_;
-.b170_:
-  v173_: int = sub v146_ c3_;
-  v174_: int = sub v173_ c3_;
-  v175_: int = call @fac v173_;
-  v176_: int = call @fac v174_;
-  v177_: int = add v175_ v176_;
-  v172_: int = id v177_;
-  v150_: int = id v172_;
-  v153_: int = id c3_;
-  jmp .b154_;
+  v161_: int = call @fac c1_;
+  v162_: int = id c3_;
+  v155_: int = id v162_;
+.b156_:
+  v163_: int = add v145_ v155_;
+  v77_: int = id v163_;
+  v67_: int = id v77_;
+  jmp .b68_;
+.b160_:
+  v164_: int = sub v153_ c3_;
+  v165_: int = call @fac v164_;
+  v166_: int = sub v164_ c3_;
+  v167_: int = call @fac v166_;
+  v168_: int = add v165_ v167_;
+  v162_: int = id v168_;
+  v155_: int = id v162_;
+  jmp .b156_;
+.b150_:
+  v169_: int = sub v143_ c3_;
+  v170_: int = call @fac v169_;
+  v171_: int = sub v169_ c3_;
+  v172_: int = call @fac v171_;
+  v173_: int = add v170_ v172_;
+  v152_: int = id v173_;
+  v145_: int = id v152_;
+  jmp .b146_;
 .b7_:
 }
 @main {
@@ -365,12 +347,12 @@ expression: visualization.result
   jmp .b7_;
 .b6_:
   v8_: bool = eq c0_ c3_;
-  v9_: bool = eq c1_ c1_;
-  br v8_ .b10_ .b11_;
-.b10_:
+  br v8_ .b9_ .b10_;
+.b9_:
+  v11_: bool = eq c1_ c1_;
   c12_: int = const 1;
   v13_: int = id c12_;
-  br v9_ .b14_ .b15_;
+  br v11_ .b14_ .b15_;
 .b14_:
   v16_: int = id c0_;
   v4_: int = id v16_;
@@ -390,11 +372,11 @@ expression: visualization.result
   ret;
   jmp .b7_;
 .b19_:
-  c22_: int = const -2;
-  c23_: int = const -1;
-  v24_: int = call @fac c23_;
-  v25_: int = call @fac c22_;
-  v26_: int = add v24_ v25_;
+  c22_: int = const -1;
+  v23_: int = call @fac c22_;
+  c24_: int = const -2;
+  v25_: int = call @fac c24_;
+  v26_: int = add v23_ v25_;
   v21_: int = id v26_;
   v13_: int = id v21_;
   v16_: int = id c0_;
@@ -402,65 +384,62 @@ expression: visualization.result
   print v4_;
   ret;
   jmp .b7_;
-.b11_:
+.b10_:
   v27_: bool = eq c1_ c3_;
   v28_: int = id c3_;
   br v27_ .b29_ .b30_;
-.b29_:
-  v31_: int = id c3_;
+.b30_:
+  v31_: bool = eq c3_ c3_;
+  br v31_ .b32_ .b33_;
 .b32_:
-  br v9_ .b33_ .b34_;
-.b33_:
-  v35_: int = add v28_ v31_;
-  v16_: int = id v35_;
+  v34_: int = call @fac c1_;
+  v35_: int = id c3_;
+  v28_: int = id v35_;
+.b29_:
+  v36_: bool = eq c1_ c1_;
+  v37_: int = id c3_;
+  br v36_ .b38_ .b39_;
+.b38_:
+  v40_: int = add v28_ v37_;
+  v16_: int = id v40_;
   v4_: int = id v16_;
   print v4_;
   ret;
   jmp .b7_;
-.b34_:
-  v36_: bool = eq c1_ c3_;
-  br v36_ .b37_ .b38_;
-.b37_:
-  v39_: int = call @fac c1_;
-  v40_: int = id c3_;
-  v31_: int = id v40_;
-  v35_: int = add v28_ v31_;
-  v16_: int = id v35_;
+.b39_:
+  v41_: bool = eq c1_ c3_;
+  br v41_ .b42_ .b43_;
+.b42_:
+  v44_: int = call @fac c1_;
+  v45_: int = id c3_;
+  v37_: int = id v45_;
+  v40_: int = add v28_ v37_;
+  v16_: int = id v40_;
   v4_: int = id v16_;
   print v4_;
   ret;
   jmp .b7_;
-.b38_:
-  c41_: int = const -2;
-  c42_: int = const -1;
-  v43_: int = call @fac c42_;
-  v44_: int = call @fac c41_;
-  v45_: int = add v43_ v44_;
-  v40_: int = id v45_;
-  v31_: int = id v40_;
-  v35_: int = add v28_ v31_;
-  v16_: int = id v35_;
+.b43_:
+  c46_: int = const -1;
+  v47_: int = call @fac c46_;
+  c48_: int = const -2;
+  v49_: int = call @fac c48_;
+  v50_: int = add v47_ v49_;
+  v45_: int = id v50_;
+  v37_: int = id v45_;
+  v40_: int = add v28_ v37_;
+  v16_: int = id v40_;
   v4_: int = id v16_;
   print v4_;
   ret;
   jmp .b7_;
-.b30_:
-  v46_: bool = eq c3_ c3_;
-  br v46_ .b47_ .b48_;
-.b47_:
-  v49_: int = call @fac c1_;
-  v50_: int = id c3_;
-  v28_: int = id v50_;
-  v31_: int = id c3_;
-  jmp .b32_;
-.b48_:
-  c51_: int = const -1;
-  v52_: int = call @fac c1_;
-  v53_: int = call @fac c51_;
-  v54_: int = add v52_ v53_;
-  v50_: int = id v54_;
-  v28_: int = id v50_;
-  v31_: int = id c3_;
-  jmp .b32_;
+.b33_:
+  v51_: int = call @fac c1_;
+  c52_: int = const -1;
+  v53_: int = call @fac c52_;
+  v54_: int = add v51_ v53_;
+  v35_: int = id v54_;
+  v28_: int = id v35_;
+  jmp .b29_;
 .b7_:
 }
diff --git a/tests/snapshots/files__fib_recursive-optimize.snap b/tests/snapshots/files__fib_recursive-optimize.snap
index c1fd7b117..be0843c22 100644
--- a/tests/snapshots/files__fib_recursive-optimize.snap
+++ b/tests/snapshots/files__fib_recursive-optimize.snap
@@ -365,12 +365,12 @@ expression: visualization.result
   jmp .b7_;
 .b6_:
   v8_: bool = eq c0_ c3_;
-  v9_: bool = eq c1_ c1_;
-  br v8_ .b10_ .b11_;
-.b10_:
+  br v8_ .b9_ .b10_;
+.b9_:
+  v11_: bool = eq c1_ c1_;
   c12_: int = const 1;
   v13_: int = id c12_;
-  br v9_ .b14_ .b15_;
+  br v11_ .b14_ .b15_;
 .b14_:
   v16_: int = id c3_;
   v4_: int = id v16_;
@@ -402,65 +402,66 @@ expression: visualization.result
   print v4_;
   ret;
   jmp .b7_;
-.b11_:
-  v27_: bool = eq c1_ c3_;
-  v28_: int = id c3_;
-  br v27_ .b29_ .b30_;
-.b29_:
-  v31_: int = id c3_;
-.b32_:
-  br v9_ .b33_ .b34_;
+.b10_:
+  v27_: bool = eq c1_ c1_;
+  v28_: bool = eq c1_ c3_;
+  v29_: int = id c3_;
+  br v28_ .b30_ .b31_;
+.b30_:
+  v32_: int = id c3_;
 .b33_:
-  v35_: int = add v28_ v31_;
-  v16_: int = id v35_;
+  br v27_ .b34_ .b35_;
+.b34_:
+  v36_: int = add v29_ v32_;
+  v16_: int = id v36_;
   v4_: int = id v16_;
   print v4_;
   ret;
   jmp .b7_;
-.b34_:
-  v36_: bool = eq c1_ c3_;
-  br v36_ .b37_ .b38_;
-.b37_:
-  v39_: int = call @fac c1_;
-  v40_: int = id c1_;
-  v31_: int = id v40_;
-  v35_: int = add v28_ v31_;
-  v16_: int = id v35_;
+.b35_:
+  v37_: bool = eq c1_ c3_;
+  br v37_ .b38_ .b39_;
+.b38_:
+  v40_: int = call @fac c1_;
+  v41_: int = id c1_;
+  v32_: int = id v41_;
+  v36_: int = add v29_ v32_;
+  v16_: int = id v36_;
   v4_: int = id v16_;
   print v4_;
   ret;
   jmp .b7_;
-.b38_:
-  c41_: int = const -2;
-  c42_: int = const -1;
-  v43_: int = call @fac c42_;
-  v44_: int = call @fac c41_;
-  v45_: int = add v43_ v44_;
-  v40_: int = id v45_;
-  v31_: int = id v40_;
-  v35_: int = add v28_ v31_;
-  v16_: int = id v35_;
+.b39_:
+  c42_: int = const -2;
+  c43_: int = const -1;
+  v44_: int = call @fac c43_;
+  v45_: int = call @fac c42_;
+  v46_: int = add v44_ v45_;
+  v41_: int = id v46_;
+  v32_: int = id v41_;
+  v36_: int = add v29_ v32_;
+  v16_: int = id v36_;
   v4_: int = id v16_;
   print v4_;
   ret;
   jmp .b7_;
-.b30_:
-  v46_: bool = eq c3_ c3_;
-  br v46_ .b47_ .b48_;
-.b47_:
-  v49_: int = call @fac c1_;
-  v50_: int = id c3_;
-  v28_: int = id v50_;
-  v31_: int = id c3_;
-  jmp .b32_;
+.b31_:
+  v47_: bool = eq c3_ c3_;
+  br v47_ .b48_ .b49_;
 .b48_:
-  c51_: int = const -1;
-  v52_: int = call @fac c1_;
-  v53_: int = call @fac c51_;
-  v54_: int = add v52_ v53_;
-  v50_: int = id v54_;
-  v28_: int = id v50_;
-  v31_: int = id c3_;
-  jmp .b32_;
+  v50_: int = call @fac c1_;
+  v51_: int = id c3_;
+  v29_: int = id v51_;
+  v32_: int = id c3_;
+  jmp .b33_;
+.b49_:
+  c52_: int = const -1;
+  v53_: int = call @fac c1_;
+  v54_: int = call @fac c52_;
+  v55_: int = add v53_ v54_;
+  v51_: int = id v55_;
+  v29_: int = id v51_;
+  v32_: int = id c3_;
+  jmp .b33_;
 .b7_:
 }
diff --git a/tests/snapshots/files__if_invariant_do_pull_out-optimize-sequential.snap b/tests/snapshots/files__if_invariant_do_pull_out-optimize-sequential.snap
index f9777a8be..b4ba43d77 100644
--- a/tests/snapshots/files__if_invariant_do_pull_out-optimize-sequential.snap
+++ b/tests/snapshots/files__if_invariant_do_pull_out-optimize-sequential.snap
@@ -21,25 +21,25 @@ expression: visualization.result
   v3_: int = abs v0;
   c4_: int = const 2;
   v5_: int = mul c4_ v3_;
-  c6_: int = const 3;
-  v7_: int = mul c6_ v3_;
-  br v2_ .b8_ .b9_;
-.b8_:
-  c10_: int = const 4;
-  v11_: int = div v0 c10_;
-  v12_: int = add v11_ v7_;
-  v13_: int = id v12_;
-  print v13_;
+  br v2_ .b6_ .b7_;
+.b6_:
+  c8_: int = const 4;
+  v9_: int = div v0 c8_;
+  v10_: int = add v3_ v5_;
+  v11_: int = add v10_ v9_;
+  v12_: int = id v11_;
+  print v12_;
   ret;
-  jmp .b14_;
-.b9_:
+  jmp .b13_;
+.b7_:
+  v14_: int = add v3_ v5_;
   c15_: int = const 3;
   v16_: int = mul c15_ v0;
   c17_: int = const 5;
   v18_: int = div v16_ c17_;
-  v19_: int = add v18_ v7_;
-  v13_: int = id v19_;
-  print v13_;
+  v19_: int = add v14_ v18_;
+  v12_: int = id v19_;
+  print v12_;
   ret;
-.b14_:
+.b13_:
 }
diff --git a/tests/snapshots/files__if_invariant_do_pull_out-optimize.snap b/tests/snapshots/files__if_invariant_do_pull_out-optimize.snap
index bdf6e8299..3ba8fd933 100644
--- a/tests/snapshots/files__if_invariant_do_pull_out-optimize.snap
+++ b/tests/snapshots/files__if_invariant_do_pull_out-optimize.snap
@@ -24,8 +24,8 @@ expression: visualization.result
   br v2_ .b6_ .b7_;
 .b6_:
   c8_: int = const 4;
-  v9_: int = div v3_ c8_;
-  v10_: int = add v3_ v5_;
+  v9_: int = div v0 c8_;
+  v10_: int = add v0 v5_;
   v11_: int = add v10_ v9_;
   v12_: int = id v11_;
   print v12_;
diff --git a/tests/snapshots/files__if_invariant_dont_pull_out-optimize-sequential.snap b/tests/snapshots/files__if_invariant_dont_pull_out-optimize-sequential.snap
index 3e020d8a1..eb86ad89c 100644
--- a/tests/snapshots/files__if_invariant_dont_pull_out-optimize-sequential.snap
+++ b/tests/snapshots/files__if_invariant_dont_pull_out-optimize-sequential.snap
@@ -21,25 +21,25 @@ expression: visualization.result
   v3_: int = abs v0;
   c4_: int = const 2;
   v5_: int = mul c4_ v3_;
-  c6_: int = const 3;
-  v7_: int = mul c6_ v3_;
-  br v2_ .b8_ .b9_;
-.b8_:
-  v10_: int = sub v7_ v0;
-  c11_: int = const 3;
-  v12_: int = div v10_ c11_;
-  v13_: int = div v0 v12_;
-  v14_: int = id v13_;
-  print v14_;
+  br v2_ .b6_ .b7_;
+.b6_:
+  v8_: int = sub v5_ v0;
+  v9_: int = add v3_ v8_;
+  c10_: int = const 3;
+  v11_: int = div v9_ c10_;
+  v12_: int = div v0 v11_;
+  v13_: int = id v12_;
+  print v13_;
   ret;
-  jmp .b15_;
-.b9_:
-  v16_: int = add v0 v7_;
+  jmp .b14_;
+.b7_:
+  v15_: int = add v3_ v5_;
+  v16_: int = add v0 v15_;
   c17_: int = const 5;
   v18_: int = div v0 c17_;
   v19_: int = div v16_ v18_;
-  v14_: int = id v19_;
-  print v14_;
+  v13_: int = id v19_;
+  print v13_;
   ret;
-.b15_:
+.b14_:
 }
diff --git a/tests/snapshots/files__pull_out_small-optimize-sequential.snap b/tests/snapshots/files__pull_out_small-optimize-sequential.snap
index 8cc566e8b..76a3a9fe1 100644
--- a/tests/snapshots/files__pull_out_small-optimize-sequential.snap
+++ b/tests/snapshots/files__pull_out_small-optimize-sequential.snap
@@ -12,15 +12,19 @@ expression: visualization.result
 .b5_:
   c7_: int = const 20;
   print c7_;
-  v8_: int = id v2_;
+  c8_: int = const 5;
+  v9_: int = mul c8_ v0;
+  v10_: int = id v9_;
   print v2_;
   ret;
-  jmp .b9_;
+  jmp .b11_;
 .b6_:
-  c10_: int = const 20;
-  print c10_;
-  v8_: int = id v2_;
+  c12_: int = const 20;
+  print c12_;
+  c13_: int = const 5;
+  v14_: int = mul c13_ v0;
+  v10_: int = id v14_;
   print v2_;
   ret;
-.b9_:
+.b11_:
 }
diff --git a/tests/snapshots/files__pull_out_small-optimize.snap b/tests/snapshots/files__pull_out_small-optimize.snap
index 8cc566e8b..76a3a9fe1 100644
--- a/tests/snapshots/files__pull_out_small-optimize.snap
+++ b/tests/snapshots/files__pull_out_small-optimize.snap
@@ -12,15 +12,19 @@ expression: visualization.result
 .b5_:
   c7_: int = const 20;
   print c7_;
-  v8_: int = id v2_;
+  c8_: int = const 5;
+  v9_: int = mul c8_ v0;
+  v10_: int = id v9_;
   print v2_;
   ret;
-  jmp .b9_;
+  jmp .b11_;
 .b6_:
-  c10_: int = const 20;
-  print c10_;
-  v8_: int = id v2_;
+  c12_: int = const 20;
+  print c12_;
+  c13_: int = const 5;
+  v14_: int = mul c13_ v0;
+  v10_: int = id v14_;
   print v2_;
   ret;
-.b9_:
+.b11_:
 }