blob: b76e0e9c15e43d697f2c3b0a049effef2c343cdc [file] [log] [blame]
Bjorn Pettersson17676e02016-10-05 17:40:27 +00001; RUN: llc -march=sparc < %s | FileCheck %s
2
3
4; If computeKnownSignBits (in SelectionDAG) can do a simple
Hiroshi Inoue7dc3d5f2018-04-13 11:37:06 +00005; look-thru for extractelement then we know that the add will yield a
Bjorn Pettersson17676e02016-10-05 17:40:27 +00006; non-negative result.
7define i1 @test1(<4 x i16>* %in) {
Francis Visoiu Mistrihca0df552017-12-04 17:18:51 +00008; CHECK-LABEL: ! %bb.0:
Bjorn Pettersson17676e02016-10-05 17:40:27 +00009; CHECK-NEXT: retl
Daniel Cederman1e2a2ae2018-04-20 07:47:12 +000010; CHECK-NEXT: mov %g0, %o0
Bjorn Pettersson17676e02016-10-05 17:40:27 +000011 %vec2 = load <4 x i16>, <4 x i16>* %in, align 1
12 %vec3 = lshr <4 x i16> %vec2, <i16 2, i16 2, i16 2, i16 2>
13 %vec4 = sext <4 x i16> %vec3 to <4 x i32>
14 %elt0 = extractelement <4 x i32> %vec4, i32 0
15 %elt1 = extractelement <4 x i32> %vec4, i32 1
16 %sum = add i32 %elt0, %elt1
17 %bool = icmp slt i32 %sum, 0
18 ret i1 %bool
19}