commit 93ca9b1152cc64b0b08b58a7c51012e8542cbff3
parent df642dc07aa157c03b8979ad3701c659411ae70d
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Fri, 10 Apr 2015 18:02:28 -0400
restore addition in test
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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)
}