compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	builtins pour signed div/mod	David Monniaux	2022-02-16	1	-0/+88
\|
*	Merge remote-tracking branch 'origin/kvx-bits' into kvx_fp_division	David Monniaux	2022-02-14	1	-1/+53
\|\
\| *	abs builtins	David Monniaux	2022-02-14	1	-1/+54
\| \|
* \|	modulos	David Monniaux	2022-02-11	1	-0/+44
\| \|
* \|	remove singleoflongu (does not exist)	David Monniaux	2022-02-11	1	-0/+22
\| \|
* \|	fpdivu	David Monniaux	2021-12-17	1	-1/+26
\| \|
* \|	fix assembly syntax	David Monniaux	2021-12-12	1	-0/+8
\|/
*	generate insf	David Monniaux	2021-09-27	1	-32/+32
\|
*	more cases detected	David Monniaux	2021-09-27	1	-1/+33
\|
*	recognize insf (missing one case)	David Monniaux	2021-09-27	1	-0/+23
\|
*	Select condition x < 0 with x unsigned leads to falsev3.9_kvx_fix1	David Monniaux	2021-09-17	1	-3/+105
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Squashed commit of the following: commit 808e72db2022d05a4e34818b33cc9af17aaa4df0 Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> Date: Fri Sep 17 14:53:39 2021 +0200 selectOp for comp0 commit f38e1f15359cceb3c0764635336125a1ceae78ff Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> Date: Fri Sep 17 14:49:45 2021 +0200 SelectOp for ccomp0 ok commit ca969280380a593aef590a1fe2ec6f0fc112c2f5 Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> Date: Fri Sep 17 14:46:01 2021 +0200 progress commit e60a970f541ae6be30ec51cf95d60eb672ade829 Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> Date: Fri Sep 17 14:40:49 2021 +0200 progres sur ltu etc. commit 6f7d51e59a61d43fca06b1b4bad6dedada6e031e Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> Date: Fri Sep 17 14:13:07 2021 +0200 change selection commit c2af349c6dd3e09fec25f3a96e1272377b6450ef Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> Date: Fri Sep 17 14:03:31 2021 +0200 begin rewrite selector
*	replacing omega with lia in some file	Léo Gourdin	2021-03-29	1	-18/+19
\|
*	Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass	David Monniaux	2020-10-18	1	-0/+9
\|\
\| *	centralize if_same	David Monniaux	2020-10-09	1	-6/+0
\| \|
\| *	do not synthesize select if both operands are identical	David Monniaux	2020-10-09	1	-0/+15
\| \|
* \|	Merge branch 'kvx-work' into mppa-RTLpathSE	Cyril SIX	2020-05-28	1	-1/+0
\|/ \| \| \| \|	Adapting the new mppa-RTLpathSE passes into the new Compiler.vexpand framework
*	k1c -> kvx changes	David Monniaux	2020-05-26	1	-0/+1735