6.12 Дополнительные типы с плавающей точкой

ISO/IEC TS 18661-3:2015 определяет поддержку C для дополнительных типов с плавающей точкой _Floatn и _Floatnx, и GCC поддерживает эти имена типов; набор поддерживаемых типов зависит от архитектуры целевой системы. Константы с этими типами используют суффиксы fn или Fn и fnx или Fnx. Эти имена типов могут быть использованы вместе с _Complex для объявления комплексных типов.

В качестве расширения, GNU C и GNU C++ поддерживают дополнительные типы с плавающей точкой, которые не поддерживаются на всех целевых системах.

• __float128 доступен на i386, x86_64, IA-64, LoongArch и hppa HP-UX, а также на целевых системах PowerPC GNU/Linux, которые включают набор инструкций векторно-скалярного типа (VSX). __float128 поддерживает 128-битный тип с плавающей точкой. На i386, x86_64, PowerPC, LoongArch и IA-64, кроме HP-UX, __float128 является псевдонимом для _Float128. На hppa и IA-64 HP-UX, __float128 является псевдонимом для long double.
• __float80 доступен на целевых системах i386, x86_64 и IA-64 и поддерживает 80-битный (XFmode) тип с плавающей точкой. Он является псевдонимом для имени типа _Float64x на этих целевых системах.
• __ibm128 доступен на целевых системах PowerPC и предоставляет доступ к расширенному двойному формату IBM, который является текущим форматом, используемым для long double. Когда long double перейдет на __float128 на PowerPC в будущем, __ibm128 останется для использования в преобразованиях между двумя типами.

Поддержка этих дополнительных типов включает арифметические операторы: сложение, вычитание, умножение, деление; унарные арифметические операторы; реляционные операторы; операторы сравнения; и преобразования к целочисленному и другим типам с плавающей точкой. Используйте суффикс ‘w’ или ‘W’ в литеральной константе типа __float80 или типа __ibm128. Используйте суффикс ‘q’ или ‘Q’ для __float128.

Для использования _Float128, __float128, и __ibm128 на системах PowerPC Linux, необходимо использовать опцию -mfloat128. Ожидается, что в будущих версиях GCC _Float128 и __float128 будут включены автоматически.

Тип _Float128 поддерживается на всех системах, где поддерживается __float128 или где long double имеет формат IEEE binary128. Тип _Float64x поддерживается на всех системах, где поддерживается __float128. Тип _Float32 поддерживается на всех системах, поддерживающих IEEE binary32; типы _Float64 и _Float32x поддерживаются на всех системах, поддерживающих IEEE binary64. Тип _Float16 поддерживается на системах AArch64 по умолчанию, на ARM системах, когда формат IEEE для 16-битных типов с плавающей точкой выбран с помощью -mfp16-format=ieee и, как для C, так и для C++, на x86 системах с включенным SSE2. В настоящее время GCC не поддерживает _Float128x ни на одной системе.

На целевых системах i386, x86_64, IA-64 и HP-UX вы можете объявлять комплексные типы, используя соответствующие внутренние комплексные типы, XCmode для типа __float80 и TCmode для типа __float128:

typedef _Complex float __attribute__((mode(TC))) _Complex128;
typedef _Complex float __attribute__((mode(XC))) _Complex80;

На целевых системах PowerPC Linux VSX вы можете объявлять комплексные типы, используя соответствующие внутренние комплексные типы, KCmode для типа __float128 и ICmode для типа __ibm128:

typedef _Complex float __attribute__((mode(KC))) _Complex_float128;
typedef _Complex float __attribute__((mode(IC))) _Complex_ibm128;