# harmony-commits mailing list archives

##### Site index · List index
Message view
Top
Subject [jira] Commented: (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
Date Mon, 16 Jul 2007 21:37:04 GMT
```
[ https://issues.apache.org/jira/browse/HARMONY-4476?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#action_12513052
]

-------------------------------------

the attached graph is NOT generated for BidirectionalBubbleSort (as one might guess from the
class name), it is for the following code:
void sort(int a[]) throws Exception {
int j;
int limit = a.length;
int st = -1;
while (st < limit) {
st++;
limit--;
for (j = st; j < limit; j++) {
System.out.println(a[j + 1]);
}
}
}

And the graph is basically given to show how beautiful it is now :)

> [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
>         Attachments: 0001-Two-state-Inequality-Graph-with-ABCD-Stats-option.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.

```
Mime
View raw message