| Andrew Trick | 070e540 | 2012-03-16 03:16:56 +0000 | [diff] [blame^] | 1 | ; RUN: opt -loop-reduce -S < %s | FileCheck %s |
| 2 | ; |
| 3 | ; <rdar://problem/11049788> Segmentation fault: 11 in LoopStrengthReduce |
| 4 | |
| 5 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" |
| 6 | target triple = "x86_64-apple-darwin10.0.0" |
| 7 | |
| 8 | ; IVUsers should not consider tmp128 a valid user because it is not in a |
| 9 | ; simplified loop nest. |
| 10 | ; CHECK: @nopreheader |
| 11 | ; CHECK: for.cond: |
| 12 | ; CHECK: %tmp128 = add i64 %0, %indvar65 |
| 13 | define void @nopreheader(i8* %cmd) nounwind ssp { |
| 14 | entry: |
| 15 | indirectbr i8* undef, [label %while.cond] |
| 16 | |
| 17 | while.cond: ; preds = %while.body, %entry |
| 18 | %0 = phi i64 [ %indvar.next48, %while.body ], [ 0, %entry ] |
| 19 | indirectbr i8* undef, [label %while.end, label %while.body] |
| 20 | |
| 21 | while.body: ; preds = %lor.rhs, %lor.lhs.false17, %lor.lhs.false11, %lor.lhs.false, %land.rhs |
| 22 | %indvar.next48 = add i64 %0, 1 |
| 23 | indirectbr i8* undef, [label %while.cond] |
| 24 | |
| 25 | while.end: ; preds = %lor.rhs, %while.cond |
| 26 | indirectbr i8* undef, [label %if.end152] |
| 27 | |
| 28 | if.end152: ; preds = %lor.lhs.false144, %if.end110 |
| 29 | indirectbr i8* undef, [label %lor.lhs.false184, label %for.cond] |
| 30 | |
| 31 | lor.lhs.false184: ; preds = %lor.lhs.false177 |
| 32 | indirectbr i8* undef, [label %return, label %for.cond] |
| 33 | |
| 34 | for.cond: ; preds = %for.inc, %lor.lhs.false184, %if.end152 |
| 35 | %indvar65 = phi i64 [ %indvar.next66, %for.inc ], [ 0, %lor.lhs.false184 ], [ 0, %if.end152 ] |
| 36 | %tmp128 = add i64 %0, %indvar65 |
| 37 | %s.4 = getelementptr i8* %cmd, i64 %tmp128 |
| 38 | %tmp195 = load i8* %s.4, align 1 |
| 39 | indirectbr i8* undef, [label %return, label %land.rhs198] |
| 40 | |
| 41 | land.rhs198: ; preds = %for.cond |
| 42 | indirectbr i8* undef, [label %return, label %for.inc] |
| 43 | |
| 44 | for.inc: ; preds = %lor.rhs234, %land.lhs.true228, %land.lhs.true216, %land.lhs.true204 |
| 45 | %indvar.next66 = add i64 %indvar65, 1 |
| 46 | indirectbr i8* undef, [label %for.cond] |
| 47 | |
| 48 | return: ; preds = %if.end677, %doshell, %if.then96 |
| 49 | ret void |
| 50 | } |