diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/dfp/operator-bitwise.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/dfp/operator-bitwise.c | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/dfp/operator-bitwise.c b/gcc/testsuite/gcc.dg/dfp/operator-bitwise.c new file mode 100644 index 000000000..f895a9705 --- /dev/null +++ b/gcc/testsuite/gcc.dg/dfp/operator-bitwise.c @@ -0,0 +1,63 @@ +/* { dg-do compile } */ + +/* C99 6.5.10: Bitwise AND operator. + C99 6.5.11: Bitwise exclusive OR operator. + C99 6.5.12: Bitwise inclusive OR operator. + + Test that these operators do not accept decimal float operands. */ + +#define OPERATE(OPRD1,OPRT,OPRD2) \ +do \ +{ \ + OPRD1 OPRT OPRD2; \ +} while (0) + + + +#define DECIMAL_BITWISE_OPERATOR(OPRT,OPRD) \ +do \ +{ \ +OPERATE(OPRD,OPRT,1); \ +OPERATE(OPRD,OPRT,0); \ +OPERATE(OPRD,OPRT,0x15); \ +OPERATE(0,OPRT,OPRD); \ +OPERATE(1,OPRT,OPRD); \ +OPERATE(0x15,OPRT,OPRD); \ +} while (0) + +void operator_notfor_decimal() +{ + _Decimal32 d32; + _Decimal64 d64; + _Decimal128 d128; + + /* C99 Section 6.5.7 Bitwise shift operators. Operands must have + integer type (which the decimal float types are not). */ + + d32 << 1; /* { dg-error "invalid operands to binary" } */ + d32 >> 1; /* { dg-error "invalid operands to binary" } */ + d64 << 1; /* { dg-error "invalid operands to binary" } */ + d64 >> 1; /* { dg-error "invalid operands to binary" } */ + d128 << 1; /* { dg-error "invalid operands to binary" } */ + d128 >> 1; /* { dg-error "invalid operands to binary" } */ + + DECIMAL_BITWISE_OPERATOR(&,d32); /* { dg-error "invalid operands to binary" } */ + DECIMAL_BITWISE_OPERATOR(&,d64); /* { dg-error "invalid operands to binary" } */ + DECIMAL_BITWISE_OPERATOR(&,d128); /* { dg-error "invalid operands to binary" } */ + + /* C99 Section 6.5.{10,11,12} Bitwise operator. Constraints: Each of + the operands shall have integer type. DFP type is reject by compiler + when bitwise operation is performed. */ + + DECIMAL_BITWISE_OPERATOR(&,d32); /* { dg-error "invalid operands to binary" } */ + DECIMAL_BITWISE_OPERATOR(&,d64); /* { dg-error "invalid operands to binary" } */ + DECIMAL_BITWISE_OPERATOR(&,d128); /* { dg-error "invalid operands to binary" } */ + + DECIMAL_BITWISE_OPERATOR(|,d32); /* { dg-error "invalid operands to binary" } */ + DECIMAL_BITWISE_OPERATOR(|,d64); /* { dg-error "invalid operands to binary" } */ + DECIMAL_BITWISE_OPERATOR(|,d128); /* { dg-error "invalid operands to binary" } */ + + DECIMAL_BITWISE_OPERATOR(^,d32); /* { dg-error "invalid operands to binary" } */ + DECIMAL_BITWISE_OPERATOR(^,d64); /* { dg-error "invalid operands to binary" } */ + DECIMAL_BITWISE_OPERATOR(^,d128); /* { dg-error "invalid operands to binary" } */ +} |