Add a --2c-stack option that uses the stack instead of the heap to transfer I/O
when calling soc. Do not work all the times (eg, with arrays it generates C code that does not compile). cf next changes.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/filenameExtras.ml 2 additions, 1 deletionsrc/filenameExtras.ml
- src/lic2soc.ml 3 additions, 12 deletionssrc/lic2soc.ml
- src/lv6MainArgs.ml 24 additions, 7 deletionssrc/lv6MainArgs.ml
- src/lv6MainArgs.mli 7 additions, 3 deletionssrc/lv6MainArgs.mli
- src/soc.ml 1 addition, 1 deletionsrc/soc.ml
- src/soc2c.ml 107 additions, 90 deletionssrc/soc2c.ml
- src/soc2cDep.ml 44 additions, 15 deletionssrc/soc2cDep.ml
- src/soc2cDep.mli 12 additions, 5 deletionssrc/soc2cDep.mli
- src/soc2cExtern.ml 4 additions, 3 deletionssrc/soc2cExtern.ml
- src/soc2cHeap.ml 40 additions, 1 deletionsrc/soc2cHeap.ml
- src/soc2cHeap.mli 5 additions, 1 deletionsrc/soc2cHeap.mli
- src/soc2cIdent.ml 1 addition, 1 deletionsrc/soc2cIdent.ml
- src/soc2cStack.ml 194 additions, 0 deletionssrc/soc2cStack.ml
- src/soc2cStack.mli 41 additions, 0 deletionssrc/soc2cStack.mli
- src/soc2cUtil.ml 6 additions, 3 deletionssrc/soc2cUtil.ml
- src/soc2cUtil.mli 3 additions, 1 deletionsrc/soc2cUtil.mli
- src/socPredef2cHeap.ml 2 additions, 1 deletionsrc/socPredef2cHeap.ml
- src/socPredef2cStack.ml 300 additions, 0 deletionssrc/socPredef2cStack.ml
- src/socPredef2cStack.mli 15 additions, 0 deletionssrc/socPredef2cStack.mli
Loading
Please register or sign in to comment