summaryrefslogtreecommitdiff
path: root/backend/Selection.v
Commit message (Expand)AuthorAge
* 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