aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Z/ArithmeticSimplifier.v
Commit message (Expand)AuthorAge
* remove old pipelineGravatar Andres Erbsen2019-01-09
* Add reflective compose, notation for Z.Syntax.{Expr,Interp}Gravatar Jason Gross2017-10-12
* Convert adc to sbb when doing [0 - x]Gravatar Jason Gross2017-06-25
* Revert "Convert adc to sbb when doing [0 - x]"Gravatar Jason Gross2017-06-25
* Convert adc to sbb when doing [0 - x]Gravatar Jason Gross2017-06-24
* Propogate neg through constant multiplicationGravatar Jason Gross2017-06-24
* Also key adc->sbb on the carry-bit being negativeGravatar Jason Gross2017-06-20
* Better simplification of mulsplitGravatar Jason Gross2017-06-18
* Better test for simplifierGravatar Jason Gross2017-06-18
* Stronger simplification of adc too add when we can prove the carry is 0Gravatar Jason Gross2017-06-18
* Be a bit more forceful in eliminating zeros in arith simplGravatar Jason Gross2017-06-17
* More arithmetic simplification for adc, mulGravatar Jason Gross2017-06-17
* Add extra simplification to simplifier for adcGravatar Jason Gross2017-06-17
* Eliminate well-bounded IdWithAlt from final outputGravatar Jason Gross2017-06-15
* Add constant-pushing IdWithAlt optimizationGravatar Jason Gross2017-06-14
* Reify Z.mul_with_split_at_bitwidthGravatar Jason Gross2017-06-13
* Handle IdWithAlt in the simplifierGravatar Jason Gross2017-06-12
* Add dummy version of IdWithAlt to compilersGravatar Jason Gross2017-06-11
* Add compiler optimization for [Zselect (-x) _ _]Gravatar Jason Gross2017-05-20
* Get sbb conversion working in the pipelineGravatar Jason Gross2017-05-20
* Add adc -> sbb to arithmetic simpliferGravatar Jason Gross2017-05-20
* Add SubWithGetBorrow to reflective machineryGravatar Jason Gross2017-05-20
* Add reflective machinery for adc, zselectGravatar Jason Gross2017-05-17
* rename-everythingGravatar Andres Erbsen2017-04-06