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...
Sunday, May 31, 2015

Running the GCC test-suite for epiphany-sim

›
I wanted to run the GCC test-suite on Adapteva ’s Epiphany architecture , but I could not find much useful information on how to do it. Thi...
Sunday, May 24, 2015

Human friendly SPIR-V textual representation

›
SPIR-V is a binary IL that is not meant to be written by humans. But there are many cases where it is desirable to write/modify IL, so I ha...
1 comment:
Sunday, May 17, 2015

Out of memory handling

›
I watched a video from CppCon 2014 where the speaker said during Q&A [...] if you are on Linux, you know, malloc is never going to re...
Tuesday, May 12, 2015

Optimizing ESSL

›
The cartoon understanding of compiler design is that compilers consist of three parts: front end — handling everything that is language s...
Sunday, April 26, 2015

Floating point, precision quaifiers, and optimization

›
ESSL permits optimizations that may change the value of floating point expressions ( lowp and mediump precision change , reassociation of...
Thursday, April 9, 2015

Precision qualifiers in SPIR-V

›
SPIR-V is a bit inconsistent in how it handles types for graphical shaders and compute kernels. Kernels are using sized types, and there a...