| Brendon Cahoon | e3841eea | 2018-08-27 22:04:50 +0000 | [diff] [blame^] | 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, float* undef, align 4 |
| 24 | %sub7.prol = fsub contract float %sr109.prol, %0 |
| 25 | store float %sub7.prol, float* 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 | |