| Andrew Trick | 0f8cd56 | 2012-01-02 21:25:10 +0000 | [diff] [blame^] | 1 | ; RUN: opt -loop-reduce -S < %s | FileCheck %s |
| 2 | ; |
| 3 | ; <rdar://10619599> "SelectionDAGBuilder shouldn't visit PHI nodes!" assert. |
| 4 | |
| 5 | target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-f128:128:128-n8:16:32" |
| 6 | target triple = "i386-apple-darwin" |
| 7 | |
| 8 | ; LSR should convert the inner loop (bb7.us) IV (j.01.us) into float*. |
| 9 | ; This involves a nested AddRec, the outer AddRec's loop invariant components |
| 10 | ; cannot find a preheader, so they should be expanded in the loop header |
| 11 | ; (bb7.lr.ph.us) below the existing phi i.12.us. |
| 12 | ; CHECK: @nopreheader |
| 13 | ; CHECK: bb7.lr.ph.us: |
| 14 | ; CHECK: %lsr.iv = phi float* |
| 15 | ; CHECK: bb7.us: |
| 16 | ; CHECK: %lsr.iv2 = phi float* |
| 17 | define void @nopreheader(float* nocapture %a, i32 %n) nounwind { |
| 18 | entry: |
| 19 | %0 = sdiv i32 %n, undef |
| 20 | indirectbr i8* undef, [label %bb10.preheader] |
| 21 | |
| 22 | bb10.preheader: ; preds = %bb4 |
| 23 | indirectbr i8* undef, [label %bb8.preheader.lr.ph, label %return] |
| 24 | |
| 25 | bb8.preheader.lr.ph: ; preds = %bb10.preheader |
| 26 | indirectbr i8* null, [label %bb7.lr.ph.us, label %bb9] |
| 27 | |
| 28 | bb7.lr.ph.us: ; preds = %bb9.us, %bb8.preheader.lr.ph |
| 29 | %i.12.us = phi i32 [ %2, %bb9.us ], [ 0, %bb8.preheader.lr.ph ] |
| 30 | %tmp30 = mul i32 %0, %i.12.us |
| 31 | indirectbr i8* undef, [label %bb7.us] |
| 32 | |
| 33 | bb7.us: ; preds = %bb7.lr.ph.us, %bb7.us |
| 34 | %j.01.us = phi i32 [ 0, %bb7.lr.ph.us ], [ %1, %bb7.us ] |
| 35 | %tmp31 = add i32 %tmp30, %j.01.us |
| 36 | %scevgep9 = getelementptr float* %a, i32 %tmp31 |
| 37 | store float undef, float* %scevgep9, align 1 |
| 38 | %1 = add nsw i32 %j.01.us, 1 |
| 39 | indirectbr i8* undef, [label %bb9.us, label %bb7.us] |
| 40 | |
| 41 | bb9.us: ; preds = %bb7.us |
| 42 | %2 = add nsw i32 %i.12.us, 1 |
| 43 | indirectbr i8* undef, [label %bb7.lr.ph.us, label %return] |
| 44 | |
| 45 | bb9: ; preds = %bb9, %bb8.preheader.lr.ph |
| 46 | indirectbr i8* undef, [label %bb9, label %return] |
| 47 | |
| 48 | return: ; preds = %bb9, %bb9.us, %bb10.preheader |
| 49 | ret void |
| 50 | } |