The compiler design handbook optimizations and machine code generation (Taylor & Francis, 2008)