[llvm-bugs] [Bug 41725] loop-interchange makes function broken with "opt -instcombine -licm -structurizecfg -jump-threading -loop-rotate -instcombine -loop-interchange"

[via llvm-bugs]

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

Zhide Zhou <cszide at 163.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |---

--- Comment #3 from Zhide Zhou <cszide at 163.com> ---


$clang -v
clang version 10.0.0 (https://github.com/llvm/llvm-project.git
ec630194fe64e9e304487040e808d0696a4f1895)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /home/jack-zhou/Documents/llvm/llvm_truck/llvm-project/build/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.4.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.4.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64

$opt -gvn-hoist  -loop-rotate -sroa -ipconstprop -constprop -simplifycfg
-loop-interchange  gemver.bc 
WARNING: You're attempting to print out a bitcode file.
This is inadvisable as it may cause display problems. If
you REALLY want to taste LLVM bitcode first-hand, you
can force output with the `-f' option.

Instruction does not dominate all uses!
  %split7 = phi i32 [ %i.1, %for.inc45 ]
  %inc46 = add nsw i32 %split7, 1, !dbg !267
in function kernel_gemver
LLVM ERROR: Broken function found, compilation aborted!

The optimization sequence can be reduced to '-loop-interchange' using bugpoint.

$opt -verify bugpoint-reduced-simplified.bc -loop-interchange
WARNING: You're attempting to print out a bitcode file.
This is inadvisable as it may cause display problems. If
you REALLY want to taste LLVM bitcode first-hand, you
can force output with the `-f' option.

Instruction does not dominate all uses!
  %split7 = phi i32 [ %i.1, %for.inc45 ]
  %inc46 = add nsw i32 %split7, 1
in function kernel_gemver
LLVM ERROR: Broken function found, compilation aborted!

-- 
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/20191102/8d61e9ff/attachment-0001.html>