run_gemm_example.inc 8.77 KB
Newer Older
aska-0096's avatar
aska-0096 committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
// SPDX-License-Identifier: MIT
// Copyright (c) 2018-2023, Advanced Micro Devices, Inc. All rights reserved.

#pragma once

bool run_gemm(const ProblemSize& problem_size, const ExecutionConfig& config)
{
#if defined(BUILD_INT4_EXAMPLE) && defined(CK_EXPERIMENTAL_BIT_INT_EXTENSION_INT4)
    static_assert(sizeof(ck::int4_t) == sizeof(int8_t));
#endif

    using namespace ck::literals;

    auto& [M, N, K, StrideA, StrideB, StrideC] = problem_size;

    auto f_host_tensor_descriptor =
        [](std::size_t row, std::size_t col, std::size_t stride, auto layout) {
            if constexpr(std::is_same_v<decltype(layout), ck::tensor_layout::gemm::RowMajor>)
            {
                return HostTensorDescriptor({row, col}, {stride, 1_uz});
            }
            else
            {
                return HostTensorDescriptor({row, col}, {1_uz, stride});
            }
        };

    Tensor<ADataType> a_m_k(f_host_tensor_descriptor(M, K, StrideA, ALayout{}));
aska-0096's avatar
aska-0096 committed
29
    Tensor<QuantDataType> quant_b_k_n(f_host_tensor_descriptor(K, N, StrideB, BLayout{}));
aska-0096's avatar
aska-0096 committed
30
    // assume scale tensor is [1, n]
aska-0096's avatar
aska-0096 committed
31
    Tensor<ScaleDataType> scale_k_n(f_host_tensor_descriptor(K, N, 0, Row{}));
aska-0096's avatar
aska-0096 committed
32
33
34
35
36
37

    switch(config.init_method)
    {
    case 0: break;
    case 1:
        ck::utils::FillUniformDistributionIntegerValue<ADataType>{-5.f, 5.f}(a_m_k);
aska-0096's avatar
aska-0096 committed
38
        ck::utils::FillUniformDistributionIntegerValue<QuantDataType>{-5.f, 5.f}(quant_b_k_n);
aska-0096's avatar
aska-0096 committed
39
        ck::utils::FillUniformDistributionIntegerValue<ScaleDataType>{-5.f, 5.f}(scale_k_n);
aska-0096's avatar
aska-0096 committed
40
41
42
        break;
    case 2:
        ck::utils::FillUniformDistribution<ADataType>{-1.f, 1.f}(a_m_k);
aska-0096's avatar
aska-0096 committed
43
        ck::utils::FillUniformDistribution<QuantDataType>{-1.f, 1.f}(quant_b_k_n);
aska-0096's avatar
aska-0096 committed
44
        ck::utils::FillUniformDistribution<ScaleDataType>{-1.f, 1.f}(scale_k_n);
aska-0096's avatar
aska-0096 committed
45
46
47
        break;
    case 3:
        ck::utils::FillUniformDistributionIntegerValue<ADataType>{1.f, 1.f}(a_m_k);
aska-0096's avatar
aska-0096 committed
48
        ck::utils::FillUniformDistributionIntegerValue<QuantDataType>{-5.f, 5.f}(quant_b_k_n);
aska-0096's avatar
aska-0096 committed
49
        ck::utils::FillUniformDistributionIntegerValue<ScaleDataType>{-5.f, 5.f}(scale_k_n);
aska-0096's avatar
aska-0096 committed
50
51
52
        break;
    case 4:
        ck::utils::FillUniformDistributionIntegerValue<ADataType>{1.f, 1.f}(a_m_k);
aska-0096's avatar
aska-0096 committed
53
        ck::utils::FillUniformDistributionIntegerValue<QuantDataType>{1.f, 1.f}(quant_b_k_n);
aska-0096's avatar
aska-0096 committed
54
        ck::utils::FillUniformDistributionIntegerValue<ScaleDataType>{2.f, 2.f}(scale_k_n);
aska-0096's avatar
aska-0096 committed
55
56
57
        break;
    case 5:
        ck::utils::FillUniformDistributionIntegerValue<ADataType>{-2.f, 2.f}(a_m_k);
aska-0096's avatar
aska-0096 committed
58
        ck::utils::FillUniformDistributionIntegerValue<QuantDataType>{-2.f, 2.f}(quant_b_k_n);
aska-0096's avatar
aska-0096 committed
59
        ck::utils::FillUniformDistributionIntegerValue<ScaleDataType>{-2.f, 2.f}(scale_k_n);
aska-0096's avatar
aska-0096 committed
60
61
62
        break;
    default:
        ck::utils::FillUniformDistribution<ADataType>{-1.f, 1.f}(a_m_k);
aska-0096's avatar
aska-0096 committed
63
        ck::utils::FillUniformDistribution<QuantDataType>{-1.f, 1.f}(quant_b_k_n);
aska-0096's avatar
aska-0096 committed
64
        ck::utils::FillUniformDistribution<ScaleDataType>{-1.f, 1.f}(scale_k_n);
aska-0096's avatar
aska-0096 committed
65
66
    }

aska-0096's avatar
aska-0096 committed
67
68
69
    UnsignedWeightPreprocessor<QuantDataType> preprocessor;
    Tensor<BDataType> b_k_n = preprocessor(quant_b_k_n);

aska-0096's avatar
aska-0096 committed
70
71
72
73
74
75
76
77
78
79
80
81
82
83
#if 0
    printf("Matrix A:\n");
    for (int im = 0; im < M; im++)
    {
        for (int ik = 0; ik < K; ik++)
        {
            if(ik % 16 == 0){
                printf("|");
            }
            
            printf(" %04x", *(reinterpret_cast<uint16_t*>(&a_m_k(im,ik))));
        }
        printf("\n");
    }
aska-0096's avatar
aska-0096 committed
84
85
86
#endif
#if 0 
    printf("Matrix QuantB:\n");
aska-0096's avatar
aska-0096 committed
87
88
89
90
91
92
93
94
    for (int in = 0; in < N; in++)
    {
        for (int ik = 0; ik < K; ik++)
        {
            if(ik % 16 == 0){
                printf("|");
            }
            
aska-0096's avatar
aska-0096 committed
95
            printf(" %02x", *(reinterpret_cast<uint8_t*>(&quant_b_k_n(ik,in))));
aska-0096's avatar
aska-0096 committed
96
97
98
        }
        printf("\n");
    }
aska-0096's avatar
aska-0096 committed
99
100
#endif
#if 0
aska-0096's avatar
aska-0096 committed
101
    printf("Matrix Scale:\n");
aska-0096's avatar
aska-0096 committed
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
    for(int in = 0; in < N; in++)
    {
        for(int ik = 0; ik < 1; ik++)
        {
            if(ik % 16 == 0)
            {
                printf("|");
            }

            printf(" %04x", *(reinterpret_cast<uint16_t*>(&scale_k_n(ik, in))));
        }
        printf("\n");
    }
#endif
#if 0
    printf("Matrix B:\n");
aska-0096's avatar
aska-0096 committed
118
119
120
121
122
123
124
125
    for (int in = 0; in < N; in++)
    {
        for (int ik = 0; ik < K; ik++)
        {
            if(ik % 16 == 0){
                printf("|");
            }
            
aska-0096's avatar
aska-0096 committed
126
            printf(" %02x", b_k_n(ik,in));
aska-0096's avatar
aska-0096 committed
127
128
129
        }
        printf("\n");
    }
aska-0096's avatar
aska-0096 committed
130
131
#endif

aska-0096's avatar
aska-0096 committed
132
133
134
135
136
    Tensor<CDataType> c_m_n_host_result(f_host_tensor_descriptor(M, N, StrideC, CLayout{}));
    Tensor<CDataType> c_m_n_device_result(f_host_tensor_descriptor(M, N, StrideC, CLayout{}));

    std::cout << "a_m_k: " << a_m_k.mDesc << std::endl;
    std::cout << "b_k_n: " << b_k_n.mDesc << std::endl;
aska-0096's avatar
aska-0096 committed
137
    std::cout << "scale_k_n: " << scale_k_n.mDesc << std::endl;
aska-0096's avatar
aska-0096 committed
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
    std::cout << "c_m_n: " << c_m_n_host_result.mDesc << std::endl;

#ifdef BUILD_INT4_EXAMPLE
    DeviceMem a_m_k_device_buf(sizeof(KernelADataType) * a_m_k.mDesc.GetElementSpaceSize());
    DeviceMem b_k_n_device_buf(sizeof(KernelBDataType) * b_k_n.mDesc.GetElementSpaceSize());
    DeviceMem c_m_n_device_buf(sizeof(KernelCDataType) *
                               c_m_n_device_result.mDesc.GetElementSpaceSize());

    const Tensor<KernelADataType> a_m_k_converted(a_m_k);
    const Tensor<KernelBDataType> b_k_n_converted(b_k_n);

    a_m_k_device_buf.ToDevice(a_m_k_converted.mData.data());
    b_k_n_device_buf.ToDevice(b_k_n_converted.mData.data());
#else
    DeviceMem a_m_k_device_buf(sizeof(ADataType) * a_m_k.mDesc.GetElementSpaceSize());
    DeviceMem b_k_n_device_buf(sizeof(BDataType) * b_k_n.mDesc.GetElementSpaceSize());
aska-0096's avatar
aska-0096 committed
154
    DeviceMem scale_k_n_device_buf(sizeof(ScaleDataType) * scale_k_n.mDesc.GetElementSpaceSize());
aska-0096's avatar
aska-0096 committed
155
156
157
158
    DeviceMem c_m_n_device_buf(sizeof(CDataType) * c_m_n_device_result.mDesc.GetElementSpaceSize());

    a_m_k_device_buf.ToDevice(a_m_k.mData.data());
    b_k_n_device_buf.ToDevice(b_k_n.mData.data());
aska-0096's avatar
aska-0096 committed
159
    scale_k_n_device_buf.ToDevice(scale_k_n.mData.data());
aska-0096's avatar
aska-0096 committed
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
#endif

    auto a_element_op = AElementOp{};
    auto b_element_op = BElementOp{};
    auto c_element_op = CElementOp{};

    // do GEMM
    auto gemm     = DeviceGemmInstance{};
    auto invoker  = gemm.MakeInvoker();
    auto argument = gemm.MakeArgument(
#ifdef BUILD_INT4_EXAMPLE
        static_cast<KernelADataType*>(a_m_k_device_buf.GetDeviceBuffer()),
        static_cast<KernelBDataType*>(b_k_n_device_buf.GetDeviceBuffer()),
        static_cast<KernelCDataType*>(c_m_n_device_buf.GetDeviceBuffer()),
#else
        static_cast<ADataType*>(a_m_k_device_buf.GetDeviceBuffer()),
        static_cast<BDataType*>(b_k_n_device_buf.GetDeviceBuffer()),
aska-0096's avatar
aska-0096 committed
177
        static_cast<ScaleDataType*>(scale_k_n_device_buf.GetDeviceBuffer()),
aska-0096's avatar
aska-0096 committed
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
        static_cast<CDataType*>(c_m_n_device_buf.GetDeviceBuffer()),
#endif
        M,
        N,
        K,
        StrideA,
        StrideB,
        StrideC,
        a_element_op,
        b_element_op,
        c_element_op);

    if(!gemm.IsSupportedArgument(argument))
    {
        std::cerr << gemm.GetTypeString() << " does not support this problem" << std::endl;

        return true;
    }

    float ave_time = invoker.Run(argument, StreamConfig{nullptr, config.time_kernel});

    std::size_t flop = 2_uz * M * N * K;
    std::size_t num_btype =
        sizeof(ADataType) * M * K + sizeof(BDataType) * K * N + sizeof(CDataType) * M * N;

    float tflops = static_cast<float>(flop) / 1.E9 / ave_time;

    float gb_per_sec = num_btype / 1.E6 / ave_time;

    std::cout << "Perf: " << ave_time << " ms, " << tflops << " TFlops, " << gb_per_sec << " GB/s, "
              << gemm.GetTypeString() << std::endl;

    if(config.do_verification)
    {
        auto ref_gemm    = ReferenceGemmInstance{};
        auto ref_invoker = ref_gemm.MakeInvoker();

aska-0096's avatar
aska-0096 committed
215
216
217
218
219
220
221
        auto ref_argument = ref_gemm.MakeArgument(a_m_k,
                                                  quant_b_k_n,
                                                  scale_k_n,
                                                  c_m_n_host_result,
                                                  a_element_op,
                                                  b_element_op,
                                                  c_element_op);
aska-0096's avatar
aska-0096 committed
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249

        ref_invoker.Run(ref_argument);

#ifdef BUILD_INT4_EXAMPLE
        Tensor<CDataType> c_m_n_device_result_converted(c_m_n_host_result.mDesc);

        c_m_n_device_buf.FromDevice(c_m_n_device_result_converted.mData.data());

        c_m_n_device_result = c_m_n_device_result_converted.CopyAsType<CDataType>();

        return ck::utils::check_err(c_m_n_device_result_converted, c_m_n_host_result);
#else
        c_m_n_device_buf.FromDevice(c_m_n_device_result.mData.data());

        return ck::utils::check_err(c_m_n_device_result, c_m_n_host_result);
#endif
    }

    return true;
}

bool run_gemm_example(int argc, char* argv[])
{
    ProblemSize problem_size;
    ExecutionConfig config;

    return !parse_cmd_args(argc, argv, problem_size, config) || run_gemm(problem_size, config);
}