summaryrefslogtreecommitdiff
path: root/ia32/CombineOpproof.v
Commit message (Expand)AuthorAge
* Remove some useless "Require".Gravatar xleroy2012-12-30
* Update CombineOp for arm and ia32.Gravatar xleroy2012-07-03
* Recombine x = cmp(...); if (x == 1) ...Gravatar xleroy2012-07-01
* Removed Oandimm, etc, cases, because of 2-address constraints...Gravatar xleroy2012-05-29
* CSE: add recognition of some combined operators, conditions, and addressing m...Gravatar xleroy2012-05-26