89 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=riscv32 -mattr=+d -target-abi=ilp32 -verify-machineinstrs < %s \3; RUN: | FileCheck -check-prefix=RV32IFD %s4; RUN: llc -mtriple=riscv32 -mattr=+zdinx -target-abi=ilp32 -verify-machineinstrs < %s \5; RUN: | FileCheck -check-prefix=RV32IZFINXZDINX %s6 7define double @test(double %a) nounwind {8; RV32IFD-LABEL: test:9; RV32IFD: # %bb.0:10; RV32IFD-NEXT: ret11;12; RV32IZFINXZDINX-LABEL: test:13; RV32IZFINXZDINX: # %bb.0:14; RV32IZFINXZDINX-NEXT: ret15 ret double %a16}17 18; This previously failed complaining of multiple vreg defs due to an ABI19; lowering issue.20 21define i32 @main() nounwind {22; RV32IFD-LABEL: main:23; RV32IFD: # %bb.0: # %entry24; RV32IFD-NEXT: addi sp, sp, -1625; RV32IFD-NEXT: sw ra, 12(sp) # 4-byte Folded Spill26; RV32IFD-NEXT: lui a1, 26214427; RV32IFD-NEXT: li a0, 028; RV32IFD-NEXT: call test29; RV32IFD-NEXT: sw a0, 0(sp)30; RV32IFD-NEXT: sw a1, 4(sp)31; RV32IFD-NEXT: lui a0, %hi(.LCPI1_0)32; RV32IFD-NEXT: fld fa5, 0(sp)33; RV32IFD-NEXT: fld fa4, %lo(.LCPI1_0)(a0)34; RV32IFD-NEXT: flt.d a0, fa5, fa435; RV32IFD-NEXT: bnez a0, .LBB1_336; RV32IFD-NEXT: # %bb.1: # %entry37; RV32IFD-NEXT: lui a0, %hi(.LCPI1_1)38; RV32IFD-NEXT: fld fa4, %lo(.LCPI1_1)(a0)39; RV32IFD-NEXT: flt.d a0, fa4, fa540; RV32IFD-NEXT: bnez a0, .LBB1_341; RV32IFD-NEXT: # %bb.2: # %if.end42; RV32IFD-NEXT: call exit43; RV32IFD-NEXT: .LBB1_3: # %if.then44; RV32IFD-NEXT: call abort45;46; RV32IZFINXZDINX-LABEL: main:47; RV32IZFINXZDINX: # %bb.0: # %entry48; RV32IZFINXZDINX-NEXT: addi sp, sp, -1649; RV32IZFINXZDINX-NEXT: sw ra, 12(sp) # 4-byte Folded Spill50; RV32IZFINXZDINX-NEXT: lui a1, 26214451; RV32IZFINXZDINX-NEXT: li a0, 052; RV32IZFINXZDINX-NEXT: call test53; RV32IZFINXZDINX-NEXT: lui a2, %hi(.LCPI1_0)54; RV32IZFINXZDINX-NEXT: lw a4, %lo(.LCPI1_0)(a2)55; RV32IZFINXZDINX-NEXT: addi a2, a2, %lo(.LCPI1_0)56; RV32IZFINXZDINX-NEXT: lw a5, 4(a2)57; RV32IZFINXZDINX-NEXT: flt.d a2, a0, a458; RV32IZFINXZDINX-NEXT: bnez a2, .LBB1_359; RV32IZFINXZDINX-NEXT: # %bb.1: # %entry60; RV32IZFINXZDINX-NEXT: lui a2, %hi(.LCPI1_1)61; RV32IZFINXZDINX-NEXT: lw a4, %lo(.LCPI1_1)(a2)62; RV32IZFINXZDINX-NEXT: addi a2, a2, %lo(.LCPI1_1)63; RV32IZFINXZDINX-NEXT: lw a5, 4(a2)64; RV32IZFINXZDINX-NEXT: flt.d a0, a4, a065; RV32IZFINXZDINX-NEXT: bnez a0, .LBB1_366; RV32IZFINXZDINX-NEXT: # %bb.2: # %if.end67; RV32IZFINXZDINX-NEXT: call exit68; RV32IZFINXZDINX-NEXT: .LBB1_3: # %if.then69; RV32IZFINXZDINX-NEXT: call abort70entry:71 %call = call double @test(double 2.000000e+00)72 %cmp = fcmp olt double %call, 2.400000e-0173 %cmp2 = fcmp ogt double %call, 2.600000e-0174 %or.cond = or i1 %cmp, %cmp275 br i1 %or.cond, label %if.then, label %if.end76 77if.then:78 call void @abort()79 unreachable80 81if.end:82 call void @exit(i32 0)83 unreachable84}85 86declare void @abort()87 88declare void @exit(i32)89