Automatic Test Case Reduction for OpenCL
File(s)paper.pdf (412.76 KB)
Accepted version
Author(s)
Pflanzer, M
Donaldson, AF
Lascu, A
Type
Conference Paper
Abstract
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.
Date Issued
2016-04-19
Date Acceptance
2016-01-01
Citation
Proceedings of the 4th International Workshop on OpenCL (IWOCL '16), 2016
ISBN
978-1-4503-4338-1
Publisher
ACM
Journal / Book Title
Proceedings of the 4th International Workshop on OpenCL (IWOCL '16)
Copyright Statement
© 2016 ACM. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 4th International Workshop on OpenCL (IWOCL '16), http://dx.doi.org/10.1145/2909437.2909439.
Sponsor
GCHQ
Grant Number
N/A
Source
4th International Workshop on OpenCL (IWOCL '16)
Publication Status
Published
Start Date
2016-04-19
Finish Date
2016-04-21
Coverage Spatial
Vienna, Austria