JDK-6575833 : LoopOpts: Ensure membership in loop body matches ctrl on a node
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 5.0,9,10
  • Priority: P4
  • Status: Closed
  • Resolution: Duplicate
  • OS: generic
  • CPU: generic
  • Submitted: 2007-06-29
  • Updated: 2022-10-03
  • Resolved: 2017-02-17
Related Reports
Duplicate :  
JDK-8173709 - fastdebug JVM with VerifyLoopOptimizations enabled crashes with SIGBUS/SIGSEGV
Description
Ensure set_ctrl(n, c) keeps the loop membership list
(_body) up to date.  It should be the case that
1) get_loop(get_ctrl(loop->_body.at(i))) == loop
2) if get_loop(get_ctrl(n))->is_inner loop() then
   _body.at(i) == n for some i

Ensure this after clone loop (and before partial peeling does it's thing.)
Comments
Thank you, Vladimir!
17-02-2017
Yes, that one. We can close this as dup, agree.
17-02-2017
Thank you, Vladimir [~kvn]! You mentioned the bug to fix VerifyLoopOptimizations: Did you mean JDK-8173709 or some other bug? Do you think it is OK if we close this issue as a duplicate of JDK-8173709 (or the other bug you meant)?
17-02-2017
It is not simple as it seems. It could be some false positive cases if we use these checks as they are. For example in irreducible loop case. We have already bug to fix VerifyLoopOptimizations which should check correctness of loops.
16-02-2017