File: vbinop-simplify-bug.ll

package info (click to toggle)
llvm-toolchain-17 1%3A17.0.6-22
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,799,624 kB
  • sloc: cpp: 6,428,607; ansic: 1,383,196; asm: 793,408; python: 223,504; objc: 75,364; f90: 60,502; lisp: 33,869; pascal: 15,282; sh: 9,684; perl: 7,453; ml: 4,937; awk: 3,523; makefile: 2,889; javascript: 2,149; xml: 888; fortran: 619; cs: 573
file content (23 lines) | stat: -rw-r--r-- 1,095 bytes parent folder | download | duplicates (35) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -mattr=sse2 -mcpu=corei7 -o /dev/null

; Revision 199135 introduced a wrong check in method
; DAGCombiner::SimplifyVBinOp in an attempt to refactor some code
; using the new method 'BuildVectorSDNode::isConstant' when possible.
; 
; However the modified code in method SimplifyVBinOp now wrongly
; checks that the operands of a vector bin-op are both constants.
;
; With that wrong change, this test started failing because of a
; 'fatal error in the backend':
;   Cannot select: 0x2e329d0: v4i32 = BUILD_VECTOR 0x2e2ea00, 0x2e2ea00, 0x2e2ea00, 0x2e2ea00
;       0x2e2ea00: i32 = Constant<1> [ID=4]
;       0x2e2ea00: i32 = Constant<1> [ID=4]
;       0x2e2ea00: i32 = Constant<1> [ID=4]
;       0x2e2ea00: i32 = Constant<1> [ID=4]

define <8 x i32> @reduced_test_case() {
  %Shuff = shufflevector <8 x i32> zeroinitializer, <8 x i32> zeroinitializer, <8 x i32> <i32 1, i32 3, i32 undef, i32 7, i32 9, i32 11, i32 13, i32 15>
  %B23 = sub <8 x i32> %Shuff, <i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1>
  ret <8 x i32> %B23
}