mirror of
https://github.com/ROCm/composable_kernel.git
synced 2026-04-19 22:39:03 +00:00
4221505d3e
* compile ck for all targets * update the target criteria * change the target condition * fixed some typos * fixed missed file * revert changes in README * revert device_conv3d_fwd_xdl_... * update device_conv3d_fwd_xdl_... * update device_batched_gemm_reduce... * test the unused arguments fix * test the warning suppression * try suppress warnings in device_batched_gemm_reduce_xdl... * fix the last warnings * replace UNUSED with std::ignore * fix a typo * replaced std::ignore with ignore * add igonre header to common_header * refactor atomicAdd Co-authored-by: Chao Liu <chao.liu2@amd.com>
354 lines
15 KiB
C++
354 lines
15 KiB
C++
#pragma once
|
|
#include "config.hpp"
|
|
#include "enable_if.hpp"
|
|
#include "c_style_pointer_cast.hpp"
|
|
#include "amd_buffer_addressing.hpp"
|
|
#include "generic_memory_space_atomic_add.hpp"
|
|
|
|
namespace ck {
|
|
|
|
// T may be scalar or vector
|
|
// X may be scalar or vector
|
|
// T and X have same scalar type
|
|
// X contains multiple T
|
|
template <AddressSpaceEnum BufferAddressSpace,
|
|
typename T,
|
|
typename ElementSpaceSize,
|
|
bool InvalidElementUseNumericalZeroValue>
|
|
struct DynamicBuffer
|
|
{
|
|
using type = T;
|
|
|
|
T* p_data_;
|
|
ElementSpaceSize element_space_size_;
|
|
T invalid_element_value_ = T{0};
|
|
|
|
__host__ __device__ constexpr DynamicBuffer(T* p_data, ElementSpaceSize element_space_size)
|
|
: p_data_{p_data}, element_space_size_{element_space_size}
|
|
{
|
|
}
|
|
|
|
__host__ __device__ constexpr DynamicBuffer(T* p_data,
|
|
ElementSpaceSize element_space_size,
|
|
T invalid_element_value)
|
|
: p_data_{p_data},
|
|
element_space_size_{element_space_size},
|
|
invalid_element_value_{invalid_element_value}
|
|
{
|
|
}
|
|
|
|
__host__ __device__ static constexpr AddressSpaceEnum GetAddressSpace()
|
|
{
|
|
return BufferAddressSpace;
|
|
}
|
|
|
|
__host__ __device__ constexpr const T& operator[](index_t i) const { return p_data_[i]; }
|
|
|
|
__host__ __device__ constexpr T& operator()(index_t i) { return p_data_[i]; }
|
|
|
|
template <typename X,
|
|
typename enable_if<is_same<typename scalar_type<remove_cvref_t<X>>::type,
|
|
typename scalar_type<remove_cvref_t<T>>::type>::value,
|
|
bool>::type = false>
|
|
__host__ __device__ constexpr auto Get(index_t i, bool is_valid_element) const
|
|
{
|
|
// X contains multiple T
|
|
constexpr index_t scalar_per_t_vector = scalar_type<remove_cvref_t<T>>::vector_size;
|
|
|
|
constexpr index_t scalar_per_x_vector = scalar_type<remove_cvref_t<X>>::vector_size;
|
|
|
|
static_assert(scalar_per_x_vector % scalar_per_t_vector == 0,
|
|
"wrong! X should contain multiple T");
|
|
|
|
#if CK_USE_AMD_BUFFER_LOAD
|
|
bool constexpr use_amd_buffer_addressing = true;
|
|
#else
|
|
bool constexpr use_amd_buffer_addressing = false;
|
|
#endif
|
|
|
|
if constexpr(GetAddressSpace() == AddressSpaceEnum::Global && use_amd_buffer_addressing)
|
|
{
|
|
constexpr index_t t_per_x = scalar_per_x_vector / scalar_per_t_vector;
|
|
|
|
if constexpr(InvalidElementUseNumericalZeroValue)
|
|
{
|
|
return amd_buffer_load_invalid_element_return_zero<remove_cvref_t<T>, t_per_x>(
|
|
p_data_, i, is_valid_element, element_space_size_);
|
|
}
|
|
else
|
|
{
|
|
return amd_buffer_load_invalid_element_return_customized_value<remove_cvref_t<T>,
|
|
t_per_x>(
|
|
p_data_, i, is_valid_element, element_space_size_, invalid_element_value_);
|
|
}
|
|
}
|
|
else
|
|
{
|
|
if(is_valid_element)
|
|
{
|
|
#if CK_EXPERIMENTAL_USE_MEMCPY_FOR_VECTOR_ACCESS
|
|
X tmp;
|
|
|
|
__builtin_memcpy(&tmp, &(p_data_[i]), sizeof(X));
|
|
|
|
return tmp;
|
|
#else
|
|
return *c_style_pointer_cast<const X*>(&p_data_[i]);
|
|
#endif
|
|
}
|
|
else
|
|
{
|
|
if constexpr(InvalidElementUseNumericalZeroValue)
|
|
{
|
|
return X{0};
|
|
}
|
|
else
|
|
{
|
|
return X{invalid_element_value_};
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
template <InMemoryDataOperationEnum Op,
|
|
typename X,
|
|
typename enable_if<is_same<typename scalar_type<remove_cvref_t<X>>::type,
|
|
typename scalar_type<remove_cvref_t<T>>::type>::value,
|
|
bool>::type = false>
|
|
__host__ __device__ void Update(index_t i, bool is_valid_element, const X& x)
|
|
{
|
|
if constexpr(Op == InMemoryDataOperationEnum::Set)
|
|
{
|
|
this->template Set<X>(i, is_valid_element, x);
|
|
}
|
|
else if constexpr(Op == InMemoryDataOperationEnum::AtomicAdd)
|
|
{
|
|
this->template AtomicAdd<X>(i, is_valid_element, x);
|
|
}
|
|
else if constexpr(Op == InMemoryDataOperationEnum::Add)
|
|
{
|
|
auto tmp = this->template Get<X>(i, is_valid_element);
|
|
this->template Set<X>(i, is_valid_element, x + tmp);
|
|
// tmp += x;
|
|
// this->template Set<X>(i, is_valid_element, tmp);
|
|
}
|
|
}
|
|
|
|
template <typename X,
|
|
typename enable_if<is_same<typename scalar_type<remove_cvref_t<X>>::type,
|
|
typename scalar_type<remove_cvref_t<T>>::type>::value,
|
|
bool>::type = false>
|
|
__host__ __device__ void Set(index_t i, bool is_valid_element, const X& x)
|
|
{
|
|
// X contains multiple T
|
|
constexpr index_t scalar_per_t_vector = scalar_type<remove_cvref_t<T>>::vector_size;
|
|
|
|
constexpr index_t scalar_per_x_vector = scalar_type<remove_cvref_t<X>>::vector_size;
|
|
|
|
static_assert(scalar_per_x_vector % scalar_per_t_vector == 0,
|
|
"wrong! X should contain multiple T");
|
|
|
|
#if CK_USE_AMD_BUFFER_STORE
|
|
bool constexpr use_amd_buffer_addressing = true;
|
|
#else
|
|
bool constexpr use_amd_buffer_addressing = false;
|
|
#endif
|
|
|
|
#if CK_WORKAROUND_SWDEV_XXXXXX_INT8_DS_WRITE_ISSUE
|
|
bool constexpr workaround_int8_ds_write_issue = true;
|
|
#else
|
|
bool constexpr workaround_int8_ds_write_issue = false;
|
|
#endif
|
|
|
|
if constexpr(GetAddressSpace() == AddressSpaceEnum::Global && use_amd_buffer_addressing)
|
|
{
|
|
constexpr index_t t_per_x = scalar_per_x_vector / scalar_per_t_vector;
|
|
|
|
amd_buffer_store<remove_cvref_t<T>, t_per_x>(
|
|
x, p_data_, i, is_valid_element, element_space_size_);
|
|
}
|
|
else if constexpr(GetAddressSpace() == AddressSpaceEnum::Lds &&
|
|
is_same<typename scalar_type<remove_cvref_t<T>>::type, int8_t>::value &&
|
|
workaround_int8_ds_write_issue)
|
|
{
|
|
if(is_valid_element)
|
|
{
|
|
// HACK: compiler would lower IR "store<i8, 16> address_space(3)" into inefficient
|
|
// ISA, so I try to let compiler emit IR "store<i32, 4>" which would be lower to
|
|
// ds_write_b128
|
|
// TODO: remove this after compiler fix
|
|
static_assert((is_same<remove_cvref_t<T>, int8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8_t>::value) ||
|
|
(is_same<remove_cvref_t<T>, int8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x2_t>::value) ||
|
|
(is_same<remove_cvref_t<T>, int8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x4_t>::value) ||
|
|
(is_same<remove_cvref_t<T>, int8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x8_t>::value) ||
|
|
(is_same<remove_cvref_t<T>, int8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x16_t>::value) ||
|
|
(is_same<remove_cvref_t<T>, int8x4_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x4_t>::value) ||
|
|
(is_same<remove_cvref_t<T>, int8x8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x8_t>::value) ||
|
|
(is_same<remove_cvref_t<T>, int8x16_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x16_t>::value),
|
|
"wrong! not implemented for this combination, please add "
|
|
"implementation");
|
|
|
|
if constexpr(is_same<remove_cvref_t<T>, int8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8_t>::value)
|
|
{
|
|
// HACK: cast pointer of x is bad
|
|
// TODO: remove this after compiler fix
|
|
*c_style_pointer_cast<int8_t*>(&p_data_[i]) =
|
|
*c_style_pointer_cast<const int8_t*>(&x);
|
|
}
|
|
else if constexpr(is_same<remove_cvref_t<T>, int8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x2_t>::value)
|
|
{
|
|
// HACK: cast pointer of x is bad
|
|
// TODO: remove this after compiler fix
|
|
*c_style_pointer_cast<int16_t*>(&p_data_[i]) =
|
|
*c_style_pointer_cast<const int16_t*>(&x);
|
|
}
|
|
else if constexpr(is_same<remove_cvref_t<T>, int8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x4_t>::value)
|
|
{
|
|
// HACK: cast pointer of x is bad
|
|
// TODO: remove this after compiler fix
|
|
*c_style_pointer_cast<int32_t*>(&p_data_[i]) =
|
|
*c_style_pointer_cast<const int32_t*>(&x);
|
|
}
|
|
else if constexpr(is_same<remove_cvref_t<T>, int8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x8_t>::value)
|
|
{
|
|
// HACK: cast pointer of x is bad
|
|
// TODO: remove this after compiler fix
|
|
*c_style_pointer_cast<int32x2_t*>(&p_data_[i]) =
|
|
*c_style_pointer_cast<const int32x2_t*>(&x);
|
|
}
|
|
else if constexpr(is_same<remove_cvref_t<T>, int8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x16_t>::value)
|
|
{
|
|
// HACK: cast pointer of x is bad
|
|
// TODO: remove this after compiler fix
|
|
*c_style_pointer_cast<int32x4_t*>(&p_data_[i]) =
|
|
*c_style_pointer_cast<const int32x4_t*>(&x);
|
|
}
|
|
else if constexpr(is_same<remove_cvref_t<T>, int8x4_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x4_t>::value)
|
|
{
|
|
// HACK: cast pointer of x is bad
|
|
// TODO: remove this after compiler fix
|
|
*c_style_pointer_cast<int32_t*>(&p_data_[i]) =
|
|
*c_style_pointer_cast<const int32_t*>(&x);
|
|
}
|
|
else if constexpr(is_same<remove_cvref_t<T>, int8x8_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x8_t>::value)
|
|
{
|
|
// HACK: cast pointer of x is bad
|
|
// TODO: remove this after compiler fix
|
|
*c_style_pointer_cast<int32x2_t*>(&p_data_[i]) =
|
|
*c_style_pointer_cast<const int32x2_t*>(&x);
|
|
}
|
|
else if constexpr(is_same<remove_cvref_t<T>, int8x16_t>::value &&
|
|
is_same<remove_cvref_t<X>, int8x16_t>::value)
|
|
{
|
|
// HACK: cast pointer of x is bad
|
|
// TODO: remove this after compiler fix
|
|
*c_style_pointer_cast<int32x4_t*>(&p_data_[i]) =
|
|
*c_style_pointer_cast<const int32x4_t*>(&x);
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
if(is_valid_element)
|
|
{
|
|
#if CK_EXPERIMENTAL_USE_MEMCPY_FOR_VECTOR_ACCESS
|
|
X tmp = x;
|
|
|
|
__builtin_memcpy(&(p_data_[i]), &tmp, sizeof(X));
|
|
#else
|
|
*c_style_pointer_cast<X*>(&p_data_[i]) = x;
|
|
#endif
|
|
}
|
|
}
|
|
}
|
|
|
|
template <typename X,
|
|
typename enable_if<is_same<typename scalar_type<remove_cvref_t<X>>::type,
|
|
typename scalar_type<remove_cvref_t<T>>::type>::value,
|
|
bool>::type = false>
|
|
__host__ __device__ void AtomicAdd(index_t i, bool is_valid_element, const X& x)
|
|
{
|
|
using scalar_t = typename scalar_type<remove_cvref_t<T>>::type;
|
|
|
|
// X contains multiple T
|
|
constexpr index_t scalar_per_t_vector = scalar_type<remove_cvref_t<T>>::vector_size;
|
|
|
|
constexpr index_t scalar_per_x_vector = scalar_type<remove_cvref_t<X>>::vector_size;
|
|
|
|
static_assert(scalar_per_x_vector % scalar_per_t_vector == 0,
|
|
"wrong! X should contain multiple T");
|
|
|
|
static_assert(GetAddressSpace() == AddressSpaceEnum::Global, "only support global mem");
|
|
|
|
#if CK_USE_AMD_BUFFER_ATOMIC_ADD_INTEGER && CK_USE_AMD_BUFFER_ATOMIC_ADD_FLOAT
|
|
bool constexpr use_amd_buffer_addressing =
|
|
is_same_v<remove_cvref_t<scalar_t>, int32_t> ||
|
|
is_same_v<remove_cvref_t<scalar_t>, float> ||
|
|
(is_same_v<remove_cvref_t<scalar_t>, half_t> && scalar_per_x_vector % 2 == 0);
|
|
#elif CK_USE_AMD_BUFFER_ATOMIC_ADD_INTEGER && (!CK_USE_AMD_BUFFER_ATOMIC_ADD_FLOAT)
|
|
bool constexpr use_amd_buffer_addressing = is_same_v<remove_cvref_t<scalar_t>, int32_t>;
|
|
#elif(!CK_USE_AMD_BUFFER_ATOMIC_ADD_INTEGER) && CK_USE_AMD_BUFFER_ATOMIC_ADD_FLOAT
|
|
bool constexpr use_amd_buffer_addressing =
|
|
is_same_v<remove_cvref_t<scalar_t>, float> ||
|
|
(is_same_v<remove_cvref_t<scalar_t>, half_t> && scalar_per_x_vector % 2 == 0);
|
|
#else
|
|
bool constexpr use_amd_buffer_addressing = false;
|
|
#endif
|
|
|
|
if constexpr(use_amd_buffer_addressing)
|
|
{
|
|
constexpr index_t t_per_x = scalar_per_x_vector / scalar_per_t_vector;
|
|
|
|
amd_buffer_atomic_add<remove_cvref_t<T>, t_per_x>(
|
|
x, p_data_, i, is_valid_element, element_space_size_);
|
|
}
|
|
else
|
|
{
|
|
if(is_valid_element)
|
|
{
|
|
atomic_add<X>(c_style_pointer_cast<X*>(&p_data_[i]), x);
|
|
}
|
|
}
|
|
}
|
|
|
|
__host__ __device__ static constexpr bool IsStaticBuffer() { return false; }
|
|
|
|
__host__ __device__ static constexpr bool IsDynamicBuffer() { return true; }
|
|
};
|
|
|
|
template <AddressSpaceEnum BufferAddressSpace, typename T, typename ElementSpaceSize>
|
|
__host__ __device__ constexpr auto make_dynamic_buffer(T* p, ElementSpaceSize element_space_size)
|
|
{
|
|
return DynamicBuffer<BufferAddressSpace, T, ElementSpaceSize, true>{p, element_space_size};
|
|
}
|
|
|
|
template <
|
|
AddressSpaceEnum BufferAddressSpace,
|
|
typename T,
|
|
typename ElementSpaceSize,
|
|
typename X,
|
|
typename enable_if<is_same<remove_cvref_t<T>, remove_cvref_t<X>>::value, bool>::type = false>
|
|
__host__ __device__ constexpr auto
|
|
make_dynamic_buffer(T* p, ElementSpaceSize element_space_size, X invalid_element_value)
|
|
{
|
|
return DynamicBuffer<BufferAddressSpace, T, ElementSpaceSize, false>{
|
|
p, element_space_size, invalid_element_value};
|
|
}
|
|
|
|
} // namespace ck
|