[llvm-bugs] [Bug 42585] New: SROA assert fails VTy == CandidateTys[0] && "Different vector types with the same element type!

[via llvm-bugs]

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

            Bug ID: 42585
           Summary: SROA assert fails VTy == CandidateTys[0] && "Different
                    vector types with the same element type!
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: felipe.de.azevedo.piovezan at intel.com
                CC: htmldeveloper at gmail.com, llvm-bugs at lists.llvm.org

The following IR causes SROA to assert a failure. Verified this on a trunk
build with asserts on.

opt test.ll -sroa

target datalayout =
"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-n8:16:32:64"

define <4 x i1> @vector_bitcast() {
  ; CHECK-LABEL: @vector_bitcast

    %a = alloca <3 x i1>
    store <3 x i1> <i1 1,i1 0,i1 1>, <3 x i1>* %a
    %cast = bitcast <3 x i1>* %a to <4 x i1>*
    %vec = load <4 x i1>, <4 x i1>* %cast
    ret <4 x i1> %vec
}

-- 
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/20190711/71f120a9/attachment.html>