<html>
<head>
<base href="https://llvm.org/bugs/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW --- - Instcombine failure introduced by r269426"
href="https://llvm.org/bugs/show_bug.cgi?id=27756">27756</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Instcombine failure introduced by r269426
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>All
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Scalar Optimizations
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>james.molloy@arm.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>The following testcase causes an assertion failure when run with opt
-instcombine. This is a regression introduced in r269426:
[InstCombine] canonicalize* LE/GE vector integer comparisons to LT/GT (PR26701,
PR26819)
*We don't currently handle the edge case constants (min/max values), so it's
not a complete
canonicalization.
To fully solve the motivating bugs, we need to enhance this to recognize a zero
vector
too because that's a ConstantAggregateZero which is a ConstantData, not a
ConstantVector
or a ConstantDataVector.
Differential Revision: <a href="http://reviews.llvm.org/D17859">http://reviews.llvm.org/D17859</a>
; ModuleID = 'bugpoint-reduced-simplified.bc'
source_filename = "bugpoint-output-f90b06d.bc"
target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
target triple = "aarch64--linux-gnu"
; Function Attrs: nounwind readnone
declare <16 x i8> @llvm.aarch64.neon.srshl.v16i8(<16 x i8>, <16 x i8>) #0
; Function Attrs: nounwind
define fastcc void @dotests_268() unnamed_addr #1 {
entry:
%vrshr_n = call <16 x i8> @llvm.aarch64.neon.srshl.v16i8(<16 x i8> undef, <16
x i8> <i8 -6, i8 -6, i8 -6, i8 -6, i8 -6, i8 -6, i8 -6, i8 -6, i8 -6, i8 -6, i8
-6, i8 -6, i8 -6, i8 -6, i8 -6, i8 -6>)
%0 = add <16 x i8> zeroinitializer, %vrshr_n
%vset_lane = shufflevector <8 x i16> <i16 -20871, i16 -1, i16 32767, i16 -1,
i16 32639, i16 -22537, i16 -1, i16 -4866>, <8 x i16> undef, <8 x i32> <i32 0,
i32 1, i32 2, i32 3, i32 4, i32 5, i32 13, i32 7>
%1 = bitcast <8 x i16> %vset_lane to <16 x i8>
%shuffle336 = shufflevector <16 x i8> %1, <16 x i8> undef, <16 x i32> <i32
15, i32 15, i32 15, i32 15, i32 15, i32 15, i32 15, i32 15, i32 15, i32 15, i32
15, i32 15, i32 15, i32 15, i32 15, i32 15>
%cmp.i = icmp sle <16 x i8> %0, %shuffle336
%sext.i = sext <16 x i1> %cmp.i to <16 x i8>
%and.i = and <16 x i8> %sext.i, <i8 113, i8 45, i8 0, i8 -128, i8 -1, i8 -1,
i8 -1, i8 127, i8 55, i8 92, i8 -1, i8 -1, i8 -1, i8 -1, i8 0, i8 0>
ret void
}
attributes #0 = { nounwind readnone }
attributes #1 = { nounwind "disable-tail-calls"="false"
"less-precise-fpmad"="false" "no-frame-pointer-elim"="true"
"no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false"
"no-jump-tables"="false" "no-nans-fp-math"="false"
"stack-protector-buffer-size"="8" "target-cpu"="cortex-a57"
"target-features"="+crc,+crypto,+neon" "unsafe-fp-math"="false"
"use-soft-float"="false" }
!llvm.ident = !{!0}
!0 = !{!"clang version 3.9.0 (trunk 269502) (llvm/trunk 269506)"}</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>