--2c--stack: fix a bug occuring when the accumulator of a fillred is passed by adress
e.g., for arrays. No test actually catches this bug.
Showing
- src/lic2soc.ml 3 additions, 3 deletionssrc/lic2soc.ml
- src/lv6MainArgs.ml 6 additions, 6 deletionssrc/lv6MainArgs.ml
- src/socPredef2cHeap.ml 3 additions, 3 deletionssrc/socPredef2cHeap.ml
- src/socPredef2cStack.ml 37 additions, 12 deletionssrc/socPredef2cStack.ml
- test/lus2lic.sum 14 additions, 14 deletionstest/lus2lic.sum
- test/lus2lic.time 9 additions, 9 deletionstest/lus2lic.time
- test/should_work/calculs_max.lus 3 additions, 3 deletionstest/should_work/calculs_max.lus
Loading
Please register or sign in to comment