[llvm-bugs] [Bug 25571] New: [AArch64] Assert when SelectBitfieldInsertOp

via llvm-bugs llvm-bugs at lists.llvm.org
Wed Nov 18 18:15:42 PST 2015


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

            Bug ID: 25571
           Summary: [AArch64] Assert when SelectBitfieldInsertOp
           Product: new-bugs
           Version: unspecified
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: weimingz at codeaurora.org
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 15313
  --> https://llvm.org/bugs/attachment.cgi?id=15313&action=edit
llc test case

For the following code, in 
isBitfieldInsertOpFromOr, the NumberOfIgnoredHighBits becomes zero when handlng
the %or

while.body:                                       
  %conv = zext i8 %a to i32     ;   0 0 0 0 A
  %shl = shl i32 %b, 8          ;   B2 B1 B0 0
  %or = or i32 %conv, %shl      ;   B2 B1 B0 A
  %shl.1 = shl i32 %or, 8       ;   B1 B0 A 0
  %or.1 = or i32 %conv, %shl.1  ;   B1 B0 A A
  %shl.2 = shl i32 %or.1, 8     ;   B0 A A 0
  %or.2 = or i32 %conv, %shl.2  ;   B0 A A A
  %shl.3 = shl i32 %or.2, 8     ;   A A A 0
  %or.3 = or i32 %conv, %shl.3  ;   A A A A
  %shl.4 = shl i32 %or.3, 8     ;   A A A 0
  ret i32 %shl.4
}

-- 
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/20151119/e9dd146d/attachment.html>


More information about the llvm-bugs mailing list