aboutsummaryrefslogtreecommitdiffstats
path: root/arm/SelectOp.vp
Commit message (Expand)AuthorAgeFilesLines
* helpers broke compilationDavid Monniaux2019-07-191-3/+1
* Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-191-6/+9
|\
| * Give formal semantics to some built-in functions and run-time functionsXavier Leroy2019-07-171-5/+7
| * ARM: select is not supported at type TlongXavier Leroy2019-06-061-1/+8
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-031-0/+10
|\ \
| * | ARM: select is not supported at type TlongXavier Leroy2019-06-011-1/+8
| |/
| * Implement a `Osel` operation for ARMXavier Leroy2019-05-201-0/+3
* | ARM repasseDavid Monniaux2019-03-221-0/+8
|/
* Extend builtin arguments with a pointer addition operator, continuedXavier Leroy2017-07-061-0/+1
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-031-3/+3
* RISC-V port and assorted changesXavier Leroy2017-04-281-0/+3
* Use "Local" as prefixXavier Leroy2017-02-131-1/+1
* Update ARM port. Not tested yet.Xavier Leroy2016-10-251-5/+5
* Upgrade the ARM port to the new builtins.Xavier Leroy2015-08-241-9/+11
* Updating the PowerPC and ARM ports.Xavier Leroy2015-03-271-0/+13
* ARM port: add support for Thumb2. To be tested.xleroy2014-07-271-3/+9
* Merge of "newspilling" branch:xleroy2014-07-231-2/+32
* Instead of having two expansions of shrximm (one in SelectOp, one in Asmgen),...xleroy2014-05-281-8/+1
* Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...xleroy2014-04-091-7/+36
* Force dependency of SelectOp on Compopts.xleroy2014-03-031-0/+1
* Eradication of Mfloat64al32, continued.xleroy2014-01-121-2/+0
* Updated ARM backend wrt new static analyses and optimizations.xleroy2014-01-021-2/+2
* Optimize integer divisions by positive constants, turning them intoxleroy2013-07-291-27/+14
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-0/+6
* Remove some useless "Require".xleroy2012-12-301-5/+0
* Merge of branch seq-and-or. See Changelog for details.xleroy2012-10-061-43/+30
* - Revised non-overflow constraints on memory injections so that xleroy2012-07-231-0/+2
* CSE: add recognition of some combined operators, conditions, and addressing m...xleroy2012-05-261-1/+1
* Take advantage of Cmaskzero and Cmasknotzero.xleroy2012-02-241-1/+1
* Merge of the "volatile" branch:xleroy2012-02-041-2/+15
* Added volatile_read_global and volatile_store_global builtins.xleroy2012-01-151-0/+444
generated by cgit (git 2.34.1) at 2024-05-08 11:40:36 +0000