1 //===- llvm/unittest/IR/UserTest.cpp - User unit tests --------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "llvm/IR/User.h"
11 #include "llvm/AsmParser/Parser.h"
12 #include "llvm/IR/Function.h"
13 #include "llvm/IR/Instructions.h"
14 #include "llvm/IR/LLVMContext.h"
15 #include "llvm/IR/Module.h"
16 #include "llvm/Support/SourceMgr.h"
17 #include "gtest/gtest.h"
22 TEST(UserTest
, ValueOpIteration
) {
25 const char *ModuleString
= "define void @f(i32 %x, i32 %y) {\n"
27 " switch i32 undef, label %s0\n"
28 " [ i32 1, label %s1\n"
36 " i32 9, label %s9 ]\n"
60 " %phi = phi i32 [ 0, %s0 ], [ 1, %s1 ],\n"
61 " [ 2, %s2 ], [ 3, %s3 ],\n"
62 " [ 4, %s4 ], [ 5, %s5 ],\n"
63 " [ 6, %s6 ], [ 7, %s7 ],\n"
64 " [ 8, %s8 ], [ 9, %s9 ]\n"
68 std::unique_ptr
<Module
> M
= parseAssemblyString(ModuleString
, Err
, C
);
70 Function
*F
= M
->getFunction("f");
71 BasicBlock
&ExitBB
= F
->back();
72 PHINode
&P
= cast
<PHINode
>(ExitBB
.front());
73 EXPECT_TRUE(P
.value_op_begin() == P
.value_op_begin());
74 EXPECT_FALSE(P
.value_op_begin() == P
.value_op_end());
75 EXPECT_TRUE(P
.value_op_begin() != P
.value_op_end());
76 EXPECT_FALSE(P
.value_op_end() != P
.value_op_end());
77 EXPECT_TRUE(P
.value_op_begin() < P
.value_op_end());
78 EXPECT_FALSE(P
.value_op_begin() < P
.value_op_begin());
79 EXPECT_TRUE(P
.value_op_end() > P
.value_op_begin());
80 EXPECT_FALSE(P
.value_op_begin() > P
.value_op_begin());
81 EXPECT_TRUE(P
.value_op_begin() <= P
.value_op_begin());
82 EXPECT_FALSE(P
.value_op_end() <= P
.value_op_begin());
83 EXPECT_TRUE(P
.value_op_begin() >= P
.value_op_begin());
84 EXPECT_FALSE(P
.value_op_begin() >= P
.value_op_end());
85 EXPECT_EQ(10, std::distance(P
.value_op_begin(), P
.value_op_end()));
87 // const value op iteration
88 const PHINode
*IP
= &P
;
89 EXPECT_TRUE(IP
->value_op_begin() == IP
->value_op_begin());
90 EXPECT_FALSE(IP
->value_op_begin() == IP
->value_op_end());
91 EXPECT_TRUE(IP
->value_op_begin() != IP
->value_op_end());
92 EXPECT_FALSE(IP
->value_op_end() != IP
->value_op_end());
93 EXPECT_TRUE(IP
->value_op_begin() < IP
->value_op_end());
94 EXPECT_FALSE(IP
->value_op_begin() < IP
->value_op_begin());
95 EXPECT_TRUE(IP
->value_op_end() > IP
->value_op_begin());
96 EXPECT_FALSE(IP
->value_op_begin() > IP
->value_op_begin());
97 EXPECT_TRUE(IP
->value_op_begin() <= IP
->value_op_begin());
98 EXPECT_FALSE(IP
->value_op_end() <= IP
->value_op_begin());
99 EXPECT_TRUE(IP
->value_op_begin() >= IP
->value_op_begin());
100 EXPECT_FALSE(IP
->value_op_begin() >= IP
->value_op_end());
101 EXPECT_EQ(10, std::distance(IP
->value_op_begin(), IP
->value_op_end()));
103 User::value_op_iterator I
= P
.value_op_begin();
105 EXPECT_EQ(std::next(P
.value_op_begin(), 3), I
);
106 EXPECT_EQ(P
.getOperand(3), *I
);
108 EXPECT_EQ(P
.getOperand(6), I
[2]);
109 EXPECT_EQ(P
.value_op_end(), (I
- 2) + 8);
112 User::const_value_op_iterator CI
= IP
->value_op_begin();
114 EXPECT_EQ(std::next(IP
->value_op_begin(), 3), CI
);
115 EXPECT_EQ(IP
->getOperand(3), *CI
);
117 EXPECT_EQ(IP
->getOperand(6), CI
[2]);
118 EXPECT_EQ(IP
->value_op_end(), (CI
- 2) + 8);
121 TEST(UserTest
, PersonalityUser
) {
123 Module
M("", Context
);
124 FunctionType
*RetVoidTy
= FunctionType::get(Type::getVoidTy(Context
), false);
125 Function
*PersonalityF
= Function::Create(
126 RetVoidTy
, GlobalValue::ExternalLinkage
, "PersonalityFn", &M
);
128 Function::Create(RetVoidTy
, GlobalValue::ExternalLinkage
, "TestFn", &M
);
130 // Set up the personality function
131 TestF
->setPersonalityFn(PersonalityF
);
132 auto PersonalityUsers
= PersonalityF
->user_begin();
134 // One user and that user is the Test function
135 EXPECT_EQ(*PersonalityUsers
, TestF
);
136 EXPECT_EQ(++PersonalityUsers
, PersonalityF
->user_end());
138 // Reset the personality function
139 TestF
->setPersonalityFn(nullptr);
141 // No users should remain
142 EXPECT_TRUE(TestF
->user_empty());
145 } // end anonymous namespace