diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-04-10 18:02:28 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-09-15 23:01:27 -0400 |
| commit | 93ca9b1152cc64b0b08b58a7c51012e8542cbff3 (patch) | |
| tree | 76dae4787e5f19ffa69bff7c9c5cb8ce7d90ba0a /lo2.ml | |
| parent | df642dc07aa157c03b8979ad3701c659411ae70d (diff) | |
| download | roux-93ca9b1152cc64b0b08b58a7c51012e8542cbff3.tar.gz | |
restore addition in test
Diffstat (limited to 'lo2.ml')
| -rw-r--r-- | lo2.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) } |