1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=slp-vectorizer -S -mtriple=x86_64-unknown -mcpu=x86-64 -S | FileCheck %s 3; RUN: opt < %s -passes=slp-vectorizer -S -mtriple=x86_64-unknown -mcpu=x86-64-v2 -S | FileCheck %s 4; RUN: opt < %s -passes=slp-vectorizer -S -mtriple=x86_64-unknown -mcpu=x86-64-v3 -S | FileCheck %s 5; RUN: opt < %s -passes=slp-vectorizer -S -mtriple=x86_64-unknown -mcpu=x86-64-v4 -S | FileCheck %s 6 7define i1 @PR59867(ptr %s1, ptr %s2) { 8; CHECK-LABEL: @PR59867( 9; CHECK-NEXT: [[V1_1:%.*]] = load i8, ptr [[S1:%.*]], align 1 10; CHECK-NEXT: [[V2_1:%.*]] = load i8, ptr [[S2:%.*]], align 1 11; CHECK-NEXT: [[C1:%.*]] = icmp eq i8 [[V1_1]], [[V2_1]] 12; CHECK-NEXT: [[S1_2:%.*]] = getelementptr inbounds i8, ptr [[S1]], i64 1 13; CHECK-NEXT: [[V1_2:%.*]] = load i8, ptr [[S1_2]], align 1 14; CHECK-NEXT: [[S2_2:%.*]] = getelementptr inbounds i8, ptr [[S2]], i64 1 15; CHECK-NEXT: [[V2_2:%.*]] = load i8, ptr [[S2_2]], align 1 16; CHECK-NEXT: [[C2:%.*]] = icmp eq i8 [[V1_2]], [[V2_2]] 17; CHECK-NEXT: [[RES:%.*]] = select i1 [[C1]], i1 [[C2]], i1 false 18; CHECK-NEXT: ret i1 [[RES]] 19; 20 %v1.1 = load i8, ptr %s1, align 1 21 %v2.1 = load i8, ptr %s2, align 1 22 %c1 = icmp eq i8 %v1.1, %v2.1 23 %s1.2 = getelementptr inbounds i8, ptr %s1, i64 1 24 %v1.2 = load i8, ptr %s1.2, align 1 25 %s2.2 = getelementptr inbounds i8, ptr %s2, i64 1 26 %v2.2 = load i8, ptr %s2.2, align 1 27 %c2 = icmp eq i8 %v1.2, %v2.2 28 %res = select i1 %c1, i1 %c2, i1 false 29 ret i1 %res 30} 31