procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add 128-bit int to 128-bit DFP (floattitd2) and 128-bit DFP to 128-bit int (fixtdti2) support

Browse source 
2021-06-08  Carl Love  <cel@us.ibm.com>

gcc/ChangeLog

	* config/rs6000/dfp.md (floattitd2, fixtdti2): New define_insns.

gcc/testsuite/ChangeLog

	* gcc.target/powerpc/int_128bit-runnable.c: Add 128-bit DFP
	conversion tests.
This commit is contained in:
Carl Love 2020-11-24 18:18:05 -06:00
parent f03122f2a7
commit 976ffcf87d
2 changed files with 75 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
gcc/config/rs6000/dfp.md
View file

@ -226,6 +226,13 @@
[(set_attr "type" "dfp")
(set_attr "size" "128")])
(define_insn "floattitd2"
[(set (match_operand:TD 0 "gpc_reg_operand" "=d")
(float:TD (match_operand:TI 1 "gpc_reg_operand" "v")))]
"TARGET_POWER10"
"dcffixqq %0,%1"
[(set_attr "type" "dfp")])
;; Convert a decimal64/128 to a decimal64/128 whose value is an integer.
;; This is the first stage of converting it to an integer type.
@ -247,6 +254,13 @@
"dctfix<q> %0,%1"
[(set_attr "type" "dfp")
(set_attr "size" "<bits>")])
(define_insn "fixtdti2"
[(set (match_operand:TI 0 "gpc_reg_operand" "=v")
(fix:TI (match_operand:TD 1 "gpc_reg_operand" "d")))]
"TARGET_POWER10"
"dctfixqq %0,%1"
[(set_attr "type" "dfp")])
;; Decimal builtin support

61
gcc/testsuite/gcc.target/powerpc/int_128bit-runnable.c
View file

@ -37,6 +37,7 @@
#if DEBUG
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
void print_i128(__int128_t val)
@ -58,6 +59,13 @@ int main ()
__int128_t arg1, result;
__uint128_t uarg2;
_Decimal128 arg1_dfp128, result_dfp128, expected_result_dfp128;
struct conv_t {
__uint128_t u128;
_Decimal128 d128;
} conv, conv2;
vector signed long long int vec_arg1_di, vec_arg2_di;
vector signed long long int vec_result_di, vec_expected_result_di;
vector unsigned long long int vec_uarg1_di, vec_uarg2_di, vec_uarg3_di;
@ -2258,6 +2266,59 @@ int main ()
abort();
#endif
}
/* DFP to __int128 and __int128 to DFP conversions */
/* Print the DFP value as an unsigned int so we can see the bit patterns. */
conv.u128 = 0x2208000000000000ULL;
conv.u128 = (conv.u128 << 64) | 0x4ULL; //DFP bit pattern for integer 4
expected_result_dfp128 = conv.d128;
arg1 = 4;
conv.d128 = (_Decimal128) arg1;
result_dfp128 = (_Decimal128) arg1;
if (((conv.u128 >>64) != 0x2208000000000000ULL) &&
((conv.u128 & 0xFFFFFFFFFFFFFFFF) != 0x4ULL)) {
#if DEBUG
printf("ERROR: convert int128 value ");
print_i128 (arg1);
conv.d128 = result_dfp128;
printf("\nto DFP value 0x%llx %llx (printed as hex bit string) ",
(unsigned long long)((conv.u128) >>64),
(unsigned long long)((conv.u128) & 0xFFFFFFFFFFFFFFFF));
conv.d128 = expected_result_dfp128;
printf("\ndoes not match expected_result = 0x%llx %llx\n\n",
(unsigned long long) (conv.u128>>64),
(unsigned long long) (conv.u128 & 0xFFFFFFFFFFFFFFFF));
#else
abort();
#endif
}
expected_result = 4;
conv.u128 = 0x2208000000000000ULL;
conv.u128 = (conv.u128 << 64) | 0x4ULL; // 4 as DFP
arg1_dfp128 = conv.d128;
result = (__int128_t) arg1_dfp128;
if (result != expected_result) {
#if DEBUG
printf("ERROR: convert DFP value ");
printf("0x%llx %llx (printed as hex bit string) ",
(unsigned long long)(conv.u128>>64),
(unsigned long long)(conv.u128 & 0xFFFFFFFFFFFFFFFF));
printf("to __int128 value = ");
print_i128 (result);
printf("\ndoes not match expected_result = ");
print_i128 (expected_result);
printf("\n");
#else
abort();
#endif
}
return 0;
}