Thread
Stories related to "I translated a simple C program to x86_64 and it was slower" across the full archive.
[assembly] for want of an [embedded] tag
A tutorial introduction to programming PDP-11 Macro-11 Assembly in RT-11 v5.3
(decuser.blogspot.com)
Instead of jumping over a few bytes, you can make them parameters to some dummy operation, by creating overlapping machine code.
x86 Proved: Coq Library for Modelling, Specification, Generation, and Proof for x86 Machine Code
(x86proved.codeplex.com)
Intro: "STOKE is a stochastic optimizer and program synthesizer for the x86-64 instruction set. STOKE uses random search to explore the extremely high-dimensional space of all possible program transformations. Although any one random transformation is unlikely to produce a code sequence that is desi...
> This is a mirror of Leif Svalgaard's unfinished book, [AS/400 Machine-Level Programming](http://www.leif.org/as400/). I have converted all the original documents from Word 97 format to PDF; and included a version compiled into a single PDF; and included a version compiled into a single PDF; with t...
Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls
(cs.utexas.edu)
Abstract: "We present an approach to modeling and verifying
machine-code programs that exhibit non-determinism. Specifi-
cally, we add support for system calls to our formal, executable
model of the user-level x86 instruction-set architecture (ISA).
The resulting model, imp...
Kind of a response to https://blog.yoshuawuyts.com/state-machines/ .