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 6define 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; 24entry: 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 32lor.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 39return: 40 ret i64 2 41} 42 43