1*0b57cec5SDimitry Andric//===-- aeabi_cdcmp.S - EABI cdcmp* implementation ------------------------===// 2*0b57cec5SDimitry Andric// 3*0b57cec5SDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*0b57cec5SDimitry Andric// See https://llvm.org/LICENSE.txt for license information. 5*0b57cec5SDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*0b57cec5SDimitry Andric// 7*0b57cec5SDimitry Andric//===----------------------------------------------------------------------===// 8*0b57cec5SDimitry Andric 9*0b57cec5SDimitry Andric#include "../assembly.h" 10*0b57cec5SDimitry Andric 11*0b57cec5SDimitry Andric#define APSR_Z (1 << 30) 12*0b57cec5SDimitry Andric#define APSR_C (1 << 29) 13*0b57cec5SDimitry Andric 14*0b57cec5SDimitry Andric// void __aeabi_cdcmpeq(double a, double b) { 15*0b57cec5SDimitry Andric// if (isnan(a) || isnan(b)) { 16*0b57cec5SDimitry Andric// Z = 0; C = 1; 17*0b57cec5SDimitry Andric// } else { 18*0b57cec5SDimitry Andric// __aeabi_cdcmple(a, b); 19*0b57cec5SDimitry Andric// } 20*0b57cec5SDimitry Andric// } 21*0b57cec5SDimitry Andric 22*0b57cec5SDimitry Andric .syntax unified 23*0b57cec5SDimitry Andric .p2align 2 24*0b57cec5SDimitry AndricDEFINE_COMPILERRT_FUNCTION(__aeabi_cdcmpeq) 25*0b57cec5SDimitry Andric push {r0-r3, lr} 26*0b57cec5SDimitry Andric bl __aeabi_cdcmpeq_check_nan 27*0b57cec5SDimitry Andric cmp r0, #1 28*0b57cec5SDimitry Andric#if defined(USE_THUMB_1) 29*0b57cec5SDimitry Andric beq 1f 30*0b57cec5SDimitry Andric // NaN has been ruled out, so __aeabi_cdcmple can't trap 31*0b57cec5SDimitry Andric mov r0, sp 32*0b57cec5SDimitry Andric ldm r0, {r0-r3} 33*0b57cec5SDimitry Andric bl __aeabi_cdcmple 34*0b57cec5SDimitry Andric pop {r0-r3, pc} 35*0b57cec5SDimitry Andric1: 36*0b57cec5SDimitry Andric // Z = 0, C = 1 37*0b57cec5SDimitry Andric movs r0, #0xF 38*0b57cec5SDimitry Andric lsls r0, r0, #31 39*0b57cec5SDimitry Andric pop {r0-r3, pc} 40*0b57cec5SDimitry Andric#else 41*0b57cec5SDimitry Andric pop {r0-r3, lr} 42*0b57cec5SDimitry Andric 43*0b57cec5SDimitry Andric // NaN has been ruled out, so __aeabi_cdcmple can't trap 44*0b57cec5SDimitry Andric // Use "it ne" + unconditional branch to guarantee a supported relocation if 45*0b57cec5SDimitry Andric // __aeabi_cdcmple is in a different section for some builds. 46*0b57cec5SDimitry Andric IT(ne) 47*0b57cec5SDimitry Andric bne __aeabi_cdcmple 48*0b57cec5SDimitry Andric 49*0b57cec5SDimitry Andric#if defined(USE_THUMB_2) 50*0b57cec5SDimitry Andric mov ip, #APSR_C 51*0b57cec5SDimitry Andric msr APSR_nzcvq, ip 52*0b57cec5SDimitry Andric#else 53*0b57cec5SDimitry Andric msr APSR_nzcvq, #APSR_C 54*0b57cec5SDimitry Andric#endif 55*0b57cec5SDimitry Andric JMP(lr) 56*0b57cec5SDimitry Andric#endif 57*0b57cec5SDimitry AndricEND_COMPILERRT_FUNCTION(__aeabi_cdcmpeq) 58*0b57cec5SDimitry Andric 59*0b57cec5SDimitry Andric 60*0b57cec5SDimitry Andric// void __aeabi_cdcmple(double a, double b) { 61*0b57cec5SDimitry Andric// if (__aeabi_dcmplt(a, b)) { 62*0b57cec5SDimitry Andric// Z = 0; C = 0; 63*0b57cec5SDimitry Andric// } else if (__aeabi_dcmpeq(a, b)) { 64*0b57cec5SDimitry Andric// Z = 1; C = 1; 65*0b57cec5SDimitry Andric// } else { 66*0b57cec5SDimitry Andric// Z = 0; C = 1; 67*0b57cec5SDimitry Andric// } 68*0b57cec5SDimitry Andric// } 69*0b57cec5SDimitry Andric 70*0b57cec5SDimitry Andric .syntax unified 71*0b57cec5SDimitry Andric .p2align 2 72*0b57cec5SDimitry AndricDEFINE_COMPILERRT_FUNCTION(__aeabi_cdcmple) 73*0b57cec5SDimitry Andric // Per the RTABI, this function must preserve r0-r11. 74*0b57cec5SDimitry Andric // Save lr in the same instruction for compactness 75*0b57cec5SDimitry Andric push {r0-r3, lr} 76*0b57cec5SDimitry Andric 77*0b57cec5SDimitry Andric bl __aeabi_dcmplt 78*0b57cec5SDimitry Andric cmp r0, #1 79*0b57cec5SDimitry Andric#if defined(USE_THUMB_1) 80*0b57cec5SDimitry Andric bne 1f 81*0b57cec5SDimitry Andric // Z = 0, C = 0 82*0b57cec5SDimitry Andric movs r0, #1 83*0b57cec5SDimitry Andric lsls r0, r0, #1 84*0b57cec5SDimitry Andric pop {r0-r3, pc} 85*0b57cec5SDimitry Andric1: 86*0b57cec5SDimitry Andric mov r0, sp 87*0b57cec5SDimitry Andric ldm r0, {r0-r3} 88*0b57cec5SDimitry Andric bl __aeabi_dcmpeq 89*0b57cec5SDimitry Andric cmp r0, #1 90*0b57cec5SDimitry Andric bne 2f 91*0b57cec5SDimitry Andric // Z = 1, C = 1 92*0b57cec5SDimitry Andric movs r0, #2 93*0b57cec5SDimitry Andric lsls r0, r0, #31 94*0b57cec5SDimitry Andric pop {r0-r3, pc} 95*0b57cec5SDimitry Andric2: 96*0b57cec5SDimitry Andric // Z = 0, C = 1 97*0b57cec5SDimitry Andric movs r0, #0xF 98*0b57cec5SDimitry Andric lsls r0, r0, #31 99*0b57cec5SDimitry Andric pop {r0-r3, pc} 100*0b57cec5SDimitry Andric#else 101*0b57cec5SDimitry Andric ITT(eq) 102*0b57cec5SDimitry Andric moveq ip, #0 103*0b57cec5SDimitry Andric beq 1f 104*0b57cec5SDimitry Andric 105*0b57cec5SDimitry Andric ldm sp, {r0-r3} 106*0b57cec5SDimitry Andric bl __aeabi_dcmpeq 107*0b57cec5SDimitry Andric cmp r0, #1 108*0b57cec5SDimitry Andric ITE(eq) 109*0b57cec5SDimitry Andric moveq ip, #(APSR_C | APSR_Z) 110*0b57cec5SDimitry Andric movne ip, #(APSR_C) 111*0b57cec5SDimitry Andric 112*0b57cec5SDimitry Andric1: 113*0b57cec5SDimitry Andric msr APSR_nzcvq, ip 114*0b57cec5SDimitry Andric pop {r0-r3} 115*0b57cec5SDimitry Andric POP_PC() 116*0b57cec5SDimitry Andric#endif 117*0b57cec5SDimitry AndricEND_COMPILERRT_FUNCTION(__aeabi_cdcmple) 118*0b57cec5SDimitry Andric 119*0b57cec5SDimitry Andric// int __aeabi_cdrcmple(double a, double b) { 120*0b57cec5SDimitry Andric// return __aeabi_cdcmple(b, a); 121*0b57cec5SDimitry Andric// } 122*0b57cec5SDimitry Andric 123*0b57cec5SDimitry Andric .syntax unified 124*0b57cec5SDimitry Andric .p2align 2 125*0b57cec5SDimitry AndricDEFINE_COMPILERRT_FUNCTION(__aeabi_cdrcmple) 126*0b57cec5SDimitry Andric // Swap r0 and r2 127*0b57cec5SDimitry Andric mov ip, r0 128*0b57cec5SDimitry Andric mov r0, r2 129*0b57cec5SDimitry Andric mov r2, ip 130*0b57cec5SDimitry Andric 131*0b57cec5SDimitry Andric // Swap r1 and r3 132*0b57cec5SDimitry Andric mov ip, r1 133*0b57cec5SDimitry Andric mov r1, r3 134*0b57cec5SDimitry Andric mov r3, ip 135*0b57cec5SDimitry Andric 136*0b57cec5SDimitry Andric b __aeabi_cdcmple 137*0b57cec5SDimitry AndricEND_COMPILERRT_FUNCTION(__aeabi_cdrcmple) 138*0b57cec5SDimitry Andric 139*0b57cec5SDimitry AndricNO_EXEC_STACK_DIRECTIVE 140*0b57cec5SDimitry Andric 141