Opened 6 years ago

Closed 6 years ago

#739 closed defect (fixed)

IA-64 FP possibly broken

Reported by: Jiří Zárevúcky Owned by: Jakub Jermář
Priority: major Milestone: 0.8.0
Component: helenos/unspecified Version: mainline
Keywords: Cc:
Blocker for: Depends on:
See also:

Description

libgcc for IA-64 uses floating-point instructions to implement 64b integer division and modulo. The unsigned modulo (see source) however gives incorrect results for large dividends.

Superficially, it seems as if the operand is interpreted as signed, returning the signed (negative) modulo result instead of the correct unsigned one, however I haven't confirmed this.
While this might be problem in the libgcc assembly, I'm more inclined to suspect that the problem lies in our FP support.

Change History (1)

comment:1 by Jakub Jermář, 6 years ago

Resolution: fixed
Status: assignedclosed
Note: See TracTickets for help on using tickets.