qbe

commit 288613f0d6c3a5667b81e6158c64a612a1f389b7
parent c07e0bdcef04bb3e24bf1ea9e3bf7b067bd26cc4
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date:   Wed, 25 Mar 2015 16:26:47 -0400

expect reg in brz, might not be true

Diffstat:
M
lo2.ml
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lo2.ml b/lo2.ml
@@ -476,7 +476,7 @@ let codegen (p: mprog): string =
     done;
 
     begin match p.(b).bb_jmp with
-    | `Brz ((LReg _ as r), b1, b2) when b1 >= 0 && b2 >= 0 ->
+    | `Brz (r, b1, b2) when b1 >= 0 && b2 >= 0 ->
       oins 0x85 (regn r) (regn r);
       if b1 = b+1 then
         (outb 0x0f; outb 0x85; outs (label b2))