29 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instsimplify -S | FileCheck %s3 4; If computeKnownBits can do a simple look-through for extractelement5; then instsimplify will know that %elt1 is non-negative at icmp.6define i1 @computeKnownBits_look_through_extractelt(<2 x i8> %vecin) {7; CHECK-LABEL: @computeKnownBits_look_through_extractelt(8; CHECK-NEXT: ret i1 false9;10 %vec = zext <2 x i8> %vecin to <2 x i32>11 %elt1 = extractelement <2 x i32> %vec, i32 112 %bool = icmp slt i32 %elt1, 013 ret i1 %bool14}15 16; If computeNumSignBits can do a simple look-through for extractelement17; then instsimplify will remove the ashr.18define i32 @computeNumSignBits_look_through_extractelt(<2 x i1> %vecin) {19; CHECK-LABEL: @computeNumSignBits_look_through_extractelt(20; CHECK-NEXT: [[VEC:%.*]] = sext <2 x i1> [[VEC:%.*]]in to <2 x i32>21; CHECK-NEXT: [[ELT0:%.*]] = extractelement <2 x i32> [[VEC]], i32 022; CHECK-NEXT: ret i32 [[ELT0]]23;24 %vec = sext <2 x i1> %vecin to <2 x i32>25 %elt0 = extractelement <2 x i32> %vec, i32 026 %ashr = ashr i32 %elt0, 527 ret i32 %ashr28}29