llvm/test/CodeGen/Hexagon/swp-epilog-phi11.ll

   1 ; RUN: llc -mtriple=hexagon-unknown-elf -mcpu=hexagonv55 -hexagon-initial-cfg-cleanup=0 < %s | FileCheck %s
   2
   3 ; Test that the pipeliner correctly generates the operands in the
   4 ; epilog.
   5
   6 ; CHECK: loop0
   7 ; CHECK: r{{[0-9]+}} = sfsub([[REG0:r([0-9]+)]],[[REG1:r([0-9]+)]])
   8 ; CHECK: endloop0
   9 ; CHECK: r{{[0-9]+}} = sfsub([[REG0]],[[REG1]])
  10 ; CHECK: r{{[0-9]+}} = sfsub([[REG0]],r{{[0-9]+}})
  11
  12 define dso_local void @test(i32 %m) local_unnamed_addr #0 {
  13 entry:
  14   %div = sdiv i32 %m, 2
  15   %sub = add nsw i32 %div, -1
  16   br label %for.body.prol
  17
  18 for.body.prol:
  19   %i.0106.prol = phi i32 [ undef, %for.body.prol ], [ %sub, %entry ]
  20   %sr.prol = phi float [ %0, %for.body.prol ], [ undef, %entry ]
  21   %sr109.prol = phi float [ %sr.prol, %for.body.prol ], [ undef, %entry ]
  22   %prol.iter = phi i32 [ %prol.iter.sub, %for.body.prol ], [ undef, %entry ]
  23   %0 = load float, ptr undef, align 4
  24   %sub7.prol = fsub contract float %sr109.prol, %0
  25   store float %sub7.prol, ptr null, align 4
  26   %prol.iter.sub = add i32 %prol.iter, -1
  27   %prol.iter.cmp = icmp eq i32 %prol.iter.sub, 0
  28   br i1 %prol.iter.cmp, label %for.body.prol.loopexit, label %for.body.prol
  29
  30 for.body.prol.loopexit:
  31   unreachable
  32 }
  33