Sunday, February 21, 2016

How undefined signed overflow enables optimizations in GCC

›
Signed integers are not allowed to overflow in C and C++, and this helps compilers generate better code. I was interested in how GCC is tak...
17 comments:
Sunday, January 24, 2016

More Turing-completeness in surprising places

›
My twitter feed was full of “ printf is Turing-complete” tweets after the 32c3 talk " New memory corruption attacks: why can't we...
Sunday, October 4, 2015

spirv-tools — status, problems, and plans

›
I have done some work on spirv-tools since the posts about the human friendly SPIR-V representation and Python API , so it makes sense to...
Saturday, August 29, 2015

Instruction-less computation – technical details

›
This blog post continues the previous post by describing the technical details. Configuring x86 hardware The IA-32 hardware is confi...
Sunday, August 23, 2015

Instruction-less computation

›
The paper " The Page-Fault Weird Machine: Lessons in Instruction-less Computation " show that you can run programs on the X86 fau...
Sunday, July 12, 2015

mov-only code generation

›
I stumbled on the M/o/Vfuscator compiler that only use mov instructions in the generated code 1 using ideas from the " mov is Turi...
Sunday, June 14, 2015

Proving correctness of the GCC match.pd — Part 2

›
The previous post talked about the background and the GCC GIMPLE IR. This post continues with a look at the format of match.pd . The ma...
Sunday, June 7, 2015

API for manipulating and optimizing SPIR-V binaries

›
I have cleaned up the API in the spirv-tools module I wrote about in a previous blog post . There is currently functionality for Reading...