20 lines · plain
1; RUN: llc -mtriple=sparc < %s | FileCheck %s2 3 4; If computeKnownSignBits (in SelectionDAG) can do a simple5; look-thru for extractelement then we know that the add will yield a6; non-negative result.7define i1 @test1(ptr %in) {8; CHECK-LABEL: ! %bb.0:9; CHECK-NEXT: retl10; CHECK-NEXT: mov %g0, %o011 %vec2 = load <4 x i16>, ptr %in, align 112 %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 015 %elt1 = extractelement <4 x i32> %vec4, i32 116 %sum = add i32 %elt0, %elt117 %bool = icmp slt i32 %sum, 018 ret i1 %bool19}20