| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 | |
| ; RUN: opt -passes="loop(invalidate<all>,loop-unroll-and-jam,loop-unroll-and-jam)" -allow-unroll-and-jam -unroll-and-jam-count=4 < %s -S | FileCheck %s | |
| ; This test completely unrolls the middle loop out of a 3-deep loop nest. | |
| define i16 @test_it() { | |
| ; CHECK-LABEL: define i16 @test_it() { | |
| ; CHECK-NEXT: [[ENTRY:.*:]] | |
| ; CHECK-NEXT: br label %[[FOR_COND:.*]] | |
| ; CHECK: [[FOR_COND_LOOPEXIT:.*]]: | |
| ; CHECK-NEXT: br label %[[FOR_COND]] | |
| ; CHECK: [[FOR_COND]]: | |
| ; CHECK-NEXT: br label %[[DO_BODY2:.*]] | |
| ; CHECK: [[DO_BODY2]]: | |
| ; CHECK-NEXT: br label %[[WHILE_COND3:.*]] | |
| ; CHECK: [[WHILE_COND3]]: | |
| ; CHECK-NEXT: br i1 true, label %[[DO_COND:.*]], label %[[WHILE_COND3]] | |
| ; CHECK: [[DO_COND]]: | |
| ; CHECK-NEXT: br label %[[FOR_COND_LOOPEXIT]] | |
| ; | |
| entry: | |
| br label %for.cond | |
| for.cond: ; preds = %do.cond, %entry | |
| br label %do.body2 | |
| do.body2: ; preds = %do.cond, %for.cond | |
| br label %while.cond3 | |
| while.cond3: ; preds = %while.cond3, %do.body2 | |
| br i1 true, label %do.cond, label %while.cond3 | |
| do.cond: ; preds = %while.cond3 | |
| br i1 true, label %for.cond, label %do.body2 | |
| } | |