You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@harmony.apache.org by "Pavel Ozhdikhin (JIRA)" <ji...@apache.org> on 2008/03/21 12:46:24 UTC
[jira] Created: (HARMONY-5629) [drlvm][jit][opt] Liveness analysis
for high-level IR
[drlvm][jit][opt] Liveness analysis for high-level IR
-----------------------------------------------------
Key: HARMONY-5629
URL: https://issues.apache.org/jira/browse/HARMONY-5629
Project: Harmony
Issue Type: New Feature
Components: DRLVM
Environment: Any
Reporter: Pavel Ozhdikhin
Priority: Minor
Attachments: hir_liveness.patch
Liveness analyzer for HIR. Validates liveness, dumps liveness info into the dot file.
Works on the non-SSA representation. Don't use after translator in inliner session - it will break because of method parameter copying in inliner.
Add "liveness" pass in the optimizer pipeline after translator. tested on a few test cases and passed "ant test" on Win32/debug build with liveness check after translator.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Commented: (HARMONY-5629) [drlvm][jit][opt] Liveness
analysis for high-level IR
Posted by "Egor Pasko (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/HARMONY-5629?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12581398#action_12581398 ]
Egor Pasko commented on HARMONY-5629:
-------------------------------------
why do we need a liveness analyzer?
> [drlvm][jit][opt] Liveness analysis for high-level IR
> -----------------------------------------------------
>
> Key: HARMONY-5629
> URL: https://issues.apache.org/jira/browse/HARMONY-5629
> Project: Harmony
> Issue Type: New Feature
> Components: DRLVM
> Environment: Any
> Reporter: Pavel Ozhdikhin
> Priority: Minor
> Attachments: hir_liveness.patch
>
>
> Liveness analyzer for HIR. Validates liveness, dumps liveness info into the dot file.
> Works on the non-SSA representation. Don't use after translator in inliner session - it will break because of method parameter copying in inliner.
> Add "liveness" pass in the optimizer pipeline after translator. tested on a few test cases and passed "ant test" on Win32/debug build with liveness check after translator.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Commented: (HARMONY-5629) [drlvm][jit][opt] Liveness
analysis for high-level IR
Posted by "Egor Pasko (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/HARMONY-5629?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12584056#action_12584056 ]
Egor Pasko commented on HARMONY-5629:
-------------------------------------
Pavel, sounds great! your comment deserves being in the code :)
will commit soon. Is there other work that depends on this now?
> [drlvm][jit][opt] Liveness analysis for high-level IR
> -----------------------------------------------------
>
> Key: HARMONY-5629
> URL: https://issues.apache.org/jira/browse/HARMONY-5629
> Project: Harmony
> Issue Type: New Feature
> Components: DRLVM
> Environment: Any
> Reporter: Pavel Ozhdikhin
> Priority: Minor
> Attachments: hir_liveness.patch
>
>
> Liveness analyzer for HIR. Validates liveness, dumps liveness info into the dot file.
> Works on the non-SSA representation. Don't use after translator in inliner session - it will break because of method parameter copying in inliner.
> Add "liveness" pass in the optimizer pipeline after translator. tested on a few test cases and passed "ant test" on Win32/debug build with liveness check after translator.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Updated: (HARMONY-5629) [drlvm][jit][opt] Liveness analysis
for high-level IR
Posted by "Pavel Ozhdikhin (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/HARMONY-5629?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Pavel Ozhdikhin updated HARMONY-5629:
-------------------------------------
Attachment: hir_liveness.patch
The patch is attached.
> [drlvm][jit][opt] Liveness analysis for high-level IR
> -----------------------------------------------------
>
> Key: HARMONY-5629
> URL: https://issues.apache.org/jira/browse/HARMONY-5629
> Project: Harmony
> Issue Type: New Feature
> Components: DRLVM
> Environment: Any
> Reporter: Pavel Ozhdikhin
> Priority: Minor
> Attachments: hir_liveness.patch
>
>
> Liveness analyzer for HIR. Validates liveness, dumps liveness info into the dot file.
> Works on the non-SSA representation. Don't use after translator in inliner session - it will break because of method parameter copying in inliner.
> Add "liveness" pass in the optimizer pipeline after translator. tested on a few test cases and passed "ant test" on Win32/debug build with liveness check after translator.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Commented: (HARMONY-5629) [drlvm][jit][opt] Liveness
analysis for high-level IR
Posted by "Pavel Ozhdikhin (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/HARMONY-5629?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12584038#action_12584038 ]
Pavel Ozhdikhin commented on HARMONY-5629:
------------------------------------------
It just another mean for checking HIR validity for those who wants to implement a custom bytecode translator (not necessarily from Java bytecode).
It also might be helpful for some techniques. For example, in partial inlining or on-stack replacement we need to know a set of live variables at some point in the CFG.
> [drlvm][jit][opt] Liveness analysis for high-level IR
> -----------------------------------------------------
>
> Key: HARMONY-5629
> URL: https://issues.apache.org/jira/browse/HARMONY-5629
> Project: Harmony
> Issue Type: New Feature
> Components: DRLVM
> Environment: Any
> Reporter: Pavel Ozhdikhin
> Priority: Minor
> Attachments: hir_liveness.patch
>
>
> Liveness analyzer for HIR. Validates liveness, dumps liveness info into the dot file.
> Works on the non-SSA representation. Don't use after translator in inliner session - it will break because of method parameter copying in inliner.
> Add "liveness" pass in the optimizer pipeline after translator. tested on a few test cases and passed "ant test" on Win32/debug build with liveness check after translator.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Assigned: (HARMONY-5629) [drlvm][jit][opt] Liveness analysis
for high-level IR
Posted by "Egor Pasko (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/HARMONY-5629?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Egor Pasko reassigned HARMONY-5629:
-----------------------------------
Assignee: Egor Pasko
> [drlvm][jit][opt] Liveness analysis for high-level IR
> -----------------------------------------------------
>
> Key: HARMONY-5629
> URL: https://issues.apache.org/jira/browse/HARMONY-5629
> Project: Harmony
> Issue Type: New Feature
> Components: DRLVM
> Environment: Any
> Reporter: Pavel Ozhdikhin
> Assignee: Egor Pasko
> Priority: Minor
> Attachments: hir_liveness.patch
>
>
> Liveness analyzer for HIR. Validates liveness, dumps liveness info into the dot file.
> Works on the non-SSA representation. Don't use after translator in inliner session - it will break because of method parameter copying in inliner.
> Add "liveness" pass in the optimizer pipeline after translator. tested on a few test cases and passed "ant test" on Win32/debug build with liveness check after translator.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Commented: (HARMONY-5629) [drlvm][jit][opt] Liveness
analysis for high-level IR
Posted by "Pavel Ozhdikhin (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/HARMONY-5629?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12584074#action_12584074 ]
Pavel Ozhdikhin commented on HARMONY-5629:
------------------------------------------
There are no other dependencies. Those who want to validate HIR in custom translator may use the patch. But I'd appreciate if you commit it - in this case using this validation pass will be as easy as adding a word to the emconf file.
Egor, feel free to add comments into the patch if you think it's reasonable. ;-)
> [drlvm][jit][opt] Liveness analysis for high-level IR
> -----------------------------------------------------
>
> Key: HARMONY-5629
> URL: https://issues.apache.org/jira/browse/HARMONY-5629
> Project: Harmony
> Issue Type: New Feature
> Components: DRLVM
> Environment: Any
> Reporter: Pavel Ozhdikhin
> Priority: Minor
> Attachments: hir_liveness.patch
>
>
> Liveness analyzer for HIR. Validates liveness, dumps liveness info into the dot file.
> Works on the non-SSA representation. Don't use after translator in inliner session - it will break because of method parameter copying in inliner.
> Add "liveness" pass in the optimizer pipeline after translator. tested on a few test cases and passed "ant test" on Win32/debug build with liveness check after translator.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.