CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
165 lines
5.9 KiB
C++
165 lines
5.9 KiB
C++
//===- WholeProgramDevirt.cpp - Unit tests for whole-program devirt -------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/Transforms/IPO/WholeProgramDevirt.h"
|
|
#include "llvm/ADT/ArrayRef.h"
|
|
#include "gtest/gtest.h"
|
|
|
|
using namespace llvm;
|
|
using namespace wholeprogramdevirt;
|
|
|
|
TEST(WholeProgramDevirt, findLowestOffset) {
|
|
VTableBits VT1;
|
|
VT1.ObjectSize = 8;
|
|
VT1.Before.BytesUsed = {1 << 0};
|
|
VT1.After.BytesUsed = {1 << 1};
|
|
|
|
VTableBits VT2;
|
|
VT2.ObjectSize = 8;
|
|
VT2.Before.BytesUsed = {1 << 1};
|
|
VT2.After.BytesUsed = {1 << 0};
|
|
|
|
TypeMemberInfo TM1{&VT1, 0};
|
|
TypeMemberInfo TM2{&VT2, 0};
|
|
VirtualCallTarget Targets[] = {
|
|
{&TM1, /*IsBigEndian=*/false},
|
|
{&TM2, /*IsBigEndian=*/false},
|
|
};
|
|
|
|
EXPECT_EQ(2ull, findLowestOffset(Targets, /*IsAfter=*/false, 1));
|
|
EXPECT_EQ(66ull, findLowestOffset(Targets, /*IsAfter=*/true, 1));
|
|
|
|
EXPECT_EQ(8ull, findLowestOffset(Targets, /*IsAfter=*/false, 8));
|
|
EXPECT_EQ(72ull, findLowestOffset(Targets, /*IsAfter=*/true, 8));
|
|
|
|
TM1.Offset = 4;
|
|
EXPECT_EQ(33ull, findLowestOffset(Targets, /*IsAfter=*/false, 1));
|
|
EXPECT_EQ(65ull, findLowestOffset(Targets, /*IsAfter=*/true, 1));
|
|
|
|
EXPECT_EQ(40ull, findLowestOffset(Targets, /*IsAfter=*/false, 8));
|
|
EXPECT_EQ(72ull, findLowestOffset(Targets, /*IsAfter=*/true, 8));
|
|
|
|
TM1.Offset = 8;
|
|
TM2.Offset = 8;
|
|
EXPECT_EQ(66ull, findLowestOffset(Targets, /*IsAfter=*/false, 1));
|
|
EXPECT_EQ(2ull, findLowestOffset(Targets, /*IsAfter=*/true, 1));
|
|
|
|
EXPECT_EQ(72ull, findLowestOffset(Targets, /*IsAfter=*/false, 8));
|
|
EXPECT_EQ(8ull, findLowestOffset(Targets, /*IsAfter=*/true, 8));
|
|
|
|
VT1.After.BytesUsed = {0xff, 0, 0, 0, 0xff};
|
|
VT2.After.BytesUsed = {0xff, 1, 0, 0, 0};
|
|
EXPECT_EQ(16ull, findLowestOffset(Targets, /*IsAfter=*/true, 16));
|
|
EXPECT_EQ(64ull, findLowestOffset(Targets, /*IsAfter=*/true, 32));
|
|
}
|
|
|
|
TEST(WholeProgramDevirt, setReturnValues) {
|
|
VTableBits VT1;
|
|
VT1.ObjectSize = 8;
|
|
|
|
VTableBits VT2;
|
|
VT2.ObjectSize = 8;
|
|
|
|
TypeMemberInfo TM1{&VT1, 0};
|
|
TypeMemberInfo TM2{&VT2, 0};
|
|
VirtualCallTarget Targets[] = {
|
|
{&TM1, /*IsBigEndian=*/false},
|
|
{&TM2, /*IsBigEndian=*/false},
|
|
};
|
|
|
|
TM1.Offset = 4;
|
|
TM2.Offset = 4;
|
|
|
|
int64_t OffsetByte;
|
|
uint64_t OffsetBit;
|
|
|
|
Targets[0].RetVal = 1;
|
|
Targets[1].RetVal = 0;
|
|
setBeforeReturnValues(Targets, 32, 1, OffsetByte, OffsetBit);
|
|
EXPECT_EQ(-5ll, OffsetByte);
|
|
EXPECT_EQ(0ull, OffsetBit);
|
|
EXPECT_EQ(std::vector<uint8_t>{1}, VT1.Before.Bytes);
|
|
EXPECT_EQ(std::vector<uint8_t>{1}, VT1.Before.BytesUsed);
|
|
EXPECT_EQ(std::vector<uint8_t>{0}, VT2.Before.Bytes);
|
|
EXPECT_EQ(std::vector<uint8_t>{1}, VT2.Before.BytesUsed);
|
|
|
|
Targets[0].RetVal = 0;
|
|
Targets[1].RetVal = 1;
|
|
setBeforeReturnValues(Targets, 39, 1, OffsetByte, OffsetBit);
|
|
EXPECT_EQ(-5ll, OffsetByte);
|
|
EXPECT_EQ(7ull, OffsetBit);
|
|
EXPECT_EQ(std::vector<uint8_t>{1}, VT1.Before.Bytes);
|
|
EXPECT_EQ(std::vector<uint8_t>{0x81}, VT1.Before.BytesUsed);
|
|
EXPECT_EQ(std::vector<uint8_t>{0x80}, VT2.Before.Bytes);
|
|
EXPECT_EQ(std::vector<uint8_t>{0x81}, VT2.Before.BytesUsed);
|
|
|
|
Targets[0].RetVal = 12;
|
|
Targets[1].RetVal = 34;
|
|
setBeforeReturnValues(Targets, 40, 8, OffsetByte, OffsetBit);
|
|
EXPECT_EQ(-6ll, OffsetByte);
|
|
EXPECT_EQ(0ull, OffsetBit);
|
|
EXPECT_EQ((std::vector<uint8_t>{1, 12}), VT1.Before.Bytes);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x81, 0xff}), VT1.Before.BytesUsed);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x80, 34}), VT2.Before.Bytes);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x81, 0xff}), VT2.Before.BytesUsed);
|
|
|
|
Targets[0].RetVal = 56;
|
|
Targets[1].RetVal = 78;
|
|
setBeforeReturnValues(Targets, 48, 16, OffsetByte, OffsetBit);
|
|
EXPECT_EQ(-8ll, OffsetByte);
|
|
EXPECT_EQ(0ull, OffsetBit);
|
|
EXPECT_EQ((std::vector<uint8_t>{1, 12, 0, 56}), VT1.Before.Bytes);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x81, 0xff, 0xff, 0xff}),
|
|
VT1.Before.BytesUsed);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x80, 34, 0, 78}), VT2.Before.Bytes);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x81, 0xff, 0xff, 0xff}),
|
|
VT2.Before.BytesUsed);
|
|
|
|
Targets[0].RetVal = 1;
|
|
Targets[1].RetVal = 0;
|
|
setAfterReturnValues(Targets, 32, 1, OffsetByte, OffsetBit);
|
|
EXPECT_EQ(4ll, OffsetByte);
|
|
EXPECT_EQ(0ull, OffsetBit);
|
|
EXPECT_EQ(std::vector<uint8_t>{1}, VT1.After.Bytes);
|
|
EXPECT_EQ(std::vector<uint8_t>{1}, VT1.After.BytesUsed);
|
|
EXPECT_EQ(std::vector<uint8_t>{0}, VT2.After.Bytes);
|
|
EXPECT_EQ(std::vector<uint8_t>{1}, VT2.After.BytesUsed);
|
|
|
|
Targets[0].RetVal = 0;
|
|
Targets[1].RetVal = 1;
|
|
setAfterReturnValues(Targets, 39, 1, OffsetByte, OffsetBit);
|
|
EXPECT_EQ(4ll, OffsetByte);
|
|
EXPECT_EQ(7ull, OffsetBit);
|
|
EXPECT_EQ(std::vector<uint8_t>{1}, VT1.After.Bytes);
|
|
EXPECT_EQ(std::vector<uint8_t>{0x81}, VT1.After.BytesUsed);
|
|
EXPECT_EQ(std::vector<uint8_t>{0x80}, VT2.After.Bytes);
|
|
EXPECT_EQ(std::vector<uint8_t>{0x81}, VT2.After.BytesUsed);
|
|
|
|
Targets[0].RetVal = 12;
|
|
Targets[1].RetVal = 34;
|
|
setAfterReturnValues(Targets, 40, 8, OffsetByte, OffsetBit);
|
|
EXPECT_EQ(5ll, OffsetByte);
|
|
EXPECT_EQ(0ull, OffsetBit);
|
|
EXPECT_EQ((std::vector<uint8_t>{1, 12}), VT1.After.Bytes);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x81, 0xff}), VT1.After.BytesUsed);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x80, 34}), VT2.After.Bytes);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x81, 0xff}), VT2.After.BytesUsed);
|
|
|
|
Targets[0].RetVal = 56;
|
|
Targets[1].RetVal = 78;
|
|
setAfterReturnValues(Targets, 48, 16, OffsetByte, OffsetBit);
|
|
EXPECT_EQ(6ll, OffsetByte);
|
|
EXPECT_EQ(0ull, OffsetBit);
|
|
EXPECT_EQ((std::vector<uint8_t>{1, 12, 56, 0}), VT1.After.Bytes);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x81, 0xff, 0xff, 0xff}),
|
|
VT1.After.BytesUsed);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x80, 34, 78, 0}), VT2.After.Bytes);
|
|
EXPECT_EQ((std::vector<uint8_t>{0x81, 0xff, 0xff, 0xff}),
|
|
VT2.After.BytesUsed);
|
|
}
|