From 288613f0d6c3a5667b81e6158c64a612a1f389b7 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Wed, 25 Mar 2015 16:26:47 -0400
Subject: expect reg in brz, might not be true

---
 lo2.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lo2.ml b/lo2.ml
index 0f51a10..8623fff 100644
--- 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))
-- 
cgit 1.4.1