handle regression

vyperlang · Jan 14, 2025 · 18feed6 · 18feed6
1 parent 7cc3d08
commit 18feed6
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/vyper/venom/passes/algebraic_optimization.py b/vyper/venom/passes/algebraic_optimization.py
@@ -185,6 +185,15 @@ def _algebraic_opt_pass(self):
         for bb in self.function.get_basic_blocks():
             for inst in bb.instructions:
                 self._handle_inst_peephole(inst)
+                self._flip_inst(inst)
+
+
+    def _flip_inst(self, inst: IRInstruction):
+        ops = inst.operands
+        # improve code. this seems like it should be properly handled by
+        # better heuristics in DFT.
+        if (inst.flippable and self._is_lit(ops[0]) and not self._is_lit(ops[1])):
+            inst.flip()
 
     def _handle_inst_peephole(self, inst: IRInstruction):
         if inst.output is None: