Moved loop iteration analysis into its own file; allowed state edge passthrough of loops that are confirmed to terminate. It's not visible in the snapshots, but if you look at the optimized RVSDG for loop_pass_through.bril you can see the state edge moved out.
Alex-Fischman
commented
5 months ago
Moved loop iteration analysis into its own file; allowed state edge passthrough of loops that are confirmed to terminate. It's not visible in the snapshots, but if you look at the optimized RVSDG for
loop_pass_through.brilyou can see the state edge moved out.