#ifndef SN_INTRINSIC_CallCONV_STD
#define SN_INTRINSIC_CallCONV_STD

#include "sn_internal.h"
#include "sn_intrinsic.h"

#ifndef static_assert
#define static_assert _Static_assert
#endif

#define mat_task_local ((_mat_task_local const *)task)

#define STD_MK_PROC_NAME(T_type, T_arch, T_feature, T_op) \
        T_type##_mat_proc_##T_op##_##T_arch##_##T_feature
#define SN_MK_PROC_DECL(T_type, P_name) INTERNAL void SN_DECL P_name(MAT_TASK(T_type) const *task)
#define SN_MK_PROC_DECL_STD(T_type, T_arch, T_feature, T_op)              \
        INTERNAL void SN_DECL STD_MK_PROC_NAME(T_type, T_arch, T_feature, \
                                               T_op)(MAT_TASK(T_type) const *task)

#pragma region param styles

#define _SN_MATPROC_LEFT_RIGHT_ANS 1
#define _SN_MATPROC_RIGHT_ANS 1
#define _SN_MATPROC_LEFT_RIGHT_ANS_SCALAR 1
#define _SN_MATPROC_RIGHT_ANS_SCALAR 1
#define _SN_MATPROC_ANS_SCALAR 1

#define _SN_MK_EXPAND_RIGHT_ANS(T)                          \
        MAT_KERNEL(T) const *right = mat_task_local->mat_1; \
        MAT_KERNEL(T) *restrict ans = mat_task_local->mat_2;

#define _SN_MK_EXPAND_LEFT_RIGHT_ANS(T)                     \
        MAT_KERNEL(T) const *left = mat_task_local->mat_0;  \
        MAT_KERNEL(T) const *right = mat_task_local->mat_1; \
        MAT_KERNEL(T) *restrict ans = mat_task_local->mat_2;

#define _SN_MK_EXPAND_RIGHT_ANS_SCALAR(T)                    \
        MAT_KERNEL(T) const *right = mat_task_local->mat_1;  \
        MAT_KERNEL(T) *restrict ans = mat_task_local->mat_2; \
        void *restrict scalar = mat_task_local->scalar;

#define _SN_MK_EXPAND_LEFT_RIGHT_ANS_SCALAR(T)               \
        MAT_KERNEL(T) const *left = mat_task_local->mat_0;   \
        MAT_KERNEL(T) const *right = mat_task_local->mat_1;  \
        MAT_KERNEL(T) *restrict ans = mat_task_local->mat_2; \
        void *restrict scalar = mat_task_local->scalar;

#define _SN_MK_EXPAND_ANS_SCALAR(T)                          \
        MAT_KERNEL(T) *restrict ans = mat_task_local->mat_2; \
        scalar_pack *restrict scalar = &(mat_task_local->padding);

#define _SN_PARAM_STYLE(T) _SN_MATPROC_##T
#define _SN_MK_EXPAND_PARAM(style, T) _SN_MK_EXPAND_##style##(T)

#pragma endregion

#pragma region mem layout

#define _SN_MATPROC_LAYOUT_BUFFER 1
#define _SN_MATPROC_LAYOUT_TILE 1
#define _SN_MATPROC_LAYOUT_KERNEL 1

#define _MK_MKPROC_EXPAND_INDEX_BUFFER                            \
        size_t offset = UNSAFE_AS(size_t, task->padding.data[0]); \
        size_t count = UNSAFE_AS(size_t, task->padding.data[1]);

#define _MK_MKPROC_EXPAND_INDEX_KERNEL                       \
        size_t common_i = UNSAFE_AS(size_t, task->common_i); \
        size_t common_j = UNSAFE_AS(size_t, task->common_j); \
        size_t common_k = UNSAFE_AS(size_t, task->common_k);

#define _SN_MK_EXPAND_MEM(mem) _MK_MKPROC_EXPAND_INDEX_##mem
#define _SN_MEM_LAYOUT(T) _SN_MATPROC_LAYOUT_##T

#pragma endregion

#define __mk_param_std(mem, param, T)                                                             \
        static_assert((_SN_PARAM_STYLE(param)) == 1,                                              \
                      "EXPAND_PARAM: invalid param style '" #param "'");                          \
        static_assert((_SN_MEM_LAYOUT(mem)) == 1, "EXPAND_PARAM: invalid mem layout '" #mem "'"); \
        typedef MAT_TASK(T) _mat_task_local;                                                      \
        _SN_MK_EXPAND_PARAM(param, T) _SN_MK_EXPAND_MEM(mem)
#endif // !SN_INTRINSIC_PARAM_EXPAND