blob: ab2d34e89db6e7de342d8e4574d44dbab9f784cc [file] [log] [blame]
Chandler Carruthec7ad652012-07-15 23:26:50 +00001//===- llvm/unittests/MDBuilderTest.cpp - MDBuilder unit tests ------------===//
Duncan Sands62d5f6f2012-04-15 18:03:49 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Chandler Carruth9fb823b2013-01-02 11:36:10 +000010#include "llvm/IR/MDBuilder.h"
11#include "llvm/IR/IRBuilder.h"
Benjamin Kramer6b841f12014-04-12 14:26:59 +000012#include "llvm/IR/Metadata.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000013#include "llvm/IR/Operator.h"
Chandler Carruthaafe0912012-06-29 12:38:19 +000014#include "gtest/gtest.h"
15
Duncan Sands62d5f6f2012-04-15 18:03:49 +000016using namespace llvm;
17
18namespace {
19
20class MDBuilderTest : public testing::Test {
21protected:
22 LLVMContext Context;
23};
24
Duncan Sands05f4df82012-04-16 16:28:59 +000025TEST_F(MDBuilderTest, createString) {
Duncan Sands62d5f6f2012-04-15 18:03:49 +000026 MDBuilder MDHelper(Context);
Duncan Sands05f4df82012-04-16 16:28:59 +000027 MDString *Str0 = MDHelper.createString("");
28 MDString *Str1 = MDHelper.createString("string");
Duncan Sands62d5f6f2012-04-15 18:03:49 +000029 EXPECT_EQ(Str0->getString(), StringRef(""));
30 EXPECT_EQ(Str1->getString(), StringRef("string"));
31}
Duncan Sands05f4df82012-04-16 16:28:59 +000032TEST_F(MDBuilderTest, createFPMath) {
33 MDBuilder MDHelper(Context);
34 MDNode *MD0 = MDHelper.createFPMath(0.0);
35 MDNode *MD1 = MDHelper.createFPMath(1.0);
Craig Topper66f09ad2014-06-08 22:29:17 +000036 EXPECT_EQ(MD0, (MDNode *)nullptr);
37 EXPECT_NE(MD1, (MDNode *)nullptr);
Duncan Sands05f4df82012-04-16 16:28:59 +000038 EXPECT_EQ(MD1->getNumOperands(), 1U);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000039 Metadata *Op = MD1->getOperand(0);
40 EXPECT_TRUE(mdconst::hasa<ConstantFP>(Op));
41 ConstantFP *Val = mdconst::extract<ConstantFP>(Op);
42 EXPECT_TRUE(Val->getType()->isFloatingPointTy());
Duncan Sands05f4df82012-04-16 16:28:59 +000043 EXPECT_TRUE(Val->isExactlyValue(1.0));
44}
45TEST_F(MDBuilderTest, createRangeMetadata) {
Duncan Sands62d5f6f2012-04-15 18:03:49 +000046 MDBuilder MDHelper(Context);
47 APInt A(8, 1), B(8, 2);
Duncan Sands05f4df82012-04-16 16:28:59 +000048 MDNode *R0 = MDHelper.createRange(A, A);
49 MDNode *R1 = MDHelper.createRange(A, B);
Craig Topper66f09ad2014-06-08 22:29:17 +000050 EXPECT_EQ(R0, (MDNode *)nullptr);
51 EXPECT_NE(R1, (MDNode *)nullptr);
Duncan Sands62d5f6f2012-04-15 18:03:49 +000052 EXPECT_EQ(R1->getNumOperands(), 2U);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000053 EXPECT_TRUE(mdconst::hasa<ConstantInt>(R1->getOperand(0)));
54 EXPECT_TRUE(mdconst::hasa<ConstantInt>(R1->getOperand(1)));
55 ConstantInt *C0 = mdconst::extract<ConstantInt>(R1->getOperand(0));
56 ConstantInt *C1 = mdconst::extract<ConstantInt>(R1->getOperand(1));
Duncan Sands62d5f6f2012-04-15 18:03:49 +000057 EXPECT_EQ(C0->getValue(), A);
58 EXPECT_EQ(C1->getValue(), B);
59}
Duncan Sands05f4df82012-04-16 16:28:59 +000060TEST_F(MDBuilderTest, createAnonymousTBAARoot) {
Duncan Sands62d5f6f2012-04-15 18:03:49 +000061 MDBuilder MDHelper(Context);
Duncan Sands05f4df82012-04-16 16:28:59 +000062 MDNode *R0 = MDHelper.createAnonymousTBAARoot();
63 MDNode *R1 = MDHelper.createAnonymousTBAARoot();
Duncan Sands62d5f6f2012-04-15 18:03:49 +000064 EXPECT_NE(R0, R1);
65 EXPECT_GE(R0->getNumOperands(), 1U);
66 EXPECT_GE(R1->getNumOperands(), 1U);
67 EXPECT_EQ(R0->getOperand(0), R0);
68 EXPECT_EQ(R1->getOperand(0), R1);
Craig Topper66f09ad2014-06-08 22:29:17 +000069 EXPECT_TRUE(R0->getNumOperands() == 1 || R0->getOperand(1) == nullptr);
70 EXPECT_TRUE(R1->getNumOperands() == 1 || R1->getOperand(1) == nullptr);
Duncan Sands62d5f6f2012-04-15 18:03:49 +000071}
Duncan Sands05f4df82012-04-16 16:28:59 +000072TEST_F(MDBuilderTest, createTBAARoot) {
Duncan Sands62d5f6f2012-04-15 18:03:49 +000073 MDBuilder MDHelper(Context);
Duncan Sands05f4df82012-04-16 16:28:59 +000074 MDNode *R0 = MDHelper.createTBAARoot("Root");
75 MDNode *R1 = MDHelper.createTBAARoot("Root");
Duncan Sands62d5f6f2012-04-15 18:03:49 +000076 EXPECT_EQ(R0, R1);
77 EXPECT_GE(R0->getNumOperands(), 1U);
78 EXPECT_TRUE(isa<MDString>(R0->getOperand(0)));
79 EXPECT_EQ(cast<MDString>(R0->getOperand(0))->getString(), "Root");
Craig Topper66f09ad2014-06-08 22:29:17 +000080 EXPECT_TRUE(R0->getNumOperands() == 1 || R0->getOperand(1) == nullptr);
Duncan Sands62d5f6f2012-04-15 18:03:49 +000081}
Duncan Sands05f4df82012-04-16 16:28:59 +000082TEST_F(MDBuilderTest, createTBAANode) {
Duncan Sands62d5f6f2012-04-15 18:03:49 +000083 MDBuilder MDHelper(Context);
Duncan Sands05f4df82012-04-16 16:28:59 +000084 MDNode *R = MDHelper.createTBAARoot("Root");
85 MDNode *N0 = MDHelper.createTBAANode("Node", R);
86 MDNode *N1 = MDHelper.createTBAANode("edoN", R);
87 MDNode *N2 = MDHelper.createTBAANode("Node", R, true);
88 MDNode *N3 = MDHelper.createTBAANode("Node", R);
Duncan Sands62d5f6f2012-04-15 18:03:49 +000089 EXPECT_EQ(N0, N3);
90 EXPECT_NE(N0, N1);
91 EXPECT_NE(N0, N2);
92 EXPECT_GE(N0->getNumOperands(), 2U);
93 EXPECT_GE(N1->getNumOperands(), 2U);
94 EXPECT_GE(N2->getNumOperands(), 3U);
95 EXPECT_TRUE(isa<MDString>(N0->getOperand(0)));
96 EXPECT_TRUE(isa<MDString>(N1->getOperand(0)));
97 EXPECT_TRUE(isa<MDString>(N2->getOperand(0)));
98 EXPECT_EQ(cast<MDString>(N0->getOperand(0))->getString(), "Node");
99 EXPECT_EQ(cast<MDString>(N1->getOperand(0))->getString(), "edoN");
100 EXPECT_EQ(cast<MDString>(N2->getOperand(0))->getString(), "Node");
101 EXPECT_EQ(N0->getOperand(1), R);
102 EXPECT_EQ(N1->getOperand(1), R);
103 EXPECT_EQ(N2->getOperand(1), R);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000104 EXPECT_TRUE(mdconst::hasa<ConstantInt>(N2->getOperand(2)));
105 EXPECT_EQ(mdconst::extract<ConstantInt>(N2->getOperand(2))->getZExtValue(),
106 1U);
Duncan Sands62d5f6f2012-04-15 18:03:49 +0000107}
108}