You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@harmony.apache.org by "Egor Pasko (JIRA)" <ji...@apache.org> on 2007/08/13 10:53:43 UTC
[jira] Resolved: (HARMONY-4476) [drlvm][jit][opt][abcd] Two-state
Inequality Graph for both Lower and Upper problems, to ensure correctness
and simplify the code, ability to dump stats
[ https://issues.apache.org/jira/browse/HARMONY-4476?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Egor Pasko resolved HARMONY-4476.
---------------------------------
Resolution: Fixed
committed at r565011
> [drlvm][jit][opt][abcd] Two-state Inequality Graph for both Lower and Upper problems, to ensure correctness and simplify the code, ability to dump stats
> --------------------------------------------------------------------------------------------------------------------------------------------------------
>
> Key: HARMONY-4476
> URL: https://issues.apache.org/jira/browse/HARMONY-4476
> Project: Harmony
> Issue Type: Improvement
> Components: DRLVM
> Environment: all
> Reporter: Egor Pasko
> Assignee: Egor Pasko
> Attachments: 0001-Two-state-Inequality-Graph-with-ABCD-Stats-option.txt, 0002-uint32-ids-for-IOpndProxy.txt, igraph.png
>
>
> Creating two Inequality Graphs makes it difficult to make sure the graph looks like the right one. This issue proposes to create two-state InequalityGraph. One state shall represent the upper-bound problem, the other -- lower-bound. Constraints arising from statements like "a=b", "a=b+const" are the same in both states of the graph, whereas constraints arising from statements like "if (a < b)" are different (basically, the edges change direction to the opposite and negate their length)
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.