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 4define 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; 19entry: 20 br label %for.body 21 22for.body: 23 %phi1 = phi i1 [ %icmp2, %0 ], [ false, %entry ] 24 %phi2 = phi i1 [ %icmp1, %0 ], [ false, %entry ] 25 br label %0 26 270: 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} 43