From nobody Mon Feb 9 02:28:21 2026 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of groups.io designates 66.175.222.108 as permitted sender) client-ip=66.175.222.108; envelope-from=bounce+27952+95971+1787277+3901457@groups.io; helo=mail02.groups.io; Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of groups.io designates 66.175.222.108 as permitted sender) smtp.mailfrom=bounce+27952+95971+1787277+3901457@groups.io; dmarc=fail(p=none dis=none) header.from=intel.com ARC-Seal: i=1; a=rsa-sha256; t=1667593541; cv=none; d=zohomail.com; s=zohoarc; b=aqAKP5JWO4c9dqcl44pBLdPWTMtJ4b0ImFL7Yu/TELerexQywIy2D0gupHIj7weovdSC8KD+ghFHeFKQzkYpX/tdQF3o779m5Ua5iN3B3nmx9KKmwvFvDW+mhxd4YP5Jssg92g1+GybYtxwG2s+dekh6+Dni4Q2LscHRvtX68V4= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1667593541; h=Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:List-Subscribe:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:Reply-To:References:Sender:Subject:To; bh=2QF+jHaGS1vxfRfbKu14yBAz7ZT6TbPx7xkKq95ccFk=; b=W64uLWYJaC5koicUQ402wEGLG96kVtwhYdpQCMSnkX0vj9qz21KLErW8bSoim24Of2riytbpVLNkoQDM8z9SlfLDKryfPcMg/yuQcHLtOsGjrCYSxotWjP+XAQ0pqZjzXnT+f4fsrYBOt7oG1FYmtEHg7H1RxrcVTQkqfgCJPXA= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of groups.io designates 66.175.222.108 as permitted sender) smtp.mailfrom=bounce+27952+95971+1787277+3901457@groups.io; dmarc=fail header.from= (p=none dis=none) Received: from mail02.groups.io (mail02.groups.io [66.175.222.108]) by mx.zohomail.com with SMTPS id 1667593541282877.6751211305625; Fri, 4 Nov 2022 13:25:41 -0700 (PDT) Return-Path: X-Received: by 127.0.0.2 with SMTP id imGjYY1788612xuov2u7MBYO; Fri, 04 Nov 2022 13:25:40 -0700 X-Received: from mga05.intel.com (mga05.intel.com [192.55.52.43]) by mx.groups.io with SMTP id smtpd.web10.2518.1667593537052236213 for ; Fri, 04 Nov 2022 13:25:40 -0700 X-IronPort-AV: E=McAfee;i="6500,9779,10521"; a="396363632" X-IronPort-AV: E=Sophos;i="5.96,138,1665471600"; d="scan'208";a="396363632" X-Received: from fmsmga001.fm.intel.com ([10.253.24.23]) by fmsmga105.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 04 Nov 2022 13:25:39 -0700 X-IronPort-AV: E=McAfee;i="6500,9779,10521"; a="777839163" X-IronPort-AV: E=Sophos;i="5.96,138,1665471600"; d="scan'208";a="777839163" X-Received: from mdkinney-mobl2.amr.corp.intel.com ([10.212.255.31]) by fmsmga001-auth.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 04 Nov 2022 13:25:39 -0700 From: "Michael D Kinney" To: devel@edk2.groups.io Cc: Liming Gao , Zhiguang Liu Subject: [edk2-devel] [Patch V2 7/7] MdePkg/Test: Add port of BaseSafeIntLib unit tests to GoogleTest Date: Fri, 4 Nov 2022 13:25:28 -0700 Message-Id: <20221104202528.1157-8-michael.d.kinney@intel.com> In-Reply-To: <20221104202528.1157-1-michael.d.kinney@intel.com> References: <20221104202528.1157-1-michael.d.kinney@intel.com> MIME-Version: 1.0 Precedence: Bulk List-Unsubscribe: List-Subscribe: List-Help: Sender: devel@edk2.groups.io List-Id: Mailing-List: list devel@edk2.groups.io; contact devel+owner@edk2.groups.io Reply-To: devel@edk2.groups.io,michael.d.kinney@intel.com X-Gm-Message-State: R8RfaLEsPnFg8Ktrs9qt7q3Cx1787277AA= Content-Transfer-Encoding: quoted-printable DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=groups.io; q=dns/txt; s=20140610; t=1667593540; bh=pEh6Zlbkxh8Ur+iX5pAGYIVwqLGxdvs4yWsRaUhWQEk=; h=Cc:Date:From:Reply-To:Subject:To; b=mHhmIo+xV6xbadkjYjy/we1QnaB7dnstUB6Qp/YPOcwL6toKmxZdCNWV1rVqXckPUwB nQmmxdEX/mPUKAaTZtiuu5TfBUL70g+HmaMWUOwzPIHSM1MWoYhcdar+guEVpYKOWjeht 5NrDqXOKsb86iLrqm2+UZTxyp442uiJuPXk= X-ZohoMail-DKIM: pass (identity @groups.io) X-ZM-MESSAGEID: 1667593543466100026 Content-Type: text/plain; charset="utf-8" REF: https://bugzilla.tianocore.org/show_bug.cgi?id=3D4134 Cc: Liming Gao Cc: Zhiguang Liu Signed-off-by: Michael D Kinney Reviewed-by: Liming Gao --- .../GoogleTestBaseSafeIntLib.inf | 37 + .../GoogleTestBaseSafeIntLib.uni | 13 + .../SafeIntLibUintnIntnUnitTests32.cpp | 425 +++ .../SafeIntLibUintnIntnUnitTests64.cpp | 429 ++++ .../BaseSafeIntLib/TestBaseSafeIntLib.cpp | 2274 +++++++++++++++++ MdePkg/Test/MdePkgHostTest.dsc | 1 + 6 files changed, 3179 insertions(+) create mode 100644 MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTes= tBaseSafeIntLib.inf create mode 100644 MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTes= tBaseSafeIntLib.uni create mode 100644 MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLi= bUintnIntnUnitTests32.cpp create mode 100644 MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLi= bUintnIntnUnitTests64.cpp create mode 100644 MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/TestBaseS= afeIntLib.cpp diff --git a/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSa= feIntLib.inf b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBase= SafeIntLib.inf new file mode 100644 index 000000000000..f609bfa57f7b --- /dev/null +++ b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLi= b.inf @@ -0,0 +1,37 @@ +## @file +# Host OS based Application that Unit Tests the SafeIntLib using Google Te= st +# +# Copyright (c) 2022, Intel Corporation. All rights reserved. +# SPDX-License-Identifier: BSD-2-Clause-Patent +## + +[Defines] + INF_VERSION =3D 0x00010005 + BASE_NAME =3D GoogleTestBaseSafeIntLib + MODULE_UNI_FILE =3D GoogleTestBaseSafeIntLib.uni + FILE_GUID =3D 2D9C1796-B0D2-4DA7-9529-1F8D9CCC11D3 + MODULE_TYPE =3D HOST_APPLICATION + VERSION_STRING =3D 1.0 + +# +# The following information is for reference only and not required by the = build tools. +# +# VALID_ARCHITECTURES =3D IA32 X64 +# + +[Sources] + TestBaseSafeIntLib.cpp + +[Sources.IA32] + SafeIntLibUintnIntnUnitTests32.cpp + +[Sources.X64] + SafeIntLibUintnIntnUnitTests64.cpp + +[Packages] + MdePkg/MdePkg.dec + UnitTestFrameworkPkg/UnitTestFrameworkPkg.dec + +[LibraryClasses] + GoogleTestLib + SafeIntLib diff --git a/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSa= feIntLib.uni b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBase= SafeIntLib.uni new file mode 100644 index 000000000000..1c11b9e05205 --- /dev/null +++ b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLi= b.uni @@ -0,0 +1,13 @@ +// /** @file +// Application that Unit Tests the SafeIntLib using Google Test +// +// Copyright (c) 2020, Intel Corporation. All rights reserved.
+// +// SPDX-License-Identifier: BSD-2-Clause-Patent +// +// **/ + +#string STR_MODULE_ABSTRACT #language en-US "Application that = Unit Tests the SafeIntLib using Google Test" + +#string STR_MODULE_DESCRIPTION #language en-US "Application that = Unit Tests the SafeIntLib using Google Test." + diff --git a/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnI= ntnUnitTests32.cpp b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntL= ibUintnIntnUnitTests32.cpp new file mode 100644 index 000000000000..6fbf302c1c5e --- /dev/null +++ b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnIntnUnit= Tests32.cpp @@ -0,0 +1,425 @@ +/** @file + IA32-specific functions for unit-testing INTN and UINTN functions in + SafeIntLib. + + Copyright (c) Microsoft Corporation.
+ Copyright (c) 2019 - 2020, Intel Corporation. All rights reserved.
+ SPDX-License-Identifier: BSD-2-Clause-Patent + +**/ + +#include +extern "C" { + #include + #include +} + +TEST(ConversionTestSuite, TestSafeInt32ToUintn) { + RETURN_STATUS Status; + INT32 Operand; + UINTN Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeInt32ToUintn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-1537977259); + Status =3D SafeInt32ToUintn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint32ToIntn) { + RETURN_STATUS Status; + UINT32 Operand; + INTN Result; + + // + // If Operand is <=3D MAX_INTN, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeUint32ToIntn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabababab); + Status =3D SafeUint32ToIntn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeIntnToInt32) { + RETURN_STATUS Status; + INTN Operand; + INT32 Result; + + // + // INTN is same as INT32 in IA32, so this is just a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeIntnToInt32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bababab, Result); +} + +TEST(ConversionTestSuite, TestSafeIntnToUint32) { + RETURN_STATUS Status; + INTN Operand; + UINT32 Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeIntnToUint32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT32)0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-1537977259); + Status =3D SafeIntnToUint32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToUint32) { + RETURN_STATUS Status; + UINTN Operand; + UINT32 Result; + + // + // UINTN is same as UINT32 in IA32, so this is just a cast + // + Operand =3D 0xabababab; + Result =3D 0; + Status =3D SafeUintnToUint32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabababab, Result); +} + +TEST(ConversionTestSuite, TestSafeUintnToIntn) { + RETURN_STATUS Status; + UINTN Operand; + INTN Result; + + // + // If Operand is <=3D MAX_INTN, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeUintnToIntn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabababab); + Status =3D SafeUintnToIntn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToInt64) { + RETURN_STATUS Status; + UINTN Operand; + INT64 Result; + + // + // UINTN is same as UINT32 in IA32, and UINT32 is a subset of + // INT64, so this is just a cast + // + Operand =3D 0xabababab; + Result =3D 0; + Status =3D SafeUintnToInt64 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabababab, Result); +} + +TEST(ConversionTestSuite, TestSafeInt64ToIntn) { + RETURN_STATUS Status; + INT64 Operand; + INTN Result; + + // + // If Operand is between MIN_INTN and MAX_INTN2 inclusive, then it's a = cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeInt64ToIntn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bababab, Result); + + Operand =3D (-1537977259); + Status =3D SafeInt64ToIntn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-1537977259), Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5babababefefefef); + Status =3D SafeInt64ToIntn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToIntn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt64ToUintn) { + RETURN_STATUS Status; + INT64 Operand; + UINTN Result; + + // + // If Operand is between 0 and MAX_UINTN inclusive, then it's a cast + // + Operand =3D 0xabababab; + Result =3D 0; + Status =3D SafeInt64ToUintn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5babababefefefef); + Status =3D SafeInt64ToUintn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToUintn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToIntn) { + RETURN_STATUS Status; + UINT64 Operand; + INTN Result; + + // + // If Operand is <=3D MAX_INTN, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeUint64ToIntn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToIntn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToUintn) { + RETURN_STATUS Status; + UINT64 Operand; + UINTN Result; + + // + // If Operand is <=3D MAX_UINTN, then it's a cast + // + Operand =3D 0xabababab; + Result =3D 0; + Status =3D SafeUint64ToUintn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToUintn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeUintnAdd) { + RETURN_STATUS Status; + UINTN Augend; + UINTN Addend; + UINTN Result; + + // + // If the result of addition doesn't overflow MAX_UINTN, then it's addit= ion + // + Augend =3D 0x3a3a3a3a; + Addend =3D 0x3a3a3a3a; + Result =3D 0; + Status =3D SafeUintnAdd (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x74747474, Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0xabababab; + Addend =3D 0xbcbcbcbc; + Status =3D SafeUintnAdd (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeIntnAdd) { + RETURN_STATUS Status; + INTN Augend; + INTN Addend; + INTN Result; + + // + // If the result of addition doesn't overflow MAX_INTN + // and doesn't underflow MIN_INTN, then it's addition + // + Augend =3D 0x3a3a3a3a; + Addend =3D 0x3a3a3a3a; + Result =3D 0; + Status =3D SafeIntnAdd (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x74747474, Result); + + Augend =3D (-976894522); + Addend =3D (-976894522); + Status =3D SafeIntnAdd (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-1953789044), Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0x5a5a5a5a; + Addend =3D 0x5a5a5a5a; + Status =3D SafeIntnAdd (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Augend =3D (-1515870810); + Addend =3D (-1515870810); + Status =3D SafeIntnAdd (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeUintnSub) { + RETURN_STATUS Status; + UINTN Minuend; + UINTN Subtrahend; + UINTN Result; + + // + // If Minuend >=3D Subtrahend, then it's subtraction + // + Minuend =3D 0x5a5a5a5a; + Subtrahend =3D 0x3b3b3b3b; + Result =3D 0; + Status =3D SafeUintnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x1f1f1f1f, Result); + + // + // Otherwise should result in an error status + // + Minuend =3D 0x5a5a5a5a; + Subtrahend =3D 0x6d6d6d6d; + Status =3D SafeUintnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeIntnSub) { + RETURN_STATUS Status; + INTN Minuend; + INTN Subtrahend; + INTN Result; + + // + // If the result of subtractions doesn't overflow MAX_INTN or + // underflow MIN_INTN, then it's subtraction + // + Minuend =3D 0x5a5a5a5a; + Subtrahend =3D 0x3a3a3a3a; + Result =3D 0; + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x20202020, Result); + + Minuend =3D 0x3a3a3a3a; + Subtrahend =3D 0x5a5a5a5a; + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-538976288), Result); + + // + // Otherwise should result in an error status + // + Minuend =3D (-2054847098); + Subtrahend =3D 2054847098; + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Minuend =3D (2054847098); + Subtrahend =3D (-2054847098); + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeUintnMult) { + RETURN_STATUS Status; + UINTN Multiplicand; + UINTN Multiplier; + UINTN Result; + + // + // If the result of multiplication doesn't overflow MAX_UINTN, it will s= ucceed + // + Multiplicand =3D 0xa122a; + Multiplier =3D 0xd23; + Result =3D 0; + Status =3D SafeUintnMult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x844c9dbe, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0xa122a; + Multiplier =3D 0xed23; + Status =3D SafeUintnMult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeIntnMult) { + RETURN_STATUS Status; + INTN Multiplicand; + INTN Multiplier; + INTN Result; + + // + // If the result of multiplication doesn't overflow MAX_INTN and doesn't + // underflow MIN_UINTN, it will succeed + // + Multiplicand =3D 0x123456; + Multiplier =3D 0x678; + Result =3D 0; + Status =3D SafeIntnMult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x75c28c50, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0x123456; + Multiplier =3D 0xabc; + Status =3D SafeIntnMult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} diff --git a/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnI= ntnUnitTests64.cpp b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntL= ibUintnIntnUnitTests64.cpp new file mode 100644 index 000000000000..6fb0710cfed6 --- /dev/null +++ b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/SafeIntLibUintnIntnUnit= Tests64.cpp @@ -0,0 +1,429 @@ +/** @file + x64-specific functions for unit-testing INTN and UINTN functions in + SafeIntLib. + + Copyright (c) Microsoft Corporation.
+ Copyright (c) 2019 - 2020, Intel Corporation. All rights reserved.
+ SPDX-License-Identifier: BSD-2-Clause-Patent + +**/ + +#include +extern "C" { + #include + #include +} + +TEST(ConversionTestSuite, TestSafeInt32ToUintn) { + RETURN_STATUS Status; + INT32 Operand; + UINTN Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeInt32ToUintn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-1537977259); + Status =3D SafeInt32ToUintn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint32ToIntn) { + RETURN_STATUS Status; + UINT32 Operand; + INTN Result; + + // + // For x64, INTN is same as INT64 which is a superset of INT32 + // This is just a cast then, and it'll never fail + // + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0xabababab; + Result =3D 0; + Status =3D SafeUint32ToIntn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabababab, Result); +} + +TEST(ConversionTestSuite, TestSafeIntnToInt32) { + RETURN_STATUS Status; + INTN Operand; + INT32 Result; + + // + // If Operand is between MIN_INT32 and MAX_INT32 inclusive, then it's a= cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeIntnToInt32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bababab, Result); + + Operand =3D (-1537977259); + Status =3D SafeIntnToInt32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-1537977259), Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5babababefefefef); + Status =3D SafeIntnToInt32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeIntnToInt32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeIntnToUint32) { + RETURN_STATUS Status; + INTN Operand; + UINT32 Result; + + // + // If Operand is between 0 and MAX_UINT32 inclusive, then it's a cast + // + Operand =3D 0xabababab; + Result =3D 0; + Status =3D SafeIntnToUint32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5babababefefefef); + Status =3D SafeIntnToUint32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeIntnToUint32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToUint32) { + RETURN_STATUS Status; + UINTN Operand; + UINT32 Result; + + // + // If Operand is <=3D MAX_UINT32, then it's a cast + // + Operand =3D 0xabababab; + Result =3D 0; + Status =3D SafeUintnToUint32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUintnToUint32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToIntn) { + RETURN_STATUS Status; + UINTN Operand; + INTN Result; + + // + // If Operand is <=3D MAX_INTN (0x7fff_ffff_ffff_ffff), then it's a cast + // + Operand =3D 0x5babababefefefef; + Result =3D 0; + Status =3D SafeUintnToIntn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5babababefefefef, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUintnToIntn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToInt64) { + RETURN_STATUS Status; + UINTN Operand; + INT64 Result; + + // + // If Operand is <=3D MAX_INT64, then it's a cast + // + Operand =3D 0x5babababefefefef; + Result =3D 0; + Status =3D SafeUintnToInt64 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5babababefefefef, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUintnToInt64 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt64ToIntn) { + RETURN_STATUS Status; + INT64 Operand; + INTN Result; + + // + // INTN is same as INT64 in x64, so this is just a cast + // + Operand =3D 0x5babababefefefef; + Result =3D 0; + Status =3D SafeInt64ToIntn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5babababefefefef, Result); +} + +TEST(ConversionTestSuite, TestSafeInt64ToUintn) { + RETURN_STATUS Status; + INT64 Operand; + UINTN Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5babababefefefef; + Result =3D 0; + Status =3D SafeInt64ToUintn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x5babababefefefef, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToUintn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToIntn) { + RETURN_STATUS Status; + UINT64 Operand; + INTN Result; + + // + // If Operand is <=3D MAX_INTN (0x7fff_ffff_ffff_ffff), then it's a cast + // + Operand =3D 0x5babababefefefef; + Result =3D 0; + Status =3D SafeUint64ToIntn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5babababefefefef, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToIntn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToUintn) { + RETURN_STATUS Status; + UINT64 Operand; + UINTN Result; + + // + // UINTN is same as UINT64 in x64, so this is just a cast + // + Operand =3D 0xababababefefefef; + Result =3D 0; + Status =3D SafeUint64ToUintn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xababababefefefef, Result); +} + +TEST(AdditionSubtractionTestSuite, TestSafeUintnAdd) { + RETURN_STATUS Status; + UINTN Augend; + UINTN Addend; + UINTN Result; + + // + // If the result of addition doesn't overflow MAX_UINTN, then it's addit= ion + // + Augend =3D 0x3a3a3a3a12121212; + Addend =3D 0x3a3a3a3a12121212; + Result =3D 0; + Status =3D SafeUintnAdd (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x7474747424242424, Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0xababababefefefef; + Addend =3D 0xbcbcbcbcdededede; + Status =3D SafeUintnAdd (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeIntnAdd) { + RETURN_STATUS Status; + INTN Augend; + INTN Addend; + INTN Result; + + // + // If the result of addition doesn't overflow MAX_INTN + // and doesn't underflow MIN_INTN, then it's addition + // + Augend =3D 0x3a3a3a3a3a3a3a3a; + Addend =3D 0x3a3a3a3a3a3a3a3a; + Result =3D 0; + Status =3D SafeIntnAdd (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x7474747474747474, Result); + + Augend =3D (-4195730024608447034); + Addend =3D (-4195730024608447034); + Status =3D SafeIntnAdd (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-8391460049216894068), Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0x5a5a5a5a5a5a5a5a; + Addend =3D 0x5a5a5a5a5a5a5a5a; + Status =3D SafeIntnAdd (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Augend =3D (-6510615555426900570); + Addend =3D (-6510615555426900570); + Status =3D SafeIntnAdd (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeUintnSub) { + RETURN_STATUS Status; + UINTN Minuend; + UINTN Subtrahend; + UINTN Result; + + // + // If Minuend >=3D Subtrahend, then it's subtraction + // + Minuend =3D 0x5a5a5a5a5a5a5a5a; + Subtrahend =3D 0x3b3b3b3b3b3b3b3b; + Result =3D 0; + Status =3D SafeUintnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x1f1f1f1f1f1f1f1f, Result); + + // + // Otherwise should result in an error status + // + Minuend =3D 0x5a5a5a5a5a5a5a5a; + Subtrahend =3D 0x6d6d6d6d6d6d6d6d; + Status =3D SafeUintnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeIntnSub) { + RETURN_STATUS Status; + INTN Minuend; + INTN Subtrahend; + INTN Result; + + // + // If the result of subtractions doesn't overflow MAX_INTN or + // underflow MIN_INTN, then it's subtraction + // + Minuend =3D 0x5a5a5a5a5a5a5a5a; + Subtrahend =3D 0x3a3a3a3a3a3a3a3a; + Result =3D 0; + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x2020202020202020, Result); + + Minuend =3D 0x3a3a3a3a3a3a3a3a; + Subtrahend =3D 0x5a5a5a5a5a5a5a5a; + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-2314885530818453536), Result); + + // + // Otherwise should result in an error status + // + Minuend =3D (-8825501086245354106); + Subtrahend =3D 8825501086245354106; + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Minuend =3D (8825501086245354106); + Subtrahend =3D (-8825501086245354106); + Status =3D SafeIntnSub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeUintnMult) { + RETURN_STATUS Status; + UINTN Multiplicand; + UINTN Multiplier; + UINTN Result; + + // + // If the result of multiplication doesn't overflow MAX_UINTN, it will s= ucceed + // + Multiplicand =3D 0x123456789a; + Multiplier =3D 0x1234567; + Result =3D 0; + Status =3D SafeUintnMult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x14b66db9745a07f6, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0x123456789a; + Multiplier =3D 0x12345678; + Status =3D SafeUintnMult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeIntnMult) { + RETURN_STATUS Status; + INTN Multiplicand; + INTN Multiplier; + INTN Result; + + // + // If the result of multiplication doesn't overflow MAX_INTN and doesn't + // underflow MIN_UINTN, it will succeed + // + Multiplicand =3D 0x123456789; + Multiplier =3D 0x6789abcd; + Result =3D 0; + Status =3D SafeIntnMult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x75cd9045220d6bb5, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0x123456789; + Multiplier =3D 0xa789abcd; + Status =3D SafeIntnMult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} diff --git a/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/TestBaseSafeIntL= ib.cpp b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/TestBaseSafeIntLib.c= pp new file mode 100644 index 000000000000..1fd51067a1f3 --- /dev/null +++ b/MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/TestBaseSafeIntLib.cpp @@ -0,0 +1,2274 @@ +/** @file + UEFI OS based application for unit testing the SafeIntLib. + + Copyright (c) Microsoft Corporation.
+ Copyright (c) 2018 - 2022, Intel Corporation. All rights reserved.
+ SPDX-License-Identifier: BSD-2-Clause-Patent +**/ + +#include +extern "C" { + #include + #include +} + +// +// Conversion function tests: +// +TEST(ConversionTestSuite, TestSafeInt8ToUint8) { + RETURN_STATUS Status; + INT8 Operand; + UINT8 Result; + + // + // Positive UINT8 should result in just a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt8ToUint8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Negative number should result in an error status + // + Operand =3D (-56); + Status =3D SafeInt8ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt8ToUint16) { + RETURN_STATUS Status; + INT8 Operand; + UINT16 Result; + + // + // Positive UINT8 should result in just a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt8ToUint16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Negative number should result in an error status + // + Operand =3D (-56); + Status =3D SafeInt8ToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt8ToUint32) { + RETURN_STATUS Status; + INT8 Operand; + UINT32 Result; + + // + // Positive UINT8 should result in just a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt8ToUint32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT32)0x5b, Result); + + // + // Negative number should result in an error status + // + Operand =3D (-56); + Status =3D SafeInt8ToUint32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt8ToUintn) { + RETURN_STATUS Status; + INT8 Operand; + UINTN Result; + + // + // Positive UINT8 should result in just a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt8ToUintn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x5b, Result); + + // + // Negative number should result in an error status + // + Operand =3D (-56); + Status =3D SafeInt8ToUintn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt8ToUint64) { + RETURN_STATUS Status; + INT8 Operand; + UINT64 Result; + + // + // Positive UINT8 should result in just a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt8ToUint64 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT64)0x5b, Result); + + // + // Negative number should result in an error status + // + Operand =3D (-56); + Status =3D SafeInt8ToUint64 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint8ToInt8) { + RETURN_STATUS Status; + UINT8 Operand; + INT8 Result; + + // + // Operand <=3D 0x7F (MAX_INT8) should result in a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeUint8ToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Operand larger than 0x7f should result in an error status + // + Operand =3D 0xaf; + Status =3D SafeUint8ToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint8ToChar8) { + RETURN_STATUS Status; + UINT8 Operand; + CHAR8 Result; + + // + // CHAR8 is typedefed as char, which by default is signed, thus + // CHAR8 is same as INT8, so same tests as above: + // + + // + // Operand <=3D 0x7F (MAX_INT8) should result in a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeUint8ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Operand larger than 0x7f should result in an error status + // + Operand =3D 0xaf; + Status =3D SafeUint8ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt16ToInt8) { + RETURN_STATUS Status; + INT16 Operand; + INT8 Result; + + // + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a ca= st + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt16ToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + Operand =3D (-35); + Status =3D SafeInt16ToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-35), Result); + + // + // Otherwise should result in an error status + // + Operand =3D 0x1234; + Status =3D SafeInt16ToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-17835); + Status =3D SafeInt16ToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt16ToChar8) { + RETURN_STATUS Status; + INT16 Operand; + CHAR8 Result; + + // + // CHAR8 is typedefed as char, which may be signed or unsigned based + // on the compiler. Thus, for compatibility CHAR8 should be between 0 an= d MAX_INT8. + // + + // + // If Operand is between 0 and MAX_INT8 inclusive, then it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt16ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + Operand =3D 0; + Result =3D 0; + Status =3D SafeInt16ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0, Result); + + Operand =3D MAX_INT8; + Result =3D 0; + Status =3D SafeInt16ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (MAX_INT8, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-35); + Status =3D SafeInt16ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D 0x1234; + Status =3D SafeInt16ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-17835); + Status =3D SafeInt16ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt16ToUint8) { + RETURN_STATUS Status; + INT16 Operand; + UINT8 Result; + + // + // If Operand is between 0 and MAX_INT8 inclusive, then it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt16ToUint8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D 0x1234; + Status =3D SafeInt16ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-17835); + Status =3D SafeInt16ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt16ToUint16) { + RETURN_STATUS Status; + INT16 Operand =3D 0x5b5b; + UINT16 Result =3D 0; + + // + // If Operand is non-negative, then it's a cast + // + Status =3D SafeInt16ToUint16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-17835); + Status =3D SafeInt16ToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt16ToUint32) { + RETURN_STATUS Status; + INT16 Operand; + UINT32 Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5b5b; + Result =3D 0; + Status =3D SafeInt16ToUint32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT32)0x5b5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-17835); + Status =3D SafeInt16ToUint32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt16ToUintn) { + RETURN_STATUS Status; + INT16 Operand; + UINTN Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5b5b; + Result =3D 0; + Status =3D SafeInt16ToUintn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x5b5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-17835); + Status =3D SafeInt16ToUintn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt16ToUint64) { + RETURN_STATUS Status; + INT16 Operand; + UINT64 Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5b5b; + Result =3D 0; + Status =3D SafeInt16ToUint64 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT64)0x5b5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-17835); + Status =3D SafeInt16ToUint64 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint16ToInt8) { + RETURN_STATUS Status; + UINT16 Operand; + INT8 Result; + + // + // If Operand is <=3D MAX_INT8, it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeUint16ToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5b5b); + Status =3D SafeUint16ToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint16ToChar8) { + RETURN_STATUS Status; + UINT16 Operand; + CHAR8 Result; + + // CHAR8 is typedefed as char, which by default is signed, thus + // CHAR8 is same as INT8, so same tests as above: + + // + // If Operand is <=3D MAX_INT8, it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeUint16ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5b5b); + Status =3D SafeUint16ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint16ToUint8) { + RETURN_STATUS Status; + UINT16 Operand; + UINT8 Result; + + // + // If Operand is <=3D MAX_UINT8 (0xff), it's a cast + // + Operand =3D 0xab; + Result =3D 0; + Status =3D SafeUint16ToUint8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5b5b); + Status =3D SafeUint16ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint16ToInt16) { + RETURN_STATUS Status; + UINT16 Operand; + INT16 Result; + + // + // If Operand is <=3D MAX_INT16 (0x7fff), it's a cast + // + Operand =3D 0x5b5b; + Result =3D 0; + Status =3D SafeUint16ToInt16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabab); + Status =3D SafeUint16ToInt16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt32ToInt8) { + RETURN_STATUS Status; + INT32 Operand; + INT8 Result; + + // + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a ca= st + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt32ToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + Operand =3D (-57); + Status =3D SafeInt32ToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-57), Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5bababab); + Status =3D SafeInt32ToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-1537977259); + Status =3D SafeInt32ToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt32ToChar8) { + RETURN_STATUS Status; + INT32 Operand; + CHAR8 Result; + + // + // CHAR8 is typedefed as char, which may be signed or unsigned based + // on the compiler. Thus, for compatibility CHAR8 should be between 0 an= d MAX_INT8. + // + + // + // If Operand is between 0 and MAX_INT8 inclusive, then it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt32ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + Operand =3D 0; + Result =3D 0; + Status =3D SafeInt32ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0, Result); + + Operand =3D MAX_INT8; + Result =3D 0; + Status =3D SafeInt32ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (MAX_INT8, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-57); + Status =3D SafeInt32ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (0x5bababab); + Status =3D SafeInt32ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-1537977259); + Status =3D SafeInt32ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt32ToUint8) { + RETURN_STATUS Status; + INT32 Operand; + UINT8 Result; + + // + // If Operand is between 0 and MAX_INT8 inclusive, then it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt32ToUint8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-57); + Status =3D SafeInt32ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (0x5bababab); + Status =3D SafeInt32ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-1537977259); + Status =3D SafeInt32ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt32ToInt16) { + RETURN_STATUS Status; + INT32 Operand; + INT16 Result; + + // + // If Operand is between MIN_INT16 and MAX_INT16 inclusive, then it's a = cast + // + Operand =3D 0x5b5b; + Result =3D 0; + Status =3D SafeInt32ToInt16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b5b, Result); + + Operand =3D (-17857); + Status =3D SafeInt32ToInt16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-17857), Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5bababab); + Status =3D SafeInt32ToInt16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-1537977259); + Status =3D SafeInt32ToInt16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt32ToUint16) { + RETURN_STATUS Status; + INT32 Operand; + UINT16 Result; + + // + // If Operand is between 0 and MAX_UINT16 inclusive, then it's a cast + // + Operand =3D 0xabab; + Result =3D 0; + Status =3D SafeInt32ToUint16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-17857); + Status =3D SafeInt32ToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (0x5bababab); + Status =3D SafeInt32ToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-1537977259); + Status =3D SafeInt32ToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt32ToUint32) { + RETURN_STATUS Status; + INT32 Operand; + UINT32 Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeInt32ToUint32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT32)0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-1537977259); + Status =3D SafeInt32ToUint32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt32ToUint64) { + RETURN_STATUS Status; + INT32 Operand; + UINT64 Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeInt32ToUint64 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT64)0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-1537977259); + Status =3D SafeInt32ToUint64 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint32ToInt8) { + RETURN_STATUS Status; + UINT32 Operand; + INT8 Result; + + // + // If Operand is <=3D MAX_INT8, then it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeUint32ToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5bababab); + Status =3D SafeUint32ToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint32ToChar8) { + RETURN_STATUS Status; + UINT32 Operand; + CHAR8 Result; + + // CHAR8 is typedefed as char, which by default is signed, thus + // CHAR8 is same as INT8, so same tests as above: + + // + // If Operand is <=3D MAX_INT8, then it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeUint32ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5bababab); + Status =3D SafeUint32ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint32ToUint8) { + RETURN_STATUS Status; + UINT32 Operand; + UINT8 Result; + + // + // If Operand is <=3D MAX_UINT8, then it's a cast + // + Operand =3D 0xab; + Result =3D 0; + Status =3D SafeUint32ToUint8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabababab); + Status =3D SafeUint32ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint32ToInt16) { + RETURN_STATUS Status; + UINT32 Operand; + INT16 Result; + + // + // If Operand is <=3D MAX_INT16, then it's a cast + // + Operand =3D 0x5bab; + Result =3D 0; + Status =3D SafeUint32ToInt16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabababab); + Status =3D SafeUint32ToInt16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint32ToUint16) { + RETURN_STATUS Status; + UINT32 Operand; + UINT16 Result; + + // + // If Operand is <=3D MAX_UINT16, then it's a cast + // + Operand =3D 0xabab; + Result =3D 0; + Status =3D SafeUint32ToUint16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabababab); + Status =3D SafeUint32ToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint32ToInt32) { + RETURN_STATUS Status; + UINT32 Operand; + INT32 Result; + + // + // If Operand is <=3D MAX_INT32, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeUint32ToInt32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabababab); + Status =3D SafeUint32ToInt32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeIntnToInt8) { + RETURN_STATUS Status; + INTN Operand; + INT8 Result; + + // + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a ca= st + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeIntnToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + Operand =3D (-53); + Status =3D SafeIntnToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-53), Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5bababab); + Status =3D SafeIntnToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-1537977259); + Status =3D SafeIntnToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeIntnToChar8) { + RETURN_STATUS Status; + INTN Operand; + CHAR8 Result; + + // + // CHAR8 is typedefed as char, which may be signed or unsigned based + // on the compiler. Thus, for compatibility CHAR8 should be between 0 an= d MAX_INT8. + // + + // + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a ca= st + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeIntnToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + Operand =3D 0; + Result =3D 0; + Status =3D SafeIntnToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0, Result); + + Operand =3D MAX_INT8; + Result =3D 0; + Status =3D SafeIntnToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (MAX_INT8, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-53); + Status =3D SafeIntnToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (0x5bababab); + Status =3D SafeIntnToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-1537977259); + Status =3D SafeIntnToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeIntnToUint8) { + RETURN_STATUS Status; + INTN Operand; + UINT8 Result; + + // + // If Operand is between 0 and MAX_UINT8 inclusive, then it's a cast + // + Operand =3D 0xab; + Result =3D 0; + Status =3D SafeIntnToUint8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5bababab); + Status =3D SafeIntnToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-1537977259); + Status =3D SafeIntnToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeIntnToInt16) { + RETURN_STATUS Status; + INTN Operand; + INT16 Result; + + // + // If Operand is between MIN_INT16 and MAX_INT16 inclusive, then it's a = cast + // + Operand =3D 0x5bab; + Result =3D 0; + Status =3D SafeIntnToInt16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bab, Result); + + Operand =3D (-23467); + Status =3D SafeIntnToInt16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-23467), Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5bababab); + Status =3D SafeIntnToInt16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-1537977259); + Status =3D SafeIntnToInt16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeIntnToUint16) { + RETURN_STATUS Status; + INTN Operand; + UINT16 Result; + + // + // If Operand is between 0 and MAX_UINT16 inclusive, then it's a cast + // + Operand =3D 0xabab; + Result =3D 0; + Status =3D SafeIntnToUint16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5bababab); + Status =3D SafeIntnToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-1537977259); + Status =3D SafeIntnToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeIntnToUintn) { + RETURN_STATUS Status; + INTN Operand; + UINTN Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeIntnToUintn (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINTN)0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-1537977259); + Status =3D SafeIntnToUintn (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeIntnToUint64) { + RETURN_STATUS Status; + INTN Operand; + UINT64 Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeIntnToUint64 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT64)0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-1537977259); + Status =3D SafeIntnToUint64 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToInt8) { + RETURN_STATUS Status; + UINTN Operand; + INT8 Result; + + // + // If Operand is <=3D MAX_INT8, then it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeUintnToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabab); + Status =3D SafeUintnToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToChar8) { + RETURN_STATUS Status; + UINTN Operand; + CHAR8 Result; + + // CHAR8 is typedefed as char, which by default is signed, thus + // CHAR8 is same as INT8, so same tests as above: + + // + // If Operand is <=3D MAX_INT8, then it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeUintnToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabab); + Status =3D SafeUintnToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToUint8) { + RETURN_STATUS Status; + UINTN Operand; + UINT8 Result; + + // + // If Operand is <=3D MAX_UINT8, then it's a cast + // + Operand =3D 0xab; + Result =3D 0; + Status =3D SafeUintnToUint8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabab); + Status =3D SafeUintnToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToInt16) { + RETURN_STATUS Status; + UINTN Operand; + INT16 Result; + + // + // If Operand is <=3D MAX_INT16, then it's a cast + // + Operand =3D 0x5bab; + Result =3D 0; + Status =3D SafeUintnToInt16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabab); + Status =3D SafeUintnToInt16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToUint16) { + RETURN_STATUS Status; + UINTN Operand; + UINT16 Result; + + // + // If Operand is <=3D MAX_UINT16, then it's a cast + // + Operand =3D 0xabab; + Result =3D 0; + Status =3D SafeUintnToUint16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabababab); + Status =3D SafeUintnToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUintnToInt32) { + RETURN_STATUS Status; + UINTN Operand; + INT32 Result; + + // + // If Operand is <=3D MAX_INT32, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeUintnToInt32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xabababab); + Status =3D SafeUintnToInt32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt64ToInt8) { + RETURN_STATUS Status; + INT64 Operand; + INT8 Result; + + // + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a c= ast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt64ToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + Operand =3D (-37); + Status =3D SafeInt64ToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-37), Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5babababefefefef); + Status =3D SafeInt64ToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt64ToChar8) { + RETURN_STATUS Status; + INT64 Operand; + CHAR8 Result; + + // + // CHAR8 is typedefed as char, which may be signed or unsigned based + // on the compiler. Thus, for compatibility CHAR8 should be between 0 an= d MAX_INT8. + // + + // + // If Operand is between MIN_INT8 and MAX_INT8 inclusive, then it's a c= ast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeInt64ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + Operand =3D 0; + Result =3D 0; + Status =3D SafeInt64ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0, Result); + + Operand =3D MAX_INT8; + Result =3D 0; + Status =3D SafeInt64ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (MAX_INT8, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-37); + Status =3D SafeInt64ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (0x5babababefefefef); + Status =3D SafeInt64ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt64ToUint8) { + RETURN_STATUS Status; + INT64 Operand; + UINT8 Result; + + // + // If Operand is between 0 and MAX_UINT8 inclusive, then it's a cast + // + Operand =3D 0xab; + Result =3D 0; + Status =3D SafeInt64ToUint8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5babababefefefef); + Status =3D SafeInt64ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt64ToInt16) { + RETURN_STATUS Status; + INT64 Operand; + INT16 Result; + + // + // If Operand is between MIN_INT16 and MAX_INT16 inclusive, then it's a= cast + // + Operand =3D 0x5bab; + Result =3D 0; + Status =3D SafeInt64ToInt16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bab, Result); + + Operand =3D (-23467); + Status =3D SafeInt64ToInt16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-23467), Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5babababefefefef); + Status =3D SafeInt64ToInt16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToInt16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt64ToUint16) { + RETURN_STATUS Status; + INT64 Operand; + UINT16 Result; + + // + // If Operand is between 0 and MAX_UINT16 inclusive, then it's a cast + // + Operand =3D 0xabab; + Result =3D 0; + Status =3D SafeInt64ToUint16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5babababefefefef); + Status =3D SafeInt64ToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt64ToInt32) { + RETURN_STATUS Status; + INT64 Operand; + INT32 Result; + + // + // If Operand is between MIN_INT32 and MAX_INT32 inclusive, then it's a= cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeInt64ToInt32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bababab, Result); + + Operand =3D (-1537977259); + Status =3D SafeInt64ToInt32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-1537977259), Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5babababefefefef); + Status =3D SafeInt64ToInt32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToInt32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt64ToUint32) { + RETURN_STATUS Status; + INT64 Operand; + UINT32 Result; + + // + // If Operand is between 0 and MAX_UINT32 inclusive, then it's a cast + // + Operand =3D 0xabababab; + Result =3D 0; + Status =3D SafeInt64ToUint32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0x5babababefefefef); + Status =3D SafeInt64ToUint32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToUint32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeInt64ToUint64) { + RETURN_STATUS Status; + INT64 Operand; + UINT64 Result; + + // + // If Operand is non-negative, then it's a cast + // + Operand =3D 0x5babababefefefef; + Result =3D 0; + Status =3D SafeInt64ToUint64 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT64)0x5babababefefefef, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (-6605562033422200815); + Status =3D SafeInt64ToUint64 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToInt8) { + RETURN_STATUS Status; + UINT64 Operand; + INT8 Result; + + // + // If Operand is <=3D MAX_INT8, then it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeUint64ToInt8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToInt8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToChar8) { + RETURN_STATUS Status; + UINT64 Operand; + CHAR8 Result; + + // CHAR8 is typedefed as char, which by default is signed, thus + // CHAR8 is same as INT8, so same tests as above: + + // + // If Operand is <=3D MAX_INT8, then it's a cast + // + Operand =3D 0x5b; + Result =3D 0; + Status =3D SafeUint64ToChar8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5b, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToChar8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToUint8) { + RETURN_STATUS Status; + UINT64 Operand; + UINT8 Result; + + // + // If Operand is <=3D MAX_UINT8, then it's a cast + // + Operand =3D 0xab; + Result =3D 0; + Status =3D SafeUint64ToUint8 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToUint8 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToInt16) { + RETURN_STATUS Status; + UINT64 Operand; + INT16 Result; + + // + // If Operand is <=3D MAX_INT16, then it's a cast + // + Operand =3D 0x5bab; + Result =3D 0; + Status =3D SafeUint64ToInt16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToInt16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToUint16) { + RETURN_STATUS Status; + UINT64 Operand; + UINT16 Result; + + // + // If Operand is <=3D MAX_UINT16, then it's a cast + // + Operand =3D 0xabab; + Result =3D 0; + Status =3D SafeUint64ToUint16 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToUint16 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToInt32) { + RETURN_STATUS Status; + UINT64 Operand; + INT32 Result; + + // + // If Operand is <=3D MAX_INT32, then it's a cast + // + Operand =3D 0x5bababab; + Result =3D 0; + Status =3D SafeUint64ToInt32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5bababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToInt32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToUint32) { + RETURN_STATUS Status; + UINT64 Operand; + UINT32 Result; + + // + // If Operand is <=3D MAX_UINT32, then it's a cast + // + Operand =3D 0xabababab; + Result =3D 0; + Status =3D SafeUint64ToUint32 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xabababab, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToUint32 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(ConversionTestSuite, TestSafeUint64ToInt64) { + RETURN_STATUS Status; + UINT64 Operand; + INT64 Result; + + // + // If Operand is <=3D MAX_INT64, then it's a cast + // + Operand =3D 0x5babababefefefef; + Result =3D 0; + Status =3D SafeUint64ToInt64 (Operand, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x5babababefefefef, Result); + + // + // Otherwise should result in an error status + // + Operand =3D (0xababababefefefef); + Status =3D SafeUint64ToInt64 (Operand, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +// +// Addition function tests: +// +TEST(AdditionSubtractionTestSuite, TestSafeUint8Add) { + RETURN_STATUS Status; + UINT8 Augend; + UINT8 Addend; + UINT8 Result; + + // + // If the result of addition doesn't overflow MAX_UINT8, then it's addit= ion + // + Augend =3D 0x3a; + Addend =3D 0x3a; + Result =3D 0; + Status =3D SafeUint8Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x74, Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0xab; + Addend =3D 0xbc; + Status =3D SafeUint8Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeUint16Add) { + RETURN_STATUS Status; + UINT16 Augend =3D 0x3a3a; + UINT16 Addend =3D 0x3a3a; + UINT16 Result =3D 0; + + // + // If the result of addition doesn't overflow MAX_UINT16, then it's addi= tion + // + Status =3D SafeUint16Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x7474, Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0xabab; + Addend =3D 0xbcbc; + Status =3D SafeUint16Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeUint32Add) { + RETURN_STATUS Status; + UINT32 Augend; + UINT32 Addend; + UINT32 Result; + + // + // If the result of addition doesn't overflow MAX_UINT32, then it's addi= tion + // + Augend =3D 0x3a3a3a3a; + Addend =3D 0x3a3a3a3a; + Result =3D 0; + Status =3D SafeUint32Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT32)0x74747474, Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0xabababab; + Addend =3D 0xbcbcbcbc; + Status =3D SafeUint32Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeUint64Add) { + RETURN_STATUS Status; + UINT64 Augend; + UINT64 Addend; + UINT64 Result; + + // + // If the result of addition doesn't overflow MAX_UINT64, then it's addi= tion + // + Augend =3D 0x3a3a3a3a12121212; + Addend =3D 0x3a3a3a3a12121212; + Result =3D 0; + Status =3D SafeUint64Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT64)0x7474747424242424, Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0xababababefefefef; + Addend =3D 0xbcbcbcbcdededede; + Status =3D SafeUint64Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeInt8Add) { + RETURN_STATUS Status; + INT8 Augend; + INT8 Addend; + INT8 Result; + + // + // If the result of addition doesn't overflow MAX_INT8 + // and doesn't underflow MIN_INT8, then it's addition + // + Augend =3D 0x3a; + Addend =3D 0x3a; + Result =3D 0; + Status =3D SafeInt8Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x74, Result); + + Augend =3D (-58); + Addend =3D (-58); + Status =3D SafeInt8Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-116), Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0x5a; + Addend =3D 0x5a; + Status =3D SafeInt8Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Augend =3D (-90); + Addend =3D (-90); + Status =3D SafeInt8Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeInt16Add) { + RETURN_STATUS Status; + INT16 Augend; + INT16 Addend; + INT16 Result; + + // + // If the result of addition doesn't overflow MAX_INT16 + // and doesn't underflow MIN_INT16, then it's addition + // + Augend =3D 0x3a3a; + Addend =3D 0x3a3a; + Result =3D 0; + Status =3D SafeInt16Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x7474, Result); + + Augend =3D (-14906); + Addend =3D (-14906); + Status =3D SafeInt16Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-29812), Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0x5a5a; + Addend =3D 0x5a5a; + Status =3D SafeInt16Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Augend =3D (-23130); + Addend =3D (-23130); + Status =3D SafeInt16Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeInt32Add) { + RETURN_STATUS Status; + INT32 Augend; + INT32 Addend; + INT32 Result; + + // + // If the result of addition doesn't overflow MAX_INT32 + // and doesn't underflow MIN_INT32, then it's addition + // + Augend =3D 0x3a3a3a3a; + Addend =3D 0x3a3a3a3a; + Result =3D 0; + Status =3D SafeInt32Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x74747474, Result); + + Augend =3D (-976894522); + Addend =3D (-976894522); + Status =3D SafeInt32Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-1953789044), Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0x5a5a5a5a; + Addend =3D 0x5a5a5a5a; + Status =3D SafeInt32Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Augend =3D (-1515870810); + Addend =3D (-1515870810); + Status =3D SafeInt32Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeInt64Add) { + RETURN_STATUS Status; + INT64 Augend; + INT64 Addend; + INT64 Result; + + // + // If the result of addition doesn't overflow MAX_INT64 + // and doesn't underflow MIN_INT64, then it's addition + // + Augend =3D 0x3a3a3a3a3a3a3a3a; + Addend =3D 0x3a3a3a3a3a3a3a3a; + Result =3D 0; + Status =3D SafeInt64Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x7474747474747474, Result); + + Augend =3D (-4195730024608447034); + Addend =3D (-4195730024608447034); + Status =3D SafeInt64Add (Augend, Addend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-8391460049216894068), Result); + + // + // Otherwise should result in an error status + // + Augend =3D 0x5a5a5a5a5a5a5a5a; + Addend =3D 0x5a5a5a5a5a5a5a5a; + Status =3D SafeInt64Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Augend =3D (-6510615555426900570); + Addend =3D (-6510615555426900570); + Status =3D SafeInt64Add (Augend, Addend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +// +// Subtraction function tests: +// +TEST(AdditionSubtractionTestSuite, TestSafeUint8Sub) { + RETURN_STATUS Status; + UINT8 Minuend; + UINT8 Subtrahend; + UINT8 Result; + + // + // If Minuend >=3D Subtrahend, then it's subtraction + // + Minuend =3D 0x5a; + Subtrahend =3D 0x3b; + Result =3D 0; + Status =3D SafeUint8Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x1f, Result); + + // + // Otherwise should result in an error status + // + Minuend =3D 0x5a; + Subtrahend =3D 0x6d; + Status =3D SafeUint8Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeUint16Sub) { + RETURN_STATUS Status; + UINT16 Minuend; + UINT16 Subtrahend; + UINT16 Result; + + // + // If Minuend >=3D Subtrahend, then it's subtraction + // + Minuend =3D 0x5a5a; + Subtrahend =3D 0x3b3b; + Result =3D 0; + Status =3D SafeUint16Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x1f1f, Result); + + // + // Otherwise should result in an error status + // + Minuend =3D 0x5a5a; + Subtrahend =3D 0x6d6d; + Status =3D SafeUint16Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeUint32Sub) { + RETURN_STATUS Status; + UINT32 Minuend; + UINT32 Subtrahend; + UINT32 Result; + + // + // If Minuend >=3D Subtrahend, then it's subtraction + // + Minuend =3D 0x5a5a5a5a; + Subtrahend =3D 0x3b3b3b3b; + Result =3D 0; + Status =3D SafeUint32Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT32)0x1f1f1f1f, Result); + + // + // Otherwise should result in an error status + // + Minuend =3D 0x5a5a5a5a; + Subtrahend =3D 0x6d6d6d6d; + Status =3D SafeUint32Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeUint64Sub) { + RETURN_STATUS Status; + UINT64 Minuend; + UINT64 Subtrahend; + UINT64 Result; + + // + // If Minuend >=3D Subtrahend, then it's subtraction + // + Minuend =3D 0x5a5a5a5a5a5a5a5a; + Subtrahend =3D 0x3b3b3b3b3b3b3b3b; + Result =3D 0; + Status =3D SafeUint64Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT64)0x1f1f1f1f1f1f1f1f, Result); + + // + // Otherwise should result in an error status + // + Minuend =3D 0x5a5a5a5a5a5a5a5a; + Subtrahend =3D 0x6d6d6d6d6d6d6d6d; + Status =3D SafeUint64Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeInt8Sub) { + RETURN_STATUS Status; + INT8 Minuend; + INT8 Subtrahend; + INT8 Result; + + // + // If the result of subtractions doesn't overflow MAX_INT8 or + // underflow MIN_INT8, then it's subtraction + // + Minuend =3D 0x5a; + Subtrahend =3D 0x3a; + Result =3D 0; + Status =3D SafeInt8Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x20, Result); + + Minuend =3D 58; + Subtrahend =3D 78; + Status =3D SafeInt8Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-20), Result); + + // + // Otherwise should result in an error status + // + Minuend =3D (-80); + Subtrahend =3D 80; + Status =3D SafeInt8Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Minuend =3D (80); + Subtrahend =3D (-80); + Status =3D SafeInt8Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeInt16Sub) { + RETURN_STATUS Status; + INT16 Minuend; + INT16 Subtrahend; + INT16 Result; + + // + // If the result of subtractions doesn't overflow MAX_INT16 or + // underflow MIN_INT16, then it's subtraction + // + Minuend =3D 0x5a5a; + Subtrahend =3D 0x3a3a; + Result =3D 0; + Status =3D SafeInt16Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x2020, Result); + + Minuend =3D 0x3a3a; + Subtrahend =3D 0x5a5a; + Status =3D SafeInt16Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-8224), Result); + + // + // Otherwise should result in an error status + // + Minuend =3D (-31354); + Subtrahend =3D 31354; + Status =3D SafeInt16Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Minuend =3D (31354); + Subtrahend =3D (-31354); + Status =3D SafeInt16Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeInt32Sub) { + RETURN_STATUS Status; + INT32 Minuend; + INT32 Subtrahend; + INT32 Result; + + // + // If the result of subtractions doesn't overflow MAX_INT32 or + // underflow MIN_INT32, then it's subtraction + // + Minuend =3D 0x5a5a5a5a; + Subtrahend =3D 0x3a3a3a3a; + Result =3D 0; + Status =3D SafeInt32Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x20202020, Result); + + Minuend =3D 0x3a3a3a3a; + Subtrahend =3D 0x5a5a5a5a; + Status =3D SafeInt32Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-538976288), Result); + + // + // Otherwise should result in an error status + // + Minuend =3D (-2054847098); + Subtrahend =3D 2054847098; + Status =3D SafeInt32Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Minuend =3D (2054847098); + Subtrahend =3D (-2054847098); + Status =3D SafeInt32Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(AdditionSubtractionTestSuite, TestSafeInt64Sub) { + RETURN_STATUS Status; + INT64 Minuend; + INT64 Subtrahend; + INT64 Result; + + // + // If the result of subtractions doesn't overflow MAX_INT64 or + // underflow MIN_INT64, then it's subtraction + // + Minuend =3D 0x5a5a5a5a5a5a5a5a; + Subtrahend =3D 0x3a3a3a3a3a3a3a3a; + Result =3D 0; + Status =3D SafeInt64Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x2020202020202020, Result); + + Minuend =3D 0x3a3a3a3a3a3a3a3a; + Subtrahend =3D 0x5a5a5a5a5a5a5a5a; + Status =3D SafeInt64Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((-2314885530818453536), Result); + + // + // Otherwise should result in an error status + // + Minuend =3D (-8825501086245354106); + Subtrahend =3D 8825501086245354106; + Status =3D SafeInt64Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); + + Minuend =3D (8825501086245354106); + Subtrahend =3D (-8825501086245354106); + Status =3D SafeInt64Sub (Minuend, Subtrahend, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +// +// Multiplication function tests: +// +TEST(MultiplicationTestSuite, TestSafeUint8Mult) { + RETURN_STATUS Status; + UINT8 Multiplicand; + UINT8 Multiplier; + UINT8 Result; + + // + // If the result of multiplication doesn't overflow MAX_UINT8, it will s= ucceed + // + Multiplicand =3D 0x12; + Multiplier =3D 0xa; + Result =3D 0; + Status =3D SafeUint8Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xb4, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0x12; + Multiplier =3D 0x23; + Status =3D SafeUint8Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeUint16Mult) { + RETURN_STATUS Status; + UINT16 Multiplicand; + UINT16 Multiplier; + UINT16 Result; + + // + // If the result of multiplication doesn't overflow MAX_UINT16, it will = succeed + // + Multiplicand =3D 0x212; + Multiplier =3D 0x7a; + Result =3D 0; + Status =3D SafeUint16Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0xfc94, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0x1234; + Multiplier =3D 0x213; + Status =3D SafeUint16Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeUint32Mult) { + RETURN_STATUS Status; + UINT32 Multiplicand; + UINT32 Multiplier; + UINT32 Result; + + // + // If the result of multiplication doesn't overflow MAX_UINT32, it will = succeed + // + Multiplicand =3D 0xa122a; + Multiplier =3D 0xd23; + Result =3D 0; + Status =3D SafeUint32Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x844c9dbe, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0xa122a; + Multiplier =3D 0xed23; + Status =3D SafeUint32Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeUint64Mult) { + RETURN_STATUS Status; + UINT64 Multiplicand; + UINT64 Multiplier; + UINT64 Result; + + // + // If the result of multiplication doesn't overflow MAX_UINT64, it will = succeed + // + Multiplicand =3D 0x123456789a; + Multiplier =3D 0x1234567; + Result =3D 0; + Status =3D SafeUint64Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ ((UINT64)0x14b66db9745a07f6, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0x123456789a; + Multiplier =3D 0x12345678; + Status =3D SafeUint64Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeInt8Mult) { + RETURN_STATUS Status; + INT8 Multiplicand; + INT8 Multiplier; + INT8 Result; + + // + // If the result of multiplication doesn't overflow MAX_INT8 and doesn't + // underflow MIN_UINT8, it will succeed + // + Multiplicand =3D 0x12; + Multiplier =3D 0x7; + Result =3D 0; + Status =3D SafeInt8Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x7e, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0x12; + Multiplier =3D 0xa; + Status =3D SafeInt8Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeInt16Mult) { + RETURN_STATUS Status; + INT16 Multiplicand; + INT16 Multiplier; + INT16 Result; + + // + // If the result of multiplication doesn't overflow MAX_INT16 and doesn't + // underflow MIN_UINT16, it will succeed + // + Multiplicand =3D 0x123; + Multiplier =3D 0x67; + Result =3D 0; + Status =3D SafeInt16Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x7515, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0x123; + Multiplier =3D 0xab; + Status =3D SafeInt16Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeInt32Mult) { + RETURN_STATUS Status; + INT32 Multiplicand; + INT32 Multiplier; + INT32 Result; + + // + // If the result of multiplication doesn't overflow MAX_INT32 and doesn't + // underflow MIN_UINT32, it will succeed + // + Multiplicand =3D 0x123456; + Multiplier =3D 0x678; + Result =3D 0; + Status =3D SafeInt32Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x75c28c50, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0x123456; + Multiplier =3D 0xabc; + Status =3D SafeInt32Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +TEST(MultiplicationTestSuite, TestSafeInt64Mult) { + RETURN_STATUS Status; + INT64 Multiplicand; + INT64 Multiplier; + INT64 Result; + + // + // If the result of multiplication doesn't overflow MAX_INT64 and doesn't + // underflow MIN_UINT64, it will succeed + // + Multiplicand =3D 0x123456789; + Multiplier =3D 0x6789abcd; + Result =3D 0; + Status =3D SafeInt64Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (Status, RETURN_SUCCESS); + ASSERT_EQ (0x75cd9045220d6bb5, Result); + + // + // Otherwise should result in an error status + // + Multiplicand =3D 0x123456789; + Multiplier =3D 0xa789abcd; + Status =3D SafeInt64Mult (Multiplicand, Multiplier, &Result); + ASSERT_EQ (RETURN_BUFFER_TOO_SMALL, Status); +} + +int main(int argc, char* argv[]) { + testing::InitGoogleTest(&argc, argv); + return RUN_ALL_TESTS(); +} diff --git a/MdePkg/Test/MdePkgHostTest.dsc b/MdePkg/Test/MdePkgHostTest.dsc index 0cac14f0e557..b8b186dd8b17 100644 --- a/MdePkg/Test/MdePkgHostTest.dsc +++ b/MdePkg/Test/MdePkgHostTest.dsc @@ -28,6 +28,7 @@ [Components] # MdePkg/Test/UnitTest/Library/BaseSafeIntLib/TestBaseSafeIntLibHost.inf MdePkg/Test/UnitTest/Library/BaseLib/BaseLibUnitTestsHost.inf + MdePkg/Test/GoogleTest/Library/BaseSafeIntLib/GoogleTestBaseSafeIntLib.i= nf =20 # # Build HOST_APPLICATION Libraries --=20 2.37.1.windows.1 -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#95971): https://edk2.groups.io/g/devel/message/95971 Mute This Topic: https://groups.io/mt/94814646/1787277 Group Owner: devel+owner@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [importer@patchew.org] -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-