test/builtins/Unit/divsf3_test.c

// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

// RUN: %clang_builtins %s %librt -o %t && %run %t
// REQUIRES: librt_has_divsf3

#include "int_lib.h"
#include <inttypes.h>
#include <stdio.h>

#include "fp_test.h"

// By default this test uses compareResultF to check the returned floats, which
// accepts any returned NaN if the expected result is the canonical NaN value
// 0x7fc00000. For the Arm optimized FP implementation, which commits to a more
// detailed handling of NaNs, we tighten up the check and include some extra
// test cases specific to that NaN policy.
#if (__arm__ && !(__thumb__ && !__thumb2__)) && COMPILER_RT_ARM_OPTIMIZED_FP
#  define EXPECT_EXACT_RESULTS
#  define ARM_NAN_HANDLING
#endif

// Returns: a / b
COMPILER_RT_ABI float __divsf3(float a, float b);

int test__divsf3(uint32_t a_rep, uint32_t b_rep, uint32_t expected_rep) {
  float a = fromRep32(a_rep), b = fromRep32(b_rep);
  float x = __divsf3(a, b);
#ifdef EXPECT_EXACT_RESULTS
  int ret = toRep32(x) == expected_rep;
#else
  int ret = compareResultF(x, expected_rep);
#endif

  if (ret) {
    printf("error in test__divsf3(%08" PRIx32 ", %08" PRIx32 ") = %08" PRIx32
           ", expected %08" PRIx32 "\n",
           a_rep, b_rep, toRep32(x), expected_rep);
  }
  return ret;
}

int main(void) {
  int status = 0;

  status |= test__divsf3(0x00000000, 0x00000001, 0x00000000);
  status |= test__divsf3(0x00000000, 0x007fffff, 0x00000000);
  status |= test__divsf3(0x00000000, 0x00800000, 0x00000000);
  status |= test__divsf3(0x00000000, 0x00ffffff, 0x00000000);
  status |= test__divsf3(0x00000000, 0x3f800000, 0x00000000);
  status |= test__divsf3(0x00000000, 0x40a00000, 0x00000000);
  status |= test__divsf3(0x00000000, 0x7effffff, 0x00000000);
  status |= test__divsf3(0x00000000, 0x7f000000, 0x00000000);
  status |= test__divsf3(0x00000000, 0x7f800000, 0x00000000);
  status |= test__divsf3(0x00000000, 0x80000002, 0x80000000);
  status |= test__divsf3(0x00000000, 0x807fffff, 0x80000000);
  status |= test__divsf3(0x00000000, 0x80800001, 0x80000000);
  status |= test__divsf3(0x00000000, 0x81000000, 0x80000000);
  status |= test__divsf3(0x00000000, 0xc0400000, 0x80000000);
  status |= test__divsf3(0x00000000, 0xc0e00000, 0x80000000);
  status |= test__divsf3(0x00000000, 0xfe7fffff, 0x80000000);
  status |= test__divsf3(0x00000000, 0xff000000, 0x80000000);
  status |= test__divsf3(0x00000000, 0xff800000, 0x80000000);
  status |= test__divsf3(0x00000001, 0x00000000, 0x7f800000);
  status |= test__divsf3(0x00000001, 0x3e000000, 0x00000008);
  status |= test__divsf3(0x00000001, 0x3f000000, 0x00000002);
  status |= test__divsf3(0x00000001, 0x40000000, 0x00000000);
  status |= test__divsf3(0x00000001, 0x7f7fffff, 0x00000000);
  status |= test__divsf3(0x00000001, 0x7f800000, 0x00000000);
  status |= test__divsf3(0x00000001, 0xc0000000, 0x80000000);
  status |= test__divsf3(0x00000001, 0xff7fffff, 0x80000000);
  status |= test__divsf3(0x00000002, 0x80000000, 0xff800000);
  status |= test__divsf3(0x00000002, 0xff800000, 0x80000000);
  status |= test__divsf3(0x00000009, 0x41100000, 0x00000001);
  status |= test__divsf3(0x00000009, 0xc1100000, 0x80000001);
  status |= test__divsf3(0x007ffff7, 0x3f7ffffe, 0x007ffff8);
  status |= test__divsf3(0x007ffffe, 0x3f7ffffe, 0x007fffff);
  status |= test__divsf3(0x007fffff, 0x00000000, 0x7f800000);
  status |= test__divsf3(0x007fffff, 0x3b000000, 0x04fffffe);
  status |= test__divsf3(0x007fffff, 0x3f000000, 0x00fffffe);
  status |= test__divsf3(0x007fffff, 0x3f800000, 0x007fffff);
  status |= test__divsf3(0x007fffff, 0x3f800002, 0x007ffffd);
  status |= test__divsf3(0x007fffff, 0x7f800000, 0x00000000);
  status |= test__divsf3(0x007fffff, 0x80000000, 0xff800000);
  status |= test__divsf3(0x007fffff, 0xbf800000, 0x807fffff);
  status |= test__divsf3(0x007fffff, 0xff800000, 0x80000000);
  status |= test__divsf3(0x00800000, 0x00000000, 0x7f800000);
  status |= test__divsf3(0x00800000, 0x3f800001, 0x007fffff);
  status |= test__divsf3(0x00800000, 0x7f800000, 0x00000000);
  status |= test__divsf3(0x00800001, 0x3f800002, 0x007fffff);
  status |= test__divsf3(0x00800001, 0x80000000, 0xff800000);
  status |= test__divsf3(0x00800001, 0xff800000, 0x80000000);
  status |= test__divsf3(0x00800002, 0x3f800006, 0x007ffffc);
  status |= test__divsf3(0x00fffffe, 0x40000000, 0x007fffff);
  status |= test__divsf3(0x00ffffff, 0x00000000, 0x7f800000);
  status |= test__divsf3(0x00ffffff, 0x40000000, 0x00800000);
  status |= test__divsf3(0x00ffffff, 0x7f800000, 0x00000000);
  status |= test__divsf3(0x01000000, 0x00800000, 0x40000000);
  status |= test__divsf3(0x01000000, 0x80000000, 0xff800000);
  status |= test__divsf3(0x01000000, 0xc0000000, 0x80800000);
  status |= test__divsf3(0x01000000, 0xff800000, 0x80000000);
  status |= test__divsf3(0x01000001, 0x00800001, 0x40000000);
  status |= test__divsf3(0x01000001, 0xc0000000, 0x80800001);
  status |= test__divsf3(0x01000003, 0x80800003, 0xc0000000);
  status |= test__divsf3(0x01000003, 0xc0000000, 0x80800003);
  status |= test__divsf3(0x3f7ffff7, 0x3f7ffffb, 0x3f7ffffc);
  status |= test__divsf3(0x3f7ffff7, 0x3f7ffffe, 0x3f7ffff9);
  status |= test__divsf3(0x3f7ffff8, 0x3f7ffffc, 0x3f7ffffc);
  status |= test__divsf3(0x3f7ffff8, 0x3f7ffffd, 0x3f7ffffb);
  status |= test__divsf3(0x3f7ffffa, 0x3f7ffff9, 0x3f800001);
  status |= test__divsf3(0x3f7ffffb, 0x3f7ffff9, 0x3f800001);
  status |= test__divsf3(0x3f7ffffc, 0x3f7ffff9, 0x3f800002);
  status |= test__divsf3(0x3f7ffffc, 0x3f7ffffd, 0x3f7fffff);
  status |= test__divsf3(0x3f7ffffc, 0x3f7ffffe, 0x3f7ffffe);
  status |= test__divsf3(0x3f7ffffc, 0x3f7fffff, 0x3f7ffffd);
  status |= test__divsf3(0x3f7ffffc, 0x3f800001, 0x3f7ffffa);
  status |= test__divsf3(0x3f7ffffd, 0x3f7ffff9, 0x3f800002);
  status |= test__divsf3(0x3f7ffffd, 0x3f7ffffc, 0x3f800001);
  status |= test__divsf3(0x3f7ffffd, 0x3f7ffffe, 0x3f7fffff);
  status |= test__divsf3(0x3f7ffffd, 0x3f7fffff, 0x3f7ffffe);
  status |= test__divsf3(0x3f7ffffd, 0x3f800001, 0x3f7ffffb);
  status |= test__divsf3(0x3f7ffffd, 0x3f800002, 0x3f7ffff9);
  status |= test__divsf3(0x3f7ffffe, 0x3f7ffff9, 0x3f800003);
  status |= test__divsf3(0x3f7ffffe, 0x3f7ffffc, 0x3f800001);
  status |= test__divsf3(0x3f7ffffe, 0x3f7ffffd, 0x3f800001);
  status |= test__divsf3(0x3f7ffffe, 0x3f7fffff, 0x3f7fffff);
  status |= test__divsf3(0x3f7ffffe, 0x3f800001, 0x3f7ffffc);
  status |= test__divsf3(0x3f7ffffe, 0x3f800002, 0x3f7ffffa);
  status |= test__divsf3(0x3f7ffffe, 0x3f800003, 0x3f7ffff8);
  status |= test__divsf3(0x3f7fffff, 0x3f7ffff9, 0x3f800003);
  status |= test__divsf3(0x3f7fffff, 0x3f7ffffc, 0x3f800002);
  status |= test__divsf3(0x3f7fffff, 0x3f7ffffd, 0x3f800001);
  status |= test__divsf3(0x3f7fffff, 0x3f7ffffe, 0x3f800001);
  status |= test__divsf3(0x3f7fffff, 0x3f800001, 0x3f7ffffd);
  status |= test__divsf3(0x3f7fffff, 0x3f800002, 0x3f7ffffb);
  status |= test__divsf3(0x3f7fffff, 0x3f800003, 0x3f7ffff9);
  status |= test__divsf3(0x3f7fffff, 0x3f800004, 0x3f7ffff7);
  status |= test__divsf3(0x3f800000, 0x00000000, 0x7f800000);
  status |= test__divsf3(0x3f800000, 0x3f7ffff7, 0x3f800005);
  status |= test__divsf3(0x3f800000, 0x3f7ffff8, 0x3f800004);
  status |= test__divsf3(0x3f800000, 0x3f7ffffb, 0x3f800003);
  status |= test__divsf3(0x3f800000, 0x3f7ffffc, 0x3f800002);
  status |= test__divsf3(0x3f800000, 0x3f7ffffd, 0x3f800002);
  status |= test__divsf3(0x3f800000, 0x3f7ffffe, 0x3f800001);
  status |= test__divsf3(0x3f800000, 0x3f7fffff, 0x3f800001);
  status |= test__divsf3(0x3f800000, 0x3f800000, 0x3f800000);
  status |= test__divsf3(0x3f800000, 0x3f800001, 0x3f7ffffe);
  status |= test__divsf3(0x3f800000, 0x3f800002, 0x3f7ffffc);
  status |= test__divsf3(0x3f800000, 0x3f800003, 0x3f7ffffa);
  status |= test__divsf3(0x3f800000, 0x3f800004, 0x3f7ffff8);
  status |= test__divsf3(0x3f800000, 0x7f800000, 0x00000000);
  status |= test__divsf3(0x3f800001, 0x3f7ffffb, 0x3f800004);
  status |= test__divsf3(0x3f800001, 0x3f7ffffd, 0x3f800003);
  status |= test__divsf3(0x3f800001, 0x3f7ffffe, 0x3f800002);
  status |= test__divsf3(0x3f800001, 0x3f7fffff, 0x3f800002);
  status |= test__divsf3(0x3f800001, 0x3f800002, 0x3f7ffffe);
  status |= test__divsf3(0x3f800001, 0x3f800003, 0x3f7ffffc);
  status |= test__divsf3(0x3f800002, 0x3f7ffffc, 0x3f800004);
  status |= test__divsf3(0x3f800002, 0x3f7ffffd, 0x3f800004);
  status |= test__divsf3(0x3f800002, 0x3f7ffffe, 0x3f800003);
  status |= test__divsf3(0x3f800002, 0x3f7fffff, 0x3f800003);
  status |= test__divsf3(0x3f800002, 0x3f800001, 0x3f800001);
  status |= test__divsf3(0x3f800002, 0x3f800003, 0x3f7ffffe);
  status |= test__divsf3(0x3f800003, 0x3f7ffffd, 0x3f800005);
  status |= test__divsf3(0x3f800003, 0x3f7ffffe, 0x3f800004);
  status |= test__divsf3(0x3f800003, 0x3f7fffff, 0x3f800004);
  status |= test__divsf3(0x3f800003, 0x3f800001, 0x3f800002);
  status |= test__divsf3(0x3f800004, 0x3f7ffffe, 0x3f800005);
  status |= test__divsf3(0x3f800004, 0x3f800001, 0x3f800003);
  status |= test__divsf3(0x3f800004, 0x3f800007, 0x3f7ffffa);
  status |= test__divsf3(0x3f800005, 0x3f7fffff, 0x3f800006);
  status |= test__divsf3(0x3f800006, 0x3f800008, 0x3f7ffffc);
  status |= test__divsf3(0x3f800007, 0x3f800002, 0x3f800005);
  status |= test__divsf3(0x3f800009, 0x3f800008, 0x3f800001);
  status |= test__divsf3(0x40000000, 0x3f800000, 0x40000000);
  status |= test__divsf3(0x40000000, 0xbf800000, 0xc0000000);
  status |= test__divsf3(0x40400000, 0x80000000, 0xff800000);
  status |= test__divsf3(0x40400000, 0xc0400000, 0xbf800000);
  status |= test__divsf3(0x40400000, 0xff800000, 0x80000000);
  status |= test__divsf3(0x40a00000, 0x00000000, 0x7f800000);
  status |= test__divsf3(0x40a00000, 0x40a00000, 0x3f800000);
  status |= test__divsf3(0x40a00000, 0x7f800000, 0x00000000);
  status |= test__divsf3(0x40e00000, 0x80000000, 0xff800000);
  status |= test__divsf3(0x40e00000, 0xff800000, 0x80000000);
  status |= test__divsf3(0x41000000, 0x40000000, 0x40800000);
  status |= test__divsf3(0x41100000, 0x40400000, 0x40400000);
  status |= test__divsf3(0x7b000000, 0x05000000, 0x7f800000);
  status |= test__divsf3(0x7e7fffff, 0x80000000, 0xff800000);
  status |= test__divsf3(0x7efffffd, 0xc0000000, 0xfe7ffffd);
  status |= test__divsf3(0x7effffff, 0x00000000, 0x7f800000);
  status |= test__divsf3(0x7effffff, 0x7f800000, 0x00000000);
  status |= test__divsf3(0x7f000000, 0x00000000, 0x7f800000);
  status |= test__divsf3(0x7f000000, 0x007fffff, 0x7f800000);
  status |= test__divsf3(0x7f000000, 0x3f000000, 0x7f800000);
  status |= test__divsf3(0x7f000000, 0x40000000, 0x7e800000);
  status |= test__divsf3(0x7f000000, 0x7f800000, 0x00000000);
  status |= test__divsf3(0x7f000000, 0x80000000, 0xff800000);
  status |= test__divsf3(0x7f000000, 0xbf000000, 0xff800000);
  status |= test__divsf3(0x7f000000, 0xc0000000, 0xfe800000);
  status |= test__divsf3(0x7f000000, 0xff800000, 0x80000000);
  status |= test__divsf3(0x7f000003, 0xfe800003, 0xc0000000);
  status |= test__divsf3(0x7f7ffffd, 0x40800000, 0x7e7ffffd);
  status |= test__divsf3(0x7f7ffffd, 0xc0800000, 0xfe7ffffd);
  status |= test__divsf3(0x7f7fffff, 0x00000001, 0x7f800000);
  status |= test__divsf3(0x7f7fffff, 0x3f7fffff, 0x7f800000);
  status |= test__divsf3(0x7f7fffff, 0x7e7fffff, 0x40800000);
  status |= test__divsf3(0x7f7fffff, 0x7effffff, 0x40000000);
  status |= test__divsf3(0x7f7fffff, 0xc0000000, 0xfeffffff);
  status |= test__divsf3(0x7f7fffff, 0xfe7fffff, 0xc0800000);
  status |= test__divsf3(0x7f7fffff, 0xff800000, 0x80000000);
  status |= test__divsf3(0x7f800000, 0x00000000, 0x7f800000);
  status |= test__divsf3(0x7f800000, 0x00000001, 0x7f800000);
  status |= test__divsf3(0x7f800000, 0x007fffff, 0x7f800000);
  status |= test__divsf3(0x7f800000, 0x00800000, 0x7f800000);
  status |= test__divsf3(0x7f800000, 0x00ffffff, 0x7f800000);
  status |= test__divsf3(0x7f800000, 0x3f800000, 0x7f800000);
  status |= test__divsf3(0x7f800000, 0x40a00000, 0x7f800000);
  status |= test__divsf3(0x7f800000, 0x7effffff, 0x7f800000);
  status |= test__divsf3(0x7f800000, 0x7f000000, 0x7f800000);
  status |= test__divsf3(0x7f800000, 0x80000000, 0xff800000);
  status |= test__divsf3(0x7f800000, 0x80000002, 0xff800000);
  status |= test__divsf3(0x7f800000, 0x807fffff, 0xff800000);
  status |= test__divsf3(0x7f800000, 0x80800001, 0xff800000);
  status |= test__divsf3(0x7f800000, 0x81000000, 0xff800000);
  status |= test__divsf3(0x7f800000, 0xc0400000, 0xff800000);
  status |= test__divsf3(0x7f800000, 0xc0e00000, 0xff800000);
  status |= test__divsf3(0x7f800000, 0xfe7fffff, 0xff800000);
  status |= test__divsf3(0x7f800000, 0xff000000, 0xff800000);
  status |= test__divsf3(0x7f800000, 0xff7fffff, 0xff800000);
  status |= test__divsf3(0x80000000, 0x00000003, 0x80000000);
  status |= test__divsf3(0x80000000, 0x007fffff, 0x80000000);
  status |= test__divsf3(0x80000000, 0x00800001, 0x80000000);
  status |= test__divsf3(0x80000000, 0x01000000, 0x80000000);
  status |= test__divsf3(0x80000000, 0x40000000, 0x80000000);
  status |= test__divsf3(0x80000000, 0x40c00000, 0x80000000);
  status |= test__divsf3(0x80000000, 0x7e7fffff, 0x80000000);
  status |= test__divsf3(0x80000000, 0x7e800000, 0x80000000);
  status |= test__divsf3(0x80000000, 0x7f800000, 0x80000000);
  status |= test__divsf3(0x80000000, 0x80000004, 0x00000000);
  status |= test__divsf3(0x80000000, 0x807fffff, 0x00000000);
  status |= test__divsf3(0x80000000, 0x80800000, 0x00000000);
  status |= test__divsf3(0x80000000, 0x80ffffff, 0x00000000);
  status |= test__divsf3(0x80000000, 0xc0800000, 0x00000000);
  status |= test__divsf3(0x80000000, 0xc1000000, 0x00000000);
  status |= test__divsf3(0x80000000, 0xfe800000, 0x00000000);
  status |= test__divsf3(0x80000000, 0xfeffffff, 0x00000000);
  status |= test__divsf3(0x80000000, 0xff800000, 0x00000000);
  status |= test__divsf3(0x80000001, 0x3f000000, 0x80000002);
  status |= test__divsf3(0x80000001, 0x40000000, 0x80000000);
  status |= test__divsf3(0x80000001, 0x7f7fffff, 0x80000000);
  status |= test__divsf3(0x80000001, 0xc0000000, 0x00000000);
  status |= test__divsf3(0x80000001, 0xff7fffff, 0x00000000);
  status |= test__divsf3(0x80000003, 0x00000000, 0xff800000);
  status |= test__divsf3(0x80000003, 0x7f800000, 0x80000000);
  status |= test__divsf3(0x80000004, 0x80000000, 0x7f800000);
  status |= test__divsf3(0x80000004, 0xff800000, 0x00000000);
  status |= test__divsf3(0x807ffff8, 0x3f7ffffe, 0x807ffff9);
  status |= test__divsf3(0x807fffff, 0x00000000, 0xff800000);
  status |= test__divsf3(0x807fffff, 0x7f800000, 0x80000000);
  status |= test__divsf3(0x807fffff, 0x80000000, 0x7f800000);
  status |= test__divsf3(0x807fffff, 0xff800000, 0x00000000);
  status |= test__divsf3(0x80800000, 0x3f800001, 0x807fffff);
  status |= test__divsf3(0x80800000, 0x80000000, 0x7f800000);
  status |= test__divsf3(0x80800000, 0xff800000, 0x00000000);
  status |= test__divsf3(0x80800001, 0x00000000, 0xff800000);
  status |= test__divsf3(0x80800001, 0x7f800000, 0x80000000);
  status |= test__divsf3(0x80ffffff, 0x80000000, 0x7f800000);
  status |= test__divsf3(0x80ffffff, 0xff800000, 0x00000000);
  status |= test__divsf3(0x81000000, 0x00000000, 0xff800000);
  status |= test__divsf3(0x81000000, 0x7f800000, 0x80000000);
  status |= test__divsf3(0x81000001, 0x00800001, 0xc0000000);
  status |= test__divsf3(0x81000005, 0x00800005, 0xc0000000);
  status |= test__divsf3(0xbf800000, 0x3f800000, 0xbf800000);
  status |= test__divsf3(0xbf800000, 0xbf800000, 0x3f800000);
  status |= test__divsf3(0xc0000000, 0x00000000, 0xff800000);
  status |= test__divsf3(0xc0000000, 0x3f800000, 0xc0000000);
  status |= test__divsf3(0xc0000000, 0x7f800000, 0x80000000);
  status |= test__divsf3(0xc0000000, 0xbf800000, 0x40000000);
  status |= test__divsf3(0xc0800000, 0x80000000, 0x7f800000);
  status |= test__divsf3(0xc0800000, 0xff800000, 0x00000000);
  status |= test__divsf3(0xc0c00000, 0x00000000, 0xff800000);
  status |= test__divsf3(0xc0c00000, 0x7f800000, 0x80000000);
  status |= test__divsf3(0xc0c00000, 0xc0400000, 0x40000000);
  status |= test__divsf3(0xc0e00000, 0x40e00000, 0xbf800000);
  status |= test__divsf3(0xc1000000, 0x40000000, 0xc0800000);
  status |= test__divsf3(0xc1000000, 0x80000000, 0x7f800000);
  status |= test__divsf3(0xc1000000, 0xff800000, 0x00000000);
  status |= test__divsf3(0xc1100000, 0xc0400000, 0x40400000);
  status |= test__divsf3(0xfe7fffff, 0x00000000, 0xff800000);
  status |= test__divsf3(0xfe7fffff, 0x7f800000, 0x80000000);
  status |= test__divsf3(0xfe800000, 0x00000000, 0xff800000);
  status |= test__divsf3(0xfe800000, 0x7f800000, 0x80000000);
  status |= test__divsf3(0xfe800000, 0x80000000, 0x7f800000);
  status |= test__divsf3(0xfe800000, 0xff800000, 0x00000000);
  status |= test__divsf3(0xfeffffff, 0x40000000, 0xfe7fffff);
  status |= test__divsf3(0xfeffffff, 0x80000000, 0x7f800000);
  status |= test__divsf3(0xff000000, 0x3f000000, 0xff800000);
  status |= test__divsf3(0xff000000, 0xbf000000, 0x7f800000);
  status |= test__divsf3(0xff000001, 0x7e800001, 0xc0000000);
  status |= test__divsf3(0xff7ffffd, 0x40800000, 0xfe7ffffd);
  status |= test__divsf3(0xff7ffffd, 0xc0800000, 0x7e7ffffd);
  status |= test__divsf3(0xff7fffff, 0x7e7fffff, 0xc0800000);
  status |= test__divsf3(0xff7fffff, 0xfe7fffff, 0x40800000);
  status |= test__divsf3(0xff7fffff, 0xff800000, 0x00000000);
  status |= test__divsf3(0xff800000, 0x00000000, 0xff800000);
  status |= test__divsf3(0xff800000, 0x00000003, 0xff800000);
  status |= test__divsf3(0xff800000, 0x007fffff, 0xff800000);
  status |= test__divsf3(0xff800000, 0x00800001, 0xff800000);
  status |= test__divsf3(0xff800000, 0x01000000, 0xff800000);
  status |= test__divsf3(0xff800000, 0x40000000, 0xff800000);
  status |= test__divsf3(0xff800000, 0x40c00000, 0xff800000);
  status |= test__divsf3(0xff800000, 0x7e800000, 0xff800000);
  status |= test__divsf3(0xff800000, 0x80000000, 0x7f800000);
  status |= test__divsf3(0xff800000, 0x80000004, 0x7f800000);
  status |= test__divsf3(0xff800000, 0x807fffff, 0x7f800000);
  status |= test__divsf3(0xff800000, 0x80800000, 0x7f800000);
  status |= test__divsf3(0xff800000, 0x80ffffff, 0x7f800000);
  status |= test__divsf3(0xff800000, 0xc0800000, 0x7f800000);
  status |= test__divsf3(0xff800000, 0xc1000000, 0x7f800000);
  status |= test__divsf3(0xff800000, 0xfe800000, 0x7f800000);
  status |= test__divsf3(0xff800000, 0xff7fffff, 0x7f800000);
  status |= test__divsf3(0x2cbed883, 0x333f6113, 0x38ff4953);
  status |= test__divsf3(0x3f87ffff, 0x7f001000, 0x0043f781);

  // Test that the result of an operation is a NaN at all when it should be.
  //
  // In most configurations these tests' results are checked compared using
  // compareResultF, so we set all the answers to the canonical NaN 0x7fc00000,
  // which causes compareResultF to accept any NaN encoding. We also use the
  // same value as the input NaN in tests that have one, so that even in
  // EXPECT_EXACT_RESULTS mode these tests should pass, because 0x7fc00000 is
  // still the exact expected NaN.
  status |= test__divsf3(0x00000000, 0x00000000, 0x7fc00000);
  status |= test__divsf3(0x00000000, 0x80000000, 0x7fc00000);
  status |= test__divsf3(0x7f800000, 0x7f800000, 0x7fc00000);
  status |= test__divsf3(0x7f800000, 0xff800000, 0x7fc00000);
  status |= test__divsf3(0x80000000, 0x00000000, 0x7fc00000);
  status |= test__divsf3(0x80000000, 0x80000000, 0x7fc00000);
  status |= test__divsf3(0xff800000, 0x7f800000, 0x7fc00000);
  status |= test__divsf3(0xff800000, 0xff800000, 0x7fc00000);
  status |= test__divsf3(0x3f800000, 0x7fc00000, 0x7fc00000);
  status |= test__divsf3(0x7fc00000, 0x3f800000, 0x7fc00000);
  status |= test__divsf3(0x7fc00000, 0x7fc00000, 0x7fc00000);

#ifdef ARM_NAN_HANDLING
  // Tests specific to the NaN handling of Arm hardware, mimicked by
  // arm/divsf3.S:
  //
  //  - a quiet NaN is distinguished by the top mantissa bit being 1
  //
  //  - if a signalling NaN appears in the input, the output quiet NaN is
  //    obtained by setting its top mantissa bit and leaving everything else
  //    unchanged
  //
  //  - if both operands are signalling NaNs then the output NaN is derived
  //    from the first operand
  //
  //  - if both operands are quiet NaNs then the output NaN is the first
  //    operand
  //
  //  - invalid operations not involving an input NaN return the quiet
  //    NaN with fewest bits set, 0x7fc00000.

  status |= test__divsf3(0x00000000, 0x00000000, 0x7fc00000);
  status |= test__divsf3(0x00000000, 0x7fad4be3, 0x7fed4be3);
  status |= test__divsf3(0x00000000, 0x7fdf48c7, 0x7fdf48c7);
  status |= test__divsf3(0x00000000, 0x80000000, 0x7fc00000);
  status |= test__divsf3(0x00000001, 0x7f970eba, 0x7fd70eba);
  status |= test__divsf3(0x00000001, 0x7fc35716, 0x7fc35716);
  status |= test__divsf3(0x007fffff, 0x7fbf52d6, 0x7fff52d6);
  status |= test__divsf3(0x007fffff, 0x7fc7a2df, 0x7fc7a2df);
  status |= test__divsf3(0x3f800000, 0x7f987a85, 0x7fd87a85);
  status |= test__divsf3(0x3f800000, 0x7fc50124, 0x7fc50124);
  status |= test__divsf3(0x7f7fffff, 0x7f95fd6f, 0x7fd5fd6f);
  status |= test__divsf3(0x7f7fffff, 0x7ffc28dc, 0x7ffc28dc);
  status |= test__divsf3(0x7f800000, 0x7f800000, 0x7fc00000);
  status |= test__divsf3(0x7f800000, 0x7f8dd790, 0x7fcdd790);
  status |= test__divsf3(0x7f800000, 0x7fd2ef2b, 0x7fd2ef2b);
  status |= test__divsf3(0x7f800000, 0xff800000, 0x7fc00000);
  status |= test__divsf3(0x7f99b09d, 0x00000000, 0x7fd9b09d);
  status |= test__divsf3(0x7f93541e, 0x00000001, 0x7fd3541e);
  status |= test__divsf3(0x7f9fc002, 0x007fffff, 0x7fdfc002);
  status |= test__divsf3(0x7fb5db77, 0x3f800000, 0x7ff5db77);
  status |= test__divsf3(0x7f9f5d92, 0x7f7fffff, 0x7fdf5d92);
  status |= test__divsf3(0x7fac7a36, 0x7f800000, 0x7fec7a36);
  status |= test__divsf3(0x7fb42008, 0x7fb0ee07, 0x7ff42008);
  status |= test__divsf3(0x7f8bd740, 0x7fc7aaf1, 0x7fcbd740);
  status |= test__divsf3(0x7f9bb57b, 0x80000000, 0x7fdbb57b);
  status |= test__divsf3(0x7f951a78, 0x80000001, 0x7fd51a78);
  status |= test__divsf3(0x7f9ba63b, 0x807fffff, 0x7fdba63b);
  status |= test__divsf3(0x7f89463c, 0xbf800000, 0x7fc9463c);
  status |= test__divsf3(0x7fb63563, 0xff7fffff, 0x7ff63563);
  status |= test__divsf3(0x7f90886e, 0xff800000, 0x7fd0886e);
  status |= test__divsf3(0x7fe8c15e, 0x00000000, 0x7fe8c15e);
  status |= test__divsf3(0x7fe915ae, 0x00000001, 0x7fe915ae);
  status |= test__divsf3(0x7ffa9b42, 0x007fffff, 0x7ffa9b42);
  status |= test__divsf3(0x7fdad0f5, 0x3f800000, 0x7fdad0f5);
  status |= test__divsf3(0x7fd10dcb, 0x7f7fffff, 0x7fd10dcb);
  status |= test__divsf3(0x7fd08e8a, 0x7f800000, 0x7fd08e8a);
  status |= test__divsf3(0x7fc3a9e6, 0x7f91a816, 0x7fd1a816);
  status |= test__divsf3(0x7fdb229c, 0x7fc26c68, 0x7fdb229c);
  status |= test__divsf3(0x7fc9f6bb, 0x80000000, 0x7fc9f6bb);
  status |= test__divsf3(0x7ffa178b, 0x80000001, 0x7ffa178b);
  status |= test__divsf3(0x7fef2a0b, 0x807fffff, 0x7fef2a0b);
  status |= test__divsf3(0x7ffc885b, 0xbf800000, 0x7ffc885b);
  status |= test__divsf3(0x7fd26e8c, 0xff7fffff, 0x7fd26e8c);
  status |= test__divsf3(0x7fc55329, 0xff800000, 0x7fc55329);
  status |= test__divsf3(0x80000000, 0x00000000, 0x7fc00000);
  status |= test__divsf3(0x80000000, 0x7fa833ae, 0x7fe833ae);
  status |= test__divsf3(0x80000000, 0x7fc4df63, 0x7fc4df63);
  status |= test__divsf3(0x80000000, 0x80000000, 0x7fc00000);
  status |= test__divsf3(0x80000001, 0x7f98827d, 0x7fd8827d);
  status |= test__divsf3(0x80000001, 0x7fd7acc5, 0x7fd7acc5);
  status |= test__divsf3(0x807fffff, 0x7fad19c0, 0x7fed19c0);
  status |= test__divsf3(0x807fffff, 0x7ffe1907, 0x7ffe1907);
  status |= test__divsf3(0xbf800000, 0x7fa95487, 0x7fe95487);
  status |= test__divsf3(0xbf800000, 0x7fd2bbee, 0x7fd2bbee);
  status |= test__divsf3(0xff7fffff, 0x7f86ba21, 0x7fc6ba21);
  status |= test__divsf3(0xff7fffff, 0x7feb00d7, 0x7feb00d7);
  status |= test__divsf3(0xff800000, 0x7f800000, 0x7fc00000);
  status |= test__divsf3(0xff800000, 0x7f857fdc, 0x7fc57fdc);
  status |= test__divsf3(0xff800000, 0x7fde0397, 0x7fde0397);
  status |= test__divsf3(0xff800000, 0xff800000, 0x7fc00000);
#endif // ARM_NAN_HANDLING

  return status;
}