summary refs log tree commit diff stats
path: root/compiler/dfa.nim
Commit message (Collapse)AuthorAgeFilesLines
* minor refactoringsAndreas Rumpf2019-12-271-9/+1
|
* fixes #12669Araq2019-11-291-11/+26
|
* Cosmetic compiler cleanup (#12718)Clyybber2019-11-281-44/+43
| | | | | | | | | | | | | | | | | | * Cleanup compiler code base * Unify add calls * Unify len invocations * Unify range operators * Fix oversight * Remove {.procvar.} pragma * initCandidate -> newCandidate where reasonable * Unify safeLen calls
* Fix spellings (#12277) [backport]Federico Ceratto2019-09-271-1/+1
|
* fix #12037 (#12089)Clyybber2019-08-301-14/+3
|
* [refactoring] remove unused imports in the compiler and in some stdlib modulesAraq2019-07-181-1/+1
|
* there is only one style -- my styleAraq2019-07-101-29/+29
|
* control flow graph: don't ignore yield statementsAraq2019-07-091-1/+1
|
* fixes #11633Andreas Rumpf2019-07-011-1/+1
|
* increase dfa instruction limit (#11579)cooldome2019-06-241-2/+2
|
* [bugfix] owned closures (#11544)Andreas Rumpf2019-06-201-2/+16
|
* fixes #10963, disallow implicit mixing of strings and ints/floats (#11292)Miran2019-05-211-1/+1
|
* Replace countup(x, y-1) with x ..< yClyybber2019-05-071-1/+1
|
* move analyser: fixes another critical bugAraq2019-04-291-1/+1
|
* make twidgets example green (#11135)Andreas Rumpf2019-04-281-3/+9
|
* fixes #11095 (#11104)Andreas Rumpf2019-04-251-11/+28
| | | * fixes #11095
* added a note about what to not doAndreas Rumpf2019-04-191-0/+10
|
* move analyser is smarter; refs #11053Andreas Rumpf2019-04-191-1/+4
|
* DFA: We are not allowed to take ownership of parametersAraq2019-04-171-1/+2
|
* make move-analysis smarter; see tuse_ownedref_after_move test caseAraq2019-04-161-8/+30
|
* dfa.nim: track object/tuple field accesses more precisely; sink(o.x); ↵Araq2019-04-161-17/+56
| | | | sink(o.y) needs to compile; activate the tuple unpacking transf.nim bugfix
* compute sinks/assignments properly for for-loop iteration variablesAraq2019-04-081-1/+1
|
* more destructor based changes (#10885)Andreas Rumpf2019-03-231-1/+1
| | | | | | | | | | | * mark user defined destructors with sfOverriden to simplify the logic * refactoring in preparation to merge liftings and generic instantiations for destructors * ast: introduce nkHiddenTryStmt for destructor generation in order to be able to optimize better the code later on * renamed 'patterns' switch to 'trmacros' as it was totally misleading before * destructors: introduce tfCheckedForDestructor flag in preparation of strict =destroy checking * test for invalid/too late destructor introductions * liftdestructors: make code robust for nimsuggest * --newruntime works for hello world again * newruntime: code generation for closures
* explicit default values for a leaner codegen, .cursor variables for optimizationAndreas Rumpf2019-03-071-39/+0
|
* dfa.nim: continues are badAndreas Rumpf2019-03-061-2/+3
|
* introduce tfHasOwned for fast must-move checkings; removed tfAcyclic as the ↵Andreas Rumpf2019-03-051-1/+1
| | | | GC has ignored this hint for quite some time now
* DFA: fixes wrong 'def' instruction emissionAndreas Rumpf2019-03-051-5/+6
|
* destructors/dfa: more documentationAndreas Rumpf2019-03-041-3/+5
|
* isLastRead regression fix (#10463)cooldome2019-01-281-6/+9
| | | | | | * fixes #10462 * add a test
* control flow graphs: introduce 'join' points for easy analyses based on ↵Andreas Rumpf2019-01-231-152/+391
| | | | abstract interpretation
* improve vmgen.codeListing formatting (#10306)Timothee Cour2019-01-151-1/+1
| | | | | * improve vmgen.codeListing formatting * address comments
* use control flow graph for sink paramsAndrii Riabushenko2018-12-091-1/+1
|
* destructors; fixes #9594Araq2018-11-021-2/+12
|
* DFA: implement exception handling properlyAndreas Rumpf2018-10-141-2/+20
|
* dfa.nim: clarify exception handlingAndreas Rumpf2018-10-131-1/+4
|
* compiler: cleanup dfa.nimAndreas Rumpf2018-10-121-21/+25
|
* don't require an implementation for procs marked with .error; activate the ↵Araq2018-09-291-0/+1
| | | | move optimizer for destructors
* remove more global variables in the Nim compilerAndreas Rumpf2018-05-271-1/+1
|
* make tests green againAndreas Rumpf2018-05-181-1/+2
|
* preparations of making compiler/msgs.nim free of global variablesAndreas Rumpf2018-05-171-1/+1
|
* transf and vmgen compile againAndreas Rumpf2018-05-121-7/+7
|
* lambda lifting compiles againAndreas Rumpf2018-05-121-2/+2
|
* introduce nkTupleConstr AST node for unary tuple construction; breaking changeAndreas Rumpf2018-04-131-1/+1
|
* DFA: code cleanups and some support for consuming operationsAndreas Rumpf2017-12-271-109/+9
|
* DFA attempt to capture the essence of linear typesAndreas Rumpf2017-12-231-2/+21
|
* DFA works for simple examplesAndreas Rumpf2017-12-211-9/+17
|
* next steps in giving Nim a decent DFA infrastructureAraq2017-12-181-5/+83
|
* Fixed koch warning when installing Nim. (#6898)Gerke Max Preussner2017-12-121-3/+3
|
* deprecated unary '<'Andreas Rumpf2017-10-291-2/+2
|
* initial version of the new untested destructor passAndreas Rumpf2017-10-121-4/+4
|