 Jonas Maebe
|
ba1b4b1c92
+ support for verifying whether a case statements handles all possibilities
|
há 6 anos atrás |
|
Jonas Maebe
|
281b3ad276
* fix case completeness and unreachable code warnings in compiler that would
|
há 6 anos atrás |
|
Jonas Maebe
|
170ec00348
- removed withnode (was no longer used since a very long time)
|
há 6 anos atrás |
 pierre
|
8cd55d4603
Use longint type instead of AWord for Initial parameter in CalcExecutionWeigths (to avoid range error for avr compiler)
|
há 6 anos atrás |
 yury
|
bf4eda478d
* SetExecutionWeight(): Set execution weight also for nodes with special handling. Minor code cleanup/improvements.
|
há 6 anos atrás |
 florian
|
75251913b1
* properly pass execution weight in SetExecutionWeight
|
há 7 anos atrás |
|
florian
|
5dda0f5c74
* patch by Pierre to fix warnings which prevent cross building
|
há 7 anos atrás |
|
florian
|
f08d3fdf8f
* moved execution weight calculation into a separate pass, so the info is available already available before the code generation pass if needed
|
há 7 anos atrás |
|
florian
|
730a3c2666
+ PrintNodeDFA writes also the defsum
|
há 9 anos atrás |
|
florian
|
b1ee6f282c
* set successor node for load nodes as well, they can be generated when inlining
|
há 11 anos atrás |
|
florian
|
99eadb91b3
* run CheckAndWarn to get proper locations for warnings about uninitialized variables
|
há 11 anos atrás |
|
florian
|
89f34965e9
* fix dfa of for nodes, loopiteration node introduced to get proper life information for the loop
|
há 11 anos atrás |
|
florian
|
1f05011113
* set successor of blocknodes properly
|
há 11 anos atrás |
|
florian
|
b3c2a8ddb1
* set always resultnode as last node
|
há 11 anos atrás |
|
florian
|
0af7a6f92c
+ has_life_info
|
há 12 anos atrás |
|
florian
|
709ba5e053
+ introduce cnf_call_never_returns to signal the dfa if a call node never returns
|
há 12 anos atrás |
|
florian
|
db196d76c2
+ strength reduction for array accesses inside for loops
|
há 17 anos atrás |
|
florian
|
61dbf89bdb
* set successor properly for for-nodes
|
há 17 anos atrás |
|
florian
|
63b35fdb2e
+ give more sophisticated warnings about uninitalized variables when life info is available
|
há 18 anos atrás |
|
florian
|
2761b9e096
* life info generation works for the whole compiler if exception catching blocks are ignored
|
há 18 anos atrás |
|
florian
|
496d73dc9d
+ dfa for more node types
|
há 18 anos atrás |
|
florian
|
d469e3a7ef
+ do life dfa for exit
|
há 18 anos atrás |
|
florian
|
62d54389c8
+ life dfa for if, label and goto
|
há 18 anos atrás |
|
florian
|
45cda67f3f
+ first basically working (not all node types yet) dfa implementation determining life information
|
há 18 anos atrás |
|
florian
|
867e00dee3
* backup commit of more dfa stuff
|
há 18 anos atrás |
|
florian
|
87bdf13f9f
+ first draft for dfa
|
há 18 anos atrás |
