llvm/test/Transforms/SLPVectorizer/logical-ops-poisonous-repeated.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -S --passes=slp-vectorizer < %s | FileCheck %s
   3
   4 define i1 @test(<4 x i32> %x) {
   5 ; CHECK-LABEL: define i1 @test(
   6 ; CHECK-SAME: <4 x i32> [[X:%.*]]) {
   7 ; CHECK-NEXT:    [[X0:%.*]] = extractelement <4 x i32> [[X]], i32 0
   8 ; CHECK-NEXT:    [[X1:%.*]] = extractelement <4 x i32> [[X]], i32 -1
   9 ; CHECK-NEXT:    [[X2:%.*]] = extractelement <4 x i32> [[X]], i32 2
  10 ; CHECK-NEXT:    [[X3:%.*]] = extractelement <4 x i32> [[X]], i32 3
  11 ; CHECK-NEXT:    [[TMP1:%.*]] = icmp ugt i32 [[X0]], 0
  12 ; CHECK-NEXT:    [[C1:%.*]] = icmp slt i32 [[X1]], 0
  13 ; CHECK-NEXT:    [[C2:%.*]] = icmp sgt i32 [[X2]], 0
  14 ; CHECK-NEXT:    [[C3:%.*]] = icmp slt i32 [[X3]], 0
  15 ; CHECK-NEXT:    [[TMP2:%.*]] = freeze i1 [[C3]]
  16 ; CHECK-NEXT:    [[OP_RDX:%.*]] = select i1 [[TMP2]], i1 [[C1]], i1 false
  17 ; CHECK-NEXT:    [[OP_RDX1:%.*]] = select i1 [[TMP1]], i1 [[OP_RDX]], i1 false
  18 ; CHECK-NEXT:    ret i1 [[OP_RDX1]]
  19 ;
  20   %x0 = extractelement <4 x i32> %x, i32 0
  21   %x1 = extractelement <4 x i32> %x, i32 -1
  22   %x2 = extractelement <4 x i32> %x, i32 2
  23   %x3 = extractelement <4 x i32> %x, i32 3
  24   %2 = icmp ugt i32 %x0, 0
  25   %c1 = icmp slt i32 %x1, 0
  26   %c2 = icmp sgt i32 %x2, 0
  27   %c3 = icmp slt i32 %x3, 0
  28   %s1 = select i1 %2, i1 %c1, i1 false
  29   %s2 = select i1 %s1, i1 %c3, i1 false
  30   %s3 = select i1 %s2, i1 %c3, i1 false
  31   ret i1 %s3
  32 }
  33