summaryrefslogtreecommitdiff
path: root/arm/CombineOpproof.v
Commit message (Expand)AuthorAge
* Updated ARM backend wrt new static analyses and optimizations.Gravatar xleroy2014-01-02
* Updated ARM port.Gravatar xleroy2012-07-10
* Update CombineOp for arm and ia32.Gravatar xleroy2012-07-03
* Recombine x = cmp(...); if (x == 1) ...Gravatar xleroy2012-07-01
* CSE: add recognition of some combined operators, conditions, and addressing m...Gravatar xleroy2012-05-26