diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-03-25 16:26:47 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-03-25 16:26:47 -0400 |
| commit | 288613f0d6c3a5667b81e6158c64a612a1f389b7 (patch) | |
| tree | 397458abb623398f07287e003c718289ed32a1d1 | |
| parent | c07e0bdcef04bb3e24bf1ea9e3bf7b067bd26cc4 (diff) | |
| download | roux-288613f0d6c3a5667b81e6158c64a612a1f389b7.tar.gz | |
expect reg in brz, might not be true
| -rw-r--r-- | lo2.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |