diff options
author | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2022-10-16 10:51:47 +0200 |
---|---|---|
committer | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2022-11-18 21:23:41 +0100 |
commit | 3142265dedd84c2f3dbf824f2d1b0c182e3c8b3c (patch) | |
tree | 70cb060b825811f3b5422e2ff6906e83371f4396 /gcc/system.h | |
parent | 60d2bcc55bcc0991c0e58e97edf4a69e847e82c6 (diff) | |
download | gcc-3142265dedd84c2f3dbf824f2d1b0c182e3c8b3c.zip gcc-3142265dedd84c2f3dbf824f2d1b0c182e3c8b3c.tar.gz gcc-3142265dedd84c2f3dbf824f2d1b0c182e3c8b3c.tar.bz2 |
RISC-V: No extensions for SImode min/max against safe constant
Optimize the common case of a SImode min/max against a constant
that is safe both for sign- and zero-extension.
E.g., consider the case
int f(unsigned int* a)
{
const int C = 1000;
return *a * 3 > C ? C : *a * 3;
}
where the constant C will yield the same result in DImode whether
sign- or zero-extended.
This should eventually go away once the lowering to RTL smartens up
and considers the precision/signedness and the value-ranges of the
operands to MIN_EXPR and MAX_EXPR.
gcc/ChangeLog:
* config/riscv/bitmanip.md (*minmax): Additional pattern for
min/max against constants that are extension-invariant.
* config/riscv/iterators.md (minmax_optab): Add an iterator
that has only min and max rtl.
gcc/testsuite/ChangeLog:
* gcc.target/riscv/zbb-min-max-02.c: New test.
Diffstat (limited to 'gcc/system.h')
0 files changed, 0 insertions, 0 deletions