diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-25 20:43:52 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-27 17:27:07 +0100 |
| commit | 7d385de8172a961c7a48ca974442b5227ac62f8e (patch) | |
| tree | ef6ab3b23811b6e9c66d1814a52cb68d2faafafc /validation/optim/fact-and-shift.c | |
| parent | 6661a9c4d82042bb65d1ae3bbe7f24cafafdf5e4 (diff) | |
| download | sparse-dev-7d385de8172a961c7a48ca974442b5227ac62f8e.tar.gz | |
factorize (x OP1 z) OP2 (y OP1 z) into (x OP2 y) OP1 z
Factorize common distributive operations:
(x * z) + (y * z) --> (x + y) * z
(x | z) & (y | z) --> (x & y) | z
(x & z) | (y & z) --> (x | y) & z
(x & z) ^ (y & z) --> (x ^ y) & z
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/fact-and-shift.c')
0 files changed, 0 insertions, 0 deletions
