| Alex Bradbury | 8f29647 | 2018-04-12 05:36:44 +0000 | [diff] [blame^] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| 2 | ; RUN: llc -mtriple=riscv32 -mattr=+d -verify-machineinstrs < %s \ |
| 3 | ; RUN: | FileCheck -check-prefix=RV32IFD %s |
| 4 | |
| 5 | define double @func(double %d, i32 %n) nounwind { |
| 6 | ; RV32IFD-LABEL: func: |
| 7 | ; RV32IFD: # %bb.0: # %entry |
| 8 | ; RV32IFD-NEXT: addi sp, sp, -32 |
| 9 | ; RV32IFD-NEXT: sw ra, 28(sp) |
| 10 | ; RV32IFD-NEXT: sw a0, 16(sp) |
| 11 | ; RV32IFD-NEXT: sw a1, 20(sp) |
| 12 | ; RV32IFD-NEXT: fld ft0, 16(sp) |
| 13 | ; RV32IFD-NEXT: beqz a2, .LBB0_2 |
| 14 | ; RV32IFD-NEXT: # %bb.1: # %if.else |
| 15 | ; RV32IFD-NEXT: addi a2, a2, -1 |
| 16 | ; RV32IFD-NEXT: lui a0, %hi(func) |
| 17 | ; RV32IFD-NEXT: addi a3, a0, %lo(func) |
| 18 | ; RV32IFD-NEXT: fsd ft0, 16(sp) |
| 19 | ; RV32IFD-NEXT: lw a0, 16(sp) |
| 20 | ; RV32IFD-NEXT: lw a1, 20(sp) |
| 21 | ; RV32IFD-NEXT: fsd ft0, 8(sp) |
| 22 | ; RV32IFD-NEXT: jalr a3 |
| 23 | ; RV32IFD-NEXT: sw a0, 16(sp) |
| 24 | ; RV32IFD-NEXT: sw a1, 20(sp) |
| 25 | ; RV32IFD-NEXT: fld ft0, 16(sp) |
| 26 | ; RV32IFD-NEXT: fld ft1, 8(sp) |
| 27 | ; RV32IFD-NEXT: fadd.d ft0, ft0, ft1 |
| 28 | ; RV32IFD-NEXT: .LBB0_2: # %return |
| 29 | ; RV32IFD-NEXT: fsd ft0, 16(sp) |
| 30 | ; RV32IFD-NEXT: lw a0, 16(sp) |
| 31 | ; RV32IFD-NEXT: lw a1, 20(sp) |
| 32 | ; RV32IFD-NEXT: lw ra, 28(sp) |
| 33 | ; RV32IFD-NEXT: addi sp, sp, 32 |
| 34 | ; RV32IFD-NEXT: ret |
| 35 | entry: |
| 36 | %cmp = icmp eq i32 %n, 0 |
| 37 | br i1 %cmp, label %return, label %if.else |
| 38 | |
| 39 | if.else: |
| 40 | %sub = add i32 %n, -1 |
| 41 | %call = tail call double @func(double %d, i32 %sub) |
| 42 | %add = fadd double %call, %d |
| 43 | ret double %add |
| 44 | |
| 45 | return: |
| 46 | ret double %d |
| 47 | } |