test/CodeGen/SPARC/vector-extract-elt.ll

   1 ; RUN: llc -march=sparc < %s | FileCheck %s
   2
   3
   4 ; If computeKnownSignBits (in SelectionDAG) can do a simple
   5 ; look-thru for extractelement then we know that the add will yield a
   6 ; non-negative result.
   7 define i1 @test1(<4 x i16>* %in) {
   8 ; CHECK-LABEL: ! %bb.0:
   9 ; CHECK-NEXT:        retl
  10 ; CHECK-NEXT:        mov %g0, %o0
  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 }