-
Christoph Mallon authored
Do not make a separate type for the x87 80bit floating point mode, but adjust the mode's type accordingly. This removes unnecessary special case handling for 80bit floating point.
d4fec07f
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Dieser Pilot-GitLab wird zum Ende des Wintersemesters 2023/24, d.h. am 31.03.2024, geschlossen // This pilot GitLab will be closed at the end of the winter semester 2023/24 on March 31, 2024
Do not make a separate type for the x87 80bit floating point mode, but adjust the mode's type accordingly. This removes unnecessary special case handling for 80bit floating point.