CS:APP2e Web Aside ASM:SSE: SSE-Based Support for Floating Point∗ Randal E. Bryant David R. O’Hallaron August 5, 2014

First Page		Document Content
Date: 2014-08-05 12:50:10 Computer architecture Computing X86 instructions Computer engineering Streaming SIMD Extensions SSE2 MMX X86 MOVAPD X87 Processor register SSE3		CS:APP2e Web Aside ASM:SSE: SSE-Based Support for Floating Point∗ Randal E. Bryant David R. O’Hallaron August 5, 2014 Add to Reading List Source URL: csapp.cs.cmu.edu Download Document from Source Website File Size: 98,83 KB Share Document on Facebook

	CS:APP2e Web Aside ASM:SSE: SSE-Based Support for Floating Point∗ Randal E. Bryant David R. O’Hallaron August 5, 2014 DocID: 1q0er - View Document
	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly DocID: 1pUTw - View Document
	Compiling for Scalable Computing Systems – the Merit of SIMD Ayal Zaks Intel Corporation Acknowledgements: too many to list DocID: 1nUjj - View Document
	Universal SIMD-Mathlibrary Helmut Dersch Furtwangen University of Applied Sciences August 20, 2008 Abstract Standard functions for single precision floating point vector datatypes DocID: 1nnmN - View Document
	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · DocID: 1njVg - View Document