llvm/test/Transforms/SLPVectorizer/X86/slp-schedule-use-order.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
   3
   4 define void @test() {
   5 ; CHECK-LABEL: @test(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
   8 ; CHECK:       for.body:
   9 ; CHECK-NEXT:    [[TMP0:%.*]] = phi <2 x i1> [ [[TMP6:%.*]], [[TMP1:%.*]] ], [ zeroinitializer, [[ENTRY:%.*]] ]
  10 ; CHECK-NEXT:    br label [[TMP1]]
  11 ; CHECK:       1:
  12 ; CHECK-NEXT:    [[TMP2:%.*]] = zext <2 x i1> [[TMP0]] to <2 x i8>
  13 ; CHECK-NEXT:    [[TMP3:%.*]] = and <2 x i8> zeroinitializer, [[TMP2]]
  14 ; CHECK-NEXT:    [[TMP4:%.*]] = or <2 x i8> [[TMP3]], zeroinitializer
  15 ; CHECK-NEXT:    [[TMP5:%.*]] = icmp ne <2 x i8> [[TMP4]], zeroinitializer
  16 ; CHECK-NEXT:    [[TMP6]] = and <2 x i1> [[TMP5]], zeroinitializer
  17 ; CHECK-NEXT:    br label [[FOR_BODY]]
  18 ;
  19 entry:
  20   br label %for.body
  21
  22 for.body:
  23   %phi1 = phi i1 [ %icmp2, %0 ], [ false, %entry ]
  24   %phi2 = phi i1 [ %icmp1, %0 ], [ false, %entry ]
  25   br label %0
  26
  27 0:
  28   %z1 = zext i1 %phi2 to i8
  29   %1 = and i8 0, %z1
  30   %2 = and i8 0, 0
  31   %3 = or i8 %1, %2
  32   %4 = icmp ne i8 %3, 0
  33   %icmp1 = and i1 %4, false
  34   %5 = or i8 0, 0
  35   %z2 = zext i1 %phi1 to i8
  36   %6 = and i8 %5, %z2
  37   %7 = and i8 0, 0
  38   %8 = or i8 %6, %7
  39   %9 = icmp ne i8 %8, 0
  40   %icmp2 = and i1 %9, false
  41   br label %for.body
  42 }