diff options
Diffstat (limited to 'llvm/unittests/IR/MetadataTest.cpp')
| -rw-r--r-- | llvm/unittests/IR/MetadataTest.cpp | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/llvm/unittests/IR/MetadataTest.cpp b/llvm/unittests/IR/MetadataTest.cpp index e6c7a501139..99295681ec8 100644 --- a/llvm/unittests/IR/MetadataTest.cpp +++ b/llvm/unittests/IR/MetadataTest.cpp @@ -2394,6 +2394,49 @@ TEST_F(DIExpressionTest, isValid) { #undef EXPECT_INVALID } +TEST_F(DIExpressionTest, createFragmentExpression) { +#define EXPECT_VALID_FRAGMENT(Offset, Size, ...) \ + do { \ + uint64_t Elements[] = {__VA_ARGS__}; \ + DIExpression* Expression = DIExpression::get(Context, Elements); \ + EXPECT_TRUE(DIExpression::createFragmentExpression( \ + Expression, Offset, Size).hasValue()); \ + } while (false) +#define EXPECT_INVALID_FRAGMENT(Offset, Size, ...) \ + do { \ + uint64_t Elements[] = {__VA_ARGS__}; \ + DIExpression* Expression = DIExpression::get(Context, Elements); \ + EXPECT_FALSE(DIExpression::createFragmentExpression( \ + Expression, Offset, Size).hasValue()); \ + } while (false) + + // createFragmentExpression adds correct ops. + Optional<DIExpression*> R = DIExpression::createFragmentExpression( + DIExpression::get(Context, {}), 0, 32); + EXPECT_EQ(R.hasValue(), true); + EXPECT_EQ(3u, (*R)->getNumElements()); + EXPECT_EQ(dwarf::DW_OP_LLVM_fragment, (*R)->getElement(0)); + EXPECT_EQ(0u, (*R)->getElement(1)); + EXPECT_EQ(32u, (*R)->getElement(2)); + + // Valid fragment expressions. + EXPECT_VALID_FRAGMENT(0, 32, {}); + EXPECT_VALID_FRAGMENT(0, 32, dwarf::DW_OP_deref); + EXPECT_VALID_FRAGMENT(0, 32, dwarf::DW_OP_LLVM_fragment, 0, 32); + EXPECT_VALID_FRAGMENT(16, 16, dwarf::DW_OP_LLVM_fragment, 0, 32); + + // Invalid fragment expressions (incompatible ops). + EXPECT_INVALID_FRAGMENT(0, 32, dwarf::DW_OP_constu, 6, dwarf::DW_OP_plus); + EXPECT_INVALID_FRAGMENT(0, 32, dwarf::DW_OP_constu, 14, dwarf::DW_OP_minus); + EXPECT_INVALID_FRAGMENT(0, 32, dwarf::DW_OP_constu, 16, dwarf::DW_OP_shr); + EXPECT_INVALID_FRAGMENT(0, 32, dwarf::DW_OP_constu, 16, dwarf::DW_OP_shl); + EXPECT_INVALID_FRAGMENT(0, 32, dwarf::DW_OP_constu, 16, dwarf::DW_OP_shra); + EXPECT_INVALID_FRAGMENT(0, 32, dwarf::DW_OP_plus_uconst, 6); + +#undef EXPECT_VALID_FRAGMENT +#undef EXPECT_INVALID_FRAGMENT +} + typedef MetadataTest DIObjCPropertyTest; TEST_F(DIObjCPropertyTest, get) { |
