Elimination of "alloc" instruction in Caml files and test files.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@946 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- arm/PrintAsm.ml 0 additions, 2 deletionsarm/PrintAsm.ml
- backend/CMlexer.mll 0 additions, 1 deletionbackend/CMlexer.mll
- backend/CMparser.mly 0 additions, 11 deletionsbackend/CMparser.mly
- backend/CMtypecheck.ml 0 additions, 9 deletionsbackend/CMtypecheck.ml
- backend/Linearizeaux.ml 0 additions, 1 deletionbackend/Linearizeaux.ml
- backend/RTLtypingaux.ml 0 additions, 2 deletionsbackend/RTLtypingaux.ml
- powerpc/PrintAsm.ml 0 additions, 2 deletionspowerpc/PrintAsm.ml
- test/cminor/lists.cm 4 additions, 2 deletionstest/cminor/lists.cm
Loading
Please register or sign in to comment