| Andrew Trick | 9c72b07 | 2013-05-06 17:58:18 +0000 | [diff] [blame] | 1 | ; RUN: opt -S < %s -loop-rotate -licm -verify-dom-info -verify-loop-info | FileCheck %s |
| Andrew Trick | 10cc453 | 2012-02-14 00:00:23 +0000 | [diff] [blame] | 2 | ; PR2624 unroll multiple exits |
| 3 | |
| 4 | @mode_table = global [4 x i32] zeroinitializer ; <[4 x i32]*> [#uses=1] |
| 5 | |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 6 | ; CHECK-LABEL: @f( |
| Yi Jiang | ab19fff | 2014-10-29 20:19:47 +0000 | [diff] [blame] | 7 | ; CHECK-NOT: bb: |
| Andrew Trick | 10cc453 | 2012-02-14 00:00:23 +0000 | [diff] [blame] | 8 | define i8 @f() { |
| 9 | entry: |
| 10 | tail call i32 @fegetround( ) ; <i32>:0 [#uses=1] |
| 11 | br label %bb |
| 12 | |
| 13 | bb: ; preds = %bb4, %entry |
| 14 | %mode.0 = phi i8 [ 0, %entry ], [ %indvar.next, %bb4 ] ; <i8> [#uses=4] |
| 15 | zext i8 %mode.0 to i32 ; <i32>:1 [#uses=1] |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 16 | getelementptr [4 x i32], [4 x i32]* @mode_table, i32 0, i32 %1 ; <i32*>:2 [#uses=1] |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 17 | load i32, i32* %2, align 4 ; <i32>:3 [#uses=1] |
| Andrew Trick | 10cc453 | 2012-02-14 00:00:23 +0000 | [diff] [blame] | 18 | icmp eq i32 %3, %0 ; <i1>:4 [#uses=1] |
| 19 | br i1 %4, label %bb1, label %bb2 |
| 20 | |
| 21 | bb1: ; preds = %bb |
| 22 | ret i8 %mode.0 |
| 23 | |
| 24 | bb2: ; preds = %bb |
| 25 | icmp eq i8 %mode.0, 1 ; <i1>:5 [#uses=1] |
| 26 | br i1 %5, label %bb5, label %bb4 |
| 27 | |
| 28 | bb4: ; preds = %bb2 |
| 29 | %indvar.next = add i8 %mode.0, 1 ; <i8> [#uses=1] |
| 30 | br label %bb |
| 31 | |
| 32 | bb5: ; preds = %bb2 |
| 33 | tail call void @raise_exception( ) noreturn |
| 34 | unreachable |
| 35 | } |
| 36 | |
| 37 | declare i32 @fegetround() |
| 38 | |
| 39 | declare void @raise_exception() noreturn |
| Andrew Trick | 9c72b07 | 2013-05-06 17:58:18 +0000 | [diff] [blame] | 40 | |
| 41 | ;CHECK: for.body.lr.ph: |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 42 | ;CHECK-NEXT: %arrayidx1 = getelementptr inbounds i8, i8* %CurPtr, i64 0 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 43 | ;CHECK-NEXT: %0 = load i8, i8* %arrayidx1, align 1 |
| Andrew Trick | 9c72b07 | 2013-05-06 17:58:18 +0000 | [diff] [blame] | 44 | ;CHECK-NEXT: %conv2 = sext i8 %0 to i32 |
| 45 | ;CHECK-NEXT: br label %for.body |
| 46 | |
| 47 | define i32 @foo(i8* %CurPtr, i32 %a) #0 { |
| 48 | entry: |
| 49 | br label %for.cond |
| 50 | |
| 51 | for.cond: ; preds = %for.inc, %entry |
| 52 | %i.0 = phi i32 [ 1, %entry ], [ %inc, %for.inc ] |
| 53 | %cmp = icmp ne i32 %i.0, %a |
| 54 | br i1 %cmp, label %for.body, label %return |
| 55 | |
| 56 | for.body: ; preds = %for.cond |
| 57 | %idxprom = zext i32 %i.0 to i64 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 58 | %arrayidx = getelementptr inbounds i8, i8* %CurPtr, i64 %idxprom |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 59 | %0 = load i8, i8* %arrayidx, align 1 |
| Andrew Trick | 9c72b07 | 2013-05-06 17:58:18 +0000 | [diff] [blame] | 60 | %conv = sext i8 %0 to i32 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 61 | %arrayidx1 = getelementptr inbounds i8, i8* %CurPtr, i64 0 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 62 | %1 = load i8, i8* %arrayidx1, align 1 |
| Andrew Trick | 9c72b07 | 2013-05-06 17:58:18 +0000 | [diff] [blame] | 63 | %conv2 = sext i8 %1 to i32 |
| 64 | %cmp3 = icmp ne i32 %conv, %conv2 |
| 65 | br i1 %cmp3, label %return, label %for.inc |
| 66 | |
| 67 | for.inc: ; preds = %for.body |
| 68 | %inc = add i32 %i.0, 1 |
| 69 | br label %for.cond |
| 70 | |
| 71 | return: ; preds = %for.cond, %for.body |
| 72 | %retval.0 = phi i32 [ 0, %for.body ], [ 1, %for.cond ] |
| 73 | ret i32 %retval.0 |
| 74 | } |
| 75 | |
| 76 | attributes #0 = { nounwind uwtable } |