| David Majnemer | 4c82dae | 2015-01-27 06:21:43 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loop-rotate -S | FileCheck %s |
| 2 | |
| 3 | @a = external global i8, align 4 |
| 4 | @tmp = global i8* @a |
| 5 | |
| 6 | define void @f() { |
| 7 | ; CHECK-LABEL: define void @f( |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 8 | ; CHECK: getelementptr i8, i8* @a, i32 0 |
| David Majnemer | 4c82dae | 2015-01-27 06:21:43 +0000 | [diff] [blame] | 9 | entry: |
| 10 | br label %for.preheader |
| 11 | |
| 12 | for.preheader: |
| 13 | br i1 undef, label %if.then8, label %for.body |
| 14 | |
| 15 | for.body: |
| 16 | br i1 undef, label %if.end, label %if.then8 |
| 17 | |
| 18 | if.end: |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 19 | %arrayidx = getelementptr i8, i8* @a, i32 0 |
| David Majnemer | 4c82dae | 2015-01-27 06:21:43 +0000 | [diff] [blame] | 20 | br label %for.preheader |
| 21 | |
| 22 | if.then8: |
| 23 | unreachable |
| 24 | } |