# testing F16::compare_quiet(0x0000, X)
0x0000 0x0000 Equal (empty)
0x0000 0x0001 Less (empty)
0x0000 0x03FF Less (empty)
0x0000 0x0400 Less (empty)
0x0000 0x3C00 Less (empty)
0x0000 0x3C01 Less (empty)
0x0000 0x7BFF Less (empty)
0x0000 0x7C00 Less (empty)
0x0000 0x7C01 Unordered INVALID_OPERATION
0x0000 0x7DFF Unordered INVALID_OPERATION
0x0000 0x7E00 Unordered (empty)
0x0000 0x7FFF Unordered (empty)
0x0000 0x8000 Equal (empty)
0x0000 0x8001 Greater (empty)
0x0000 0x83FF Greater (empty)
0x0000 0x8400 Greater (empty)
0x0000 0xBC00 Greater (empty)
0x0000 0xBC01 Greater (empty)
0x0000 0xFBFF Greater (empty)
0x0000 0xFC00 Greater (empty)
0x0000 0xFC01 Unordered INVALID_OPERATION
0x0000 0xFDFF Unordered INVALID_OPERATION
0x0000 0xFE00 Unordered (empty)
0x0000 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x0001, X)
0x0001 0x0000 Greater (empty)
0x0001 0x0001 Equal (empty)
0x0001 0x03FF Less (empty)
0x0001 0x0400 Less (empty)
0x0001 0x3C00 Less (empty)
0x0001 0x3C01 Less (empty)
0x0001 0x7BFF Less (empty)
0x0001 0x7C00 Less (empty)
0x0001 0x7C01 Unordered INVALID_OPERATION
0x0001 0x7DFF Unordered INVALID_OPERATION
0x0001 0x7E00 Unordered (empty)
0x0001 0x7FFF Unordered (empty)
0x0001 0x8000 Greater (empty)
0x0001 0x8001 Greater (empty)
0x0001 0x83FF Greater (empty)
0x0001 0x8400 Greater (empty)
0x0001 0xBC00 Greater (empty)
0x0001 0xBC01 Greater (empty)
0x0001 0xFBFF Greater (empty)
0x0001 0xFC00 Greater (empty)
0x0001 0xFC01 Unordered INVALID_OPERATION
0x0001 0xFDFF Unordered INVALID_OPERATION
0x0001 0xFE00 Unordered (empty)
0x0001 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x03FF, X)
0x03FF 0x0000 Greater (empty)
0x03FF 0x0001 Greater (empty)
0x03FF 0x03FF Equal (empty)
0x03FF 0x0400 Less (empty)
0x03FF 0x3C00 Less (empty)
0x03FF 0x3C01 Less (empty)
0x03FF 0x7BFF Less (empty)
0x03FF 0x7C00 Less (empty)
0x03FF 0x7C01 Unordered INVALID_OPERATION
0x03FF 0x7DFF Unordered INVALID_OPERATION
0x03FF 0x7E00 Unordered (empty)
0x03FF 0x7FFF Unordered (empty)
0x03FF 0x8000 Greater (empty)
0x03FF 0x8001 Greater (empty)
0x03FF 0x83FF Greater (empty)
0x03FF 0x8400 Greater (empty)
0x03FF 0xBC00 Greater (empty)
0x03FF 0xBC01 Greater (empty)
0x03FF 0xFBFF Greater (empty)
0x03FF 0xFC00 Greater (empty)
0x03FF 0xFC01 Unordered INVALID_OPERATION
0x03FF 0xFDFF Unordered INVALID_OPERATION
0x03FF 0xFE00 Unordered (empty)
0x03FF 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x0400, X)
0x0400 0x0000 Greater (empty)
0x0400 0x0001 Greater (empty)
0x0400 0x03FF Greater (empty)
0x0400 0x0400 Equal (empty)
0x0400 0x3C00 Less (empty)
0x0400 0x3C01 Less (empty)
0x0400 0x7BFF Less (empty)
0x0400 0x7C00 Less (empty)
0x0400 0x7C01 Unordered INVALID_OPERATION
0x0400 0x7DFF Unordered INVALID_OPERATION
0x0400 0x7E00 Unordered (empty)
0x0400 0x7FFF Unordered (empty)
0x0400 0x8000 Greater (empty)
0x0400 0x8001 Greater (empty)
0x0400 0x83FF Greater (empty)
0x0400 0x8400 Greater (empty)
0x0400 0xBC00 Greater (empty)
0x0400 0xBC01 Greater (empty)
0x0400 0xFBFF Greater (empty)
0x0400 0xFC00 Greater (empty)
0x0400 0xFC01 Unordered INVALID_OPERATION
0x0400 0xFDFF Unordered INVALID_OPERATION
0x0400 0xFE00 Unordered (empty)
0x0400 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x3C00, X)
0x3C00 0x0000 Greater (empty)
0x3C00 0x0001 Greater (empty)
0x3C00 0x03FF Greater (empty)
0x3C00 0x0400 Greater (empty)
0x3C00 0x3C00 Equal (empty)
0x3C00 0x3C01 Less (empty)
0x3C00 0x7BFF Less (empty)
0x3C00 0x7C00 Less (empty)
0x3C00 0x7C01 Unordered INVALID_OPERATION
0x3C00 0x7DFF Unordered INVALID_OPERATION
0x3C00 0x7E00 Unordered (empty)
0x3C00 0x7FFF Unordered (empty)
0x3C00 0x8000 Greater (empty)
0x3C00 0x8001 Greater (empty)
0x3C00 0x83FF Greater (empty)
0x3C00 0x8400 Greater (empty)
0x3C00 0xBC00 Greater (empty)
0x3C00 0xBC01 Greater (empty)
0x3C00 0xFBFF Greater (empty)
0x3C00 0xFC00 Greater (empty)
0x3C00 0xFC01 Unordered INVALID_OPERATION
0x3C00 0xFDFF Unordered INVALID_OPERATION
0x3C00 0xFE00 Unordered (empty)
0x3C00 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x3C01, X)
0x3C01 0x0000 Greater (empty)
0x3C01 0x0001 Greater (empty)
0x3C01 0x03FF Greater (empty)
0x3C01 0x0400 Greater (empty)
0x3C01 0x3C00 Greater (empty)
0x3C01 0x3C01 Equal (empty)
0x3C01 0x7BFF Less (empty)
0x3C01 0x7C00 Less (empty)
0x3C01 0x7C01 Unordered INVALID_OPERATION
0x3C01 0x7DFF Unordered INVALID_OPERATION
0x3C01 0x7E00 Unordered (empty)
0x3C01 0x7FFF Unordered (empty)
0x3C01 0x8000 Greater (empty)
0x3C01 0x8001 Greater (empty)
0x3C01 0x83FF Greater (empty)
0x3C01 0x8400 Greater (empty)
0x3C01 0xBC00 Greater (empty)
0x3C01 0xBC01 Greater (empty)
0x3C01 0xFBFF Greater (empty)
0x3C01 0xFC00 Greater (empty)
0x3C01 0xFC01 Unordered INVALID_OPERATION
0x3C01 0xFDFF Unordered INVALID_OPERATION
0x3C01 0xFE00 Unordered (empty)
0x3C01 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x7BFF, X)
0x7BFF 0x0000 Greater (empty)
0x7BFF 0x0001 Greater (empty)
0x7BFF 0x03FF Greater (empty)
0x7BFF 0x0400 Greater (empty)
0x7BFF 0x3C00 Greater (empty)
0x7BFF 0x3C01 Greater (empty)
0x7BFF 0x7BFF Equal (empty)
0x7BFF 0x7C00 Less (empty)
0x7BFF 0x7C01 Unordered INVALID_OPERATION
0x7BFF 0x7DFF Unordered INVALID_OPERATION
0x7BFF 0x7E00 Unordered (empty)
0x7BFF 0x7FFF Unordered (empty)
0x7BFF 0x8000 Greater (empty)
0x7BFF 0x8001 Greater (empty)
0x7BFF 0x83FF Greater (empty)
0x7BFF 0x8400 Greater (empty)
0x7BFF 0xBC00 Greater (empty)
0x7BFF 0xBC01 Greater (empty)
0x7BFF 0xFBFF Greater (empty)
0x7BFF 0xFC00 Greater (empty)
0x7BFF 0xFC01 Unordered INVALID_OPERATION
0x7BFF 0xFDFF Unordered INVALID_OPERATION
0x7BFF 0xFE00 Unordered (empty)
0x7BFF 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x7C00, X)
0x7C00 0x0000 Greater (empty)
0x7C00 0x0001 Greater (empty)
0x7C00 0x03FF Greater (empty)
0x7C00 0x0400 Greater (empty)
0x7C00 0x3C00 Greater (empty)
0x7C00 0x3C01 Greater (empty)
0x7C00 0x7BFF Greater (empty)
0x7C00 0x7C00 Equal (empty)
0x7C00 0x7C01 Unordered INVALID_OPERATION
0x7C00 0x7DFF Unordered INVALID_OPERATION
0x7C00 0x7E00 Unordered (empty)
0x7C00 0x7FFF Unordered (empty)
0x7C00 0x8000 Greater (empty)
0x7C00 0x8001 Greater (empty)
0x7C00 0x83FF Greater (empty)
0x7C00 0x8400 Greater (empty)
0x7C00 0xBC00 Greater (empty)
0x7C00 0xBC01 Greater (empty)
0x7C00 0xFBFF Greater (empty)
0x7C00 0xFC00 Greater (empty)
0x7C00 0xFC01 Unordered INVALID_OPERATION
0x7C00 0xFDFF Unordered INVALID_OPERATION
0x7C00 0xFE00 Unordered (empty)
0x7C00 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x7C01, X)
0x7C01 0x0000 Unordered INVALID_OPERATION
0x7C01 0x0001 Unordered INVALID_OPERATION
0x7C01 0x03FF Unordered INVALID_OPERATION
0x7C01 0x0400 Unordered INVALID_OPERATION
0x7C01 0x3C00 Unordered INVALID_OPERATION
0x7C01 0x3C01 Unordered INVALID_OPERATION
0x7C01 0x7BFF Unordered INVALID_OPERATION
0x7C01 0x7C00 Unordered INVALID_OPERATION
0x7C01 0x7C01 Unordered INVALID_OPERATION
0x7C01 0x7DFF Unordered INVALID_OPERATION
0x7C01 0x7E00 Unordered INVALID_OPERATION
0x7C01 0x7FFF Unordered INVALID_OPERATION
0x7C01 0x8000 Unordered INVALID_OPERATION
0x7C01 0x8001 Unordered INVALID_OPERATION
0x7C01 0x83FF Unordered INVALID_OPERATION
0x7C01 0x8400 Unordered INVALID_OPERATION
0x7C01 0xBC00 Unordered INVALID_OPERATION
0x7C01 0xBC01 Unordered INVALID_OPERATION
0x7C01 0xFBFF Unordered INVALID_OPERATION
0x7C01 0xFC00 Unordered INVALID_OPERATION
0x7C01 0xFC01 Unordered INVALID_OPERATION
0x7C01 0xFDFF Unordered INVALID_OPERATION
0x7C01 0xFE00 Unordered INVALID_OPERATION
0x7C01 0xFFFF Unordered INVALID_OPERATION

# testing F16::compare_quiet(0x7DFF, X)
0x7DFF 0x0000 Unordered INVALID_OPERATION
0x7DFF 0x0001 Unordered INVALID_OPERATION
0x7DFF 0x03FF Unordered INVALID_OPERATION
0x7DFF 0x0400 Unordered INVALID_OPERATION
0x7DFF 0x3C00 Unordered INVALID_OPERATION
0x7DFF 0x3C01 Unordered INVALID_OPERATION
0x7DFF 0x7BFF Unordered INVALID_OPERATION
0x7DFF 0x7C00 Unordered INVALID_OPERATION
0x7DFF 0x7C01 Unordered INVALID_OPERATION
0x7DFF 0x7DFF Unordered INVALID_OPERATION
0x7DFF 0x7E00 Unordered INVALID_OPERATION
0x7DFF 0x7FFF Unordered INVALID_OPERATION
0x7DFF 0x8000 Unordered INVALID_OPERATION
0x7DFF 0x8001 Unordered INVALID_OPERATION
0x7DFF 0x83FF Unordered INVALID_OPERATION
0x7DFF 0x8400 Unordered INVALID_OPERATION
0x7DFF 0xBC00 Unordered INVALID_OPERATION
0x7DFF 0xBC01 Unordered INVALID_OPERATION
0x7DFF 0xFBFF Unordered INVALID_OPERATION
0x7DFF 0xFC00 Unordered INVALID_OPERATION
0x7DFF 0xFC01 Unordered INVALID_OPERATION
0x7DFF 0xFDFF Unordered INVALID_OPERATION
0x7DFF 0xFE00 Unordered INVALID_OPERATION
0x7DFF 0xFFFF Unordered INVALID_OPERATION

# testing F16::compare_quiet(0x7E00, X)
0x7E00 0x0000 Unordered (empty)
0x7E00 0x0001 Unordered (empty)
0x7E00 0x03FF Unordered (empty)
0x7E00 0x0400 Unordered (empty)
0x7E00 0x3C00 Unordered (empty)
0x7E00 0x3C01 Unordered (empty)
0x7E00 0x7BFF Unordered (empty)
0x7E00 0x7C00 Unordered (empty)
0x7E00 0x7C01 Unordered INVALID_OPERATION
0x7E00 0x7DFF Unordered INVALID_OPERATION
0x7E00 0x7E00 Unordered (empty)
0x7E00 0x7FFF Unordered (empty)
0x7E00 0x8000 Unordered (empty)
0x7E00 0x8001 Unordered (empty)
0x7E00 0x83FF Unordered (empty)
0x7E00 0x8400 Unordered (empty)
0x7E00 0xBC00 Unordered (empty)
0x7E00 0xBC01 Unordered (empty)
0x7E00 0xFBFF Unordered (empty)
0x7E00 0xFC00 Unordered (empty)
0x7E00 0xFC01 Unordered INVALID_OPERATION
0x7E00 0xFDFF Unordered INVALID_OPERATION
0x7E00 0xFE00 Unordered (empty)
0x7E00 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x7FFF, X)
0x7FFF 0x0000 Unordered (empty)
0x7FFF 0x0001 Unordered (empty)
0x7FFF 0x03FF Unordered (empty)
0x7FFF 0x0400 Unordered (empty)
0x7FFF 0x3C00 Unordered (empty)
0x7FFF 0x3C01 Unordered (empty)
0x7FFF 0x7BFF Unordered (empty)
0x7FFF 0x7C00 Unordered (empty)
0x7FFF 0x7C01 Unordered INVALID_OPERATION
0x7FFF 0x7DFF Unordered INVALID_OPERATION
0x7FFF 0x7E00 Unordered (empty)
0x7FFF 0x7FFF Unordered (empty)
0x7FFF 0x8000 Unordered (empty)
0x7FFF 0x8001 Unordered (empty)
0x7FFF 0x83FF Unordered (empty)
0x7FFF 0x8400 Unordered (empty)
0x7FFF 0xBC00 Unordered (empty)
0x7FFF 0xBC01 Unordered (empty)
0x7FFF 0xFBFF Unordered (empty)
0x7FFF 0xFC00 Unordered (empty)
0x7FFF 0xFC01 Unordered INVALID_OPERATION
0x7FFF 0xFDFF Unordered INVALID_OPERATION
0x7FFF 0xFE00 Unordered (empty)
0x7FFF 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x8000, X)
0x8000 0x0000 Equal (empty)
0x8000 0x0001 Less (empty)
0x8000 0x03FF Less (empty)
0x8000 0x0400 Less (empty)
0x8000 0x3C00 Less (empty)
0x8000 0x3C01 Less (empty)
0x8000 0x7BFF Less (empty)
0x8000 0x7C00 Less (empty)
0x8000 0x7C01 Unordered INVALID_OPERATION
0x8000 0x7DFF Unordered INVALID_OPERATION
0x8000 0x7E00 Unordered (empty)
0x8000 0x7FFF Unordered (empty)
0x8000 0x8000 Equal (empty)
0x8000 0x8001 Greater (empty)
0x8000 0x83FF Greater (empty)
0x8000 0x8400 Greater (empty)
0x8000 0xBC00 Greater (empty)
0x8000 0xBC01 Greater (empty)
0x8000 0xFBFF Greater (empty)
0x8000 0xFC00 Greater (empty)
0x8000 0xFC01 Unordered INVALID_OPERATION
0x8000 0xFDFF Unordered INVALID_OPERATION
0x8000 0xFE00 Unordered (empty)
0x8000 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x8001, X)
0x8001 0x0000 Less (empty)
0x8001 0x0001 Less (empty)
0x8001 0x03FF Less (empty)
0x8001 0x0400 Less (empty)
0x8001 0x3C00 Less (empty)
0x8001 0x3C01 Less (empty)
0x8001 0x7BFF Less (empty)
0x8001 0x7C00 Less (empty)
0x8001 0x7C01 Unordered INVALID_OPERATION
0x8001 0x7DFF Unordered INVALID_OPERATION
0x8001 0x7E00 Unordered (empty)
0x8001 0x7FFF Unordered (empty)
0x8001 0x8000 Less (empty)
0x8001 0x8001 Equal (empty)
0x8001 0x83FF Greater (empty)
0x8001 0x8400 Greater (empty)
0x8001 0xBC00 Greater (empty)
0x8001 0xBC01 Greater (empty)
0x8001 0xFBFF Greater (empty)
0x8001 0xFC00 Greater (empty)
0x8001 0xFC01 Unordered INVALID_OPERATION
0x8001 0xFDFF Unordered INVALID_OPERATION
0x8001 0xFE00 Unordered (empty)
0x8001 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x83FF, X)
0x83FF 0x0000 Less (empty)
0x83FF 0x0001 Less (empty)
0x83FF 0x03FF Less (empty)
0x83FF 0x0400 Less (empty)
0x83FF 0x3C00 Less (empty)
0x83FF 0x3C01 Less (empty)
0x83FF 0x7BFF Less (empty)
0x83FF 0x7C00 Less (empty)
0x83FF 0x7C01 Unordered INVALID_OPERATION
0x83FF 0x7DFF Unordered INVALID_OPERATION
0x83FF 0x7E00 Unordered (empty)
0x83FF 0x7FFF Unordered (empty)
0x83FF 0x8000 Less (empty)
0x83FF 0x8001 Less (empty)
0x83FF 0x83FF Equal (empty)
0x83FF 0x8400 Greater (empty)
0x83FF 0xBC00 Greater (empty)
0x83FF 0xBC01 Greater (empty)
0x83FF 0xFBFF Greater (empty)
0x83FF 0xFC00 Greater (empty)
0x83FF 0xFC01 Unordered INVALID_OPERATION
0x83FF 0xFDFF Unordered INVALID_OPERATION
0x83FF 0xFE00 Unordered (empty)
0x83FF 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0x8400, X)
0x8400 0x0000 Less (empty)
0x8400 0x0001 Less (empty)
0x8400 0x03FF Less (empty)
0x8400 0x0400 Less (empty)
0x8400 0x3C00 Less (empty)
0x8400 0x3C01 Less (empty)
0x8400 0x7BFF Less (empty)
0x8400 0x7C00 Less (empty)
0x8400 0x7C01 Unordered INVALID_OPERATION
0x8400 0x7DFF Unordered INVALID_OPERATION
0x8400 0x7E00 Unordered (empty)
0x8400 0x7FFF Unordered (empty)
0x8400 0x8000 Less (empty)
0x8400 0x8001 Less (empty)
0x8400 0x83FF Less (empty)
0x8400 0x8400 Equal (empty)
0x8400 0xBC00 Greater (empty)
0x8400 0xBC01 Greater (empty)
0x8400 0xFBFF Greater (empty)
0x8400 0xFC00 Greater (empty)
0x8400 0xFC01 Unordered INVALID_OPERATION
0x8400 0xFDFF Unordered INVALID_OPERATION
0x8400 0xFE00 Unordered (empty)
0x8400 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0xBC00, X)
0xBC00 0x0000 Less (empty)
0xBC00 0x0001 Less (empty)
0xBC00 0x03FF Less (empty)
0xBC00 0x0400 Less (empty)
0xBC00 0x3C00 Less (empty)
0xBC00 0x3C01 Less (empty)
0xBC00 0x7BFF Less (empty)
0xBC00 0x7C00 Less (empty)
0xBC00 0x7C01 Unordered INVALID_OPERATION
0xBC00 0x7DFF Unordered INVALID_OPERATION
0xBC00 0x7E00 Unordered (empty)
0xBC00 0x7FFF Unordered (empty)
0xBC00 0x8000 Less (empty)
0xBC00 0x8001 Less (empty)
0xBC00 0x83FF Less (empty)
0xBC00 0x8400 Less (empty)
0xBC00 0xBC00 Equal (empty)
0xBC00 0xBC01 Greater (empty)
0xBC00 0xFBFF Greater (empty)
0xBC00 0xFC00 Greater (empty)
0xBC00 0xFC01 Unordered INVALID_OPERATION
0xBC00 0xFDFF Unordered INVALID_OPERATION
0xBC00 0xFE00 Unordered (empty)
0xBC00 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0xBC01, X)
0xBC01 0x0000 Less (empty)
0xBC01 0x0001 Less (empty)
0xBC01 0x03FF Less (empty)
0xBC01 0x0400 Less (empty)
0xBC01 0x3C00 Less (empty)
0xBC01 0x3C01 Less (empty)
0xBC01 0x7BFF Less (empty)
0xBC01 0x7C00 Less (empty)
0xBC01 0x7C01 Unordered INVALID_OPERATION
0xBC01 0x7DFF Unordered INVALID_OPERATION
0xBC01 0x7E00 Unordered (empty)
0xBC01 0x7FFF Unordered (empty)
0xBC01 0x8000 Less (empty)
0xBC01 0x8001 Less (empty)
0xBC01 0x83FF Less (empty)
0xBC01 0x8400 Less (empty)
0xBC01 0xBC00 Less (empty)
0xBC01 0xBC01 Equal (empty)
0xBC01 0xFBFF Greater (empty)
0xBC01 0xFC00 Greater (empty)
0xBC01 0xFC01 Unordered INVALID_OPERATION
0xBC01 0xFDFF Unordered INVALID_OPERATION
0xBC01 0xFE00 Unordered (empty)
0xBC01 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0xFBFF, X)
0xFBFF 0x0000 Less (empty)
0xFBFF 0x0001 Less (empty)
0xFBFF 0x03FF Less (empty)
0xFBFF 0x0400 Less (empty)
0xFBFF 0x3C00 Less (empty)
0xFBFF 0x3C01 Less (empty)
0xFBFF 0x7BFF Less (empty)
0xFBFF 0x7C00 Less (empty)
0xFBFF 0x7C01 Unordered INVALID_OPERATION
0xFBFF 0x7DFF Unordered INVALID_OPERATION
0xFBFF 0x7E00 Unordered (empty)
0xFBFF 0x7FFF Unordered (empty)
0xFBFF 0x8000 Less (empty)
0xFBFF 0x8001 Less (empty)
0xFBFF 0x83FF Less (empty)
0xFBFF 0x8400 Less (empty)
0xFBFF 0xBC00 Less (empty)
0xFBFF 0xBC01 Less (empty)
0xFBFF 0xFBFF Equal (empty)
0xFBFF 0xFC00 Greater (empty)
0xFBFF 0xFC01 Unordered INVALID_OPERATION
0xFBFF 0xFDFF Unordered INVALID_OPERATION
0xFBFF 0xFE00 Unordered (empty)
0xFBFF 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0xFC00, X)
0xFC00 0x0000 Less (empty)
0xFC00 0x0001 Less (empty)
0xFC00 0x03FF Less (empty)
0xFC00 0x0400 Less (empty)
0xFC00 0x3C00 Less (empty)
0xFC00 0x3C01 Less (empty)
0xFC00 0x7BFF Less (empty)
0xFC00 0x7C00 Less (empty)
0xFC00 0x7C01 Unordered INVALID_OPERATION
0xFC00 0x7DFF Unordered INVALID_OPERATION
0xFC00 0x7E00 Unordered (empty)
0xFC00 0x7FFF Unordered (empty)
0xFC00 0x8000 Less (empty)
0xFC00 0x8001 Less (empty)
0xFC00 0x83FF Less (empty)
0xFC00 0x8400 Less (empty)
0xFC00 0xBC00 Less (empty)
0xFC00 0xBC01 Less (empty)
0xFC00 0xFBFF Less (empty)
0xFC00 0xFC00 Equal (empty)
0xFC00 0xFC01 Unordered INVALID_OPERATION
0xFC00 0xFDFF Unordered INVALID_OPERATION
0xFC00 0xFE00 Unordered (empty)
0xFC00 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0xFC01, X)
0xFC01 0x0000 Unordered INVALID_OPERATION
0xFC01 0x0001 Unordered INVALID_OPERATION
0xFC01 0x03FF Unordered INVALID_OPERATION
0xFC01 0x0400 Unordered INVALID_OPERATION
0xFC01 0x3C00 Unordered INVALID_OPERATION
0xFC01 0x3C01 Unordered INVALID_OPERATION
0xFC01 0x7BFF Unordered INVALID_OPERATION
0xFC01 0x7C00 Unordered INVALID_OPERATION
0xFC01 0x7C01 Unordered INVALID_OPERATION
0xFC01 0x7DFF Unordered INVALID_OPERATION
0xFC01 0x7E00 Unordered INVALID_OPERATION
0xFC01 0x7FFF Unordered INVALID_OPERATION
0xFC01 0x8000 Unordered INVALID_OPERATION
0xFC01 0x8001 Unordered INVALID_OPERATION
0xFC01 0x83FF Unordered INVALID_OPERATION
0xFC01 0x8400 Unordered INVALID_OPERATION
0xFC01 0xBC00 Unordered INVALID_OPERATION
0xFC01 0xBC01 Unordered INVALID_OPERATION
0xFC01 0xFBFF Unordered INVALID_OPERATION
0xFC01 0xFC00 Unordered INVALID_OPERATION
0xFC01 0xFC01 Unordered INVALID_OPERATION
0xFC01 0xFDFF Unordered INVALID_OPERATION
0xFC01 0xFE00 Unordered INVALID_OPERATION
0xFC01 0xFFFF Unordered INVALID_OPERATION

# testing F16::compare_quiet(0xFDFF, X)
0xFDFF 0x0000 Unordered INVALID_OPERATION
0xFDFF 0x0001 Unordered INVALID_OPERATION
0xFDFF 0x03FF Unordered INVALID_OPERATION
0xFDFF 0x0400 Unordered INVALID_OPERATION
0xFDFF 0x3C00 Unordered INVALID_OPERATION
0xFDFF 0x3C01 Unordered INVALID_OPERATION
0xFDFF 0x7BFF Unordered INVALID_OPERATION
0xFDFF 0x7C00 Unordered INVALID_OPERATION
0xFDFF 0x7C01 Unordered INVALID_OPERATION
0xFDFF 0x7DFF Unordered INVALID_OPERATION
0xFDFF 0x7E00 Unordered INVALID_OPERATION
0xFDFF 0x7FFF Unordered INVALID_OPERATION
0xFDFF 0x8000 Unordered INVALID_OPERATION
0xFDFF 0x8001 Unordered INVALID_OPERATION
0xFDFF 0x83FF Unordered INVALID_OPERATION
0xFDFF 0x8400 Unordered INVALID_OPERATION
0xFDFF 0xBC00 Unordered INVALID_OPERATION
0xFDFF 0xBC01 Unordered INVALID_OPERATION
0xFDFF 0xFBFF Unordered INVALID_OPERATION
0xFDFF 0xFC00 Unordered INVALID_OPERATION
0xFDFF 0xFC01 Unordered INVALID_OPERATION
0xFDFF 0xFDFF Unordered INVALID_OPERATION
0xFDFF 0xFE00 Unordered INVALID_OPERATION
0xFDFF 0xFFFF Unordered INVALID_OPERATION

# testing F16::compare_quiet(0xFE00, X)
0xFE00 0x0000 Unordered (empty)
0xFE00 0x0001 Unordered (empty)
0xFE00 0x03FF Unordered (empty)
0xFE00 0x0400 Unordered (empty)
0xFE00 0x3C00 Unordered (empty)
0xFE00 0x3C01 Unordered (empty)
0xFE00 0x7BFF Unordered (empty)
0xFE00 0x7C00 Unordered (empty)
0xFE00 0x7C01 Unordered INVALID_OPERATION
0xFE00 0x7DFF Unordered INVALID_OPERATION
0xFE00 0x7E00 Unordered (empty)
0xFE00 0x7FFF Unordered (empty)
0xFE00 0x8000 Unordered (empty)
0xFE00 0x8001 Unordered (empty)
0xFE00 0x83FF Unordered (empty)
0xFE00 0x8400 Unordered (empty)
0xFE00 0xBC00 Unordered (empty)
0xFE00 0xBC01 Unordered (empty)
0xFE00 0xFBFF Unordered (empty)
0xFE00 0xFC00 Unordered (empty)
0xFE00 0xFC01 Unordered INVALID_OPERATION
0xFE00 0xFDFF Unordered INVALID_OPERATION
0xFE00 0xFE00 Unordered (empty)
0xFE00 0xFFFF Unordered (empty)

# testing F16::compare_quiet(0xFFFF, X)
0xFFFF 0x0000 Unordered (empty)
0xFFFF 0x0001 Unordered (empty)
0xFFFF 0x03FF Unordered (empty)
0xFFFF 0x0400 Unordered (empty)
0xFFFF 0x3C00 Unordered (empty)
0xFFFF 0x3C01 Unordered (empty)
0xFFFF 0x7BFF Unordered (empty)
0xFFFF 0x7C00 Unordered (empty)
0xFFFF 0x7C01 Unordered INVALID_OPERATION
0xFFFF 0x7DFF Unordered INVALID_OPERATION
0xFFFF 0x7E00 Unordered (empty)
0xFFFF 0x7FFF Unordered (empty)
0xFFFF 0x8000 Unordered (empty)
0xFFFF 0x8001 Unordered (empty)
0xFFFF 0x83FF Unordered (empty)
0xFFFF 0x8400 Unordered (empty)
0xFFFF 0xBC00 Unordered (empty)
0xFFFF 0xBC01 Unordered (empty)
0xFFFF 0xFBFF Unordered (empty)
0xFFFF 0xFC00 Unordered (empty)
0xFFFF 0xFC01 Unordered INVALID_OPERATION
0xFFFF 0xFDFF Unordered INVALID_OPERATION
0xFFFF 0xFE00 Unordered (empty)
0xFFFF 0xFFFF Unordered (empty)