34 lines · plain
1; RUN: llc -mtriple=hexagon-unknown-elf -mcpu=hexagonv55 -hexagon-initial-cfg-cleanup=0 -terminal-rule=0 < %s | FileCheck %s2 3; Test that the pipeliner correctly generates the operands in the4; epilog.5 6; CHECK: loop07; CHECK: r{{[0-9]+}} = sfsub([[REG0:r([0-9]+)]],[[REG1:r([0-9]+)]])8; CHECK: endloop09; CHECK: r{{[0-9]+}} = sfsub([[REG0]],[[REG1]])10; CHECK: r{{[0-9]+}} = sfsub([[REG0]],r{{[0-9]+}})11 12define dso_local void @test(i32 %m, ptr noalias %p0, ptr noalias %p1) local_unnamed_addr #0 {13entry:14 %div = sdiv i32 %m, 215 %sub = add nsw i32 %div, -116 br label %for.body.prol17 18for.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 %p0, align 424 %sub7.prol = fsub contract float %sr109.prol, %025 store float %sub7.prol, ptr %p1, align 426 %prol.iter.sub = add i32 %prol.iter, -127 %prol.iter.cmp = icmp eq i32 %prol.iter.sub, 028 br i1 %prol.iter.cmp, label %for.body.prol.loopexit, label %for.body.prol29 30for.body.prol.loopexit:31 unreachable32}33 34