| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -passes=slp-vectorizer -S < %s | FileCheck %s |
| |
| define void @f(i16 %0) { |
| ; CHECK-LABEL: @f( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br label [[FOR_COND:%.*]] |
| ; CHECK: for.cond: |
| ; CHECK-NEXT: [[TMP1:%.*]] = phi i16 [ 0, [[FOR_END5:%.*]] ], [ [[TMP0:%.*]], [[ENTRY:%.*]] ] |
| ; CHECK-NEXT: [[B_0:%.*]] = phi i16 [ 0, [[ENTRY]] ], [ [[INC:%.*]], [[FOR_END5]] ] |
| ; CHECK-NEXT: [[INC]] = add i16 0, 0 |
| ; CHECK-NEXT: br label [[FOR_BODY2:%.*]] |
| ; CHECK: for.body2: |
| ; CHECK-NEXT: br label [[FOR_BODY2]] |
| ; CHECK: for.end5: |
| ; CHECK-NEXT: br label [[FOR_COND]] |
| ; |
| entry: |
| br label %for.cond |
| |
| for.cond: |
| %1 = phi i16 [ 0, %for.end5 ], [ %0, %entry ] |
| %b.0 = phi i16 [ 0, %entry ], [ %inc, %for.end5 ] |
| %inc = add i16 0, 0 |
| br label %for.body2 |
| |
| for.body2: |
| br label %for.body2 |
| |
| for.end5: |
| br label %for.cond |
| } |