diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-17 14:54:49 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-17 14:54:49 +0200 |
commit | 613848182d167782fa5ee383b0e73b87e5ef1351 (patch) | |
tree | 4745d5acd821e604d82510ebbc097863a271a10f /test | |
parent | 81a2cfe0971ca2456ff04c1e661b9a56279728ac (diff) | |
download | compcert-kvx-613848182d167782fa5ee383b0e73b87e5ef1351.tar.gz compcert-kvx-613848182d167782fa5ee383b0e73b87e5ef1351.zip |
Select condition x < 0 with x unsigned leads to falsev3.9_kvx_fix1
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
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/codegen/comp0.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/monniaux/codegen/comp0.c b/test/monniaux/codegen/comp0.c new file mode 100644 index 00000000..60f8ba77 --- /dev/null +++ b/test/monniaux/codegen/comp0.c @@ -0,0 +1,3 @@ +int toto(unsigned x) { + return (x < 0) ? 1 : 2; +} |