summaryrefslogtreecommitdiff
path: root/backend/Selection.v
Commit message (Expand)AuthorAge
* Optimize integer divisions by positive constants, turning them intoGravatar xleroy2013-07-29
* Treat casts int64 -> float32 as primitive operations instead of twoGravatar xleroy2013-07-03
* Expand 64-bit integer comparisons into 32-bit integer comparisons.Gravatar xleroy2013-04-29
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Remove some useless "Require".Gravatar xleroy2012-12-30
* Merge of branch seq-and-or. See Changelog for details.Gravatar xleroy2012-10-06
* Merge of the newmem branch:Gravatar xleroy2012-05-21
* Take advantage of Cmaskzero and Cmasknotzero.Gravatar xleroy2012-02-24
* Merge of the "volatile" branch:Gravatar xleroy2012-02-04
* Revised handling of annotation statements, and more generally built-in functi...Gravatar xleroy2011-06-13
* Merge of branch "unsigned-offsets":Gravatar xleroy2011-04-09
* Merge of the reuse-temps branch:Gravatar xleroy2010-09-02
* Support for inlined built-ins.Gravatar xleroy2010-06-29
* Merge of the newmem and newextcalls branches:Gravatar xleroy2010-03-07
* Forgot to add some filesGravatar xleroy2009-08-18
* Reorganized the development, modularizing away machine-dependent parts.Gravatar xleroy2008-12-30
* Flag to turn on/off the recognition of fused multiply-add and multiply-subGravatar xleroy2008-07-31
* Fusion partielle de la branche contsem: Gravatar xleroy2008-07-08
* Introduction de l'operation intuoffloat (float -> unsigned int). Pas encore ...Gravatar xleroy2008-05-30
* Meilleure selection pour if ((a && b) != 0), etcGravatar xleroy2008-03-27
* Ajout license, README, copyright noticesGravatar xleroy2008-01-27
* Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...Gravatar xleroy2007-08-28
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".Gravatar xleroy2007-08-04