| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -S -slp-vectorizer -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s |
| |
| define void @foo() local_unnamed_addr { |
| ; CHECK-LABEL: @foo( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[TMP0:%.*]] = load volatile double, double* poison, align 8 |
| ; CHECK-NEXT: [[TMP1:%.*]] = load volatile double, double* poison, align 8 |
| ; CHECK-NEXT: [[TMP2:%.*]] = load volatile double, double* poison, align 8 |
| ; CHECK-NEXT: [[TMP3:%.*]] = load volatile double, double* poison, align 8 |
| ; CHECK-NEXT: br label [[FOR_BODY:%.*]] |
| ; CHECK: for.body: |
| ; CHECK-NEXT: [[D30_0734:%.*]] = phi double [ undef, [[FOR_BODY]] ], [ [[TMP0]], [[ENTRY:%.*]] ] |
| ; CHECK-NEXT: [[D01_0733:%.*]] = phi double [ undef, [[FOR_BODY]] ], [ [[TMP1]], [[ENTRY]] ] |
| ; CHECK-NEXT: [[D11_0732:%.*]] = phi double [ undef, [[FOR_BODY]] ], [ [[TMP2]], [[ENTRY]] ] |
| ; CHECK-NEXT: [[D21_0731:%.*]] = phi double [ undef, [[FOR_BODY]] ], [ [[TMP3]], [[ENTRY]] ] |
| ; CHECK-NEXT: br label [[FOR_BODY]] |
| ; |
| entry: |
| %0 = load volatile double, double* poison, align 8 |
| %1 = load volatile double, double* poison, align 8 |
| %2 = load volatile double, double* poison, align 8 |
| %3 = load volatile double, double* poison, align 8 |
| br label %for.body |
| |
| for.body: ; preds = %for.body, %entry |
| %d30.0734 = phi double [ undef, %for.body ], [ %0, %entry ] |
| %d01.0733 = phi double [ undef, %for.body ], [ %1, %entry ] |
| %d11.0732 = phi double [ undef, %for.body ], [ %2, %entry ] |
| %d21.0731 = phi double [ undef, %for.body ], [ %3, %entry ] |
| br label %for.body |
| } |