| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 |
| ; RUN: %if x86-registered-target %{ opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux < %s | FileCheck %s %} |
| ; RUN: %if aarch64-registered-target %{ opt -S --passes=slp-vectorizer -mtriple=aarch64-unknown-linux < %s | FileCheck %s %} |
| |
| ; SLP doesn't currently support sub reductions |
| define i64 @reduction_sub(ptr %ptr) { |
| ; CHECK-LABEL: define i64 @reduction_sub( |
| ; CHECK-SAME: ptr [[PTR:%.*]]) { |
| ; CHECK-NEXT: [[ENTRY:.*:]] |
| ; CHECK-NEXT: [[LD0:%.*]] = load i64, ptr [[PTR]], align 8 |
| ; CHECK-NEXT: [[GEP:%.*]] = getelementptr inbounds i64, ptr [[PTR]], i64 1 |
| ; CHECK-NEXT: [[LD1:%.*]] = load i64, ptr [[GEP]], align 8 |
| ; CHECK-NEXT: [[SUB_1:%.*]] = sub nuw nsw i64 [[LD0]], [[LD1]] |
| ; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr inbounds i64, ptr [[PTR]], i64 2 |
| ; CHECK-NEXT: [[LD2:%.*]] = load i64, ptr [[GEP_1]], align 8 |
| ; CHECK-NEXT: [[SUB_2:%.*]] = sub nuw nsw i64 [[SUB_1]], [[LD2]] |
| ; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr inbounds i64, ptr [[PTR]], i64 3 |
| ; CHECK-NEXT: [[LD3:%.*]] = load i64, ptr [[GEP_2]], align 8 |
| ; CHECK-NEXT: [[SUB_3:%.*]] = sub nuw nsw i64 [[SUB_2]], [[LD3]] |
| ; CHECK-NEXT: ret i64 [[SUB_3]] |
| ; |
| entry: |
| %ld0 = load i64, ptr %ptr |
| %gep = getelementptr inbounds i64, ptr %ptr, i64 1 |
| %ld1 = load i64, ptr %gep |
| %sub.1 = sub nuw nsw i64 %ld0, %ld1 |
| %gep.1 = getelementptr inbounds i64, ptr %ptr, i64 2 |
| %ld2 = load i64, ptr %gep.1 |
| %sub.2 = sub nuw nsw i64 %sub.1, %ld2 |
| %gep.2 = getelementptr inbounds i64, ptr %ptr, i64 3 |
| %ld3 = load i64, ptr %gep.2 |
| %sub.3 = sub nuw nsw i64 %sub.2, %ld3 |
| ret i64 %sub.3 |
| } |
