13c3ce1edf7fa9e8e97fb60625a62cb97a13f9a9 - LeafOS-Project/android_art

commit	13c3ce1edf7fa9e8e97fb60625a62cb97a13f9a9	[log] [tgz]
author	Santiago Aboy Solanes <solanes@google.com>	Mon Dec 05 12:05:43 2022 +0000
committer	Santiago Aboy Solanes <solanes@google.com>	Mon Dec 05 17:26:27 2022 +0000
tree	2c4188ec7dbd450d158598527371edbaa3cbd3fa
parent	6d2b6bacc6ad5c7e85a8608094469088cd6c8f56 [diff]

Update CanTriggerGC flag for ArraySet

ArraySet instructions can trigger a GC only when perforing a type
check. When clearing the needs type check flag, we should also
clear the CanTriggerGC flag from the instruction's side effects.
Note that once we clear the needs type check flag, we never set
it again.

Add check in graph checker that the needs type check and the can
trigger GC flag are consistent.

Add can_trigger_gc property to graph visualizer that reflects
whether the ArraySet instruction can trigger a GC.

Test: art/test/testrunner/testrunner.py --host --64 --optimizing -b
Change-Id: I4c74f902aabf2339bd292e9b24737f55d2737440

compiler/optimizing/graph_checker.cc[diff]
compiler/optimizing/graph_checker.h[diff]
compiler/optimizing/graph_visualizer.cc[diff]
compiler/optimizing/instruction_simplifier.cc[diff]
compiler/optimizing/nodes.h[diff]
compiler/optimizing/prepare_for_register_allocation.cc[diff]
test/521-checker-array-set-null/src/Main.java[diff]
test/527-checker-array-access-split/src/Main.java[diff]
test/590-checker-arr-set-null-regression/src/Main.java[diff]

9 files changed