 tg74
|
634338dcd2
merge with trunk
|
пре 10 година |
|
tg74
|
3b09397e34
merge with trunk
|
пре 11 година |
 florian
|
709ba5e053
+ introduce cnf_call_never_returns to signal the dfa if a call node never returns
|
пре 12 година |
|
florian
|
5defdf86ba
* handle for-loops correctly if the limits contain the counter variable
|
пре 13 година |
|
florian
|
9955e6b2bf
* dfa fixes by Sergei Gorelkin, resolve #15402
|
пре 15 година |
|
florian
|
a537134603
* set result of ResetDFA, resolves #12757
|
пре 16 година |
|
florian
|
0b5951fa14
+ first full implementation of induction variable strength reduction
|
пре 17 година |
|
florian
|
1c0bd054f4
+ tfornode.simply which removes for loops being never executed
|
пре 17 година |
|
florian
|
369ed493f2
* new node flag nf_modify to mark nodes being read and then written by one load node
|
пре 17 година |
|
florian
|
b180643381
* handle more nodes when creating life info
|
пре 17 година |
|
florian
|
8cc0a04db5
* handle exit(<expr>) correctly in the dfa, resolves #11848
|
пре 17 година |
|
florian
|
a2ac6c698d
* fixed dfa for raise nodes
|
пре 18 година |
|
florian
|
b6cca14944
* proper handling of dummy result node in dfa, resolves #8717 and #8079
|
пре 18 година |
|
florian
|
63b35fdb2e
+ give more sophisticated warnings about uninitalized variables when life info is available
|
пре 18 година |
|
florian
|
2761b9e096
* life info generation works for the whole compiler if exception catching blocks are ignored
|
пре 18 година |
|
florian
|
496d73dc9d
+ dfa for more node types
|
пре 18 година |
|
florian
|
d469e3a7ef
+ do life dfa for exit
|
пре 18 година |
|
florian
|
c0d27b5482
* life info dfa for break and continue
|
пре 18 година |
|
florian
|
62d54389c8
+ life dfa for if, label and goto
|
пре 18 година |
|
florian
|
45cda67f3f
+ first basically working (not all node types yet) dfa implementation determining life information
|
пре 18 година |
|
florian
|
867e00dee3
* backup commit of more dfa stuff
|
пре 18 година |
|
florian
|
87bdf13f9f
+ first draft for dfa
|
пре 18 година |
