RandIR: differential testing for embedded compilers

SCALA@SPLASH, pp. 21-30, 2016.

Cited by: 3|Views29
EI

Abstract:

This paper describes RandIR, a tool for differential testing of compilers using random instances of a given intermediate representation (IR). RandIR assumes no fixed target language but instead supports extensible IR-definitions through an internal IR-independent representation of operations. This makes it particularly well suited to test...More

Code:

Data:

Your rating :
0

 

Tags
Comments