Bjorn Pettersson | 17676e0 | 2016-10-05 17:40:27 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=sparc < %s | FileCheck %s |
| 2 | |
| 3 | |
| 4 | ; If computeKnownSignBits (in SelectionDAG) can do a simple |
Hiroshi Inoue | 7dc3d5f | 2018-04-13 11:37:06 +0000 | [diff] [blame] | 5 | ; look-thru for extractelement then we know that the add will yield a |
Bjorn Pettersson | 17676e0 | 2016-10-05 17:40:27 +0000 | [diff] [blame] | 6 | ; non-negative result. |
| 7 | define i1 @test1(<4 x i16>* %in) { |
Francis Visoiu Mistrih | ca0df55 | 2017-12-04 17:18:51 +0000 | [diff] [blame] | 8 | ; CHECK-LABEL: ! %bb.0: |
Bjorn Pettersson | 17676e0 | 2016-10-05 17:40:27 +0000 | [diff] [blame] | 9 | ; CHECK-NEXT: retl |
Daniel Cederman | 1e2a2ae | 2018-04-20 07:47:12 +0000 | [diff] [blame] | 10 | ; CHECK-NEXT: mov %g0, %o0 |
Bjorn Pettersson | 17676e0 | 2016-10-05 17:40:27 +0000 | [diff] [blame] | 11 | %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 | } |