| Chandler Carruth | 71fd270 | 2018-05-30 02:46:45 +0000 | [diff] [blame] | 1 | ; RUN: opt -passes='loop(loop-instsimplify,simplify-cfg,unswitch),verify<loops>' -S < %s | FileCheck %s |
| Alina Sbirlea | a2eebb8 | 2018-12-04 14:23:37 +0000 | [diff] [blame^] | 2 | ; RUN: opt -enable-mssa-loop-dependency=true -verify-memoryssa -passes='loop(loop-instsimplify,simplify-cfg,unswitch),verify<loops>' -S < %s | FileCheck %s |
| Chandler Carruth | 71fd270 | 2018-05-30 02:46:45 +0000 | [diff] [blame] | 3 | |
| 4 | declare void @some_func() noreturn |
| 5 | |
| 6 | define i32 @test1(i32* %var, i1 %cond1, i1 %cond2) { |
| 7 | ; CHECK-LABEL: @test1( |
| 8 | entry: |
| 9 | br label %loop_begin |
| 10 | ; CHECK-NEXT: entry: |
| 11 | ; CHECK-NEXT: br i1 %{{.*}}, label %entry.split, label %loop_exit.split |
| 12 | ; |
| 13 | ; CHECK: entry.split: |
| 14 | ; CHECK-NEXT: br i1 %{{.*}}, label %entry.split.split, label %loop_exit |
| 15 | ; |
| 16 | ; CHECK: entry.split.split: |
| Alina Sbirlea | dfd14ad | 2018-06-20 22:01:04 +0000 | [diff] [blame] | 17 | ; CHECK-NEXT: br label %loop_begin |
| Chandler Carruth | 71fd270 | 2018-05-30 02:46:45 +0000 | [diff] [blame] | 18 | |
| 19 | loop_begin: |
| 20 | br i1 %cond1, label %continue, label %loop_exit ; first trivial condition |
| 21 | |
| 22 | continue: |
| 23 | %var_val = load i32, i32* %var |
| 24 | %var_cond = trunc i32 %var_val to i1 |
| 25 | %maybe_cond = select i1 %cond1, i1 %cond2, i1 %var_cond |
| 26 | br i1 %maybe_cond, label %do_something, label %loop_exit ; second trivial condition |
| 27 | |
| 28 | do_something: |
| 29 | call void @some_func() noreturn nounwind |
| 30 | br label %loop_begin |
| Alina Sbirlea | dfd14ad | 2018-06-20 22:01:04 +0000 | [diff] [blame] | 31 | ; CHECK: loop_begin: |
| Chandler Carruth | 71fd270 | 2018-05-30 02:46:45 +0000 | [diff] [blame] | 32 | ; CHECK-NEXT: call |
| Alina Sbirlea | dfd14ad | 2018-06-20 22:01:04 +0000 | [diff] [blame] | 33 | ; CHECK-NEXT: br label %loop_begin |
| Chandler Carruth | 71fd270 | 2018-05-30 02:46:45 +0000 | [diff] [blame] | 34 | |
| 35 | loop_exit: |
| 36 | ret i32 0 |
| 37 | ; CHECK: loop_exit: |
| 38 | ; CHECK-NEXT: br label %loop_exit.split |
| 39 | ; |
| 40 | ; CHECK: loop_exit.split: |
| 41 | ; CHECK-NEXT: ret |
| Alina Sbirlea | dfd14ad | 2018-06-20 22:01:04 +0000 | [diff] [blame] | 42 | } |