Dan Gohman | 9f39660 | 2007-10-30 19:00:49 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep zeroinitializer |
| 2 | |
| 3 | define void @foo(i64 %A, i64 %B) { |
| 4 | bb8: |
| 5 | br label %bb30 |
| 6 | |
| 7 | bb30: |
| 8 | %s0 = phi i64 [ 0, %bb8 ], [ %r21, %bb30 ] |
| 9 | %l0 = phi i64 [ -2222, %bb8 ], [ %r23, %bb30 ] |
| 10 | %r2 = add i64 %s0, %B |
| 11 | %r3 = inttoptr i64 %r2 to <2 x double>* |
| 12 | %r4 = load <2 x double>* %r3, align 8 |
| 13 | %r6 = bitcast <2 x double> %r4 to <2 x i64> |
| 14 | %r7 = bitcast <2 x double> zeroinitializer to <2 x i64> |
| 15 | %r8 = insertelement <2 x i64> undef, i64 9223372036854775807, i32 0 |
| 16 | %r9 = insertelement <2 x i64> undef, i64 -9223372036854775808, i32 0 |
| 17 | %r10 = insertelement <2 x i64> %r8, i64 9223372036854775807, i32 1 |
| 18 | %r11 = insertelement <2 x i64> %r9, i64 -9223372036854775808, i32 1 |
| 19 | %r12 = and <2 x i64> %r6, %r10 |
| 20 | %r13 = and <2 x i64> %r7, %r11 |
| 21 | %r14 = or <2 x i64> %r12, %r13 |
| 22 | %r15 = bitcast <2 x i64> %r14 to <2 x double> |
| 23 | %r18 = add i64 %s0, %A |
| 24 | %r19 = inttoptr i64 %r18 to <2 x double>* |
| 25 | store <2 x double> %r15, <2 x double>* %r19, align 8 |
| 26 | %r21 = add i64 16, %s0 |
| 27 | %r23 = add i64 1, %l0 |
| 28 | %r25 = icmp slt i64 %r23, 0 |
| 29 | %r26 = zext i1 %r25 to i64 |
| 30 | %r27 = icmp ne i64 %r26, 0 |
| 31 | br i1 %r27, label %bb30, label %bb5 |
| 32 | |
| 33 | bb5: |
| 34 | ret void |
| 35 | } |