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>* %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