111723Sar4jc@virginia.edu// -*- mode:c++ -*-
211723Sar4jc@virginia.edu
311723Sar4jc@virginia.edu// Copyright (c) 2015 RISC-V Foundation
411723Sar4jc@virginia.edu// Copyright (c) 2016 The University of Virginia
511723Sar4jc@virginia.edu// All rights reserved.
611723Sar4jc@virginia.edu//
711723Sar4jc@virginia.edu// Redistribution and use in source and binary forms, with or without
811723Sar4jc@virginia.edu// modification, are permitted provided that the following conditions are
911723Sar4jc@virginia.edu// met: redistributions of source code must retain the above copyright
1011723Sar4jc@virginia.edu// notice, this list of conditions and the following disclaimer;
1111723Sar4jc@virginia.edu// redistributions in binary form must reproduce the above copyright
1211723Sar4jc@virginia.edu// notice, this list of conditions and the following disclaimer in the
1311723Sar4jc@virginia.edu// documentation and/or other materials provided with the distribution;
1411723Sar4jc@virginia.edu// neither the name of the copyright holders nor the names of its
1511723Sar4jc@virginia.edu// contributors may be used to endorse or promote products derived from
1611723Sar4jc@virginia.edu// this software without specific prior written permission.
1711723Sar4jc@virginia.edu//
1811723Sar4jc@virginia.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1911723Sar4jc@virginia.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
2011723Sar4jc@virginia.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
2111723Sar4jc@virginia.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
2211723Sar4jc@virginia.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2311723Sar4jc@virginia.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2411723Sar4jc@virginia.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2511723Sar4jc@virginia.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2611723Sar4jc@virginia.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2711723Sar4jc@virginia.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2811723Sar4jc@virginia.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2911723Sar4jc@virginia.edu//
3011723Sar4jc@virginia.edu// Authors: Maxwell Walter
3111723Sar4jc@virginia.edu//          Alec Roelke
3211723Sar4jc@virginia.edu
3311723Sar4jc@virginia.edudef operand_types {{
3411723Sar4jc@virginia.edu    'sb' : 'int8_t',
3511723Sar4jc@virginia.edu    'ub' : 'uint8_t',
3611723Sar4jc@virginia.edu    'sh' : 'int16_t',
3711723Sar4jc@virginia.edu    'uh' : 'uint16_t',
3811723Sar4jc@virginia.edu    'sw' : 'int32_t',
3911723Sar4jc@virginia.edu    'uw' : 'uint32_t',
4011723Sar4jc@virginia.edu    'sd' : 'int64_t',
4111723Sar4jc@virginia.edu    'ud' : 'uint64_t',
4211725Sar4jc@virginia.edu    'sf' : 'float',
4311725Sar4jc@virginia.edu    'df' : 'double'
4411723Sar4jc@virginia.edu}};
4511723Sar4jc@virginia.edu
4611723Sar4jc@virginia.edudef operands {{
4711723Sar4jc@virginia.edu#General Purpose Integer Reg Operands
4811723Sar4jc@virginia.edu    'Rd': ('IntReg', 'ud', 'RD', 'IsInteger', 1),
4911723Sar4jc@virginia.edu    'Rs1': ('IntReg', 'ud', 'RS1', 'IsInteger', 2),
5011723Sar4jc@virginia.edu    'Rs2': ('IntReg', 'ud', 'RS2', 'IsInteger', 3),
5111726Sar4jc@virginia.edu    'Rt': ('IntReg', 'ud', 'AMOTempReg', 'IsInteger', 4),
5212120Sar4jc@virginia.edu    'Rc1': ('IntReg', 'ud', 'RC1', 'IsInteger', 2),
5312120Sar4jc@virginia.edu    'Rc2': ('IntReg', 'ud', 'RC2', 'IsInteger', 3),
5412120Sar4jc@virginia.edu    'Rp1': ('IntReg', 'ud', 'RP1 + 8', 'IsInteger', 2),
5512120Sar4jc@virginia.edu    'Rp2': ('IntReg', 'ud', 'RP2 + 8', 'IsInteger', 3),
5612120Sar4jc@virginia.edu    'ra': ('IntReg', 'ud', 'ReturnAddrReg', 'IsInteger', 1),
5712120Sar4jc@virginia.edu    'sp': ('IntReg', 'ud', 'StackPointerReg', 'IsInteger', 2),
5811723Sar4jc@virginia.edu
5911725Sar4jc@virginia.edu    'Fd': ('FloatReg', 'df', 'FD', 'IsFloating', 1),
6011725Sar4jc@virginia.edu    'Fd_bits': ('FloatReg', 'ud', 'FD', 'IsFloating', 1),
6111725Sar4jc@virginia.edu    'Fs1': ('FloatReg', 'df', 'FS1', 'IsFloating', 2),
6211725Sar4jc@virginia.edu    'Fs1_bits': ('FloatReg', 'ud', 'FS1', 'IsFloating', 2),
6311725Sar4jc@virginia.edu    'Fs2': ('FloatReg', 'df', 'FS2', 'IsFloating', 3),
6411725Sar4jc@virginia.edu    'Fs2_bits': ('FloatReg', 'ud', 'FS2', 'IsFloating', 3),
6511725Sar4jc@virginia.edu    'Fs3': ('FloatReg', 'df', 'FS3', 'IsFloating', 4),
6611725Sar4jc@virginia.edu    'Fs3_bits': ('FloatReg', 'ud', 'FS3', 'IsFloating', 4),
6712120Sar4jc@virginia.edu    'Fc1': ('FloatReg', 'df', 'FC1', 'IsFloating', 1),
6812120Sar4jc@virginia.edu    'Fc1_bits': ('FloatReg', 'ud', 'FC1', 'IsFloating', 1),
6912120Sar4jc@virginia.edu    'Fc2': ('FloatReg', 'df', 'FC2', 'IsFloatReg', 2),
7012120Sar4jc@virginia.edu    'Fc2_bits': ('FloatReg', 'ud', 'FC2', 'IsFloating', 2),
7112120Sar4jc@virginia.edu    'Fp2': ('FloatReg', 'df', 'FP2 + 8', 'IsFloating', 2),
7212120Sar4jc@virginia.edu    'Fp2_bits': ('FloatReg', 'ud', 'FP2 + 8', 'IsFloating', 2),
7311725Sar4jc@virginia.edu
7411723Sar4jc@virginia.edu#Memory Operand
7511723Sar4jc@virginia.edu    'Mem': ('Mem', 'ud', None, ('IsMemRef', 'IsLoad', 'IsStore'), 5),
7611723Sar4jc@virginia.edu
7711723Sar4jc@virginia.edu#Program Counter Operands
7811723Sar4jc@virginia.edu    'PC': ('PCState', 'ud', 'pc', (None, None, 'IsControl'), 7),
7911723Sar4jc@virginia.edu    'NPC': ('PCState', 'ud', 'npc', (None, None, 'IsControl'), 8),
8011723Sar4jc@virginia.edu}};
81