harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "George Timoshenko (JIRA)" <j...@apache.org>
Subject [jira] Updated: (HARMONY-2210) unreachable nodes must be swept out after inliner
Date Mon, 20 Nov 2006 02:57:04 GMT
     [ http://issues.apache.org/jira/browse/HARMONY-2210?page=all ]

George Timoshenko updated HARMONY-2210:
---------------------------------------

    Description: 
inline pass of Jitrino.OPT::optimizer can produce unreachable nodes. (the testcase is attached)

some other passes can not work with such nodes in the CFG.
Attached testcase breaks on DCE pass after inliner. (run with -Xem:opt ):

java: /export/users2/gatimosh/HARMONY_SVN/trunk/working_vm/vm/jitrino/src/optimizer/deadcodeeliminator.cpp:554:
void Jitrino::markLiveInst(Jitrino::Inst*, Jitrino::InstDeque&, Jitrino::BitSet&,
Jitrino::BitSet&, uint8*, unsigned int, unsigned int): Assertion `def->getNode()' failed.


It is not so easy to teach inliner not to create unreachables.


UPD:

reproducible with Jitrino _debug_ build only.
Release one works fine as those unreachable nodes are being removed some stages later.


  was:
inline pass of Jitrino.OPT::optimizer can produce unreachable nodes. (the testcase is attached)

some other passes can not work with such nodes in the CFG.
Attached testcase breaks on DCE pass after inliner. (run with -Xem:opt ):

java: /export/users2/gatimosh/HARMONY_SVN/trunk/working_vm/vm/jitrino/src/optimizer/deadcodeeliminator.cpp:554:
void Jitrino::markLiveInst(Jitrino::Inst*, Jitrino::InstDeque&, Jitrino::BitSet&,
Jitrino::BitSet&, uint8*, unsigned int, unsigned int): Assertion `def->getNode()' failed.


It is not so easy to teach inliner not to create unreachables.


> unreachable nodes must be swept out after inliner
> -------------------------------------------------
>
>                 Key: HARMONY-2210
>                 URL: http://issues.apache.org/jira/browse/HARMONY-2210
>             Project: Harmony
>          Issue Type: Bug
>          Components: DRLVM
>            Reporter: George Timoshenko
>         Attachments: HARMONY-2210.diff, test.java
>
>
> inline pass of Jitrino.OPT::optimizer can produce unreachable nodes. (the testcase is
attached)
> some other passes can not work with such nodes in the CFG.
> Attached testcase breaks on DCE pass after inliner. (run with -Xem:opt ):
> java: /export/users2/gatimosh/HARMONY_SVN/trunk/working_vm/vm/jitrino/src/optimizer/deadcodeeliminator.cpp:554:
void Jitrino::markLiveInst(Jitrino::Inst*, Jitrino::InstDeque&, Jitrino::BitSet&,
Jitrino::BitSet&, uint8*, unsigned int, unsigned int): Assertion `def->getNode()' failed.
> It is not so easy to teach inliner not to create unreachables.
> UPD:
> reproducible with Jitrino _debug_ build only.
> Release one works fine as those unreachable nodes are being removed some stages later.

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://issues.apache.org/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira

        

Mime
View raw message