Bibliography

AMD64

AMD x86-64 Architecture Programmer's Manual, AMD (2003).

Opteron

Software Optimization Guide for the AMD Opteron$^{\rm TM}$ Processor, AMD (2003).

Pentium4

IA-32 Intel Architecture Optimization Manual, Intel (2003).

AMD64-PSABI

UNIX System V Application Binary Interface; AMD64 Architecture Processor Supplement, Draft, (Ed. J. Hubicka, A. Jaeger, M. Mitchell),
http://www.x86-64.org, (2003)

i386-ABI

UNIX System V Application Binary Interface; IA-32 Architecture Processor Supplement, Intel (2000).

IA-64-ABI

UNIX System V Application Binary Interface; IA-64 Processor ABI Supplement, Intel (2000).

PPC-ABI

UNIX System V Application Binary Interface; PowerPC Processor ABI Supplement (1995).

DWARF2

DWARF Debugging Information Format, Version 2.0.0 UNIX International, Program Languages SIG (1993).

FDO

Design and Analysis of Profile-Based Optimization in Compaq's Compilation Tools for Alpha, Journal of Instruction-Level Parallelism 3 (2000), p. 1-25.

STC

A. Ramirez, J. L. Larriba-Pey, C. Navarro, J. Torrellas, and M. Valero, Software trace cache, Proc. 13th Intl. Conf. on Supercomputing (1999), p. 119-126.

profile

Y. Wu and J. R. Larus, Static branch frequency and program profile analysis, In Proceedings of the 27th International Symposium on Microarchitecture (1994), p. 1-11.