Sunday, March 20, 2016

Pointer casts in C

›
The C standard has more restrictions on pointers than what was discussed in the previous blog post . This post covers pointer casts. Po...
3 comments:
Sunday, March 6, 2016

C pointers are not hardware pointers

›
Pointers in the C language are more abstract than pointers in the hardware, and the compiler may surprise developers that think that pointe...
24 comments:
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...