Compiler Explorer

Source code

template<class>
struct make_void { using type = void; };

template<typename T>
using make_void_t = typename make_void<T>::type;

template<class T>
struct type_identity 
{
    using type = T;
};

template<bool B, class T = void>
struct enable_if {};
 
template<class T>
struct enable_if<true, T> : type_identity<T> {};

template<bool B, class T = void>
using enable_if_t = typename enable_if<B,T>::type;

template<class T, T val>
struct integral_constant
{
    static const T value = val;
    using value_type = T;
};

template<bool val>
struct bool_constant : integral_constant<bool, val> {};

template<class A, class B>
struct is_same : bool_constant<false> {};

template<class A>
struct is_same<A,A> : bool_constant<true> {};

template<typename T>
T declval();

#ifdef NO_BUG
namespace ns
{
#endif
// our real intrinsic has more complex require clause
template<typename T, typename U, enable_if_t<is_same<U,bool>::value,bool> = true >
[[vk::ext_instruction(/*spv::OpSelect*/4545)]]
T select(U a, T x, T y);
#ifdef NO_BUG
}
#endif

[shader("compute")]
[numthreads(1,1,256)]
void computeMain(uint3 threadId : SV_DispatchThreadID)
{
    const float result = 
#ifdef NO_BUG
    ns::
#endif
    select<float,float>(1,2,3);

vk::RawBufferStore(0xdeadbeefu,result);
}