Commits · 83edb54231d9e1f4d453f755a70e51090892d625 · CertiCompil / CompCert-KVX

Apr 17, 2010

xleroy authored 14 years ago

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1321 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

83edb542

Apr 09, 2010

Test bit field of size 32 · bae0ed25

xleroy authored 14 years ago

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1313 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

bae0ed25

Bug fix: infinite loop in cparser/ on bit field of size 32 bits. · d966e01e

xleroy authored 14 years ago

Algorithmic efficiency: in cparser/, precompute sizeof and alignof of composites.
Code cleanup: introduced Cutil.composite_info_{def,decl}

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1312 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

d966e01e

Apr 02, 2010

In cparser/SimplExpr.ml: · e7b82249

xleroy authored 15 years ago

- wrong simplification of && and || in the Set case
- generated nicer code for && and || in the Eval case


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1308 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

e7b82249

Apr 01, 2010
- cparser/AddCasts.ml: forgot to materialize cast at return statement. · c5b0c22b
  xleroy authored 15 years ago
  
  git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1307 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
  c5b0c22b
Mar 28, 2010

Extra volatile test · 939d3eff

xleroy authored 15 years ago

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1297 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

939d3eff

Mar 03, 2010

Suppressed -fall-extensions option, too dangerous wrt flonglong · 54cba6d4
xleroy authored 15 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1275 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```
54cba6d4

Switching to the new C parser/elaborator/simplifier · 891377ce

xleroy authored 15 years ago

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

891377ce