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

First Page		Document Content
Date: 2015-01-20 17:49:37 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, Add to Reading List Source URL: pp.info.uni-karlsruhe.de Download Document from Source Website File Size: 399,36 KB Share Document on Facebook

	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly DocID: 1pUTw - View Document
	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
	The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer DocID: 1nsnd - View Document
	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
	Design and Implementation of Tree SSA Diego Novillo Red Hat Canada Abstract DocID: 1gi21 - View Document