blob: 8fa237c1a2bfc679c02b49c5259cd74dd4b27cc7 [file] [log] [blame]
; RUN: llc -O3 -march=hexagon < %s | FileCheck %s
; We want to see a .new instruction in this sequence.
; CHECK: p[[PRED:[0-3]]] = tstbit
; CHECK: if (p[[PRED]].new)
target triple = "hexagon"
; Function Attrs: nounwind readnone
define zeroext i16 @f0(i8 zeroext %a0, i16 zeroext %a1) #0 {
b0:
%v0 = zext i8 %a0 to i32
%v1 = zext i16 %a1 to i32
%v2 = xor i32 %v0, %v1
%v3 = and i32 %v2, 1
%v4 = lshr i8 %a0, 1
%v5 = icmp eq i32 %v3, 0
%v6 = lshr i16 %a1, 1
%v7 = xor i16 %v6, -24575
%v8 = select i1 %v5, i16 %v6, i16 %v7
%v9 = zext i8 %v4 to i32
%v10 = zext i16 %v8 to i32
%v11 = xor i32 %v9, %v10
%v12 = and i32 %v11, 1
%v13 = lshr i8 %a0, 2
%v14 = icmp eq i32 %v12, 0
%v15 = lshr i16 %v8, 1
%v16 = xor i16 %v15, -24575
%v17 = select i1 %v14, i16 %v15, i16 %v16
%v18 = zext i8 %v13 to i32
%v19 = zext i16 %v17 to i32
%v20 = xor i32 %v18, %v19
%v21 = and i32 %v20, 1
%v22 = icmp eq i32 %v21, 0
%v23 = lshr i16 %v17, 1
%v24 = xor i16 %v23, -24575
%v25 = select i1 %v22, i16 %v23, i16 %v24
ret i16 %v25
}
attributes #0 = { nounwind readnone }