diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-25 19:41:32 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-25 19:41:32 +0100 |
| commit | 9b65e770ec4dd28b668c53ff9c4d377dcab76d2e (patch) | |
| tree | 5784d3318a965b2abd3a628273f06bacfb190017 /cpu/alu.ml | |
| parent | b9364facba832f90ea5ac55ddb714acb359c3375 (diff) | |
| download | SystDigit-Projet-9b65e770ec4dd28b668c53ff9c4d377dcab76d2e.tar.gz SystDigit-Projet-9b65e770ec4dd28b668c53ff9c4d377dcab76d2e.zip | |
Implémente les années bissextiles.
Diffstat (limited to 'cpu/alu.ml')
| -rw-r--r-- | cpu/alu.ml | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -284,7 +284,8 @@ let alu_comparer n f0 f a b = 1 2 lt unsigned 1 3 le unsigned *) - let eq_ne = mux (f ** 0) (eq_n n a b) (ne_n n a b) in + let eq_a_b = eq_n n a b in + let eq_ne = mux (f ** 0) (eq_a_b) (not eq_a_b) in let lte_signed = mux (f ** 0) (lt_n n a b) (le_n n a b) in let lte_unsigned = mux (f ** 0) (ult_n n a b) (ule_n n a b) in let lte = mux (f ** 1) lte_signed lte_unsigned in |