Fix the L2lExpandNodes pass, that was buggy wrt clock params and arguments.
The bug was appearing a node was called on a non base clock that was existing in the called nodes (name clash). Typically, it occurs on recursive node called on some non-trivial clocks. Also, use maps instead of list to hold the substitution between params and args.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/evalClock.ml 2 additions, 2 deletionssrc/evalClock.ml
- src/l2lCheckKcgKeyWord.ml 17 additions, 14 deletionssrc/l2lCheckKcgKeyWord.ml
- src/l2lExpandArrays.ml 2 additions, 2 deletionssrc/l2lExpandArrays.ml
- src/l2lExpandMetaOp.ml 2 additions, 2 deletionssrc/l2lExpandMetaOp.ml
- src/l2lExpandNodes.ml 153 additions, 88 deletionssrc/l2lExpandNodes.ml
- src/l2lNoWhenNot.ml 32 additions, 16 deletionssrc/l2lNoWhenNot.ml
- src/l2lWhenOnId.ml 3 additions, 3 deletionssrc/l2lWhenOnId.ml
- src/lic.ml 4 additions, 3 deletionssrc/lic.ml
- src/licDump.ml 2 additions, 6 deletionssrc/licDump.ml
- src/licPrg.ml 7 additions, 7 deletionssrc/licPrg.ml
- src/lv6Compile.ml 3 additions, 3 deletionssrc/lv6Compile.ml
- src/lv6Id.ml 8 additions, 3 deletionssrc/lv6Id.ml
- src/lv6Id.mli 2 additions, 1 deletionsrc/lv6Id.mli
- src/lv6MainArgs.ml 1 addition, 2 deletionssrc/lv6MainArgs.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/socUtils.ml 1 addition, 1 deletionsrc/socUtils.ml
- test/lus2lic.sum 12 additions, 12 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment