test/Transforms/InstCombine/align-addr.ll

   1 ; RUN: opt < %s -instcombine -S | grep {align 16} | count 1
   2
   3 ; Instcombine should be able to prove vector alignment in the
   4 ; presence of a few mild address computation tricks.
   5
   6 define void @foo(i8* %b, i64 %n, i64 %u, i64 %y) nounwind  {
   7 entry:
   8   %c = ptrtoint i8* %b to i64
   9   %d = and i64 %c, -16
  10   %e = inttoptr i64 %d to double*
  11   %v = mul i64 %u, 2
  12   %z = and i64 %y, -2
  13   %t1421 = icmp eq i64 %n, 0
  14   br i1 %t1421, label %return, label %bb
  15
  16 bb:
  17   %i = phi i64 [ %indvar.next, %bb ], [ 20, %entry ]
  18   %j = mul i64 %i, %v
  19   %h = add i64 %j, %z
  20   %t8 = getelementptr double* %e, i64 %h
  21   %p = bitcast double* %t8 to <2 x double>*
  22   store <2 x double><double 0.0, double 0.0>, <2 x double>* %p, align 8
  23   %indvar.next = add i64 %i, 1
  24   %exitcond = icmp eq i64 %indvar.next, %n
  25   br i1 %exitcond, label %return, label %bb
  26
  27 return:
  28   ret void
  29 }
  30