llvm/test/Transforms/SLPVectorizer/PowerPC/pr27897.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -mtriple=powerpc64-linux-gnu -mcpu=pwr8 -mattr=+vsx -passes=slp-vectorizer < %s | FileCheck %s
   3
   4 %struct.A = type { ptr, ptr }
   5
   6 define i64 @foo(ptr nocapture readonly %this) {
   7 ; CHECK-LABEL: @foo(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[END_I:%.*]] = getelementptr inbounds [[STRUCT_A:%.*]], ptr [[THIS:%.*]], i64 0, i32 1
  10 ; CHECK-NEXT:    [[TMP1:%.*]] = load i64, ptr [[END_I]], align 8
  11 ; CHECK-NEXT:    [[TMP3:%.*]] = load i64, ptr [[THIS]], align 8
  12 ; CHECK-NEXT:    [[SUB_PTR_SUB_I:%.*]] = sub i64 [[TMP1]], [[TMP3]]
  13 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i64 [[SUB_PTR_SUB_I]], 9
  14 ; CHECK-NEXT:    br i1 [[CMP]], label [[RETURN:%.*]], label [[LOR_LHS_FALSE:%.*]]
  15 ; CHECK:       lor.lhs.false:
  16 ; CHECK-NEXT:    [[TMP4:%.*]] = inttoptr i64 [[TMP3]] to ptr
  17 ; CHECK-NEXT:    [[TMP5:%.*]] = inttoptr i64 [[TMP1]] to ptr
  18 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt ptr [[TMP5]], [[TMP4]]
  19 ; CHECK-NEXT:    [[DOT:%.*]] = select i1 [[CMP2]], i64 2, i64 -1
  20 ; CHECK-NEXT:    ret i64 [[DOT]]
  21 ; CHECK:       return:
  22 ; CHECK-NEXT:    ret i64 2
  23 ;
  24 entry:
  25   %end.i = getelementptr inbounds %struct.A, ptr %this, i64 0, i32 1
  26   %0 = load i64, ptr %end.i, align 8
  27   %1 = load i64, ptr %this, align 8
  28   %sub.ptr.sub.i = sub i64 %0, %1
  29   %cmp = icmp sgt i64 %sub.ptr.sub.i, 9
  30   br i1 %cmp, label %return, label %lor.lhs.false
  31
  32 lor.lhs.false:
  33   %2 = inttoptr i64 %1 to ptr
  34   %3 = inttoptr i64 %0 to ptr
  35   %cmp2 = icmp ugt ptr %3, %2
  36   %. = select i1 %cmp2, i64 2, i64 -1
  37   ret i64 %.
  38
  39 return:
  40   ret i64 2
  41 }
  42