Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  • Improvement of if-conversion pass in GCC to handle SUBREG and zero/sign extended objects.
  • Use of ADD rather than IOR when possible
  • If-convert the conditional in the move_one_fast loop of deepsjeng
    • Two approaches
      • Improve min/max discovery in gimple which should simplify the conditional code to optimizable form in the RTL if-converter code
      • Improve the RTL if-converter code to better handle multiple if-convertable instrutions


Analysis has shown that the most common missed if-conversion cases for RISC-V are related to mode changing operators such as SUBREG, ZERO_EXTEND and SIGN_EXTEND which are commonly used when operating on 32bit objects for rv64..  ESWIN and Ventana have differing implementations in this space that need to be resolved.  The core concern with the ESWIN implementation is that it directly modifies the objects in the IL, which in turn means that it's difficult (potentially impossible) to correctly handle certain cases (shifts).  In contrast the Ventana implementation emits new IL for the converted sequence and deletes the old parts of the IL.

...

Page Properties


Philip Tomsich (VRULL)

Development

Status
colourBlue
titleIN PROGRESS


Development Timeline2H20231H2024
Upstreaming

Status
colourBlue
titleIN PROGRESS

(4 variants to reconcile)



Upstream Version

gcc-14 15 (Spring 20242025)

gcc-13 RISC-V Coordination branch





Contacts

Raphael Zinsly (Ventana)

Jeff Law (Ventana)


DependenciesNone


...