| Dan Gohman | f8d0578 | 2010-04-09 19:14:31 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -loop-reduce -S | not grep uglygep |
| 2 | |
| 3 | ; LSR shouldn't consider %t8 to be an interesting user of %t6, and it |
| 4 | ; should be able to form pretty GEPs. |
| 5 | |
| 6 | 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" |
| 7 | target triple = "x86_64-unknown-linux-gnu" |
| 8 | |
| 9 | define void @Z4() nounwind { |
| 10 | bb: |
| 11 | br label %bb3 |
| 12 | |
| 13 | bb1: ; preds = %bb3 |
| 14 | br i1 undef, label %bb10, label %bb2 |
| 15 | |
| 16 | bb2: ; preds = %bb1 |
| 17 | %t = add i64 %t4, 1 ; <i64> [#uses=1] |
| 18 | br label %bb3 |
| 19 | |
| 20 | bb3: ; preds = %bb2, %bb |
| 21 | %t4 = phi i64 [ %t, %bb2 ], [ 0, %bb ] ; <i64> [#uses=3] |
| 22 | br label %bb1 |
| 23 | |
| 24 | bb10: ; preds = %bb9 |
| 25 | %t7 = icmp eq i64 %t4, 0 ; <i1> [#uses=1] |
| 26 | %t3 = add i64 %t4, 16 ; <i64> [#uses=1] |
| 27 | br label %bb14 |
| 28 | |
| 29 | bb14: ; preds = %bb14, %bb10 |
| 30 | %t2 = getelementptr inbounds i8* undef, i64 %t4 ; <i8*> [#uses=1] |
| 31 | store i8 undef, i8* %t2 |
| 32 | %t6 = load float** undef |
| 33 | %t8 = bitcast float* %t6 to i8* ; <i8*> [#uses=1] |
| 34 | %t9 = getelementptr inbounds i8* %t8, i64 %t3 ; <i8*> [#uses=1] |
| 35 | store i8 undef, i8* %t9 |
| 36 | br label %bb14 |
| 37 | } |