1; RUN: opt < %s -instcombine -S | not grep zeroinitializer
2
3define void @foo(i64 %A, i64 %B) {
4bb8:
5	br label %bb30
6
7bb30:
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>, <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
33bb5:
34	ret void
35}
36