gen.py revision 11737
111308Santhony.gutierrez@amd.com#! /usr/bin/python
211308Santhony.gutierrez@amd.com
311308Santhony.gutierrez@amd.com#
411308Santhony.gutierrez@amd.com#  Copyright (c) 2015 Advanced Micro Devices, Inc.
511308Santhony.gutierrez@amd.com#  All rights reserved.
611308Santhony.gutierrez@amd.com#
711308Santhony.gutierrez@amd.com#  For use for simulation and test purposes only
811308Santhony.gutierrez@amd.com#
911308Santhony.gutierrez@amd.com#  Redistribution and use in source and binary forms, with or without
1011308Santhony.gutierrez@amd.com#  modification, are permitted provided that the following conditions are met:
1111308Santhony.gutierrez@amd.com#
1211308Santhony.gutierrez@amd.com#  1. Redistributions of source code must retain the above copyright notice,
1311308Santhony.gutierrez@amd.com#  this list of conditions and the following disclaimer.
1411308Santhony.gutierrez@amd.com#
1511308Santhony.gutierrez@amd.com#  2. Redistributions in binary form must reproduce the above copyright notice,
1611308Santhony.gutierrez@amd.com#  this list of conditions and the following disclaimer in the documentation
1711308Santhony.gutierrez@amd.com#  and/or other materials provided with the distribution.
1811308Santhony.gutierrez@amd.com#
1911308Santhony.gutierrez@amd.com#  3. Neither the name of the copyright holder nor the names of its contributors
2011308Santhony.gutierrez@amd.com#  may be used to endorse or promote products derived from this software
2111308Santhony.gutierrez@amd.com#  without specific prior written permission.
2211308Santhony.gutierrez@amd.com#
2311308Santhony.gutierrez@amd.com#  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
2411308Santhony.gutierrez@amd.com#  AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
2511308Santhony.gutierrez@amd.com#  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
2611308Santhony.gutierrez@amd.com#  ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
2711308Santhony.gutierrez@amd.com#  LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2811308Santhony.gutierrez@amd.com#  CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2911308Santhony.gutierrez@amd.com#  SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
3011308Santhony.gutierrez@amd.com#  INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
3111308Santhony.gutierrez@amd.com#  CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
3211308Santhony.gutierrez@amd.com#  ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
3311308Santhony.gutierrez@amd.com#  POSSIBILITY OF SUCH DAMAGE.
3411308Santhony.gutierrez@amd.com#
3511308Santhony.gutierrez@amd.com#  Author: Steve Reinhardt
3611308Santhony.gutierrez@amd.com#
3711308Santhony.gutierrez@amd.com
3811308Santhony.gutierrez@amd.comimport sys, re
3911308Santhony.gutierrez@amd.com
4011308Santhony.gutierrez@amd.comfrom m5.util import code_formatter
4111308Santhony.gutierrez@amd.com
4211308Santhony.gutierrez@amd.comif len(sys.argv) != 4:
4311308Santhony.gutierrez@amd.com    print "Error: need 3 args (file names)"
4411308Santhony.gutierrez@amd.com    sys.exit(0)
4511308Santhony.gutierrez@amd.com
4611308Santhony.gutierrez@amd.comheader_code = code_formatter()
4711308Santhony.gutierrez@amd.comdecoder_code = code_formatter()
4811308Santhony.gutierrez@amd.comexec_code = code_formatter()
4911308Santhony.gutierrez@amd.com
5011308Santhony.gutierrez@amd.com###############
5111308Santhony.gutierrez@amd.com#
5211308Santhony.gutierrez@amd.com# Generate file prologs (includes etc.)
5311308Santhony.gutierrez@amd.com#
5411308Santhony.gutierrez@amd.com###############
5511308Santhony.gutierrez@amd.com
5611308Santhony.gutierrez@amd.comheader_code('''
5711308Santhony.gutierrez@amd.com#include "arch/hsail/insts/decl.hh"
5811308Santhony.gutierrez@amd.com#include "base/bitfield.hh"
5911308Santhony.gutierrez@amd.com#include "gpu-compute/hsail_code.hh"
6011308Santhony.gutierrez@amd.com#include "gpu-compute/wavefront.hh"
6111308Santhony.gutierrez@amd.com
6211308Santhony.gutierrez@amd.comnamespace HsailISA
6311308Santhony.gutierrez@amd.com{
6411308Santhony.gutierrez@amd.com''')
6511308Santhony.gutierrez@amd.comheader_code.indent()
6611308Santhony.gutierrez@amd.com
6711308Santhony.gutierrez@amd.comdecoder_code('''
6811308Santhony.gutierrez@amd.com#include "arch/hsail/gpu_decoder.hh"
6911308Santhony.gutierrez@amd.com#include "arch/hsail/insts/branch.hh"
7011308Santhony.gutierrez@amd.com#include "arch/hsail/insts/decl.hh"
7111308Santhony.gutierrez@amd.com#include "arch/hsail/insts/gen_decl.hh"
7211308Santhony.gutierrez@amd.com#include "arch/hsail/insts/mem.hh"
7311308Santhony.gutierrez@amd.com#include "arch/hsail/insts/mem_impl.hh"
7411308Santhony.gutierrez@amd.com#include "gpu-compute/brig_object.hh"
7511308Santhony.gutierrez@amd.com
7611308Santhony.gutierrez@amd.comnamespace HsailISA
7711308Santhony.gutierrez@amd.com{
7811308Santhony.gutierrez@amd.com    std::vector<GPUStaticInst*> Decoder::decodedInsts;
7911308Santhony.gutierrez@amd.com
8011308Santhony.gutierrez@amd.com    GPUStaticInst*
8111308Santhony.gutierrez@amd.com    Decoder::decode(MachInst machInst)
8211308Santhony.gutierrez@amd.com    {
8311308Santhony.gutierrez@amd.com        using namespace Brig;
8411308Santhony.gutierrez@amd.com
8511308Santhony.gutierrez@amd.com        const BrigInstBase *ib = machInst.brigInstBase;
8611308Santhony.gutierrez@amd.com        const BrigObject *obj = machInst.brigObj;
8711308Santhony.gutierrez@amd.com
8811308Santhony.gutierrez@amd.com        switch(ib->opcode) {
8911308Santhony.gutierrez@amd.com''')
9011308Santhony.gutierrez@amd.comdecoder_code.indent()
9111308Santhony.gutierrez@amd.comdecoder_code.indent()
9211308Santhony.gutierrez@amd.com
9311308Santhony.gutierrez@amd.comexec_code('''
9411308Santhony.gutierrez@amd.com#include "arch/hsail/insts/gen_decl.hh"
9511308Santhony.gutierrez@amd.com#include "base/intmath.hh"
9611308Santhony.gutierrez@amd.com
9711308Santhony.gutierrez@amd.comnamespace HsailISA
9811308Santhony.gutierrez@amd.com{
9911308Santhony.gutierrez@amd.com''')
10011308Santhony.gutierrez@amd.comexec_code.indent()
10111308Santhony.gutierrez@amd.com
10211308Santhony.gutierrez@amd.com###############
10311308Santhony.gutierrez@amd.com#
10411308Santhony.gutierrez@amd.com# Define code templates for class declarations (for header file)
10511308Santhony.gutierrez@amd.com#
10611308Santhony.gutierrez@amd.com###############
10711308Santhony.gutierrez@amd.com
10811308Santhony.gutierrez@amd.com# Basic header template for an instruction with no template parameters.
10911308Santhony.gutierrez@amd.comheader_template_nodt = '''
11011308Santhony.gutierrez@amd.comclass $class_name : public $base_class
11111308Santhony.gutierrez@amd.com{
11211308Santhony.gutierrez@amd.com  public:
11311308Santhony.gutierrez@amd.com    typedef $base_class Base;
11411308Santhony.gutierrez@amd.com
11511308Santhony.gutierrez@amd.com    $class_name(const Brig::BrigInstBase *ib, const BrigObject *obj)
11611308Santhony.gutierrez@amd.com       : Base(ib, obj, "$opcode")
11711308Santhony.gutierrez@amd.com    {
11811308Santhony.gutierrez@amd.com    }
11911308Santhony.gutierrez@amd.com
12011308Santhony.gutierrez@amd.com    void execute(GPUDynInstPtr gpuDynInst);
12111308Santhony.gutierrez@amd.com};
12211308Santhony.gutierrez@amd.com
12311308Santhony.gutierrez@amd.com'''
12411308Santhony.gutierrez@amd.com
12511308Santhony.gutierrez@amd.com# Basic header template for an instruction with a single DataType
12611308Santhony.gutierrez@amd.com# template parameter.
12711308Santhony.gutierrez@amd.comheader_template_1dt = '''
12811308Santhony.gutierrez@amd.comtemplate<typename DataType>
12911308Santhony.gutierrez@amd.comclass $class_name : public $base_class<DataType>
13011308Santhony.gutierrez@amd.com{
13111308Santhony.gutierrez@amd.com  public:
13211308Santhony.gutierrez@amd.com    typedef $base_class<DataType> Base;
13311308Santhony.gutierrez@amd.com    typedef typename DataType::CType CType;
13411308Santhony.gutierrez@amd.com
13511308Santhony.gutierrez@amd.com    $class_name(const Brig::BrigInstBase *ib, const BrigObject *obj)
13611308Santhony.gutierrez@amd.com       : Base(ib, obj, "$opcode")
13711308Santhony.gutierrez@amd.com    {
13811308Santhony.gutierrez@amd.com    }
13911308Santhony.gutierrez@amd.com
14011308Santhony.gutierrez@amd.com    void execute(GPUDynInstPtr gpuDynInst);
14111308Santhony.gutierrez@amd.com};
14211308Santhony.gutierrez@amd.com
14311308Santhony.gutierrez@amd.com'''
14411308Santhony.gutierrez@amd.com
14511308Santhony.gutierrez@amd.comheader_template_1dt_noexec = '''
14611308Santhony.gutierrez@amd.comtemplate<typename DataType>
14711308Santhony.gutierrez@amd.comclass $class_name : public $base_class<DataType>
14811308Santhony.gutierrez@amd.com{
14911308Santhony.gutierrez@amd.com  public:
15011308Santhony.gutierrez@amd.com    typedef $base_class<DataType> Base;
15111308Santhony.gutierrez@amd.com    typedef typename DataType::CType CType;
15211308Santhony.gutierrez@amd.com
15311308Santhony.gutierrez@amd.com    $class_name(const Brig::BrigInstBase *ib, const BrigObject *obj)
15411308Santhony.gutierrez@amd.com       : Base(ib, obj, "$opcode")
15511308Santhony.gutierrez@amd.com    {
15611308Santhony.gutierrez@amd.com    }
15711308Santhony.gutierrez@amd.com};
15811308Santhony.gutierrez@amd.com
15911308Santhony.gutierrez@amd.com'''
16011308Santhony.gutierrez@amd.com
16111308Santhony.gutierrez@amd.com# Same as header_template_1dt, except the base class has a second
16211308Santhony.gutierrez@amd.com# template parameter NumSrcOperands to allow a variable number of
16311308Santhony.gutierrez@amd.com# source operands.  Note that since this is implemented with an array,
16411308Santhony.gutierrez@amd.com# it only works for instructions where all sources are of the same
16511308Santhony.gutierrez@amd.com# type (like most arithmetics).
16611308Santhony.gutierrez@amd.comheader_template_1dt_varsrcs = '''
16711308Santhony.gutierrez@amd.comtemplate<typename DataType>
16811308Santhony.gutierrez@amd.comclass $class_name : public $base_class<DataType, $num_srcs>
16911308Santhony.gutierrez@amd.com{
17011308Santhony.gutierrez@amd.com  public:
17111308Santhony.gutierrez@amd.com    typedef $base_class<DataType, $num_srcs> Base;
17211308Santhony.gutierrez@amd.com    typedef typename DataType::CType CType;
17311308Santhony.gutierrez@amd.com
17411308Santhony.gutierrez@amd.com    $class_name(const Brig::BrigInstBase *ib, const BrigObject *obj)
17511308Santhony.gutierrez@amd.com       : Base(ib, obj, "$opcode")
17611308Santhony.gutierrez@amd.com    {
17711308Santhony.gutierrez@amd.com    }
17811308Santhony.gutierrez@amd.com
17911308Santhony.gutierrez@amd.com    void execute(GPUDynInstPtr gpuDynInst);
18011308Santhony.gutierrez@amd.com};
18111308Santhony.gutierrez@amd.com
18211308Santhony.gutierrez@amd.com'''
18311308Santhony.gutierrez@amd.com
18411308Santhony.gutierrez@amd.com# Header template for instruction with two DataType template
18511308Santhony.gutierrez@amd.com# parameters, one for the dest and one for the source.  This is used
18611308Santhony.gutierrez@amd.com# by compare and convert.
18711308Santhony.gutierrez@amd.comheader_template_2dt = '''
18811308Santhony.gutierrez@amd.comtemplate<typename DestDataType, class SrcDataType>
18911308Santhony.gutierrez@amd.comclass $class_name : public $base_class<DestDataType, SrcDataType>
19011308Santhony.gutierrez@amd.com{
19111308Santhony.gutierrez@amd.com  public:
19211308Santhony.gutierrez@amd.com    typedef $base_class<DestDataType, SrcDataType> Base;
19311308Santhony.gutierrez@amd.com    typedef typename DestDataType::CType DestCType;
19411308Santhony.gutierrez@amd.com    typedef typename SrcDataType::CType SrcCType;
19511308Santhony.gutierrez@amd.com
19611308Santhony.gutierrez@amd.com    $class_name(const Brig::BrigInstBase *ib, const BrigObject *obj)
19711308Santhony.gutierrez@amd.com       : Base(ib, obj, "$opcode")
19811308Santhony.gutierrez@amd.com    {
19911308Santhony.gutierrez@amd.com    }
20011308Santhony.gutierrez@amd.com
20111308Santhony.gutierrez@amd.com    void execute(GPUDynInstPtr gpuDynInst);
20211308Santhony.gutierrez@amd.com};
20311308Santhony.gutierrez@amd.com
20411308Santhony.gutierrez@amd.com'''
20511308Santhony.gutierrez@amd.com
20611308Santhony.gutierrez@amd.comheader_templates = {
20711308Santhony.gutierrez@amd.com    'ArithInst': header_template_1dt_varsrcs,
20811308Santhony.gutierrez@amd.com    'CmovInst': header_template_1dt,
20911308Santhony.gutierrez@amd.com    'ClassInst': header_template_1dt,
21011308Santhony.gutierrez@amd.com    'ShiftInst': header_template_1dt,
21111308Santhony.gutierrez@amd.com    'ExtractInsertInst': header_template_1dt,
21211308Santhony.gutierrez@amd.com    'CmpInst': header_template_2dt,
21311308Santhony.gutierrez@amd.com    'CvtInst': header_template_2dt,
21411737Sbrandon.potter@amd.com    'PopcountInst': header_template_2dt,
21511308Santhony.gutierrez@amd.com    'LdInst': '',
21611308Santhony.gutierrez@amd.com    'StInst': '',
21711308Santhony.gutierrez@amd.com    'SpecialInstNoSrc': header_template_nodt,
21811308Santhony.gutierrez@amd.com    'SpecialInst1Src': header_template_nodt,
21911308Santhony.gutierrez@amd.com    'SpecialInstNoSrcNoDest': '',
22011308Santhony.gutierrez@amd.com}
22111308Santhony.gutierrez@amd.com
22211308Santhony.gutierrez@amd.com###############
22311308Santhony.gutierrez@amd.com#
22411308Santhony.gutierrez@amd.com# Define code templates for exec functions
22511308Santhony.gutierrez@amd.com#
22611308Santhony.gutierrez@amd.com###############
22711308Santhony.gutierrez@amd.com
22811308Santhony.gutierrez@amd.com# exec function body
22911308Santhony.gutierrez@amd.comexec_template_nodt_nosrc = '''
23011308Santhony.gutierrez@amd.comvoid
23111308Santhony.gutierrez@amd.com$class_name::execute(GPUDynInstPtr gpuDynInst)
23211308Santhony.gutierrez@amd.com{
23311308Santhony.gutierrez@amd.com    Wavefront *w = gpuDynInst->wavefront();
23411308Santhony.gutierrez@amd.com
23511308Santhony.gutierrez@amd.com    typedef Base::DestCType DestCType;
23611308Santhony.gutierrez@amd.com
23711639Salexandru.dutu@amd.com    const VectorMask &mask = w->getPred();
23811308Santhony.gutierrez@amd.com
23911534Sjohn.kalamatianos@amd.com    for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) {
24011308Santhony.gutierrez@amd.com        if (mask[lane]) {
24111308Santhony.gutierrez@amd.com            DestCType dest_val = $expr;
24211308Santhony.gutierrez@amd.com            this->dest.set(w, lane, dest_val);
24311308Santhony.gutierrez@amd.com        }
24411308Santhony.gutierrez@amd.com    }
24511308Santhony.gutierrez@amd.com}
24611308Santhony.gutierrez@amd.com
24711308Santhony.gutierrez@amd.com'''
24811308Santhony.gutierrez@amd.com
24911308Santhony.gutierrez@amd.comexec_template_nodt_1src = '''
25011308Santhony.gutierrez@amd.comvoid
25111308Santhony.gutierrez@amd.com$class_name::execute(GPUDynInstPtr gpuDynInst)
25211308Santhony.gutierrez@amd.com{
25311308Santhony.gutierrez@amd.com    Wavefront *w = gpuDynInst->wavefront();
25411308Santhony.gutierrez@amd.com
25511308Santhony.gutierrez@amd.com    typedef Base::DestCType DestCType;
25611308Santhony.gutierrez@amd.com    typedef Base::SrcCType  SrcCType;
25711308Santhony.gutierrez@amd.com
25811639Salexandru.dutu@amd.com    const VectorMask &mask = w->getPred();
25911308Santhony.gutierrez@amd.com
26011534Sjohn.kalamatianos@amd.com    for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) {
26111308Santhony.gutierrez@amd.com        if (mask[lane]) {
26211308Santhony.gutierrez@amd.com            SrcCType src_val0 = this->src0.get<SrcCType>(w, lane);
26311308Santhony.gutierrez@amd.com            DestCType dest_val = $expr;
26411308Santhony.gutierrez@amd.com
26511308Santhony.gutierrez@amd.com            this->dest.set(w, lane, dest_val);
26611308Santhony.gutierrez@amd.com        }
26711308Santhony.gutierrez@amd.com    }
26811308Santhony.gutierrez@amd.com}
26911308Santhony.gutierrez@amd.com
27011308Santhony.gutierrez@amd.com'''
27111308Santhony.gutierrez@amd.com
27211308Santhony.gutierrez@amd.comexec_template_1dt_varsrcs = '''
27311308Santhony.gutierrez@amd.comtemplate<typename DataType>
27411308Santhony.gutierrez@amd.comvoid
27511308Santhony.gutierrez@amd.com$class_name<DataType>::execute(GPUDynInstPtr gpuDynInst)
27611308Santhony.gutierrez@amd.com{
27711308Santhony.gutierrez@amd.com    Wavefront *w = gpuDynInst->wavefront();
27811308Santhony.gutierrez@amd.com
27911639Salexandru.dutu@amd.com    const VectorMask &mask = w->getPred();
28011308Santhony.gutierrez@amd.com
28111534Sjohn.kalamatianos@amd.com    for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) {
28211308Santhony.gutierrez@amd.com        if (mask[lane]) {
28311308Santhony.gutierrez@amd.com            CType dest_val;
28411308Santhony.gutierrez@amd.com            if ($dest_is_src_flag) {
28511308Santhony.gutierrez@amd.com                dest_val = this->dest.template get<CType>(w, lane);
28611308Santhony.gutierrez@amd.com            }
28711308Santhony.gutierrez@amd.com
28811308Santhony.gutierrez@amd.com            CType src_val[$num_srcs];
28911308Santhony.gutierrez@amd.com
29011308Santhony.gutierrez@amd.com            for (int i = 0; i < $num_srcs; ++i) {
29111308Santhony.gutierrez@amd.com                src_val[i] = this->src[i].template get<CType>(w, lane);
29211308Santhony.gutierrez@amd.com            }
29311308Santhony.gutierrez@amd.com
29411308Santhony.gutierrez@amd.com            dest_val = (CType)($expr);
29511308Santhony.gutierrez@amd.com
29611308Santhony.gutierrez@amd.com            this->dest.set(w, lane, dest_val);
29711308Santhony.gutierrez@amd.com        }
29811308Santhony.gutierrez@amd.com    }
29911308Santhony.gutierrez@amd.com}
30011308Santhony.gutierrez@amd.com
30111308Santhony.gutierrez@amd.com'''
30211308Santhony.gutierrez@amd.com
30311308Santhony.gutierrez@amd.comexec_template_1dt_3srcs = '''
30411308Santhony.gutierrez@amd.comtemplate<typename DataType>
30511308Santhony.gutierrez@amd.comvoid
30611308Santhony.gutierrez@amd.com$class_name<DataType>::execute(GPUDynInstPtr gpuDynInst)
30711308Santhony.gutierrez@amd.com{
30811308Santhony.gutierrez@amd.com    Wavefront *w = gpuDynInst->wavefront();
30911308Santhony.gutierrez@amd.com
31011308Santhony.gutierrez@amd.com    typedef typename Base::Src0CType Src0T;
31111308Santhony.gutierrez@amd.com    typedef typename Base::Src1CType Src1T;
31211308Santhony.gutierrez@amd.com    typedef typename Base::Src2CType Src2T;
31311308Santhony.gutierrez@amd.com
31411639Salexandru.dutu@amd.com    const VectorMask &mask = w->getPred();
31511308Santhony.gutierrez@amd.com
31611534Sjohn.kalamatianos@amd.com    for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) {
31711308Santhony.gutierrez@amd.com        if (mask[lane]) {
31811308Santhony.gutierrez@amd.com            CType dest_val;
31911308Santhony.gutierrez@amd.com
32011308Santhony.gutierrez@amd.com            if ($dest_is_src_flag) {
32111308Santhony.gutierrez@amd.com                dest_val = this->dest.template get<CType>(w, lane);
32211308Santhony.gutierrez@amd.com            }
32311308Santhony.gutierrez@amd.com
32411308Santhony.gutierrez@amd.com            Src0T src_val0 = this->src0.template get<Src0T>(w, lane);
32511308Santhony.gutierrez@amd.com            Src1T src_val1 = this->src1.template get<Src1T>(w, lane);
32611308Santhony.gutierrez@amd.com            Src2T src_val2 = this->src2.template get<Src2T>(w, lane);
32711308Santhony.gutierrez@amd.com
32811308Santhony.gutierrez@amd.com            dest_val = $expr;
32911308Santhony.gutierrez@amd.com
33011308Santhony.gutierrez@amd.com            this->dest.set(w, lane, dest_val);
33111308Santhony.gutierrez@amd.com        }
33211308Santhony.gutierrez@amd.com    }
33311308Santhony.gutierrez@amd.com}
33411308Santhony.gutierrez@amd.com
33511308Santhony.gutierrez@amd.com'''
33611308Santhony.gutierrez@amd.com
33711308Santhony.gutierrez@amd.comexec_template_1dt_2src_1dest = '''
33811308Santhony.gutierrez@amd.comtemplate<typename DataType>
33911308Santhony.gutierrez@amd.comvoid
34011308Santhony.gutierrez@amd.com$class_name<DataType>::execute(GPUDynInstPtr gpuDynInst)
34111308Santhony.gutierrez@amd.com{
34211308Santhony.gutierrez@amd.com    Wavefront *w = gpuDynInst->wavefront();
34311308Santhony.gutierrez@amd.com
34411308Santhony.gutierrez@amd.com    typedef typename Base::DestCType DestT;
34511308Santhony.gutierrez@amd.com    typedef CType Src0T;
34611308Santhony.gutierrez@amd.com    typedef typename Base::Src1CType Src1T;
34711308Santhony.gutierrez@amd.com
34811639Salexandru.dutu@amd.com    const VectorMask &mask = w->getPred();
34911308Santhony.gutierrez@amd.com
35011534Sjohn.kalamatianos@amd.com    for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) {
35111308Santhony.gutierrez@amd.com        if (mask[lane]) {
35211308Santhony.gutierrez@amd.com            DestT dest_val;
35311308Santhony.gutierrez@amd.com            if ($dest_is_src_flag) {
35411308Santhony.gutierrez@amd.com                dest_val = this->dest.template get<DestT>(w, lane);
35511308Santhony.gutierrez@amd.com            }
35611308Santhony.gutierrez@amd.com            Src0T src_val0 = this->src0.template get<Src0T>(w, lane);
35711308Santhony.gutierrez@amd.com            Src1T src_val1 = this->src1.template get<Src1T>(w, lane);
35811308Santhony.gutierrez@amd.com
35911308Santhony.gutierrez@amd.com            dest_val = $expr;
36011308Santhony.gutierrez@amd.com
36111308Santhony.gutierrez@amd.com            this->dest.set(w, lane, dest_val);
36211308Santhony.gutierrez@amd.com        }
36311308Santhony.gutierrez@amd.com    }
36411308Santhony.gutierrez@amd.com}
36511308Santhony.gutierrez@amd.com
36611308Santhony.gutierrez@amd.com'''
36711308Santhony.gutierrez@amd.com
36811308Santhony.gutierrez@amd.comexec_template_shift = '''
36911308Santhony.gutierrez@amd.comtemplate<typename DataType>
37011308Santhony.gutierrez@amd.comvoid
37111308Santhony.gutierrez@amd.com$class_name<DataType>::execute(GPUDynInstPtr gpuDynInst)
37211308Santhony.gutierrez@amd.com{
37311308Santhony.gutierrez@amd.com    Wavefront *w = gpuDynInst->wavefront();
37411308Santhony.gutierrez@amd.com
37511639Salexandru.dutu@amd.com    const VectorMask &mask = w->getPred();
37611534Sjohn.kalamatianos@amd.com    for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) {
37711308Santhony.gutierrez@amd.com        if (mask[lane]) {
37811308Santhony.gutierrez@amd.com            CType dest_val;
37911308Santhony.gutierrez@amd.com
38011308Santhony.gutierrez@amd.com            if ($dest_is_src_flag) {
38111308Santhony.gutierrez@amd.com                dest_val = this->dest.template get<CType>(w, lane);
38211308Santhony.gutierrez@amd.com            }
38311308Santhony.gutierrez@amd.com
38411308Santhony.gutierrez@amd.com            CType src_val0 = this->src0.template get<CType>(w, lane);
38511308Santhony.gutierrez@amd.com            uint32_t src_val1 = this->src1.template get<uint32_t>(w, lane);
38611308Santhony.gutierrez@amd.com
38711308Santhony.gutierrez@amd.com            dest_val = $expr;
38811308Santhony.gutierrez@amd.com
38911308Santhony.gutierrez@amd.com            this->dest.set(w, lane, dest_val);
39011308Santhony.gutierrez@amd.com        }
39111308Santhony.gutierrez@amd.com    }
39211308Santhony.gutierrez@amd.com}
39311308Santhony.gutierrez@amd.com
39411308Santhony.gutierrez@amd.com'''
39511308Santhony.gutierrez@amd.com
39611308Santhony.gutierrez@amd.comexec_template_2dt = '''
39711308Santhony.gutierrez@amd.comtemplate<typename DestDataType, class SrcDataType>
39811308Santhony.gutierrez@amd.comvoid
39911308Santhony.gutierrez@amd.com$class_name<DestDataType, SrcDataType>::execute(GPUDynInstPtr gpuDynInst)
40011308Santhony.gutierrez@amd.com{
40111308Santhony.gutierrez@amd.com    Wavefront *w = gpuDynInst->wavefront();
40211308Santhony.gutierrez@amd.com
40311639Salexandru.dutu@amd.com    const VectorMask &mask = w->getPred();
40411308Santhony.gutierrez@amd.com
40511534Sjohn.kalamatianos@amd.com    for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) {
40611308Santhony.gutierrez@amd.com        if (mask[lane]) {
40711308Santhony.gutierrez@amd.com            DestCType dest_val;
40811308Santhony.gutierrez@amd.com            SrcCType src_val[$num_srcs];
40911308Santhony.gutierrez@amd.com
41011308Santhony.gutierrez@amd.com            for (int i = 0; i < $num_srcs; ++i) {
41111308Santhony.gutierrez@amd.com                src_val[i] = this->src[i].template get<SrcCType>(w, lane);
41211308Santhony.gutierrez@amd.com            }
41311308Santhony.gutierrez@amd.com
41411308Santhony.gutierrez@amd.com            dest_val = $expr;
41511308Santhony.gutierrez@amd.com
41611308Santhony.gutierrez@amd.com            this->dest.set(w, lane, dest_val);
41711308Santhony.gutierrez@amd.com        }
41811308Santhony.gutierrez@amd.com    }
41911308Santhony.gutierrez@amd.com}
42011308Santhony.gutierrez@amd.com
42111308Santhony.gutierrez@amd.com'''
42211308Santhony.gutierrez@amd.com
42311308Santhony.gutierrez@amd.comexec_templates = {
42411308Santhony.gutierrez@amd.com    'ArithInst': exec_template_1dt_varsrcs,
42511308Santhony.gutierrez@amd.com    'CmovInst': exec_template_1dt_3srcs,
42611308Santhony.gutierrez@amd.com    'ExtractInsertInst': exec_template_1dt_3srcs,
42711308Santhony.gutierrez@amd.com    'ClassInst': exec_template_1dt_2src_1dest,
42811308Santhony.gutierrez@amd.com    'CmpInst': exec_template_2dt,
42911308Santhony.gutierrez@amd.com    'CvtInst': exec_template_2dt,
43011737Sbrandon.potter@amd.com    'PopcountInst': exec_template_2dt,
43111308Santhony.gutierrez@amd.com    'LdInst': '',
43211308Santhony.gutierrez@amd.com    'StInst': '',
43311308Santhony.gutierrez@amd.com    'SpecialInstNoSrc': exec_template_nodt_nosrc,
43411308Santhony.gutierrez@amd.com    'SpecialInst1Src': exec_template_nodt_1src,
43511308Santhony.gutierrez@amd.com    'SpecialInstNoSrcNoDest': '',
43611308Santhony.gutierrez@amd.com}
43711308Santhony.gutierrez@amd.com
43811308Santhony.gutierrez@amd.com###############
43911308Santhony.gutierrez@amd.com#
44011308Santhony.gutierrez@amd.com# Define code templates for the decoder cases
44111308Santhony.gutierrez@amd.com#
44211308Santhony.gutierrez@amd.com###############
44311308Santhony.gutierrez@amd.com
44411308Santhony.gutierrez@amd.com# decode template for nodt-opcode case
44511308Santhony.gutierrez@amd.comdecode_nodt_template = '''
44611308Santhony.gutierrez@amd.com  case BRIG_OPCODE_$brig_opcode_upper: return $constructor(ib, obj);'''
44711308Santhony.gutierrez@amd.com
44811308Santhony.gutierrez@amd.comdecode_case_prolog_class_inst = '''
44911308Santhony.gutierrez@amd.com  case BRIG_OPCODE_$brig_opcode_upper:
45011308Santhony.gutierrez@amd.com    {
45111308Santhony.gutierrez@amd.com        //const BrigOperandBase *baseOp = obj->getOperand(ib->operands[1]);
45211308Santhony.gutierrez@amd.com        BrigType16_t type = ((BrigInstSourceType*)ib)->sourceType;
45311308Santhony.gutierrez@amd.com        //switch (baseOp->kind) {
45411308Santhony.gutierrez@amd.com        //    case BRIG_OPERAND_REG:
45511308Santhony.gutierrez@amd.com        //        type = ((const BrigOperandReg*)baseOp)->type;
45611308Santhony.gutierrez@amd.com        //        break;
45711308Santhony.gutierrez@amd.com        //    case BRIG_OPERAND_IMMED:
45811308Santhony.gutierrez@amd.com        //        type = ((const BrigOperandImmed*)baseOp)->type;
45911308Santhony.gutierrez@amd.com        //        break;
46011308Santhony.gutierrez@amd.com        //    default:
46111308Santhony.gutierrez@amd.com        //        fatal("CLASS unrecognized kind of operand %d\\n",
46211308Santhony.gutierrez@amd.com        //               baseOp->kind);
46311308Santhony.gutierrez@amd.com        //}
46411308Santhony.gutierrez@amd.com        switch (type) {'''
46511308Santhony.gutierrez@amd.com
46611308Santhony.gutierrez@amd.com# common prolog for 1dt- or 2dt-opcode case: switch on data type
46711308Santhony.gutierrez@amd.comdecode_case_prolog = '''
46811308Santhony.gutierrez@amd.com  case BRIG_OPCODE_$brig_opcode_upper:
46911308Santhony.gutierrez@amd.com    {
47011308Santhony.gutierrez@amd.com        switch (ib->type) {'''
47111308Santhony.gutierrez@amd.com
47211308Santhony.gutierrez@amd.com# single-level decode case entry (for 1dt opcodes)
47311308Santhony.gutierrez@amd.comdecode_case_entry = \
47411308Santhony.gutierrez@amd.com'      case BRIG_TYPE_$type_name: return $constructor(ib, obj);'
47511308Santhony.gutierrez@amd.com
47611308Santhony.gutierrez@amd.comdecode_store_prolog = \
47711308Santhony.gutierrez@amd.com'      case BRIG_TYPE_$type_name: {'
47811308Santhony.gutierrez@amd.com
47911308Santhony.gutierrez@amd.comdecode_store_case_epilog = '''
48011308Santhony.gutierrez@amd.com    }'''
48111308Santhony.gutierrez@amd.com
48211308Santhony.gutierrez@amd.comdecode_store_case_entry = \
48311308Santhony.gutierrez@amd.com'          return $constructor(ib, obj);'
48411308Santhony.gutierrez@amd.com
48511308Santhony.gutierrez@amd.com# common epilog for type switch
48611308Santhony.gutierrez@amd.comdecode_case_epilog = '''
48711308Santhony.gutierrez@amd.com          default: fatal("$brig_opcode_upper: unrecognized type %d\\n",
48811308Santhony.gutierrez@amd.com              ib->type);
48911308Santhony.gutierrez@amd.com        }
49011308Santhony.gutierrez@amd.com    }
49111308Santhony.gutierrez@amd.com    break;'''
49211308Santhony.gutierrez@amd.com
49311308Santhony.gutierrez@amd.com# Additional templates for nested decode on a second type field (for
49411308Santhony.gutierrez@amd.com# compare and convert).  These are used in place of the
49511308Santhony.gutierrez@amd.com# decode_case_entry template to create a second-level switch on on the
49611308Santhony.gutierrez@amd.com# second type field inside each case of the first-level type switch.
49711308Santhony.gutierrez@amd.com# Because the name and location of the second type can vary, the Brig
49811308Santhony.gutierrez@amd.com# instruction type must be provided in $brig_type, and the name of the
49911308Santhony.gutierrez@amd.com# second type field must be provided in $type_field.
50011308Santhony.gutierrez@amd.comdecode_case2_prolog = '''
50111308Santhony.gutierrez@amd.com        case BRIG_TYPE_$type_name:
50211308Santhony.gutierrez@amd.com          switch (((Brig$brig_type*)ib)->$type2_field) {'''
50311308Santhony.gutierrez@amd.com
50411308Santhony.gutierrez@amd.comdecode_case2_entry = \
50511308Santhony.gutierrez@amd.com'          case BRIG_TYPE_$type2_name: return $constructor(ib, obj);'
50611308Santhony.gutierrez@amd.com
50711308Santhony.gutierrez@amd.comdecode_case2_epilog = '''
50811308Santhony.gutierrez@amd.com          default: fatal("$brig_opcode_upper: unrecognized $type2_field %d\\n",
50911308Santhony.gutierrez@amd.com                         ((Brig$brig_type*)ib)->$type2_field);
51011308Santhony.gutierrez@amd.com        }
51111308Santhony.gutierrez@amd.com        break;'''
51211308Santhony.gutierrez@amd.com
51311308Santhony.gutierrez@amd.com# Figure out how many source operands an expr needs by looking for the
51411308Santhony.gutierrez@amd.com# highest-numbered srcN value referenced.  Since sources are numbered
51511308Santhony.gutierrez@amd.com# starting at 0, the return value is N+1.
51611308Santhony.gutierrez@amd.comdef num_src_operands(expr):
51711308Santhony.gutierrez@amd.com    if expr.find('src2') != -1:
51811308Santhony.gutierrez@amd.com        return 3
51911308Santhony.gutierrez@amd.com    elif expr.find('src1') != -1:
52011308Santhony.gutierrez@amd.com        return 2
52111308Santhony.gutierrez@amd.com    elif expr.find('src0') != -1:
52211308Santhony.gutierrez@amd.com        return 1
52311308Santhony.gutierrez@amd.com    else:
52411308Santhony.gutierrez@amd.com        return 0
52511308Santhony.gutierrez@amd.com
52611308Santhony.gutierrez@amd.com###############
52711308Santhony.gutierrez@amd.com#
52811308Santhony.gutierrez@amd.com# Define final code generation methods
52911308Santhony.gutierrez@amd.com#
53011308Santhony.gutierrez@amd.com# The gen_nodt, and gen_1dt, and gen_2dt methods are the interface for
53111308Santhony.gutierrez@amd.com# generating actual instructions.
53211308Santhony.gutierrez@amd.com#
53311308Santhony.gutierrez@amd.com###############
53411308Santhony.gutierrez@amd.com
53511308Santhony.gutierrez@amd.com# Generate class declaration, exec function, and decode switch case
53611308Santhony.gutierrez@amd.com# for an brig_opcode with a single-level type switch.  The 'types'
53711308Santhony.gutierrez@amd.com# parameter is a list or tuple of types for which the instruction
53811308Santhony.gutierrez@amd.com# should be instantiated.
53911308Santhony.gutierrez@amd.comdef gen(brig_opcode, types=None, expr=None, base_class='ArithInst',
54011308Santhony.gutierrez@amd.com        type2_info=None, constructor_prefix='new ', is_store=False):
54111308Santhony.gutierrez@amd.com    brig_opcode_upper = brig_opcode.upper()
54211308Santhony.gutierrez@amd.com    class_name = brig_opcode
54311308Santhony.gutierrez@amd.com    opcode = class_name.lower()
54411308Santhony.gutierrez@amd.com
54511308Santhony.gutierrez@amd.com    if base_class == 'ArithInst':
54611308Santhony.gutierrez@amd.com        # note that expr must be provided with ArithInst so we can
54711308Santhony.gutierrez@amd.com        # derive num_srcs for the template
54811308Santhony.gutierrez@amd.com        assert expr
54911308Santhony.gutierrez@amd.com
55011308Santhony.gutierrez@amd.com    if expr:
55111308Santhony.gutierrez@amd.com        # Derive several bits of info from expr.  If expr is not used,
55211308Santhony.gutierrez@amd.com        # this info will be irrelevant.
55311308Santhony.gutierrez@amd.com        num_srcs = num_src_operands(expr)
55411308Santhony.gutierrez@amd.com        # if the RHS expression includes 'dest', then we're doing an RMW
55511308Santhony.gutierrez@amd.com        # on the reg and we need to treat it like a source
55611308Santhony.gutierrez@amd.com        dest_is_src = expr.find('dest') != -1
55711308Santhony.gutierrez@amd.com        dest_is_src_flag = str(dest_is_src).lower() # for C++
55811308Santhony.gutierrez@amd.com        if base_class in ['ShiftInst']:
55911308Santhony.gutierrez@amd.com            expr = re.sub(r'\bsrc(\d)\b', r'src_val\1', expr)
56011737Sbrandon.potter@amd.com        elif base_class in ['ArithInst', 'CmpInst', 'CvtInst', 'PopcountInst']:
56111308Santhony.gutierrez@amd.com            expr = re.sub(r'\bsrc(\d)\b', r'src_val[\1]', expr)
56211308Santhony.gutierrez@amd.com        else:
56311308Santhony.gutierrez@amd.com            expr = re.sub(r'\bsrc(\d)\b', r'src_val\1', expr)
56411308Santhony.gutierrez@amd.com        expr = re.sub(r'\bdest\b', r'dest_val', expr)
56511308Santhony.gutierrez@amd.com
56611308Santhony.gutierrez@amd.com    # Strip template arguments off of base class before looking up
56711308Santhony.gutierrez@amd.com    # appropriate templates
56811308Santhony.gutierrez@amd.com    base_class_base = re.sub(r'<.*>$', '', base_class)
56911308Santhony.gutierrez@amd.com    header_code(header_templates[base_class_base])
57011308Santhony.gutierrez@amd.com
57111308Santhony.gutierrez@amd.com    if base_class.startswith('SpecialInst'):
57211308Santhony.gutierrez@amd.com        exec_code(exec_templates[base_class_base])
57311308Santhony.gutierrez@amd.com    elif base_class.startswith('ShiftInst'):
57411308Santhony.gutierrez@amd.com        header_code(exec_template_shift)
57511308Santhony.gutierrez@amd.com    else:
57611308Santhony.gutierrez@amd.com        header_code(exec_templates[base_class_base])
57711308Santhony.gutierrez@amd.com
57811308Santhony.gutierrez@amd.com    if not types or isinstance(types, str):
57911308Santhony.gutierrez@amd.com        # Just a single type
58011308Santhony.gutierrez@amd.com        constructor = constructor_prefix + class_name
58111308Santhony.gutierrez@amd.com        decoder_code(decode_nodt_template)
58211308Santhony.gutierrez@amd.com    else:
58311308Santhony.gutierrez@amd.com        # multiple types, need at least one level of decode
58411308Santhony.gutierrez@amd.com        if brig_opcode == 'Class':
58511308Santhony.gutierrez@amd.com            decoder_code(decode_case_prolog_class_inst)
58611308Santhony.gutierrez@amd.com        else:
58711308Santhony.gutierrez@amd.com            decoder_code(decode_case_prolog)
58811308Santhony.gutierrez@amd.com        if not type2_info:
58911325Ssteve.reinhardt@amd.com            if not is_store:
59011308Santhony.gutierrez@amd.com                # single list of types, to basic one-level decode
59111308Santhony.gutierrez@amd.com                for type_name in types:
59211308Santhony.gutierrez@amd.com                    full_class_name = '%s<%s>' % (class_name, type_name.upper())
59311308Santhony.gutierrez@amd.com                    constructor = constructor_prefix + full_class_name
59411308Santhony.gutierrez@amd.com                    decoder_code(decode_case_entry)
59511308Santhony.gutierrez@amd.com            else:
59611308Santhony.gutierrez@amd.com                # single list of types, to basic one-level decode
59711308Santhony.gutierrez@amd.com                for type_name in types:
59811308Santhony.gutierrez@amd.com                    decoder_code(decode_store_prolog)
59911308Santhony.gutierrez@amd.com                    type_size = int(re.findall(r'[0-9]+', type_name)[0])
60011308Santhony.gutierrez@amd.com                    src_size = 32
60111308Santhony.gutierrez@amd.com                    type_type = type_name[0]
60211308Santhony.gutierrez@amd.com                    full_class_name = '%s<%s,%s>' % (class_name, \
60311308Santhony.gutierrez@amd.com                                                     type_name.upper(), \
60411308Santhony.gutierrez@amd.com                                                     '%s%d' % \
60511308Santhony.gutierrez@amd.com                                                     (type_type.upper(), \
60611308Santhony.gutierrez@amd.com                                                     type_size))
60711308Santhony.gutierrez@amd.com                    constructor = constructor_prefix + full_class_name
60811308Santhony.gutierrez@amd.com                    decoder_code(decode_store_case_entry)
60911308Santhony.gutierrez@amd.com                    decoder_code(decode_store_case_epilog)
61011308Santhony.gutierrez@amd.com        else:
61111308Santhony.gutierrez@amd.com            # need secondary type switch (convert, compare)
61211308Santhony.gutierrez@amd.com            # unpack extra info on second switch
61311308Santhony.gutierrez@amd.com            (type2_field, types2) = type2_info
61411308Santhony.gutierrez@amd.com            brig_type = 'Inst%s' % brig_opcode
61511308Santhony.gutierrez@amd.com            for type_name in types:
61611308Santhony.gutierrez@amd.com                decoder_code(decode_case2_prolog)
61711308Santhony.gutierrez@amd.com                fmt = '%s<%s,%%s>' % (class_name, type_name.upper())
61811308Santhony.gutierrez@amd.com                for type2_name in types2:
61911308Santhony.gutierrez@amd.com                    full_class_name = fmt % type2_name.upper()
62011308Santhony.gutierrez@amd.com                    constructor = constructor_prefix + full_class_name
62111308Santhony.gutierrez@amd.com                    decoder_code(decode_case2_entry)
62211308Santhony.gutierrez@amd.com
62311308Santhony.gutierrez@amd.com                decoder_code(decode_case2_epilog)
62411308Santhony.gutierrez@amd.com
62511308Santhony.gutierrez@amd.com        decoder_code(decode_case_epilog)
62611308Santhony.gutierrez@amd.com
62711308Santhony.gutierrez@amd.com###############
62811308Santhony.gutierrez@amd.com#
62911308Santhony.gutierrez@amd.com# Generate instructions
63011308Santhony.gutierrez@amd.com#
63111308Santhony.gutierrez@amd.com###############
63211308Santhony.gutierrez@amd.com
63311308Santhony.gutierrez@amd.com# handy abbreviations for common sets of types
63411308Santhony.gutierrez@amd.com
63511308Santhony.gutierrez@amd.com# arithmetic ops are typically defined only on 32- and 64-bit sizes
63611308Santhony.gutierrez@amd.comarith_int_types = ('S32', 'U32', 'S64', 'U64')
63711308Santhony.gutierrez@amd.comarith_float_types = ('F32', 'F64')
63811308Santhony.gutierrez@amd.comarith_types = arith_int_types + arith_float_types
63911308Santhony.gutierrez@amd.com
64011308Santhony.gutierrez@amd.combit_types = ('B1', 'B32', 'B64')
64111308Santhony.gutierrez@amd.com
64211308Santhony.gutierrez@amd.comall_int_types = ('S8', 'U8', 'S16', 'U16') + arith_int_types
64311308Santhony.gutierrez@amd.com
64411308Santhony.gutierrez@amd.com# I think you might be able to do 'f16' memory ops too, but we'll
64511308Santhony.gutierrez@amd.com# ignore them for now.
64611308Santhony.gutierrez@amd.commem_types = all_int_types + arith_float_types
64711308Santhony.gutierrez@amd.commem_atom_types = all_int_types + ('B32', 'B64')
64811308Santhony.gutierrez@amd.com
64911308Santhony.gutierrez@amd.com##### Arithmetic & logical operations
65011308Santhony.gutierrez@amd.comgen('Add', arith_types, 'src0 + src1')
65111308Santhony.gutierrez@amd.comgen('Sub', arith_types, 'src0 - src1')
65211308Santhony.gutierrez@amd.comgen('Mul', arith_types, 'src0 * src1')
65311308Santhony.gutierrez@amd.comgen('Div', arith_types, 'src0 / src1')
65411308Santhony.gutierrez@amd.comgen('Min', arith_types, 'std::min(src0, src1)')
65511308Santhony.gutierrez@amd.comgen('Max', arith_types, 'std::max(src0, src1)')
65611308Santhony.gutierrez@amd.comgen('Gcnmin', arith_types, 'std::min(src0, src1)')
65711308Santhony.gutierrez@amd.com
65811308Santhony.gutierrez@amd.comgen('CopySign', arith_float_types,
65911308Santhony.gutierrez@amd.com    'src1 < 0 ? -std::abs(src0) : std::abs(src0)')
66011308Santhony.gutierrez@amd.comgen('Sqrt', arith_float_types, 'sqrt(src0)')
66111308Santhony.gutierrez@amd.comgen('Floor', arith_float_types, 'floor(src0)')
66211308Santhony.gutierrez@amd.com
66311308Santhony.gutierrez@amd.com# "fast" sqrt... same as slow for us
66411308Santhony.gutierrez@amd.comgen('Nsqrt', arith_float_types, 'sqrt(src0)')
66511308Santhony.gutierrez@amd.comgen('Nrsqrt', arith_float_types, '1.0/sqrt(src0)')
66611308Santhony.gutierrez@amd.comgen('Nrcp', arith_float_types, '1.0/src0')
66711308Santhony.gutierrez@amd.comgen('Fract', arith_float_types,
66811308Santhony.gutierrez@amd.com    '(src0 >= 0.0)?(src0-floor(src0)):(floor(src0)-src0)')
66911308Santhony.gutierrez@amd.com
67011308Santhony.gutierrez@amd.comgen('Ncos', arith_float_types, 'cos(src0)');
67111308Santhony.gutierrez@amd.comgen('Nsin', arith_float_types, 'sin(src0)');
67211308Santhony.gutierrez@amd.com
67311308Santhony.gutierrez@amd.comgen('And', bit_types, 'src0 & src1')
67411308Santhony.gutierrez@amd.comgen('Or', bit_types,  'src0 | src1')
67511308Santhony.gutierrez@amd.comgen('Xor', bit_types, 'src0 ^ src1')
67611308Santhony.gutierrez@amd.com
67711308Santhony.gutierrez@amd.comgen('Bitselect', bit_types, '(src1 & src0) | (src2 & ~src0)')
67811308Santhony.gutierrez@amd.comgen('Firstbit',bit_types, 'firstbit(src0)')
67911737Sbrandon.potter@amd.comgen('Popcount', ('U32',), '__builtin_popcount(src0)', 'PopcountInst', \
68011737Sbrandon.potter@amd.com    ('sourceType', ('B32', 'B64')))
68111308Santhony.gutierrez@amd.com
68211308Santhony.gutierrez@amd.comgen('Shl', arith_int_types, 'src0 << (unsigned)src1', 'ShiftInst')
68311308Santhony.gutierrez@amd.comgen('Shr', arith_int_types, 'src0 >> (unsigned)src1', 'ShiftInst')
68411308Santhony.gutierrez@amd.com
68511308Santhony.gutierrez@amd.com# gen('Mul_hi', types=('s32','u32', '??'))
68611308Santhony.gutierrez@amd.com# gen('Mul24', types=('s32','u32', '??'))
68711308Santhony.gutierrez@amd.comgen('Rem', arith_int_types, 'src0 - ((src0 / src1) * src1)')
68811308Santhony.gutierrez@amd.com
68911308Santhony.gutierrez@amd.comgen('Abs', arith_types, 'std::abs(src0)')
69011308Santhony.gutierrez@amd.comgen('Neg', arith_types, '-src0')
69111308Santhony.gutierrez@amd.com
69211735Sbrandon.potter@amd.comgen('Mov', bit_types + arith_types, 'src0')
69311308Santhony.gutierrez@amd.comgen('Not', bit_types, 'heynot(src0)')
69411308Santhony.gutierrez@amd.com
69511308Santhony.gutierrez@amd.com# mad and fma differ only in rounding behavior, which we don't emulate
69611308Santhony.gutierrez@amd.com# also there's an integer form of mad, but not of fma
69711308Santhony.gutierrez@amd.comgen('Mad', arith_types, 'src0 * src1 + src2')
69811308Santhony.gutierrez@amd.comgen('Fma', arith_float_types, 'src0 * src1 + src2')
69911308Santhony.gutierrez@amd.com
70011308Santhony.gutierrez@amd.com#native floating point operations
70111308Santhony.gutierrez@amd.comgen('Nfma', arith_float_types, 'src0 * src1 + src2')
70211308Santhony.gutierrez@amd.com
70311308Santhony.gutierrez@amd.comgen('Cmov', bit_types, 'src0 ? src1 : src2', 'CmovInst')
70411308Santhony.gutierrez@amd.comgen('BitAlign', bit_types, '(src0 << src2)|(src1 >> (32 - src2))')
70511308Santhony.gutierrez@amd.comgen('ByteAlign', bit_types, '(src0 << 8 * src2)|(src1 >> (32 - 8 * src2))')
70611308Santhony.gutierrez@amd.com
70711308Santhony.gutierrez@amd.com# see base/bitfield.hh
70811308Santhony.gutierrez@amd.comgen('BitExtract', arith_int_types, 'bits(src0, src1, src1 + src2 - 1)',
70911308Santhony.gutierrez@amd.com    'ExtractInsertInst')
71011308Santhony.gutierrez@amd.com
71111308Santhony.gutierrez@amd.comgen('BitInsert', arith_int_types, 'insertBits(dest, src1, src2, src0)',
71211308Santhony.gutierrez@amd.com    'ExtractInsertInst')
71311308Santhony.gutierrez@amd.com
71411308Santhony.gutierrez@amd.com##### Compare
71511308Santhony.gutierrez@amd.comgen('Cmp', ('B1', 'S32', 'U32', 'F32'), 'compare(src0, src1, this->cmpOp)',
71611308Santhony.gutierrez@amd.com    'CmpInst', ('sourceType', arith_types + bit_types))
71711308Santhony.gutierrez@amd.comgen('Class', arith_float_types, 'fpclassify(src0,src1)','ClassInst')
71811308Santhony.gutierrez@amd.com
71911308Santhony.gutierrez@amd.com##### Conversion
72011308Santhony.gutierrez@amd.com
72111308Santhony.gutierrez@amd.com# Conversion operations are only defined on B1, not B32 or B64
72211308Santhony.gutierrez@amd.comcvt_types = ('B1',) + mem_types
72311308Santhony.gutierrez@amd.com
72411308Santhony.gutierrez@amd.comgen('Cvt', cvt_types, 'src0', 'CvtInst', ('sourceType', cvt_types))
72511308Santhony.gutierrez@amd.com
72611308Santhony.gutierrez@amd.com
72711308Santhony.gutierrez@amd.com##### Load & Store
72811308Santhony.gutierrez@amd.comgen('Lda', mem_types, base_class = 'LdInst', constructor_prefix='decode')
72911308Santhony.gutierrez@amd.comgen('Ld', mem_types, base_class = 'LdInst', constructor_prefix='decode')
73011308Santhony.gutierrez@amd.comgen('St', mem_types, base_class = 'StInst', constructor_prefix='decode',
73111308Santhony.gutierrez@amd.com    is_store=True)
73211308Santhony.gutierrez@amd.comgen('Atomic', mem_atom_types, base_class='StInst', constructor_prefix='decode')
73311308Santhony.gutierrez@amd.comgen('AtomicNoRet', mem_atom_types, base_class='StInst',
73411308Santhony.gutierrez@amd.com    constructor_prefix='decode')
73511308Santhony.gutierrez@amd.com
73611308Santhony.gutierrez@amd.comgen('Cbr', base_class = 'LdInst', constructor_prefix='decode')
73711308Santhony.gutierrez@amd.comgen('Br', base_class = 'LdInst', constructor_prefix='decode')
73811308Santhony.gutierrez@amd.com
73911308Santhony.gutierrez@amd.com##### Special operations
74011308Santhony.gutierrez@amd.comdef gen_special(brig_opcode, expr, dest_type='U32'):
74111308Santhony.gutierrez@amd.com    num_srcs = num_src_operands(expr)
74211308Santhony.gutierrez@amd.com    if num_srcs == 0:
74311308Santhony.gutierrez@amd.com        base_class = 'SpecialInstNoSrc<%s>' % dest_type
74411308Santhony.gutierrez@amd.com    elif num_srcs == 1:
74511308Santhony.gutierrez@amd.com        base_class = 'SpecialInst1Src<%s>' % dest_type
74611308Santhony.gutierrez@amd.com    else:
74711308Santhony.gutierrez@amd.com        assert false
74811308Santhony.gutierrez@amd.com
74911308Santhony.gutierrez@amd.com    gen(brig_opcode, None, expr, base_class)
75011308Santhony.gutierrez@amd.com
75111639Salexandru.dutu@amd.comgen_special('WorkItemId', 'w->workItemId[src0][lane]')
75211308Santhony.gutierrez@amd.comgen_special('WorkItemAbsId',
75311639Salexandru.dutu@amd.com    'w->workItemId[src0][lane] + (w->workGroupId[src0] * w->workGroupSz[src0])')
75411639Salexandru.dutu@amd.comgen_special('WorkGroupId', 'w->workGroupId[src0]')
75511639Salexandru.dutu@amd.comgen_special('WorkGroupSize', 'w->workGroupSz[src0]')
75611639Salexandru.dutu@amd.comgen_special('CurrentWorkGroupSize', 'w->workGroupSz[src0]')
75711639Salexandru.dutu@amd.comgen_special('GridSize', 'w->gridSz[src0]')
75811308Santhony.gutierrez@amd.comgen_special('GridGroups',
75911639Salexandru.dutu@amd.com    'divCeil(w->gridSz[src0],w->workGroupSz[src0])')
76011308Santhony.gutierrez@amd.comgen_special('LaneId', 'lane')
76111643Salexandru.dutu@amd.comgen_special('WaveId', 'w->wfId')
76211308Santhony.gutierrez@amd.comgen_special('Clock', 'w->computeUnit->shader->tick_cnt', 'U64')
76311308Santhony.gutierrez@amd.com
76411308Santhony.gutierrez@amd.com# gen_special('CU'', ')
76511308Santhony.gutierrez@amd.com
76611308Santhony.gutierrez@amd.comgen('Ret', base_class='SpecialInstNoSrcNoDest')
76711308Santhony.gutierrez@amd.comgen('Barrier', base_class='SpecialInstNoSrcNoDest')
76811308Santhony.gutierrez@amd.comgen('MemFence', base_class='SpecialInstNoSrcNoDest')
76911308Santhony.gutierrez@amd.com
77011308Santhony.gutierrez@amd.com# Map magic instructions to the BrigSyscall opcode
77111308Santhony.gutierrez@amd.com# Magic instructions are defined in magic.hh
77211308Santhony.gutierrez@amd.com#
77311308Santhony.gutierrez@amd.com# In the future, real HSA kernel system calls can be implemented and coexist
77411308Santhony.gutierrez@amd.com# with magic instructions.
77511308Santhony.gutierrez@amd.comgen('Call', base_class='SpecialInstNoSrcNoDest')
77611308Santhony.gutierrez@amd.com
77711308Santhony.gutierrez@amd.com###############
77811308Santhony.gutierrez@amd.com#
77911308Santhony.gutierrez@amd.com# Generate file epilogs
78011308Santhony.gutierrez@amd.com#
78111308Santhony.gutierrez@amd.com###############
78211704Santhony.gutierrez@amd.comheader_code('''
78311704Santhony.gutierrez@amd.comtemplate<>
78411704Santhony.gutierrez@amd.cominline void
78511704Santhony.gutierrez@amd.comAbs<U32>::execute(GPUDynInstPtr gpuDynInst)
78611704Santhony.gutierrez@amd.com{
78711704Santhony.gutierrez@amd.com    Wavefront *w = gpuDynInst->wavefront();
78811704Santhony.gutierrez@amd.com
78911704Santhony.gutierrez@amd.com    const VectorMask &mask = w->getPred();
79011704Santhony.gutierrez@amd.com
79111704Santhony.gutierrez@amd.com    for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) {
79211704Santhony.gutierrez@amd.com        if (mask[lane]) {
79311704Santhony.gutierrez@amd.com            CType dest_val;
79411704Santhony.gutierrez@amd.com            CType src_val;
79511704Santhony.gutierrez@amd.com
79611704Santhony.gutierrez@amd.com            src_val = this->src[0].template get<CType>(w, lane);
79711704Santhony.gutierrez@amd.com
79811704Santhony.gutierrez@amd.com            dest_val = (CType)(src_val);
79911704Santhony.gutierrez@amd.com
80011704Santhony.gutierrez@amd.com            this->dest.set(w, lane, dest_val);
80111704Santhony.gutierrez@amd.com        }
80211704Santhony.gutierrez@amd.com    }
80311704Santhony.gutierrez@amd.com}
80411704Santhony.gutierrez@amd.com
80511704Santhony.gutierrez@amd.comtemplate<>
80611704Santhony.gutierrez@amd.cominline void
80711704Santhony.gutierrez@amd.comAbs<U64>::execute(GPUDynInstPtr gpuDynInst)
80811704Santhony.gutierrez@amd.com{
80911704Santhony.gutierrez@amd.com    Wavefront *w = gpuDynInst->wavefront();
81011704Santhony.gutierrez@amd.com
81111704Santhony.gutierrez@amd.com    const VectorMask &mask = w->getPred();
81211704Santhony.gutierrez@amd.com
81311704Santhony.gutierrez@amd.com    for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) {
81411704Santhony.gutierrez@amd.com        if (mask[lane]) {
81511704Santhony.gutierrez@amd.com            CType dest_val;
81611704Santhony.gutierrez@amd.com            CType src_val;
81711704Santhony.gutierrez@amd.com
81811704Santhony.gutierrez@amd.com            src_val = this->src[0].template get<CType>(w, lane);
81911704Santhony.gutierrez@amd.com
82011704Santhony.gutierrez@amd.com            dest_val = (CType)(src_val);
82111704Santhony.gutierrez@amd.com
82211704Santhony.gutierrez@amd.com            this->dest.set(w, lane, dest_val);
82311704Santhony.gutierrez@amd.com        }
82411704Santhony.gutierrez@amd.com    }
82511704Santhony.gutierrez@amd.com}
82611704Santhony.gutierrez@amd.com''')
82711704Santhony.gutierrez@amd.com
82811308Santhony.gutierrez@amd.comheader_code.dedent()
82911308Santhony.gutierrez@amd.comheader_code('''
83011308Santhony.gutierrez@amd.com} // namespace HsailISA
83111308Santhony.gutierrez@amd.com''')
83211308Santhony.gutierrez@amd.com
83311308Santhony.gutierrez@amd.com# close off main decode switch
83411308Santhony.gutierrez@amd.comdecoder_code.dedent()
83511308Santhony.gutierrez@amd.comdecoder_code.dedent()
83611308Santhony.gutierrez@amd.comdecoder_code('''
83711308Santhony.gutierrez@amd.com          default: fatal("unrecognized Brig opcode %d\\n", ib->opcode);
83811308Santhony.gutierrez@amd.com        } // end switch(ib->opcode)
83911308Santhony.gutierrez@amd.com    } // end decode()
84011308Santhony.gutierrez@amd.com} // namespace HsailISA
84111308Santhony.gutierrez@amd.com''')
84211308Santhony.gutierrez@amd.com
84311308Santhony.gutierrez@amd.comexec_code.dedent()
84411308Santhony.gutierrez@amd.comexec_code('''
84511308Santhony.gutierrez@amd.com} // namespace HsailISA
84611308Santhony.gutierrez@amd.com''')
84711308Santhony.gutierrez@amd.com
84811308Santhony.gutierrez@amd.com###############
84911308Santhony.gutierrez@amd.com#
85011308Santhony.gutierrez@amd.com# Output accumulated code to files
85111308Santhony.gutierrez@amd.com#
85211308Santhony.gutierrez@amd.com###############
85311308Santhony.gutierrez@amd.comheader_code.write(sys.argv[1])
85411308Santhony.gutierrez@amd.comdecoder_code.write(sys.argv[2])
85511308Santhony.gutierrez@amd.comexec_code.write(sys.argv[3])
856