llvm/test/Transforms/InstCombine/fold-vector-zero.ll

   1 ; RUN: opt < %s -passes=instcombine -S | 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 ptr
  12         %r4 = load <2 x double>, ptr %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 ptr
  25         store <2 x double> %r15, ptr %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 }