Automatic Test Case Reduction for OpenCL