Request for reviews (XS): 6714694: assertion in 64bit server vm (store->find_edge(load) != -1,"missing precedence edge")

Tom Rodriguez Thomas.Rodriguez at Sun.COM
Mon Jun 16 17:50:48 PDT 2008


> MachNode::get_base_and_disp() does not process correctly
> an addressing with a narrow oop LoadConN node (is_Con() == true).
> As result the adr_type() for such addresses is "BotPTR* + bot"
> which aliases with all stores.

Also make sure MachNode::adr_type does the right thing.

tom

>
> I will resend the webrev with all changes.
>
> Thanks,
> Vladimir
>
> Tom Rodriguez wrote:
>> You need to run CTW for verify this.  Also include the generated  
>> test as a regression test.  Otherwise it seems reasonable.
>> tom
>> On Jun 16, 2008, at 2:58 PM, Vladimir Kozlov wrote:
>>>
>>> http://webrev.invokedynamic.info/kvn/6714694/index.html
>>>
>>> Fixed 6714694: assertion in 64bit server vm (store- 
>>> >find_edge(load) != -1,"missing precedence edge")
>>>
>>> Problem:
>>> The method raise_LCA_above_marks() terminates LCA search early
>>> when mid->dom_lca(LCA) == mid which is already marked as visited.
>>> Note: it is old problem not related to COOP.
>>>
>>> Solution:
>>> Set visited mark after LCA's predecessors are put on the worklist.
>>>
>>> Reviewed by:
>>> Fix verified (y/n): y, failed test cases.
>>>
>>> Other testing:
>>> JPRT
>>>




More information about the hotspot-compiler-dev mailing list