soc2c: Inline simple operators (+,-,*, and, etc.) in the generated C code.
Add an option --to-c-dont-inline-predef to get the previous behavior.
Showing
- Makefile 4 additions, 9 deletionsMakefile
- _oasis 0 additions, 1 deletion_oasis
- src/lv6MainArgs.ml 9 additions, 1 deletionsrc/lv6MainArgs.ml
- src/lv6MainArgs.mli 1 addition, 0 deletionssrc/lv6MainArgs.mli
- src/soc2cPredef.ml 86 additions, 369 deletionssrc/soc2cPredef.ml
- src/soc2cPredef.mli 11 additions, 0 deletionssrc/soc2cPredef.mli
- src/soc2cUtil.ml 17 additions, 6 deletionssrc/soc2cUtil.ml
- src/soc2cUtil.mli 2 additions, 2 deletionssrc/soc2cUtil.mli
- test/Makefile 3 additions, 3 deletionstest/Makefile
- test/lus2lic.sum 14 additions, 14 deletionstest/lus2lic.sum
- test/lus2lic.time 9 additions, 9 deletionstest/lus2lic.time
- todo.org 7 additions, 0 deletionstodo.org
- utils/compare_exec_and_2c 1 addition, 1 deletionutils/compare_exec_and_2c
- utils/test_lus2lic_no_node 1 addition, 1 deletionutils/test_lus2lic_no_node
- utils/test_lus2lic_no_node_rdbg 1 addition, 1 deletionutils/test_lus2lic_no_node_rdbg
Loading
Please register or sign in to comment