From fccc6ecb52ffe9fc35ddf711f0bd8d4be225ca20 Mon Sep 17 00:00:00 2001 From: Pierre Moreau Date: Sat, 27 Jan 2018 18:25:31 +0100 Subject: [PATCH] clover: Disallow creating libraries from other libraries If creating a library, do not allow non-compiled object in it, as executables are not allowed, and libraries would make it really hard to enforce the "-enable-link-options" flag. Reviewed-by: Francisco Jerez Reviewed-by: Aaron Watry --- .../state_trackers/clover/api/program.cpp | 21 ++++++++++++++++--- 1 file changed, 18 insertions(+), 3 deletions(-) diff --git a/src/gallium/state_trackers/clover/api/program.cpp b/src/gallium/state_trackers/clover/api/program.cpp index ac8bc8a5630..acfbe560445 100644 --- a/src/gallium/state_trackers/clover/api/program.cpp +++ b/src/gallium/state_trackers/clover/api/program.cpp @@ -250,8 +250,11 @@ clCompileProgram(cl_program d_prog, cl_uint num_devs, namespace { ref_vector validate_link_devices(const ref_vector &progs, - const ref_vector &all_devs) { + const ref_vector &all_devs, + const std::string &opts) { std::vector devs; + const bool create_library = + opts.find("-create-library") != std::string::npos; for (auto &dev : all_devs) { const auto has_binary = [&](const program &prog) { @@ -260,10 +263,22 @@ namespace { t == CL_PROGRAM_BINARY_TYPE_LIBRARY; }; + // According to the OpenCL 1.2 specification, a library is made of + // “compiled binaries specified in input_programs argument to + // clLinkProgram“; compiled binaries does not refer to libraries: + // “input_programs is an array of program objects that are compiled + // binaries or libraries that are to be linked to create the program + // executable”. + if (create_library && any_of([&](const program &prog) { + const auto t = prog.build(dev).binary_type(); + return t != CL_PROGRAM_BINARY_TYPE_COMPILED_OBJECT; + }, progs)) + throw error(CL_INVALID_OPERATION); + // According to the CL 1.2 spec, when "all programs specified [..] // contain a compiled binary or library for the device [..] a link is // performed", - if (all_of(has_binary, progs)) + else if (all_of(has_binary, progs)) devs.push_back(&dev); // otherwise if "none of the programs contain a compiled binary or @@ -289,7 +304,7 @@ clLinkProgram(cl_context d_ctx, cl_uint num_devs, const cl_device_id *d_devs, auto all_devs = (d_devs ? objs(d_devs, num_devs) : ref_vector(ctx.devices())); auto prog = create(ctx, all_devs); - auto devs = validate_link_devices(progs, all_devs); + auto devs = validate_link_devices(progs, all_devs, opts); validate_build_common(prog, num_devs, d_devs, pfn_notify, user_data); -- 2.30.2