Automatic Test Case Reduction for OpenCL

Moritz Pflanzer, Alastair F. Donaldson, Andrei Lascu
Imperial College London
4th International Workshop on OpenCL (IWOCL’16), 2016


   author={Moritz Pflanzer and Alastair F. Donaldson and Andrei Lascu},

   title={Automatic Test Case Reduction for OpenCL},

   booktitle={4th International Workshop on OpenCL (IWOCL’16)},



   location={Vienna, Austria}


Download Download (PDF)   View View   Source Source   



We report on an extension to the C-Reduce tool, for automatic reduction of C test cases, to handle OpenCL kernels. This enables an automated method for detecting bugs in OpenCL compilers, by generating large random kernels using the CLsmith generator, identifying kernels that yield result differences across OpenCL platforms and optimisation levels, and using our novel extension to C-Reduce to automatically reduce such kernels to minimal forms that can be filed as bug reports. A major part of our effort involved the design of ShadowKeeper, a new plugin for the Oclgrind simulator that provides accurate detection of accesses to uninitialised data. We present experimental results showing the effectiveness of our method for finding bugs in a number of OpenCL compilers.
No votes yet.
Please wait...

* * *

* * *

HGPU group © 2010-2021 hgpu.org

All rights belong to the respective authors

Contact us: