C++: Fix indirect global-variable flow - #14736

Merged

MathiasVP merged 8 commits into

github:mainfrom

MathiasVP:fix-global-indirect-flow

Nov 10, 2023

Commits on Nov 9, 2023

C++: Add failing tests.
MathiasVP
committed
0963af2
C++: Factor the IPA body of 'TGlobalUse' and 'TGlobalDef' out into predicates.
MathiasVP
committed
bb5a78d
C++: Obtain the SSA variable of a 'GlobalUse' using the indirection instead of the index (like we do for non-global uses as well).
MathiasVP
committed
fd26ae1
C++: Also add a 'getIndirection' on 'GlobalDef' as well. This will be useful in the next commit.
MathiasVP
committed
95bb70f
C++: Implement jumpStep using the indirection instead of index.
MathiasVP
committed
9762313
C++: Simplify 'isGlobalUse' and 'isGlobalDefImpl'.
MathiasVP
committed
86e7919
C++: Improve (and simplify) 'toString's.
MathiasVP
committed
eb1024c
C++: Accept test changes.
MathiasVP
committed
39b9d2e