[HARMONY-4740] [drlvm][jit][jet] Subroutine (jsr - ret) processing in JET is incomplete

• Type: Bug
• Status: Open
• Priority: Minor
• Resolution: Unresolved
• Component/s: DRLVM
• Environment: any
• Estimated Complexity: Guru
• Assignee: Mikhail Fursov
• Reporter: George Timoshenko
• Created: 05/Sep/07 05:19
• Updated: 04/Oct/07 06:24

Description

The testcase JsrNoRet from the parent issue shows that Jitrino.JET can work only with "normal" bytecodes.
It is quite easy to break it by manually written testcase with unnatural combinations of jsr and ret instructions.

The idea how to fix it:

Additional pass should be added between the current two. It should walk through the method in the execution manner to gather the information how 'return address' values migrates from jsr instruction to ret. It allows to know at the last pass to which points we should propagate the state from the point of ret.

Issue Links

• relates to: HARMONY-4479 [drlvm][jit] assert on an artificial class with jsr/ret