Jannis Christopher Köhl
|
890fae9c60
|
Fix rebased CastKind
|
2022-11-07 10:35:22 +01:00 |
|
Jannis Christopher Köhl
|
5696d06e22
|
Use the same is_enabled as the current const prop
|
2022-11-07 10:35:21 +01:00 |
|
Jannis Christopher Köhl
|
111324e17c
|
Prevent registration inside references if target is !Freeze
|
2022-11-07 10:35:20 +01:00 |
|
Jannis Christopher Köhl
|
7ab1ba95de
|
Remove Unknown state in favor of Value(Top)
|
2022-11-07 10:35:20 +01:00 |
|
Jannis Christopher Köhl
|
bc82c13e97
|
Track Scalar instead of ScalarInt for const prop
|
2022-11-07 10:35:16 +01:00 |
|
Jannis Christopher Köhl
|
fe84bbf844
|
Add tracking of unreachability
|
2022-11-07 10:35:13 +01:00 |
|
Jannis Christopher Köhl
|
16dedba1c8
|
Ignore terminators explicitly
|
2022-11-07 10:35:13 +01:00 |
|
Jannis Christopher Köhl
|
47a00d5337
|
Flood with bottom instead of top for unreachable branches
|
2022-11-07 10:35:12 +01:00 |
|
Jannis Christopher Köhl
|
ad99d2e15d
|
Move handling of references and simplify flooding
|
2022-11-07 10:35:11 +01:00 |
|
Jannis Christopher Köhl
|
4f9c30fb67
|
Add initial version of value analysis and dataflow constant propagation
|
2022-11-07 10:35:08 +01:00 |
|