111730Sar4jc@virginia.edu/* 211730Sar4jc@virginia.edu * Copyright (c) 2016 The University of Virginia 311730Sar4jc@virginia.edu * All rights reserved. 411730Sar4jc@virginia.edu * 511730Sar4jc@virginia.edu * Redistribution and use in source and binary forms, with or without 611730Sar4jc@virginia.edu * modification, are permitted provided that the following conditions are 711730Sar4jc@virginia.edu * met: redistributions of source code must retain the above copyright 811730Sar4jc@virginia.edu * notice, this list of conditions and the following disclaimer; 911730Sar4jc@virginia.edu * redistributions in binary form must reproduce the above copyright 1011730Sar4jc@virginia.edu * notice, this list of conditions and the following disclaimer in the 1111730Sar4jc@virginia.edu * documentation and/or other materials provided with the distribution; 1211730Sar4jc@virginia.edu * neither the name of the copyright holders nor the names of its 1311730Sar4jc@virginia.edu * contributors may be used to endorse or promote products derived from 1411730Sar4jc@virginia.edu * this software without specific prior written permission. 1511730Sar4jc@virginia.edu * 1611730Sar4jc@virginia.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 1711730Sar4jc@virginia.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 1811730Sar4jc@virginia.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 1911730Sar4jc@virginia.edu * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 2011730Sar4jc@virginia.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 2111730Sar4jc@virginia.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 2211730Sar4jc@virginia.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 2311730Sar4jc@virginia.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 2411730Sar4jc@virginia.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 2511730Sar4jc@virginia.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 2611730Sar4jc@virginia.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 2711730Sar4jc@virginia.edu * 2811730Sar4jc@virginia.edu * Authors: Alec Roelke 2911730Sar4jc@virginia.edu */ 3011730Sar4jc@virginia.edu 3111730Sar4jc@virginia.edu#include <cstdint> 3211730Sar4jc@virginia.edu#include <limits> 3311730Sar4jc@virginia.edu 3411730Sar4jc@virginia.edu#include "insttest.h" 3511730Sar4jc@virginia.edu#include "rv64m.h" 3611730Sar4jc@virginia.edu 3711730Sar4jc@virginia.eduint main() 3811730Sar4jc@virginia.edu{ 3911730Sar4jc@virginia.edu using namespace std; 4011730Sar4jc@virginia.edu using namespace insttest; 4111730Sar4jc@virginia.edu 4211730Sar4jc@virginia.edu // MUL 4311730Sar4jc@virginia.edu expect<int64_t>(39285, []{return M::mul(873, 45);}, "mul"); 4411730Sar4jc@virginia.edu expect<int64_t>(0, []{return M::mul(0x4000000000000000LL, 4);}, 4511730Sar4jc@virginia.edu "mul, overflow"); 4611730Sar4jc@virginia.edu 4711730Sar4jc@virginia.edu // MULH 4811730Sar4jc@virginia.edu expect<int64_t>(1, []{return M::mulh(0x4000000000000000LL, 4);}, "mulh"); 4911730Sar4jc@virginia.edu expect<int64_t>(-1, []{return M::mulh(numeric_limits<int64_t>::min(), 2);}, 5011730Sar4jc@virginia.edu "mulh, negative"); 5111730Sar4jc@virginia.edu expect<int64_t>(0, []{return M::mulh(-1, -1);}, "mulh, all bits set"); 5211730Sar4jc@virginia.edu 5311730Sar4jc@virginia.edu // MULHSU 5411730Sar4jc@virginia.edu expect<int64_t>(-1, []{return M::mulhsu(-1, -1);}, "mulhsu, all bits set"); 5511730Sar4jc@virginia.edu expect<int64_t>(-1, 5611730Sar4jc@virginia.edu []{return M::mulhsu(numeric_limits<int64_t>::min(), 2);},\ 5711730Sar4jc@virginia.edu "mulhsu"); 5811730Sar4jc@virginia.edu 5911730Sar4jc@virginia.edu // MULHU 6011730Sar4jc@virginia.edu expect<uint64_t>(1, []{return M::mulhu(0x8000000000000000ULL, 2);}, 6111730Sar4jc@virginia.edu "mulhu"); 6211730Sar4jc@virginia.edu expect<uint64_t>(0xFFFFFFFFFFFFFFFEULL, []{return M::mulhu(-1, -1);}, 6311730Sar4jc@virginia.edu "mulhu, all bits set"); 6411730Sar4jc@virginia.edu 6511730Sar4jc@virginia.edu // DIV 6611730Sar4jc@virginia.edu expect<int64_t>(-7, []{return M::div(-59, 8);}, "div"); 6711730Sar4jc@virginia.edu expect<int64_t>(-1, []{return M::div(255, 0);}, "div/0"); 6811730Sar4jc@virginia.edu expect<int64_t>(numeric_limits<int64_t>::min(), 6911730Sar4jc@virginia.edu []{return M::div(numeric_limits<int64_t>::min(), -1);}, 7011730Sar4jc@virginia.edu "div, overflow"); 7111730Sar4jc@virginia.edu 7211730Sar4jc@virginia.edu // DIVU 7311730Sar4jc@virginia.edu expect<uint64_t>(2305843009213693944LL, []{return M::divu(-59, 8);}, 7411730Sar4jc@virginia.edu "divu"); 7511730Sar4jc@virginia.edu expect<uint64_t>(numeric_limits<uint64_t>::max(), 7611730Sar4jc@virginia.edu []{return M::divu(255, 0);}, "divu/0"); 7711730Sar4jc@virginia.edu expect<uint64_t>(0, 7811730Sar4jc@virginia.edu []{return M::divu(numeric_limits<uint64_t>::min(), -1);}, 7911730Sar4jc@virginia.edu "divu, \"overflow\""); 8011730Sar4jc@virginia.edu 8111730Sar4jc@virginia.edu // REM 8211730Sar4jc@virginia.edu expect<int64_t>(-3, []{return M::rem(-59, 8);}, "rem"); 8311730Sar4jc@virginia.edu expect<int64_t>(255, []{return M::rem(255, 0);}, "rem/0"); 8411730Sar4jc@virginia.edu expect<int64_t>(0, []{return M::rem(numeric_limits<int64_t>::min(), -1);}, 8511730Sar4jc@virginia.edu "rem, overflow"); 8611730Sar4jc@virginia.edu 8711730Sar4jc@virginia.edu // REMU 8811730Sar4jc@virginia.edu expect<uint64_t>(5, []{return M::remu(-59, 8);}, "remu"); 8911730Sar4jc@virginia.edu expect<uint64_t>(255, []{return M::remu(255, 0);}, "remu/0"); 9011730Sar4jc@virginia.edu expect<uint64_t>(0x8000000000000000ULL, 9111730Sar4jc@virginia.edu []{return M::remu(0x8000000000000000ULL, -1);}, 9211730Sar4jc@virginia.edu "remu, \"overflow\""); 9311730Sar4jc@virginia.edu 9411730Sar4jc@virginia.edu // MULW 9511730Sar4jc@virginia.edu expect<int64_t>(-100, 9611730Sar4jc@virginia.edu []{return M::mulw(0x7FFFFFFF00000005LL, 0x80000000FFFFFFECLL);}, 9711730Sar4jc@virginia.edu "mulw, truncate"); 9811730Sar4jc@virginia.edu expect<int64_t>(0, []{return M::mulw(0x40000000, 4);}, "mulw, overflow"); 9911730Sar4jc@virginia.edu 10011730Sar4jc@virginia.edu // DIVW 10111730Sar4jc@virginia.edu expect<int64_t>(-7, 10211730Sar4jc@virginia.edu []{return M::divw(0x7FFFFFFFFFFFFFC5LL, 0xFFFFFFFF00000008LL);}, 10311730Sar4jc@virginia.edu "divw, truncate"); 10411730Sar4jc@virginia.edu expect<int64_t>(-1, []{return M::divw(65535, 0);}, "divw/0"); 10511730Sar4jc@virginia.edu expect<int64_t>(numeric_limits<int32_t>::min(), 10611730Sar4jc@virginia.edu []{return M::divw(numeric_limits<int32_t>::min(), -1);}, 10711730Sar4jc@virginia.edu "divw, overflow"); 10811730Sar4jc@virginia.edu 10911730Sar4jc@virginia.edu // DIVUW 11011730Sar4jc@virginia.edu expect<int64_t>(536870904, 11111730Sar4jc@virginia.edu []{return M::divuw(0x7FFFFFFFFFFFFFC5LL, 0xFFFFFFFF00000008LL);}, 11211730Sar4jc@virginia.edu "divuw, truncate"); 11311730Sar4jc@virginia.edu expect<int64_t>(numeric_limits<uint64_t>::max(), 11411730Sar4jc@virginia.edu []{return M::divuw(65535, 0);}, "divuw/0"); 11511730Sar4jc@virginia.edu expect<int64_t>(0, 11611730Sar4jc@virginia.edu []{return M::divuw(numeric_limits<int32_t>::min(), -1);}, 11711730Sar4jc@virginia.edu "divuw, \"overflow\""); 11811730Sar4jc@virginia.edu expect<int64_t>(-1, 11911730Sar4jc@virginia.edu []{return M::divuw(numeric_limits<uint32_t>::max(), 1);}, 12011730Sar4jc@virginia.edu "divuw, sign extend"); 12111730Sar4jc@virginia.edu 12211730Sar4jc@virginia.edu // REMW 12311730Sar4jc@virginia.edu expect<int64_t>(-3, 12411730Sar4jc@virginia.edu []{return M::remw(0x7FFFFFFFFFFFFFC5LL, 0xFFFFFFFF00000008LL);}, 12511730Sar4jc@virginia.edu "remw, truncate"); 12611730Sar4jc@virginia.edu expect<int64_t>(65535, []{return M::remw(65535, 0);}, "remw/0"); 12711730Sar4jc@virginia.edu expect<int64_t>(0, []{return M::remw(numeric_limits<int32_t>::min(), -1);}, 12811730Sar4jc@virginia.edu "remw, overflow"); 12911730Sar4jc@virginia.edu 13011730Sar4jc@virginia.edu // REMUW 13111730Sar4jc@virginia.edu expect<int64_t>(5, 13211730Sar4jc@virginia.edu []{return M::remuw(0x7FFFFFFFFFFFFFC5LL, 0xFFFFFFFF00000008LL);}, 13311730Sar4jc@virginia.edu "remuw, truncate"); 13411730Sar4jc@virginia.edu expect<int64_t>(65535, []{return M::remuw(65535, 0);}, "remuw/0"); 13511730Sar4jc@virginia.edu expect<int64_t>(numeric_limits<int32_t>::min(), 13611730Sar4jc@virginia.edu []{return M::remuw(numeric_limits<int32_t>::min(), -1);}, 13711730Sar4jc@virginia.edu "remuw, \"overflow\""); 13811730Sar4jc@virginia.edu expect<int64_t>(0xFFFFFFFF80000000, 13911730Sar4jc@virginia.edu []{return M::remuw(0x80000000, 0xFFFFFFFF);}, 14011730Sar4jc@virginia.edu "remuw, sign extend"); 14111730Sar4jc@virginia.edu 14211730Sar4jc@virginia.edu return 0; 14311730Sar4jc@virginia.edu} 144