gen.py revision 11704
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, 21411308Santhony.gutierrez@amd.com 'LdInst': '', 21511308Santhony.gutierrez@amd.com 'StInst': '', 21611308Santhony.gutierrez@amd.com 'SpecialInstNoSrc': header_template_nodt, 21711308Santhony.gutierrez@amd.com 'SpecialInst1Src': header_template_nodt, 21811308Santhony.gutierrez@amd.com 'SpecialInstNoSrcNoDest': '', 21911308Santhony.gutierrez@amd.com} 22011308Santhony.gutierrez@amd.com 22111308Santhony.gutierrez@amd.com############### 22211308Santhony.gutierrez@amd.com# 22311308Santhony.gutierrez@amd.com# Define code templates for exec functions 22411308Santhony.gutierrez@amd.com# 22511308Santhony.gutierrez@amd.com############### 22611308Santhony.gutierrez@amd.com 22711308Santhony.gutierrez@amd.com# exec function body 22811308Santhony.gutierrez@amd.comexec_template_nodt_nosrc = ''' 22911308Santhony.gutierrez@amd.comvoid 23011308Santhony.gutierrez@amd.com$class_name::execute(GPUDynInstPtr gpuDynInst) 23111308Santhony.gutierrez@amd.com{ 23211308Santhony.gutierrez@amd.com Wavefront *w = gpuDynInst->wavefront(); 23311308Santhony.gutierrez@amd.com 23411308Santhony.gutierrez@amd.com typedef Base::DestCType DestCType; 23511308Santhony.gutierrez@amd.com 23611639Salexandru.dutu@amd.com const VectorMask &mask = w->getPred(); 23711308Santhony.gutierrez@amd.com 23811534Sjohn.kalamatianos@amd.com for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) { 23911308Santhony.gutierrez@amd.com if (mask[lane]) { 24011308Santhony.gutierrez@amd.com DestCType dest_val = $expr; 24111308Santhony.gutierrez@amd.com this->dest.set(w, lane, dest_val); 24211308Santhony.gutierrez@amd.com } 24311308Santhony.gutierrez@amd.com } 24411308Santhony.gutierrez@amd.com} 24511308Santhony.gutierrez@amd.com 24611308Santhony.gutierrez@amd.com''' 24711308Santhony.gutierrez@amd.com 24811308Santhony.gutierrez@amd.comexec_template_nodt_1src = ''' 24911308Santhony.gutierrez@amd.comvoid 25011308Santhony.gutierrez@amd.com$class_name::execute(GPUDynInstPtr gpuDynInst) 25111308Santhony.gutierrez@amd.com{ 25211308Santhony.gutierrez@amd.com Wavefront *w = gpuDynInst->wavefront(); 25311308Santhony.gutierrez@amd.com 25411308Santhony.gutierrez@amd.com typedef Base::DestCType DestCType; 25511308Santhony.gutierrez@amd.com typedef Base::SrcCType SrcCType; 25611308Santhony.gutierrez@amd.com 25711639Salexandru.dutu@amd.com const VectorMask &mask = w->getPred(); 25811308Santhony.gutierrez@amd.com 25911534Sjohn.kalamatianos@amd.com for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) { 26011308Santhony.gutierrez@amd.com if (mask[lane]) { 26111308Santhony.gutierrez@amd.com SrcCType src_val0 = this->src0.get<SrcCType>(w, lane); 26211308Santhony.gutierrez@amd.com DestCType dest_val = $expr; 26311308Santhony.gutierrez@amd.com 26411308Santhony.gutierrez@amd.com this->dest.set(w, lane, dest_val); 26511308Santhony.gutierrez@amd.com } 26611308Santhony.gutierrez@amd.com } 26711308Santhony.gutierrez@amd.com} 26811308Santhony.gutierrez@amd.com 26911308Santhony.gutierrez@amd.com''' 27011308Santhony.gutierrez@amd.com 27111308Santhony.gutierrez@amd.comexec_template_1dt_varsrcs = ''' 27211308Santhony.gutierrez@amd.comtemplate<typename DataType> 27311308Santhony.gutierrez@amd.comvoid 27411308Santhony.gutierrez@amd.com$class_name<DataType>::execute(GPUDynInstPtr gpuDynInst) 27511308Santhony.gutierrez@amd.com{ 27611308Santhony.gutierrez@amd.com Wavefront *w = gpuDynInst->wavefront(); 27711308Santhony.gutierrez@amd.com 27811639Salexandru.dutu@amd.com const VectorMask &mask = w->getPred(); 27911308Santhony.gutierrez@amd.com 28011534Sjohn.kalamatianos@amd.com for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) { 28111308Santhony.gutierrez@amd.com if (mask[lane]) { 28211308Santhony.gutierrez@amd.com CType dest_val; 28311308Santhony.gutierrez@amd.com if ($dest_is_src_flag) { 28411308Santhony.gutierrez@amd.com dest_val = this->dest.template get<CType>(w, lane); 28511308Santhony.gutierrez@amd.com } 28611308Santhony.gutierrez@amd.com 28711308Santhony.gutierrez@amd.com CType src_val[$num_srcs]; 28811308Santhony.gutierrez@amd.com 28911308Santhony.gutierrez@amd.com for (int i = 0; i < $num_srcs; ++i) { 29011308Santhony.gutierrez@amd.com src_val[i] = this->src[i].template get<CType>(w, lane); 29111308Santhony.gutierrez@amd.com } 29211308Santhony.gutierrez@amd.com 29311308Santhony.gutierrez@amd.com dest_val = (CType)($expr); 29411308Santhony.gutierrez@amd.com 29511308Santhony.gutierrez@amd.com this->dest.set(w, lane, dest_val); 29611308Santhony.gutierrez@amd.com } 29711308Santhony.gutierrez@amd.com } 29811308Santhony.gutierrez@amd.com} 29911308Santhony.gutierrez@amd.com 30011308Santhony.gutierrez@amd.com''' 30111308Santhony.gutierrez@amd.com 30211308Santhony.gutierrez@amd.comexec_template_1dt_3srcs = ''' 30311308Santhony.gutierrez@amd.comtemplate<typename DataType> 30411308Santhony.gutierrez@amd.comvoid 30511308Santhony.gutierrez@amd.com$class_name<DataType>::execute(GPUDynInstPtr gpuDynInst) 30611308Santhony.gutierrez@amd.com{ 30711308Santhony.gutierrez@amd.com Wavefront *w = gpuDynInst->wavefront(); 30811308Santhony.gutierrez@amd.com 30911308Santhony.gutierrez@amd.com typedef typename Base::Src0CType Src0T; 31011308Santhony.gutierrez@amd.com typedef typename Base::Src1CType Src1T; 31111308Santhony.gutierrez@amd.com typedef typename Base::Src2CType Src2T; 31211308Santhony.gutierrez@amd.com 31311639Salexandru.dutu@amd.com const VectorMask &mask = w->getPred(); 31411308Santhony.gutierrez@amd.com 31511534Sjohn.kalamatianos@amd.com for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) { 31611308Santhony.gutierrez@amd.com if (mask[lane]) { 31711308Santhony.gutierrez@amd.com CType dest_val; 31811308Santhony.gutierrez@amd.com 31911308Santhony.gutierrez@amd.com if ($dest_is_src_flag) { 32011308Santhony.gutierrez@amd.com dest_val = this->dest.template get<CType>(w, lane); 32111308Santhony.gutierrez@amd.com } 32211308Santhony.gutierrez@amd.com 32311308Santhony.gutierrez@amd.com Src0T src_val0 = this->src0.template get<Src0T>(w, lane); 32411308Santhony.gutierrez@amd.com Src1T src_val1 = this->src1.template get<Src1T>(w, lane); 32511308Santhony.gutierrez@amd.com Src2T src_val2 = this->src2.template get<Src2T>(w, lane); 32611308Santhony.gutierrez@amd.com 32711308Santhony.gutierrez@amd.com dest_val = $expr; 32811308Santhony.gutierrez@amd.com 32911308Santhony.gutierrez@amd.com this->dest.set(w, lane, dest_val); 33011308Santhony.gutierrez@amd.com } 33111308Santhony.gutierrez@amd.com } 33211308Santhony.gutierrez@amd.com} 33311308Santhony.gutierrez@amd.com 33411308Santhony.gutierrez@amd.com''' 33511308Santhony.gutierrez@amd.com 33611308Santhony.gutierrez@amd.comexec_template_1dt_2src_1dest = ''' 33711308Santhony.gutierrez@amd.comtemplate<typename DataType> 33811308Santhony.gutierrez@amd.comvoid 33911308Santhony.gutierrez@amd.com$class_name<DataType>::execute(GPUDynInstPtr gpuDynInst) 34011308Santhony.gutierrez@amd.com{ 34111308Santhony.gutierrez@amd.com Wavefront *w = gpuDynInst->wavefront(); 34211308Santhony.gutierrez@amd.com 34311308Santhony.gutierrez@amd.com typedef typename Base::DestCType DestT; 34411308Santhony.gutierrez@amd.com typedef CType Src0T; 34511308Santhony.gutierrez@amd.com typedef typename Base::Src1CType Src1T; 34611308Santhony.gutierrez@amd.com 34711639Salexandru.dutu@amd.com const VectorMask &mask = w->getPred(); 34811308Santhony.gutierrez@amd.com 34911534Sjohn.kalamatianos@amd.com for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) { 35011308Santhony.gutierrez@amd.com if (mask[lane]) { 35111308Santhony.gutierrez@amd.com DestT dest_val; 35211308Santhony.gutierrez@amd.com if ($dest_is_src_flag) { 35311308Santhony.gutierrez@amd.com dest_val = this->dest.template get<DestT>(w, lane); 35411308Santhony.gutierrez@amd.com } 35511308Santhony.gutierrez@amd.com Src0T src_val0 = this->src0.template get<Src0T>(w, lane); 35611308Santhony.gutierrez@amd.com Src1T src_val1 = this->src1.template get<Src1T>(w, lane); 35711308Santhony.gutierrez@amd.com 35811308Santhony.gutierrez@amd.com dest_val = $expr; 35911308Santhony.gutierrez@amd.com 36011308Santhony.gutierrez@amd.com this->dest.set(w, lane, dest_val); 36111308Santhony.gutierrez@amd.com } 36211308Santhony.gutierrez@amd.com } 36311308Santhony.gutierrez@amd.com} 36411308Santhony.gutierrez@amd.com 36511308Santhony.gutierrez@amd.com''' 36611308Santhony.gutierrez@amd.com 36711308Santhony.gutierrez@amd.comexec_template_shift = ''' 36811308Santhony.gutierrez@amd.comtemplate<typename DataType> 36911308Santhony.gutierrez@amd.comvoid 37011308Santhony.gutierrez@amd.com$class_name<DataType>::execute(GPUDynInstPtr gpuDynInst) 37111308Santhony.gutierrez@amd.com{ 37211308Santhony.gutierrez@amd.com Wavefront *w = gpuDynInst->wavefront(); 37311308Santhony.gutierrez@amd.com 37411639Salexandru.dutu@amd.com const VectorMask &mask = w->getPred(); 37511534Sjohn.kalamatianos@amd.com for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) { 37611308Santhony.gutierrez@amd.com if (mask[lane]) { 37711308Santhony.gutierrez@amd.com CType dest_val; 37811308Santhony.gutierrez@amd.com 37911308Santhony.gutierrez@amd.com if ($dest_is_src_flag) { 38011308Santhony.gutierrez@amd.com dest_val = this->dest.template get<CType>(w, lane); 38111308Santhony.gutierrez@amd.com } 38211308Santhony.gutierrez@amd.com 38311308Santhony.gutierrez@amd.com CType src_val0 = this->src0.template get<CType>(w, lane); 38411308Santhony.gutierrez@amd.com uint32_t src_val1 = this->src1.template get<uint32_t>(w, lane); 38511308Santhony.gutierrez@amd.com 38611308Santhony.gutierrez@amd.com dest_val = $expr; 38711308Santhony.gutierrez@amd.com 38811308Santhony.gutierrez@amd.com this->dest.set(w, lane, dest_val); 38911308Santhony.gutierrez@amd.com } 39011308Santhony.gutierrez@amd.com } 39111308Santhony.gutierrez@amd.com} 39211308Santhony.gutierrez@amd.com 39311308Santhony.gutierrez@amd.com''' 39411308Santhony.gutierrez@amd.com 39511308Santhony.gutierrez@amd.comexec_template_2dt = ''' 39611308Santhony.gutierrez@amd.comtemplate<typename DestDataType, class SrcDataType> 39711308Santhony.gutierrez@amd.comvoid 39811308Santhony.gutierrez@amd.com$class_name<DestDataType, SrcDataType>::execute(GPUDynInstPtr gpuDynInst) 39911308Santhony.gutierrez@amd.com{ 40011308Santhony.gutierrez@amd.com Wavefront *w = gpuDynInst->wavefront(); 40111308Santhony.gutierrez@amd.com 40211639Salexandru.dutu@amd.com const VectorMask &mask = w->getPred(); 40311308Santhony.gutierrez@amd.com 40411534Sjohn.kalamatianos@amd.com for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) { 40511308Santhony.gutierrez@amd.com if (mask[lane]) { 40611308Santhony.gutierrez@amd.com DestCType dest_val; 40711308Santhony.gutierrez@amd.com SrcCType src_val[$num_srcs]; 40811308Santhony.gutierrez@amd.com 40911308Santhony.gutierrez@amd.com for (int i = 0; i < $num_srcs; ++i) { 41011308Santhony.gutierrez@amd.com src_val[i] = this->src[i].template get<SrcCType>(w, lane); 41111308Santhony.gutierrez@amd.com } 41211308Santhony.gutierrez@amd.com 41311308Santhony.gutierrez@amd.com dest_val = $expr; 41411308Santhony.gutierrez@amd.com 41511308Santhony.gutierrez@amd.com this->dest.set(w, lane, dest_val); 41611308Santhony.gutierrez@amd.com } 41711308Santhony.gutierrez@amd.com } 41811308Santhony.gutierrez@amd.com} 41911308Santhony.gutierrez@amd.com 42011308Santhony.gutierrez@amd.com''' 42111308Santhony.gutierrez@amd.com 42211308Santhony.gutierrez@amd.comexec_templates = { 42311308Santhony.gutierrez@amd.com 'ArithInst': exec_template_1dt_varsrcs, 42411308Santhony.gutierrez@amd.com 'CmovInst': exec_template_1dt_3srcs, 42511308Santhony.gutierrez@amd.com 'ExtractInsertInst': exec_template_1dt_3srcs, 42611308Santhony.gutierrez@amd.com 'ClassInst': exec_template_1dt_2src_1dest, 42711308Santhony.gutierrez@amd.com 'CmpInst': exec_template_2dt, 42811308Santhony.gutierrez@amd.com 'CvtInst': exec_template_2dt, 42911308Santhony.gutierrez@amd.com 'LdInst': '', 43011308Santhony.gutierrez@amd.com 'StInst': '', 43111308Santhony.gutierrez@amd.com 'SpecialInstNoSrc': exec_template_nodt_nosrc, 43211308Santhony.gutierrez@amd.com 'SpecialInst1Src': exec_template_nodt_1src, 43311308Santhony.gutierrez@amd.com 'SpecialInstNoSrcNoDest': '', 43411308Santhony.gutierrez@amd.com} 43511308Santhony.gutierrez@amd.com 43611308Santhony.gutierrez@amd.com############### 43711308Santhony.gutierrez@amd.com# 43811308Santhony.gutierrez@amd.com# Define code templates for the decoder cases 43911308Santhony.gutierrez@amd.com# 44011308Santhony.gutierrez@amd.com############### 44111308Santhony.gutierrez@amd.com 44211308Santhony.gutierrez@amd.com# decode template for nodt-opcode case 44311308Santhony.gutierrez@amd.comdecode_nodt_template = ''' 44411308Santhony.gutierrez@amd.com case BRIG_OPCODE_$brig_opcode_upper: return $constructor(ib, obj);''' 44511308Santhony.gutierrez@amd.com 44611308Santhony.gutierrez@amd.comdecode_case_prolog_class_inst = ''' 44711308Santhony.gutierrez@amd.com case BRIG_OPCODE_$brig_opcode_upper: 44811308Santhony.gutierrez@amd.com { 44911308Santhony.gutierrez@amd.com //const BrigOperandBase *baseOp = obj->getOperand(ib->operands[1]); 45011308Santhony.gutierrez@amd.com BrigType16_t type = ((BrigInstSourceType*)ib)->sourceType; 45111308Santhony.gutierrez@amd.com //switch (baseOp->kind) { 45211308Santhony.gutierrez@amd.com // case BRIG_OPERAND_REG: 45311308Santhony.gutierrez@amd.com // type = ((const BrigOperandReg*)baseOp)->type; 45411308Santhony.gutierrez@amd.com // break; 45511308Santhony.gutierrez@amd.com // case BRIG_OPERAND_IMMED: 45611308Santhony.gutierrez@amd.com // type = ((const BrigOperandImmed*)baseOp)->type; 45711308Santhony.gutierrez@amd.com // break; 45811308Santhony.gutierrez@amd.com // default: 45911308Santhony.gutierrez@amd.com // fatal("CLASS unrecognized kind of operand %d\\n", 46011308Santhony.gutierrez@amd.com // baseOp->kind); 46111308Santhony.gutierrez@amd.com //} 46211308Santhony.gutierrez@amd.com switch (type) {''' 46311308Santhony.gutierrez@amd.com 46411308Santhony.gutierrez@amd.com# common prolog for 1dt- or 2dt-opcode case: switch on data type 46511308Santhony.gutierrez@amd.comdecode_case_prolog = ''' 46611308Santhony.gutierrez@amd.com case BRIG_OPCODE_$brig_opcode_upper: 46711308Santhony.gutierrez@amd.com { 46811308Santhony.gutierrez@amd.com switch (ib->type) {''' 46911308Santhony.gutierrez@amd.com 47011308Santhony.gutierrez@amd.com# single-level decode case entry (for 1dt opcodes) 47111308Santhony.gutierrez@amd.comdecode_case_entry = \ 47211308Santhony.gutierrez@amd.com' case BRIG_TYPE_$type_name: return $constructor(ib, obj);' 47311308Santhony.gutierrez@amd.com 47411308Santhony.gutierrez@amd.comdecode_store_prolog = \ 47511308Santhony.gutierrez@amd.com' case BRIG_TYPE_$type_name: {' 47611308Santhony.gutierrez@amd.com 47711308Santhony.gutierrez@amd.comdecode_store_case_epilog = ''' 47811308Santhony.gutierrez@amd.com }''' 47911308Santhony.gutierrez@amd.com 48011308Santhony.gutierrez@amd.comdecode_store_case_entry = \ 48111308Santhony.gutierrez@amd.com' return $constructor(ib, obj);' 48211308Santhony.gutierrez@amd.com 48311308Santhony.gutierrez@amd.com# common epilog for type switch 48411308Santhony.gutierrez@amd.comdecode_case_epilog = ''' 48511308Santhony.gutierrez@amd.com default: fatal("$brig_opcode_upper: unrecognized type %d\\n", 48611308Santhony.gutierrez@amd.com ib->type); 48711308Santhony.gutierrez@amd.com } 48811308Santhony.gutierrez@amd.com } 48911308Santhony.gutierrez@amd.com break;''' 49011308Santhony.gutierrez@amd.com 49111308Santhony.gutierrez@amd.com# Additional templates for nested decode on a second type field (for 49211308Santhony.gutierrez@amd.com# compare and convert). These are used in place of the 49311308Santhony.gutierrez@amd.com# decode_case_entry template to create a second-level switch on on the 49411308Santhony.gutierrez@amd.com# second type field inside each case of the first-level type switch. 49511308Santhony.gutierrez@amd.com# Because the name and location of the second type can vary, the Brig 49611308Santhony.gutierrez@amd.com# instruction type must be provided in $brig_type, and the name of the 49711308Santhony.gutierrez@amd.com# second type field must be provided in $type_field. 49811308Santhony.gutierrez@amd.comdecode_case2_prolog = ''' 49911308Santhony.gutierrez@amd.com case BRIG_TYPE_$type_name: 50011308Santhony.gutierrez@amd.com switch (((Brig$brig_type*)ib)->$type2_field) {''' 50111308Santhony.gutierrez@amd.com 50211308Santhony.gutierrez@amd.comdecode_case2_entry = \ 50311308Santhony.gutierrez@amd.com' case BRIG_TYPE_$type2_name: return $constructor(ib, obj);' 50411308Santhony.gutierrez@amd.com 50511308Santhony.gutierrez@amd.comdecode_case2_epilog = ''' 50611308Santhony.gutierrez@amd.com default: fatal("$brig_opcode_upper: unrecognized $type2_field %d\\n", 50711308Santhony.gutierrez@amd.com ((Brig$brig_type*)ib)->$type2_field); 50811308Santhony.gutierrez@amd.com } 50911308Santhony.gutierrez@amd.com break;''' 51011308Santhony.gutierrez@amd.com 51111308Santhony.gutierrez@amd.com# Figure out how many source operands an expr needs by looking for the 51211308Santhony.gutierrez@amd.com# highest-numbered srcN value referenced. Since sources are numbered 51311308Santhony.gutierrez@amd.com# starting at 0, the return value is N+1. 51411308Santhony.gutierrez@amd.comdef num_src_operands(expr): 51511308Santhony.gutierrez@amd.com if expr.find('src2') != -1: 51611308Santhony.gutierrez@amd.com return 3 51711308Santhony.gutierrez@amd.com elif expr.find('src1') != -1: 51811308Santhony.gutierrez@amd.com return 2 51911308Santhony.gutierrez@amd.com elif expr.find('src0') != -1: 52011308Santhony.gutierrez@amd.com return 1 52111308Santhony.gutierrez@amd.com else: 52211308Santhony.gutierrez@amd.com return 0 52311308Santhony.gutierrez@amd.com 52411308Santhony.gutierrez@amd.com############### 52511308Santhony.gutierrez@amd.com# 52611308Santhony.gutierrez@amd.com# Define final code generation methods 52711308Santhony.gutierrez@amd.com# 52811308Santhony.gutierrez@amd.com# The gen_nodt, and gen_1dt, and gen_2dt methods are the interface for 52911308Santhony.gutierrez@amd.com# generating actual instructions. 53011308Santhony.gutierrez@amd.com# 53111308Santhony.gutierrez@amd.com############### 53211308Santhony.gutierrez@amd.com 53311308Santhony.gutierrez@amd.com# Generate class declaration, exec function, and decode switch case 53411308Santhony.gutierrez@amd.com# for an brig_opcode with a single-level type switch. The 'types' 53511308Santhony.gutierrez@amd.com# parameter is a list or tuple of types for which the instruction 53611308Santhony.gutierrez@amd.com# should be instantiated. 53711308Santhony.gutierrez@amd.comdef gen(brig_opcode, types=None, expr=None, base_class='ArithInst', 53811308Santhony.gutierrez@amd.com type2_info=None, constructor_prefix='new ', is_store=False): 53911308Santhony.gutierrez@amd.com brig_opcode_upper = brig_opcode.upper() 54011308Santhony.gutierrez@amd.com class_name = brig_opcode 54111308Santhony.gutierrez@amd.com opcode = class_name.lower() 54211308Santhony.gutierrez@amd.com 54311308Santhony.gutierrez@amd.com if base_class == 'ArithInst': 54411308Santhony.gutierrez@amd.com # note that expr must be provided with ArithInst so we can 54511308Santhony.gutierrez@amd.com # derive num_srcs for the template 54611308Santhony.gutierrez@amd.com assert expr 54711308Santhony.gutierrez@amd.com 54811308Santhony.gutierrez@amd.com if expr: 54911308Santhony.gutierrez@amd.com # Derive several bits of info from expr. If expr is not used, 55011308Santhony.gutierrez@amd.com # this info will be irrelevant. 55111308Santhony.gutierrez@amd.com num_srcs = num_src_operands(expr) 55211308Santhony.gutierrez@amd.com # if the RHS expression includes 'dest', then we're doing an RMW 55311308Santhony.gutierrez@amd.com # on the reg and we need to treat it like a source 55411308Santhony.gutierrez@amd.com dest_is_src = expr.find('dest') != -1 55511308Santhony.gutierrez@amd.com dest_is_src_flag = str(dest_is_src).lower() # for C++ 55611308Santhony.gutierrez@amd.com if base_class in ['ShiftInst']: 55711308Santhony.gutierrez@amd.com expr = re.sub(r'\bsrc(\d)\b', r'src_val\1', expr) 55811308Santhony.gutierrez@amd.com elif base_class in ['ArithInst', 'CmpInst', 'CvtInst']: 55911308Santhony.gutierrez@amd.com expr = re.sub(r'\bsrc(\d)\b', r'src_val[\1]', expr) 56011308Santhony.gutierrez@amd.com else: 56111308Santhony.gutierrez@amd.com expr = re.sub(r'\bsrc(\d)\b', r'src_val\1', expr) 56211308Santhony.gutierrez@amd.com expr = re.sub(r'\bdest\b', r'dest_val', expr) 56311308Santhony.gutierrez@amd.com 56411308Santhony.gutierrez@amd.com # Strip template arguments off of base class before looking up 56511308Santhony.gutierrez@amd.com # appropriate templates 56611308Santhony.gutierrez@amd.com base_class_base = re.sub(r'<.*>$', '', base_class) 56711308Santhony.gutierrez@amd.com header_code(header_templates[base_class_base]) 56811308Santhony.gutierrez@amd.com 56911308Santhony.gutierrez@amd.com if base_class.startswith('SpecialInst'): 57011308Santhony.gutierrez@amd.com exec_code(exec_templates[base_class_base]) 57111308Santhony.gutierrez@amd.com elif base_class.startswith('ShiftInst'): 57211308Santhony.gutierrez@amd.com header_code(exec_template_shift) 57311308Santhony.gutierrez@amd.com else: 57411308Santhony.gutierrez@amd.com header_code(exec_templates[base_class_base]) 57511308Santhony.gutierrez@amd.com 57611308Santhony.gutierrez@amd.com if not types or isinstance(types, str): 57711308Santhony.gutierrez@amd.com # Just a single type 57811308Santhony.gutierrez@amd.com constructor = constructor_prefix + class_name 57911308Santhony.gutierrez@amd.com decoder_code(decode_nodt_template) 58011308Santhony.gutierrez@amd.com else: 58111308Santhony.gutierrez@amd.com # multiple types, need at least one level of decode 58211308Santhony.gutierrez@amd.com if brig_opcode == 'Class': 58311308Santhony.gutierrez@amd.com decoder_code(decode_case_prolog_class_inst) 58411308Santhony.gutierrez@amd.com else: 58511308Santhony.gutierrez@amd.com decoder_code(decode_case_prolog) 58611308Santhony.gutierrez@amd.com if not type2_info: 58711325Ssteve.reinhardt@amd.com if not is_store: 58811308Santhony.gutierrez@amd.com # single list of types, to basic one-level decode 58911308Santhony.gutierrez@amd.com for type_name in types: 59011308Santhony.gutierrez@amd.com full_class_name = '%s<%s>' % (class_name, type_name.upper()) 59111308Santhony.gutierrez@amd.com constructor = constructor_prefix + full_class_name 59211308Santhony.gutierrez@amd.com decoder_code(decode_case_entry) 59311308Santhony.gutierrez@amd.com else: 59411308Santhony.gutierrez@amd.com # single list of types, to basic one-level decode 59511308Santhony.gutierrez@amd.com for type_name in types: 59611308Santhony.gutierrez@amd.com decoder_code(decode_store_prolog) 59711308Santhony.gutierrez@amd.com type_size = int(re.findall(r'[0-9]+', type_name)[0]) 59811308Santhony.gutierrez@amd.com src_size = 32 59911308Santhony.gutierrez@amd.com type_type = type_name[0] 60011308Santhony.gutierrez@amd.com full_class_name = '%s<%s,%s>' % (class_name, \ 60111308Santhony.gutierrez@amd.com type_name.upper(), \ 60211308Santhony.gutierrez@amd.com '%s%d' % \ 60311308Santhony.gutierrez@amd.com (type_type.upper(), \ 60411308Santhony.gutierrez@amd.com type_size)) 60511308Santhony.gutierrez@amd.com constructor = constructor_prefix + full_class_name 60611308Santhony.gutierrez@amd.com decoder_code(decode_store_case_entry) 60711308Santhony.gutierrez@amd.com decoder_code(decode_store_case_epilog) 60811308Santhony.gutierrez@amd.com else: 60911308Santhony.gutierrez@amd.com # need secondary type switch (convert, compare) 61011308Santhony.gutierrez@amd.com # unpack extra info on second switch 61111308Santhony.gutierrez@amd.com (type2_field, types2) = type2_info 61211308Santhony.gutierrez@amd.com brig_type = 'Inst%s' % brig_opcode 61311308Santhony.gutierrez@amd.com for type_name in types: 61411308Santhony.gutierrez@amd.com decoder_code(decode_case2_prolog) 61511308Santhony.gutierrez@amd.com fmt = '%s<%s,%%s>' % (class_name, type_name.upper()) 61611308Santhony.gutierrez@amd.com for type2_name in types2: 61711308Santhony.gutierrez@amd.com full_class_name = fmt % type2_name.upper() 61811308Santhony.gutierrez@amd.com constructor = constructor_prefix + full_class_name 61911308Santhony.gutierrez@amd.com decoder_code(decode_case2_entry) 62011308Santhony.gutierrez@amd.com 62111308Santhony.gutierrez@amd.com decoder_code(decode_case2_epilog) 62211308Santhony.gutierrez@amd.com 62311308Santhony.gutierrez@amd.com decoder_code(decode_case_epilog) 62411308Santhony.gutierrez@amd.com 62511308Santhony.gutierrez@amd.com############### 62611308Santhony.gutierrez@amd.com# 62711308Santhony.gutierrez@amd.com# Generate instructions 62811308Santhony.gutierrez@amd.com# 62911308Santhony.gutierrez@amd.com############### 63011308Santhony.gutierrez@amd.com 63111308Santhony.gutierrez@amd.com# handy abbreviations for common sets of types 63211308Santhony.gutierrez@amd.com 63311308Santhony.gutierrez@amd.com# arithmetic ops are typically defined only on 32- and 64-bit sizes 63411308Santhony.gutierrez@amd.comarith_int_types = ('S32', 'U32', 'S64', 'U64') 63511308Santhony.gutierrez@amd.comarith_float_types = ('F32', 'F64') 63611308Santhony.gutierrez@amd.comarith_types = arith_int_types + arith_float_types 63711308Santhony.gutierrez@amd.com 63811308Santhony.gutierrez@amd.combit_types = ('B1', 'B32', 'B64') 63911308Santhony.gutierrez@amd.com 64011308Santhony.gutierrez@amd.comall_int_types = ('S8', 'U8', 'S16', 'U16') + arith_int_types 64111308Santhony.gutierrez@amd.com 64211308Santhony.gutierrez@amd.com# I think you might be able to do 'f16' memory ops too, but we'll 64311308Santhony.gutierrez@amd.com# ignore them for now. 64411308Santhony.gutierrez@amd.commem_types = all_int_types + arith_float_types 64511308Santhony.gutierrez@amd.commem_atom_types = all_int_types + ('B32', 'B64') 64611308Santhony.gutierrez@amd.com 64711308Santhony.gutierrez@amd.com##### Arithmetic & logical operations 64811308Santhony.gutierrez@amd.comgen('Add', arith_types, 'src0 + src1') 64911308Santhony.gutierrez@amd.comgen('Sub', arith_types, 'src0 - src1') 65011308Santhony.gutierrez@amd.comgen('Mul', arith_types, 'src0 * src1') 65111308Santhony.gutierrez@amd.comgen('Div', arith_types, 'src0 / src1') 65211308Santhony.gutierrez@amd.comgen('Min', arith_types, 'std::min(src0, src1)') 65311308Santhony.gutierrez@amd.comgen('Max', arith_types, 'std::max(src0, src1)') 65411308Santhony.gutierrez@amd.comgen('Gcnmin', arith_types, 'std::min(src0, src1)') 65511308Santhony.gutierrez@amd.com 65611308Santhony.gutierrez@amd.comgen('CopySign', arith_float_types, 65711308Santhony.gutierrez@amd.com 'src1 < 0 ? -std::abs(src0) : std::abs(src0)') 65811308Santhony.gutierrez@amd.comgen('Sqrt', arith_float_types, 'sqrt(src0)') 65911308Santhony.gutierrez@amd.comgen('Floor', arith_float_types, 'floor(src0)') 66011308Santhony.gutierrez@amd.com 66111308Santhony.gutierrez@amd.com# "fast" sqrt... same as slow for us 66211308Santhony.gutierrez@amd.comgen('Nsqrt', arith_float_types, 'sqrt(src0)') 66311308Santhony.gutierrez@amd.comgen('Nrsqrt', arith_float_types, '1.0/sqrt(src0)') 66411308Santhony.gutierrez@amd.comgen('Nrcp', arith_float_types, '1.0/src0') 66511308Santhony.gutierrez@amd.comgen('Fract', arith_float_types, 66611308Santhony.gutierrez@amd.com '(src0 >= 0.0)?(src0-floor(src0)):(floor(src0)-src0)') 66711308Santhony.gutierrez@amd.com 66811308Santhony.gutierrez@amd.comgen('Ncos', arith_float_types, 'cos(src0)'); 66911308Santhony.gutierrez@amd.comgen('Nsin', arith_float_types, 'sin(src0)'); 67011308Santhony.gutierrez@amd.com 67111308Santhony.gutierrez@amd.comgen('And', bit_types, 'src0 & src1') 67211308Santhony.gutierrez@amd.comgen('Or', bit_types, 'src0 | src1') 67311308Santhony.gutierrez@amd.comgen('Xor', bit_types, 'src0 ^ src1') 67411308Santhony.gutierrez@amd.com 67511308Santhony.gutierrez@amd.comgen('Bitselect', bit_types, '(src1 & src0) | (src2 & ~src0)') 67611308Santhony.gutierrez@amd.comgen('Firstbit',bit_types, 'firstbit(src0)') 67711308Santhony.gutierrez@amd.comgen('Popcount', ('B32', 'B64'), '__builtin_popcount(src0)') 67811308Santhony.gutierrez@amd.com 67911308Santhony.gutierrez@amd.comgen('Shl', arith_int_types, 'src0 << (unsigned)src1', 'ShiftInst') 68011308Santhony.gutierrez@amd.comgen('Shr', arith_int_types, 'src0 >> (unsigned)src1', 'ShiftInst') 68111308Santhony.gutierrez@amd.com 68211308Santhony.gutierrez@amd.com# gen('Mul_hi', types=('s32','u32', '??')) 68311308Santhony.gutierrez@amd.com# gen('Mul24', types=('s32','u32', '??')) 68411308Santhony.gutierrez@amd.comgen('Rem', arith_int_types, 'src0 - ((src0 / src1) * src1)') 68511308Santhony.gutierrez@amd.com 68611308Santhony.gutierrez@amd.comgen('Abs', arith_types, 'std::abs(src0)') 68711308Santhony.gutierrez@amd.comgen('Neg', arith_types, '-src0') 68811308Santhony.gutierrez@amd.com 68911308Santhony.gutierrez@amd.comgen('Mov', bit_types, 'src0') 69011308Santhony.gutierrez@amd.comgen('Not', bit_types, 'heynot(src0)') 69111308Santhony.gutierrez@amd.com 69211308Santhony.gutierrez@amd.com# mad and fma differ only in rounding behavior, which we don't emulate 69311308Santhony.gutierrez@amd.com# also there's an integer form of mad, but not of fma 69411308Santhony.gutierrez@amd.comgen('Mad', arith_types, 'src0 * src1 + src2') 69511308Santhony.gutierrez@amd.comgen('Fma', arith_float_types, 'src0 * src1 + src2') 69611308Santhony.gutierrez@amd.com 69711308Santhony.gutierrez@amd.com#native floating point operations 69811308Santhony.gutierrez@amd.comgen('Nfma', arith_float_types, 'src0 * src1 + src2') 69911308Santhony.gutierrez@amd.com 70011308Santhony.gutierrez@amd.comgen('Cmov', bit_types, 'src0 ? src1 : src2', 'CmovInst') 70111308Santhony.gutierrez@amd.comgen('BitAlign', bit_types, '(src0 << src2)|(src1 >> (32 - src2))') 70211308Santhony.gutierrez@amd.comgen('ByteAlign', bit_types, '(src0 << 8 * src2)|(src1 >> (32 - 8 * src2))') 70311308Santhony.gutierrez@amd.com 70411308Santhony.gutierrez@amd.com# see base/bitfield.hh 70511308Santhony.gutierrez@amd.comgen('BitExtract', arith_int_types, 'bits(src0, src1, src1 + src2 - 1)', 70611308Santhony.gutierrez@amd.com 'ExtractInsertInst') 70711308Santhony.gutierrez@amd.com 70811308Santhony.gutierrez@amd.comgen('BitInsert', arith_int_types, 'insertBits(dest, src1, src2, src0)', 70911308Santhony.gutierrez@amd.com 'ExtractInsertInst') 71011308Santhony.gutierrez@amd.com 71111308Santhony.gutierrez@amd.com##### Compare 71211308Santhony.gutierrez@amd.comgen('Cmp', ('B1', 'S32', 'U32', 'F32'), 'compare(src0, src1, this->cmpOp)', 71311308Santhony.gutierrez@amd.com 'CmpInst', ('sourceType', arith_types + bit_types)) 71411308Santhony.gutierrez@amd.comgen('Class', arith_float_types, 'fpclassify(src0,src1)','ClassInst') 71511308Santhony.gutierrez@amd.com 71611308Santhony.gutierrez@amd.com##### Conversion 71711308Santhony.gutierrez@amd.com 71811308Santhony.gutierrez@amd.com# Conversion operations are only defined on B1, not B32 or B64 71911308Santhony.gutierrez@amd.comcvt_types = ('B1',) + mem_types 72011308Santhony.gutierrez@amd.com 72111308Santhony.gutierrez@amd.comgen('Cvt', cvt_types, 'src0', 'CvtInst', ('sourceType', cvt_types)) 72211308Santhony.gutierrez@amd.com 72311308Santhony.gutierrez@amd.com 72411308Santhony.gutierrez@amd.com##### Load & Store 72511308Santhony.gutierrez@amd.comgen('Lda', mem_types, base_class = 'LdInst', constructor_prefix='decode') 72611308Santhony.gutierrez@amd.comgen('Ld', mem_types, base_class = 'LdInst', constructor_prefix='decode') 72711308Santhony.gutierrez@amd.comgen('St', mem_types, base_class = 'StInst', constructor_prefix='decode', 72811308Santhony.gutierrez@amd.com is_store=True) 72911308Santhony.gutierrez@amd.comgen('Atomic', mem_atom_types, base_class='StInst', constructor_prefix='decode') 73011308Santhony.gutierrez@amd.comgen('AtomicNoRet', mem_atom_types, base_class='StInst', 73111308Santhony.gutierrez@amd.com constructor_prefix='decode') 73211308Santhony.gutierrez@amd.com 73311308Santhony.gutierrez@amd.comgen('Cbr', base_class = 'LdInst', constructor_prefix='decode') 73411308Santhony.gutierrez@amd.comgen('Br', base_class = 'LdInst', constructor_prefix='decode') 73511308Santhony.gutierrez@amd.com 73611308Santhony.gutierrez@amd.com##### Special operations 73711308Santhony.gutierrez@amd.comdef gen_special(brig_opcode, expr, dest_type='U32'): 73811308Santhony.gutierrez@amd.com num_srcs = num_src_operands(expr) 73911308Santhony.gutierrez@amd.com if num_srcs == 0: 74011308Santhony.gutierrez@amd.com base_class = 'SpecialInstNoSrc<%s>' % dest_type 74111308Santhony.gutierrez@amd.com elif num_srcs == 1: 74211308Santhony.gutierrez@amd.com base_class = 'SpecialInst1Src<%s>' % dest_type 74311308Santhony.gutierrez@amd.com else: 74411308Santhony.gutierrez@amd.com assert false 74511308Santhony.gutierrez@amd.com 74611308Santhony.gutierrez@amd.com gen(brig_opcode, None, expr, base_class) 74711308Santhony.gutierrez@amd.com 74811639Salexandru.dutu@amd.comgen_special('WorkItemId', 'w->workItemId[src0][lane]') 74911308Santhony.gutierrez@amd.comgen_special('WorkItemAbsId', 75011639Salexandru.dutu@amd.com 'w->workItemId[src0][lane] + (w->workGroupId[src0] * w->workGroupSz[src0])') 75111639Salexandru.dutu@amd.comgen_special('WorkGroupId', 'w->workGroupId[src0]') 75211639Salexandru.dutu@amd.comgen_special('WorkGroupSize', 'w->workGroupSz[src0]') 75311639Salexandru.dutu@amd.comgen_special('CurrentWorkGroupSize', 'w->workGroupSz[src0]') 75411639Salexandru.dutu@amd.comgen_special('GridSize', 'w->gridSz[src0]') 75511308Santhony.gutierrez@amd.comgen_special('GridGroups', 75611639Salexandru.dutu@amd.com 'divCeil(w->gridSz[src0],w->workGroupSz[src0])') 75711308Santhony.gutierrez@amd.comgen_special('LaneId', 'lane') 75811643Salexandru.dutu@amd.comgen_special('WaveId', 'w->wfId') 75911308Santhony.gutierrez@amd.comgen_special('Clock', 'w->computeUnit->shader->tick_cnt', 'U64') 76011308Santhony.gutierrez@amd.com 76111308Santhony.gutierrez@amd.com# gen_special('CU'', ') 76211308Santhony.gutierrez@amd.com 76311308Santhony.gutierrez@amd.comgen('Ret', base_class='SpecialInstNoSrcNoDest') 76411308Santhony.gutierrez@amd.comgen('Barrier', base_class='SpecialInstNoSrcNoDest') 76511308Santhony.gutierrez@amd.comgen('MemFence', base_class='SpecialInstNoSrcNoDest') 76611308Santhony.gutierrez@amd.com 76711308Santhony.gutierrez@amd.com# Map magic instructions to the BrigSyscall opcode 76811308Santhony.gutierrez@amd.com# Magic instructions are defined in magic.hh 76911308Santhony.gutierrez@amd.com# 77011308Santhony.gutierrez@amd.com# In the future, real HSA kernel system calls can be implemented and coexist 77111308Santhony.gutierrez@amd.com# with magic instructions. 77211308Santhony.gutierrez@amd.comgen('Call', base_class='SpecialInstNoSrcNoDest') 77311308Santhony.gutierrez@amd.com 77411308Santhony.gutierrez@amd.com############### 77511308Santhony.gutierrez@amd.com# 77611308Santhony.gutierrez@amd.com# Generate file epilogs 77711308Santhony.gutierrez@amd.com# 77811308Santhony.gutierrez@amd.com############### 77911704Santhony.gutierrez@amd.comheader_code(''' 78011704Santhony.gutierrez@amd.comtemplate<> 78111704Santhony.gutierrez@amd.cominline void 78211704Santhony.gutierrez@amd.comAbs<U32>::execute(GPUDynInstPtr gpuDynInst) 78311704Santhony.gutierrez@amd.com{ 78411704Santhony.gutierrez@amd.com Wavefront *w = gpuDynInst->wavefront(); 78511704Santhony.gutierrez@amd.com 78611704Santhony.gutierrez@amd.com const VectorMask &mask = w->getPred(); 78711704Santhony.gutierrez@amd.com 78811704Santhony.gutierrez@amd.com for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) { 78911704Santhony.gutierrez@amd.com if (mask[lane]) { 79011704Santhony.gutierrez@amd.com CType dest_val; 79111704Santhony.gutierrez@amd.com CType src_val; 79211704Santhony.gutierrez@amd.com 79311704Santhony.gutierrez@amd.com src_val = this->src[0].template get<CType>(w, lane); 79411704Santhony.gutierrez@amd.com 79511704Santhony.gutierrez@amd.com dest_val = (CType)(src_val); 79611704Santhony.gutierrez@amd.com 79711704Santhony.gutierrez@amd.com this->dest.set(w, lane, dest_val); 79811704Santhony.gutierrez@amd.com } 79911704Santhony.gutierrez@amd.com } 80011704Santhony.gutierrez@amd.com} 80111704Santhony.gutierrez@amd.com 80211704Santhony.gutierrez@amd.comtemplate<> 80311704Santhony.gutierrez@amd.cominline void 80411704Santhony.gutierrez@amd.comAbs<U64>::execute(GPUDynInstPtr gpuDynInst) 80511704Santhony.gutierrez@amd.com{ 80611704Santhony.gutierrez@amd.com Wavefront *w = gpuDynInst->wavefront(); 80711704Santhony.gutierrez@amd.com 80811704Santhony.gutierrez@amd.com const VectorMask &mask = w->getPred(); 80911704Santhony.gutierrez@amd.com 81011704Santhony.gutierrez@amd.com for (int lane = 0; lane < w->computeUnit->wfSize(); ++lane) { 81111704Santhony.gutierrez@amd.com if (mask[lane]) { 81211704Santhony.gutierrez@amd.com CType dest_val; 81311704Santhony.gutierrez@amd.com CType src_val; 81411704Santhony.gutierrez@amd.com 81511704Santhony.gutierrez@amd.com src_val = this->src[0].template get<CType>(w, lane); 81611704Santhony.gutierrez@amd.com 81711704Santhony.gutierrez@amd.com dest_val = (CType)(src_val); 81811704Santhony.gutierrez@amd.com 81911704Santhony.gutierrez@amd.com this->dest.set(w, lane, dest_val); 82011704Santhony.gutierrez@amd.com } 82111704Santhony.gutierrez@amd.com } 82211704Santhony.gutierrez@amd.com} 82311704Santhony.gutierrez@amd.com''') 82411704Santhony.gutierrez@amd.com 82511308Santhony.gutierrez@amd.comheader_code.dedent() 82611308Santhony.gutierrez@amd.comheader_code(''' 82711308Santhony.gutierrez@amd.com} // namespace HsailISA 82811308Santhony.gutierrez@amd.com''') 82911308Santhony.gutierrez@amd.com 83011308Santhony.gutierrez@amd.com# close off main decode switch 83111308Santhony.gutierrez@amd.comdecoder_code.dedent() 83211308Santhony.gutierrez@amd.comdecoder_code.dedent() 83311308Santhony.gutierrez@amd.comdecoder_code(''' 83411308Santhony.gutierrez@amd.com default: fatal("unrecognized Brig opcode %d\\n", ib->opcode); 83511308Santhony.gutierrez@amd.com } // end switch(ib->opcode) 83611308Santhony.gutierrez@amd.com } // end decode() 83711308Santhony.gutierrez@amd.com} // namespace HsailISA 83811308Santhony.gutierrez@amd.com''') 83911308Santhony.gutierrez@amd.com 84011308Santhony.gutierrez@amd.comexec_code.dedent() 84111308Santhony.gutierrez@amd.comexec_code(''' 84211308Santhony.gutierrez@amd.com} // namespace HsailISA 84311308Santhony.gutierrez@amd.com''') 84411308Santhony.gutierrez@amd.com 84511308Santhony.gutierrez@amd.com############### 84611308Santhony.gutierrez@amd.com# 84711308Santhony.gutierrez@amd.com# Output accumulated code to files 84811308Santhony.gutierrez@amd.com# 84911308Santhony.gutierrez@amd.com############### 85011308Santhony.gutierrez@amd.comheader_code.write(sys.argv[1]) 85111308Santhony.gutierrez@amd.comdecoder_code.write(sys.argv[2]) 85211308Santhony.gutierrez@amd.comexec_code.write(sys.argv[3]) 853