Skip to content

Commit

Permalink
snapshots
Browse files Browse the repository at this point in the history
  • Loading branch information
@oflatt
oflatt committed Feb 11, 2025
1 parent 531450c commit 8ad0fc3
Show file tree
Hide file tree
Showing 4 changed files with 66 additions and 230 deletions.
208 changes: 47 additions & 161 deletions tests/snapshots/files__fib_recursive-optimize-sequential.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -91,7 +91,6 @@ expression: visualization.result
ret v4_;
jmp .b7_;
.b48_:
<<<<<<< HEAD
v50_: bool = eq c44_ v0;
br v50_ .b51_ .b52_;
.b51_:
Expand All @@ -100,23 +99,11 @@ expression: visualization.result
v46_: int = id v54_;
v49_: int = add v36_ v46_;
v23_: int = id v49_;
=======
c51_: int = const -3;
v52_: int = call @fac c51_;
c53_: int = const -4;
v54_: int = call @fac c53_;
v55_: int = add v52_ v54_;
v50_: int = id v55_;
v41_: int = id v50_;
v45_: int = add v38_ v41_;
v23_: int = id v45_;
>>>>>>> cd71c3e1 (snapshots)
v12_: int = id v23_;
v15_: int = id v0;
v4_: int = id v15_;
ret v4_;
jmp .b7_;
<<<<<<< HEAD
.b52_:
c55_: int = const -3;
v56_: int = call @fac c55_;
Expand All @@ -141,27 +128,6 @@ expression: visualization.result
v43_: int = id v64_;
v36_: int = id v43_;
jmp .b37_;
=======
.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 -2;
v62_: int = call @fac c61_;
c63_: int = const -3;
v64_: int = call @fac c63_;
v65_: int = add v62_ v64_;
v60_: int = id v65_;
v38_: int = id v60_;
v41_: int = id v0;
jmp .b42_;
>>>>>>> cd71c3e1 (snapshots)
.b10_:
v65_: int = sub v0 c3_;
v66_: bool = eq c1_ v65_;
Expand Down Expand Up @@ -217,7 +183,6 @@ expression: visualization.result
v4_: int = id v15_;
ret v4_;
jmp .b7_;
<<<<<<< HEAD
.b94_:
c97_: int = const -1;
v98_: int = call @fac c97_;
Expand All @@ -230,40 +195,6 @@ expression: visualization.result
v80_: int = id v91_;
v83_: int = add v67_ v80_;
v15_: int = id v83_;
=======
.b88_:
c91_: int = const -1;
v92_: int = call @fac c91_;
c93_: int = const -2;
v94_: int = call @fac c93_;
v95_: int = add v92_ 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_;
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_;
.b105_:
v107_: int = add v100_ v103_;
v85_: int = id v107_;
v73_: int = id v85_;
v77_: int = add v70_ v73_;
v15_: int = id v77_;
>>>>>>> cd71c3e1 (snapshots)
v4_: int = id v15_;
ret v4_;
jmp .b7_;
Expand Down Expand Up @@ -337,7 +268,6 @@ expression: visualization.result
v133_: bool = eq c1_ v65_;
br v133_ .b134_ .b135_;
.b134_:
<<<<<<< HEAD
v136_: int = call @fac c1_;
v137_: int = id v65_;
v74_: int = id v137_;
Expand Down Expand Up @@ -375,54 +305,6 @@ expression: visualization.result
.b157_:
v158_: bool = eq c3_ v153_;
br v158_ .b159_ .b160_;
=======
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 -1;
v142_: int = call @fac c141_;
c143_: int = const -2;
v144_: int = call @fac c143_;
v145_: int = add v142_ 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_;
>>>>>>> cd71c3e1 (snapshots)
.b159_:
v161_: int = call @fac c1_;
v162_: int = id c3_;
Expand Down Expand Up @@ -503,61 +385,65 @@ expression: visualization.result
ret;
jmp .b7_;
.b10_:
v27_: bool = eq c1_ c3_;
v28_: int = id c3_;
br v27_ .b29_ .b30_;
v27_: bool = eq c1_ c1_;
v28_: bool = eq c1_ c3_;
v29_: int = id c3_;
br v28_ .b30_ .b31_;
.b30_:
v31_: bool = eq c3_ c3_;
br v31_ .b32_ .b33_;
.b32_:
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_;
v32_: int = id c3_;
.b33_:
br v27_ .b34_ .b35_;
.b34_:
v36_: int = add v29_ v32_;
v16_: int = id v36_;
v4_: int = id v16_;
print v4_;
ret;
jmp .b7_;
.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_;
.b35_:
v37_: bool = eq c1_ c3_;
br v37_ .b38_ .b39_;
.b38_:
v40_: int = call @fac c1_;
v41_: int = id c3_;
v32_: int = id v41_;
v36_: int = add v29_ v32_;
v16_: int = id v36_;
v4_: int = id v16_;
print v4_;
ret;
jmp .b7_;
.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_;
.b39_:
c42_: int = const -1;
v43_: int = call @fac c42_;
c44_: int = const -2;
v45_: int = call @fac c44_;
v46_: int = add v43_ 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_;
.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_;
.b31_:
v47_: bool = eq c3_ c3_;
br v47_ .b48_ .b49_;
.b48_:
v50_: int = call @fac c1_;
v51_: int = id c3_;
v29_: int = id v51_;
v32_: int = id c3_;
jmp .b33_;
.b49_:
v52_: int = call @fac c1_;
c53_: int = const -1;
v54_: int = call @fac c53_;
v55_: int = add v52_ v54_;
v51_: int = id v55_;
v29_: int = id v51_;
v32_: int = id c3_;
jmp .b33_;
.b7_:
}
32 changes: 7 additions & 25 deletions tests/snapshots/files__if_invariant_do_pull_out-optimize-sequential.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,45 +19,27 @@ expression: visualization.result
c1_: int = const 0;
v2_: bool = gt v0 c1_;
v3_: int = abs v0;
c4_: int = const 3;
c4_: int = const 2;
v5_: int = mul c4_ v3_;
br v2_ .b6_ .b7_;
.b6_:
c8_: int = const 4;
v9_: int = div v0 c8_;
<<<<<<< HEAD
v10_: int = add v3_ v5_;
v11_: int = add v10_ v9_;
v12_: int = id v11_;
print v12_;
ret;
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 v14_ v18_;
c14_: int = const 3;
v15_: int = mul c14_ v0;
c16_: int = const 5;
v17_: int = div v15_ c16_;
v18_: int = add v3_ v5_;
v19_: int = add v17_ v18_;
v12_: int = id v19_;
print v12_;
ret;
.b13_:
=======
v10_: int = add v5_ v9_;
v11_: int = id v10_;
print v11_;
ret;
jmp .b12_;
.b7_:
c13_: int = const 3;
v14_: int = mul c13_ v0;
c15_: int = const 5;
v16_: int = div v14_ c15_;
v17_: int = add v16_ v5_;
v11_: int = id v17_;
print v11_;
ret;
.b12_:
>>>>>>> 7a1f7b2c (snapshots, fix another bug)
}
35 changes: 11 additions & 24 deletions tests/snapshots/files__if_invariant_do_pull_out-optimize.snap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,40 +19,27 @@ expression: visualization.result
c1_: int = const 0;
v2_: bool = gt v0 c1_;
v3_: int = abs v0;
c4_: int = const 3;
c4_: int = const 2;
v5_: int = mul c4_ v3_;
br v2_ .b6_ .b7_;
.b6_:
c8_: int = const 4;
<<<<<<< HEAD
<<<<<<< HEAD
v9_: int = div v0 c8_;
v10_: int = add v0 v5_;
=======
<<<<<<< HEAD
v9_: int = div v3_ c8_;
v10_: int = add v3_ v5_;
>>>>>>> 7a1f7b2c (snapshots, fix another bug)
v11_: int = add v10_ v9_;
v12_: int = id v11_;
print v12_;
=======
=======
>>>>>>> cd71c3e1 (snapshots)
v9_: int = div v0 c8_;
v10_: int = add v5_ v9_;
v11_: int = id v10_;
print v11_;
ret;
jmp .b12_;
jmp .b13_;
.b7_:
c13_: int = const 3;
v14_: int = mul c13_ v0;
c15_: int = const 5;
v16_: int = div v14_ c15_;
v17_: int = add v16_ v5_;
v11_: int = id v17_;
print v11_;
v14_: int = sub v5_ v0;
c15_: int = const 3;
v16_: int = mul c15_ v0;
c17_: int = const 5;
v18_: int = div v16_ c17_;
v19_: int = add v14_ v18_;
v12_: int = id v19_;
print v12_;
ret;
.b12_:
.b13_:
}
Loading

0 comments on commit 8ad0fc3

Please sign in to comment.