diff options
| author | 2025-01-09 12:13:41 +0000 | |
|---|---|---|
| committer | 2025-01-10 15:48:42 +0000 | |
| commit | 56fa678dd04baccf04abe45cca8357d9eeb8159f (patch) | |
| tree | b5dba46c92ce6166abf13366b711630b30f33f8b /disassembler/disassembler_arm.h | |
| parent | df60e1f0f1e08482d4a19218c895880b81e313a6 (diff) | |
verifier: Do not mark registers as conflict for return.
The conflict marking originates in the July 2013 commit
b8c7859f21f5ae4c9b90f2ef2effc51967299737
Revert "Revert "Remove non-live vregs from GC map on return.""
but the intent is no longer valid. We do not use verifier
information for GC maps in the compiler.
Remove monitor stack verification from `UpdateRegisters()`,
it is done when visiting the return instruction anyway.
Similarly remove the `CheckConstructorReturn()` check that
used to be in the now removed `AdjustReturnLine()` as we do
that when visiting the `return-void` anyway.
After this, `UpdateRegisters()` cannot report hard failure
(note that `RegTypeCache::MergeRegisters()` never reports
any hard failure), so remove the unnecessary error handling.
Test: m test-art-host-gtest
Test: testrunner.py --host --optimizing
Change-Id: I8fca564a98b676a671e41275102bb397e4c04712
Diffstat (limited to 'disassembler/disassembler_arm.h')
0 files changed, 0 insertions, 0 deletions