projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73f2a4b) | patch
Remove unneeded and gate in gt_combiner
authorMichael Nolan <mtnolan2640@gmail.com>
Fri, 7 Feb 2020 14:58:32 +0000 (09:58 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Fri, 7 Feb 2020 15:00:11 +0000 (10:00 -0500)
commitd24f85a4e5a2a429c5bf4ca65f600367266ebf17
tree074f295a64b7b15cdda7b91934dad73099d789d1tree
parent73f2a4b0606065b9ff213bca1bd7c14acadf2a1dcommit | diff
Remove unneeded and gate in gt_combiner

The and gate that forces the lanes that are not the MSB in a partiton
to 0 is no longer needed because reorder_bits ignores those bits.
src/ieee754/part_cmp/formal/proof_gt.py diff | blob | history
src/ieee754/part_cmp/gt_combiner.py diff | blob | history