[llvm-bugs] [Bug 26736] New: [CodeGen] DominatorTree not kept up to date for stack-overflow-in-load-hoisting.ll

[via llvm-bugs]

https://llvm.org/bugs/show_bug.cgi?id=26736

            Bug ID: 26736
           Summary: [CodeGen] DominatorTree not kept up to date for
                    stack-overflow-in-load-hoisting.ll
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Windows XP
            Status: NEW
          Severity: normal
          Priority: P
         Component: Other
          Assignee: polly-dev at googlegroups.com
          Reporter: llvm at meinersbur.de
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 15945
  --> https://llvm.org/bugs/attachment.cgi?id=15945&action=edit
stack-overflow-in-load-hoisting.ll with added -verify-dom-info

The test case stack-overflow-in-load-hoisting.ll fails when adding
-verify-dom-info:

DominatorTree is not up to date!
Computed:
=============================--------------------------------
Inorder Dominator Tree: DFSNumbers invalid: 8 slow queries.
  [1] %entry {0,13}
    [2] %for.cond.12.preheader.lr.ph {1,12}
      [3] %polly.split_new_and_old {4294967295,4294967295}
        [4] %polly.preload.begin {4294967295,4294967295}
          [5] %for.body.14.lr.ph {2,11}
            [6] %for.body.14 {3,10}
              [7] %for.end {4,9}
                [8] %if.end.loopexit {5,8}
          [5] %polly.start {4294967295,4294967295}
            [6] %polly.exiting {4294967295,4294967295}
          [5] %polly.merge_new_and_old {4294967295,4294967295}
            [6] %if.end {6,7}

Actual:
=============================--------------------------------
Inorder Dominator Tree:
  [1] %entry {0,21}
    [2] %for.cond.12.preheader.lr.ph {1,20}
      [3] %polly.split_new_and_old {2,19}
        [4] %polly.preload.begin {3,18}
          [5] %polly.start {4,5}
          [5] %for.body.14.lr.ph {6,17}
            [6] %for.body.14 {7,16}
              [7] %for.end {8,15}
                [8] %if.end.loopexit {9,14}
                  [9] %polly.merge_new_and_old {10,13}
                    [10] %if.end {11,12}

This happens when NodeBuilder.preloadInvariantLoads() return false. The
follow-up code does not try to repair the DominatorTree for the stub code.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20160225/25cd84d0/attachment-0001.html>