Project

General

Profile

Actions
Copy link

Bug #9183

closed

bug in fclass test

Added by Alexander Protsenko over 5 years ago. Updated over 5 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Alexander Protsenko
Target version:
-
Start date:
08/01/2018
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

riscv-spec-v2.2.pdf page 53

0 rs1 is -infinity


test_2:
0x000000008000010c li a0, 0xff800000
0x000000008000012c fmv.s.x fa0, a0
0x0000000080000130 fclass.s a0, fa0
0x0000000080000134 li t4, 0x1
0x0000000080000138 li gp, 0x2
Reference to undefined label fail:
Check: testreg(0x0000000000000000) == x29(0x0000000000000001)
0x000000008000013c bne a0, t4, fail
Jump to 0x000000008000029c
Error: Test failed (self check did not pass)!

isa_tests/rv64uf/fclass.rb

    TEST_FCLASS_S( 2, 1 << 0, 0xff800000 )
    TEST_FCLASS_S( 3, 1 << 1, 0xbf800000 )
    TEST_FCLASS_S( 4, 1 << 2, 0x807fffff )

Correct version:

TEST_FCLASS_S( 2, 0 << 0, 0xff800000 )

Actions
Copy link
 #1

Updated by Alexander Protsenko over 5 years ago

  • Status changed from New to Closed
rd bit 0 rs1 is -infinity
Actions
Copy link
 #2

Updated by Alexander Protsenko over 5 years ago

  • Assignee changed from Andrei Tatarnikov to Alexander Protsenko
Actions
Copy link

Also available in: Atom PDF