- 1 todo

ir/analysis.c

@@ -2,6 +2,14 @@
 
 #include "ir.h"
 
+
+bool vx_IrOp_after(vx_IrOp *op, vx_IrOp *after) {
+    for (; op; op = op->next)
+        if (op == after)
+            return true;
+    return false;
+}
+
 bool vx_IrBlock_vardecl_is_in_ins(vx_IrBlock *block, vx_IrVar var) {
     vx_IrBlock *root = vx_IrBlock_root(block);
     for (size_t k = 0; k < root->ins_len; k ++) {

ir/ir.h

@@ -461,6 +461,7 @@ bool vx_IrOp_is_volatile(vx_IrOp *op);
 size_t vx_IrOp_inline_cost(vx_IrOp *op);
 void vx_IrOp_steal_states(vx_IrOp *dest, const vx_IrOp *src);
 bool vx_IrOp_is_tail(vx_IrOp *op);
+bool vx_IrOp_after(vx_IrOp *op, vx_IrOp *after);
 
 struct IrStaticIncrement {
     bool detected;

ir/opt/ll_jumps.c

@@ -2,6 +2,7 @@
 
 #include "../opt.h"
 
+
 // we go trough all ops between the jump and the label
 // if all of them have no effect (labels, nops), we can remove the jump instruction
 static void part1(vx_IrBlock *block) {
@@ -17,8 +18,7 @@ static void part1(vx_IrBlock *block) {
         if (decl->parent != op->parent)
             continue;
 
-        // TODO: SHOULD NOT WORK
-        if (decl < op) // can't optimize if label decl before this decl
+        if (vx_IrOp_after(decl, op)) // can't optimize if label decl before this decl
             continue;
 
         bool can_opt = true;