llvm/test/Transforms/SLPVectorizer/X86/pr59867.ll

   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
   7 define 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 }