<--- Back to Details
First PageDocument Content
Computer programming / Constant folding / Static single assignment form / Loop-invariant code motion / Dead code elimination / Compiler / Program optimization / Data-flow analysis / Goto / Software engineering / Compiler optimizations / Computing
Date: 2008-09-08 17:20:08
Computer programming
Constant folding
Static single assignment form
Loop-invariant code motion
Dead code elimination
Compiler
Program optimization
Data-flow analysis
Goto
Software engineering
Compiler optimizations
Computing

Microsoft Word - 20-Optimization.doc

Add to Reading List

Source URL: dragonbook.stanford.edu

Download Document from Source Website

File Size: 114,43 KB

Share Document on Facebook

Similar Documents

Concurrent computing / Computing / Computer architecture / X86 instructions / SIMD / AltiVec / Streaming SIMD Extensions / Processor register / SSE2 / Symbolic execution / MMX / Constant folding

Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly

DocID: 1pUTw - View Document

Compiler optimizations / Compiler construction / Procedural programming languages / Programming language implementation / Subroutines / Static single assignment form / Global value numbering / Optimizing compiler / Constant folding / Program optimization / Inline expansion / Compiler

i Jason W. Kim and Terrance E. Boult EECS Dept. Lehigh University Room 304 Packard Lab. 19 Memorial Dr. W. Bethlehem, PAUSA jwk2  tboult  @eecs.lehigh.edu

DocID: 1pA24 - View Document

Software / Computing / Compiler optimizations / Compiler construction / Programming language implementation / Undefined behavior / Optimizing compiler / Compiler / Inline expansion / Constant folding / Loop-invariant code motion / Program optimization

The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer

DocID: 1nsnd - View Document

Software / Compiler optimizations / Computer programming / Peephole optimization / Superoptimization / Constant folding / Compiler / Program optimization / Satisfiability modulo theories / Expression / Static single assignment form / GNU Compiler Collection

Optgen: A Generator for Local Optimizations Sebastian Buchwald Karlsruhe Institute of Technology Abstract. Every compiler comes with a set of local optimization rules,

DocID: 1lGUV - View Document

Compiler optimizations / Cross-platform software / Static single assignment form / Compilers / Programming language implementation / GNU Compiler Collection / Constant folding / Compiler / C / Software / Computing / Compiler construction

Design and Implementation of Tree SSA Diego Novillo Red Hat Canada Abstract

DocID: 1gi21 - View Document