[llvm-bugs] [Bug 41179] New: [Loop Vectorize] getOrCreateTripCount fails with pointer comparisons

[via llvm-bugs]

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

            Bug ID: 41179
           Summary: [Loop Vectorize] getOrCreateTripCount fails with
                    pointer comparisons
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: llvm-dev at redking.me.uk
                CC: ayal.zaks at intel.com, florian_hahn at apple.com,
                    llvm-bugs at lists.llvm.org,
                    sanjoy at playingwithpointers.com

https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=13350

; ModuleID = 'bugpoint-reduced-simplified.bc'
source_filename = "llvm/test/Transforms/LoopVectorize/PowerPC/pr30990.ll"
target triple = "powerpc64-unknown-linux-gnu"

define void @foo() {
entry:
  br label %while.body

while.body:                                       ; preds = %while.body, %entry
  %count.09 = phi i32 [ %add, %while.body ], [ 0, %entry ]
  %add = add nsw i32 -1, %count.09
  %G = getelementptr i8, i8* undef, i32 %add
  %cmp = icmp ult i8* undef, %G
  br i1 %cmp, label %while.body, label %while.end.loopexit

while.end.loopexit:                               ; preds = %while.body
  ret void
}

opt -loop-vectorize fuzz.ll -S -o -

opt: /home/simon/LLVM/llvm/lib/Analysis/ScalarEvolution.cpp:4079: const
llvm::SCEV* llvm::ScalarEvolution::getNoopOrZeroExtend(const llvm::SCEV*,
llvm::Type*): Assertion `getTypeSizeInBits(SrcTy) <= getTypeSizeInBits(Ty) &&
"getNoopOrZeroExtend cannot truncate!"' failed.

-- 
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/20190321/ce3e7ef2/attachment-0001.html>