vm/compiler/template/armv5te/TEMPLATE_CMPL_FLOAT.S

   1 %default { "naninst":"mvn     r0, #0" }
   2     /*
   3      * For the JIT: incoming arguments in r0-r1, r2-r3
   4      *              result in r0
   5      *
   6      * Compare two floating-point values.  Puts 0, 1, or -1 into the
   7      * destination register based on the results of the comparison.
   8      *
   9      * Provide a "naninst" instruction that puts 1 or -1 into r1 depending
  10      * on what value we'd like to return when one of the operands is NaN.
  11      *
  12      * The operation we're implementing is:
  13      *   if (x == y)
  14      *     return 0;
  15      *   else if (x < y)
  16      *     return -1;
  17      *   else if (x > y)
  18      *     return 1;
  19      *   else
  20      *     return {-1,1};  // one or both operands was NaN
  21      *
  22      * The straightforward implementation requires 3 calls to functions
  23      * that return a result in r0.  We can do it with two calls if our
  24      * EABI library supports __aeabi_cfcmple (only one if we want to check
  25      * for NaN directly):
  26      *   check x <= y
  27      *     if <, return -1
  28      *     if ==, return 0
  29      *   check y <= x
  30      *     if <, return 1
  31      *   return {-1,1}
  32      *
  33      * for: cmpl-float, cmpg-float
  34      */
  35     /* op vAA, vBB, vCC */
  36     mov     r9, r0                      @ Save copies - we may need to redo
  37     mov     r10, r1
  38     mov     r11, lr                     @ save return address
  39     ldr     ip, .L__aeabi_cfcmple       @ cmp <=: C clear if <, Z set if eq
  40     blx     ip
  41     bhi     .L${opcode}_gt_or_nan       @ C set and Z clear, disambiguate
  42     mvncc   r0, #0                      @ (less than) r0<- -1
  43     moveq   r0, #0                      @ (equal) r0<- 0, trumps less than
  44     bx      r11
  45     @ Test for NaN with a second comparison.  EABI forbids testing bit
  46     @ patterns, and we can't represent 0x7fc00000 in immediate form, so
  47     @ make the library call.
  48 .L${opcode}_gt_or_nan:
  49     mov     r0, r10                     @ restore in reverse order
  50     mov     r1, r9
  51     ldr     ip, .L__aeabi_cfcmple       @ r0<- Z set if eq, C clear if <
  52     blx     ip
  53     movcc   r0, #1                      @ (greater than) r1<- 1
  54     bxcc    r11
  55     $naninst                            @ r1<- 1 or -1 for NaN
  56     bx      r11