From 93ca9b1152cc64b0b08b58a7c51012e8542cbff3 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Fri, 10 Apr 2015 18:02:28 -0400
Subject: [PATCH] restore addition in test
---
lo2.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lo2.ml b/lo2.ml
index 4595c99..7911689 100644
--- a/lo2.ml
+++ b/lo2.ml
@@ -631,7 +631,7 @@ let psum: iprog =
|]
; bb_inss =
[| `Bop (IRPhi (1, 0), Sub, IRIns (0, 1)) (* n1 = n - 1 *)
- ; `Bop (IRPhi (1, 1), Div, IRPhi (1, 0)) (* s1 = s + n *)
+ ; `Bop (IRPhi (1, 1), Add, IRPhi (1, 0)) (* s1 = s + n *)
|]
; bb_jmp = `Brz (IRIns (1, 0), 2, 1)
}