« Previous | Next » 

Revision 477ba620

ID477ba620018d51da23c60556b500118cb8d1d373

Added by Aurelien Jarno about 12 years ago

tcg: initial ia64 support

A few words about design choices:
  • On IA64, instructions should be grouped by bundle, and dependencies
    between instructions declared. A first version of this code tried to
    schedule instructions automatically, but was very complex and too
    invasive for the current common TCG code (ops not ending at
    instruction boundaries, code retranslation breaking already generated
    code, etc.) It was also not very efficient, as dependencies between
    TCG ops is not available.
    Instead the option taken by the current implementation does not try
    to fill the bundle by scheduling instructions, but by providing ops
    not available as an ia64 instruction, and by offering 22-bit constant
    loading for most of the instructions. With both options the bundle are
    filled at approximately the same level.
  • Up to 128 registers can be affected to a function on IA64, but TCG
    limits this number to 64, which is actually more than enough. The
    register affectation is the following:
    - r0: used to map a constant argument with value 0
    - r1: global pointer
    - r2, r3: internal use
    - r4 to r6: not used to avoid saving them
    - r7: env structure
    - r8 to r11: free for TCG (call clobbered)
    - r12: stack pointer
    - r13: thread pointer
    - r14 to r31: free for TCG (call clobbered)
    - r32: reserved (return address)
    - r33: reserved (PFS)
    - r33 to r63: free for TCG
  • The IA64 architecture has only 64-bit registers and no 32-bit
    instructions (the only exception being cmp4). Therefore 64-bit
    registers and instructions are used for 32-bit ops. The adopted
    strategy is the same as the ABI, that is the higher 32 bits are
    undefined. Most ops (and, or, add, shl, etc.) can directly use
    the 64-bit registers, while some others have to sign-extend (sar,
    div, etc.) or zero-extend (shr, divu, etc.) the register first.

Signed-off-by: Aurelien Jarno <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences