forked from OSchip/llvm-project
30 lines
972 B
LLVM
30 lines
972 B
LLVM
|
; Test that DAGCombiner gets helped by getKnownBitsForTargetNode() when
|
||
|
|
; BITCAST nodes are involved on a big-endian target.
|
||
|
|
;
|
||
|
|
; RUN: llc -mtriple=s390x-linux-gnu -mcpu=z13 < %s | FileCheck %s
|
||
|
|
|
||
|
|
define void @fun() {
|
||
|
|
entry:
|
||
|
|
br label %lab0
|
||
|
|
|
||
|
|
lab0:
|
||
|
|
%phi = phi i64 [ %sel, %lab0 ], [ 0, %entry ]
|
||
|
|
%add = add nuw nsw i64 %phi, 1
|
||
|
|
%cmp = icmp eq i64 %add, undef
|
||
|
|
%ins = insertelement <2 x i1> undef, i1 %cmp, i32 0
|
||
|
|
%xor = xor <2 x i1> %ins, <i1 true, i1 true>
|
||
|
|
%extr = extractelement <2 x i1> %xor, i32 0
|
||
|
|
; The EXTRACT_VECTOR_ELT is done first into an i32, and then AND:ed with
|
||
|
|
; 1. The AND is not actually necessary since the element contains a CC (i1)
|
||
|
|
; value. Test that the BITCAST nodes in the DAG when computing KnownBits is
|
||
|
|
; handled so that the AND is removed. If this succeeds, this results in a CHI
|
||
|
|
; instead of TMLL.
|
||
|
|
|
||
|
|
; CHECK-LABEL: # %bb.0:
|
||
|
|
; CHECK: chi
|
||
|
|
; CHECK-NOT: tmll
|
||
|
|
; CHECK: j
|
||
|
|
%sel = select i1 %extr, i64 %add, i64 0
|
||
|
|
br label %lab0
|
||
|
|
}
|