[llvm-bugs] [Bug 24478] New: SROA asserts "Slice size should always match load size exactly!"

[via llvm-bugs]

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

            Bug ID: 24478
           Summary: SROA asserts "Slice size should always match load size
                    exactly!"
           Product: libraries
           Version: 3.6
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: paul_robinson at playstation.sony.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 14732
  --> https://llvm.org/bugs/attachment.cgi?id=14732&action=edit
Input IR

Found with fuzz testing.

$ opt -S -O2 stress_214520804.ll -o opt.ll

opt:
/home/probinson/projects/llvm-org/trunk/llvm/lib/Transforms/Scalar/SROA.cpp:3771:
bool
{anonymous}::SROA::presplitLoadsAndStores(llvm::AllocaInst&,
{anonymous}::AllocaSlices&): Assertion
`LoadSize == Offsets.S->endOffset() - Offsets.S->beginOffset() && "Slice size
should always match load size exactly!"' 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/20150818/f685d5c8/attachment.html>