1411afbe321a7a3705a390d405e9e71ab21f71657Chandler Carruth//===- llvm/unittest/VMCore/IRBuilderTest.cpp - IRBuilder tests -----------===//
20cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky//
30cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky//                     The LLVM Compiler Infrastructure
40cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky//
50cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky// This file is distributed under the University of Illinois Open Source
60cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky// License. See LICENSE.TXT for details.
70cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky//
80cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky//===----------------------------------------------------------------------===//
90cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
100cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky#include "llvm/BasicBlock.h"
110cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky#include "llvm/Function.h"
1206cb8ed00696eb14d1b831921452e50ec0568ea2Chandler Carruth#include "llvm/IRBuilder.h"
130cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky#include "llvm/IntrinsicInst.h"
140cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky#include "llvm/LLVMContext.h"
15299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth#include "llvm/MDBuilder.h"
160cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky#include "llvm/Module.h"
170cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky#include "llvm/ADT/OwningPtr.h"
180cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
190cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky#include "gtest/gtest.h"
200cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
210cf51561eddd659a7b427f40144e22363fd95a57Nick Lewyckyusing namespace llvm;
220cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
232d24e2a396a1d211baaeedf32148a3b657240170David Blaikienamespace {
241880e2d34458f67a92e26953c257f2feb334ceefChandler Carruth
250cf51561eddd659a7b427f40144e22363fd95a57Nick Lewyckyclass IRBuilderTest : public testing::Test {
260cf51561eddd659a7b427f40144e22363fd95a57Nick Lewyckyprotected:
270cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  virtual void SetUp() {
280cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky    M.reset(new Module("MyModule", getGlobalContext()));
290cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky    FunctionType *FTy = FunctionType::get(Type::getVoidTy(getGlobalContext()),
300cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky                                          /*isVarArg=*/false);
314b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth    F = Function::Create(FTy, Function::ExternalLinkage, "", M.get());
320cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky    BB = BasicBlock::Create(getGlobalContext(), "", F);
330cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  }
340cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
350cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  virtual void TearDown() {
360cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky    BB = 0;
370cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky    M.reset();
380cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  }
390cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
400cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  OwningPtr<Module> M;
414b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth  Function *F;
420cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  BasicBlock *BB;
430cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky};
440cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
450cf51561eddd659a7b427f40144e22363fd95a57Nick LewyckyTEST_F(IRBuilderTest, Lifetime) {
460cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  IRBuilder<> Builder(BB);
470cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  AllocaInst *Var1 = Builder.CreateAlloca(Builder.getInt8Ty());
480cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  AllocaInst *Var2 = Builder.CreateAlloca(Builder.getInt32Ty());
490cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  AllocaInst *Var3 = Builder.CreateAlloca(Builder.getInt8Ty(),
500cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky                                          Builder.getInt32(123));
510cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
520cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  CallInst *Start1 = Builder.CreateLifetimeStart(Var1);
530cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  CallInst *Start2 = Builder.CreateLifetimeStart(Var2);
540cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  CallInst *Start3 = Builder.CreateLifetimeStart(Var3, Builder.getInt64(100));
550cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
560cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  EXPECT_EQ(Start1->getArgOperand(0), Builder.getInt64(-1));
570cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  EXPECT_EQ(Start2->getArgOperand(0), Builder.getInt64(-1));
580cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  EXPECT_EQ(Start3->getArgOperand(0), Builder.getInt64(100));
590cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
600cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  EXPECT_EQ(Start1->getArgOperand(1), Var1);
610cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  EXPECT_NE(Start2->getArgOperand(1), Var2);
620cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  EXPECT_EQ(Start3->getArgOperand(1), Var3);
630cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
640cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  Value *End1 = Builder.CreateLifetimeEnd(Var1);
650cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  Builder.CreateLifetimeEnd(Var2);
660cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  Builder.CreateLifetimeEnd(Var3);
670cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky
680cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  IntrinsicInst *II_Start1 = dyn_cast<IntrinsicInst>(Start1);
690cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  IntrinsicInst *II_End1 = dyn_cast<IntrinsicInst>(End1);
700cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  ASSERT_TRUE(II_Start1 != NULL);
710cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  EXPECT_EQ(II_Start1->getIntrinsicID(), Intrinsic::lifetime_start);
720cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  ASSERT_TRUE(II_End1 != NULL);
730cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky  EXPECT_EQ(II_End1->getIntrinsicID(), Intrinsic::lifetime_end);
740cf51561eddd659a7b427f40144e22363fd95a57Nick Lewycky}
751880e2d34458f67a92e26953c257f2feb334ceefChandler Carruth
764b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler CarruthTEST_F(IRBuilderTest, CreateCondBr) {
774b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth  IRBuilder<> Builder(BB);
784b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth  BasicBlock *TBB = BasicBlock::Create(getGlobalContext(), "", F);
794b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth  BasicBlock *FBB = BasicBlock::Create(getGlobalContext(), "", F);
804b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth
814b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth  BranchInst *BI = Builder.CreateCondBr(Builder.getTrue(), TBB, FBB);
824b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth  TerminatorInst *TI = BB->getTerminator();
834b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth  EXPECT_EQ(BI, TI);
844b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth  EXPECT_EQ(2u, TI->getNumSuccessors());
854b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth  EXPECT_EQ(TBB, TI->getSuccessor(0));
864b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth  EXPECT_EQ(FBB, TI->getSuccessor(1));
87299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth
88299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth  BI->eraseFromParent();
89299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth  MDNode *Weights = MDBuilder(getGlobalContext()).createBranchWeights(42, 13);
90299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth  BI = Builder.CreateCondBr(Builder.getTrue(), TBB, FBB, Weights);
91299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth  TI = BB->getTerminator();
92299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth  EXPECT_EQ(BI, TI);
93299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth  EXPECT_EQ(2u, TI->getNumSuccessors());
94299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth  EXPECT_EQ(TBB, TI->getSuccessor(0));
95299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth  EXPECT_EQ(FBB, TI->getSuccessor(1));
96299493720382ab26e0842eca233fd240dce3b3d6Chandler Carruth  EXPECT_EQ(Weights, TI->getMetadata(LLVMContext::MD_prof));
974b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth}
984b31c4d93ff23c4b9a5d9169ff5e6f51731fca17Chandler Carruth
991880e2d34458f67a92e26953c257f2feb334ceefChandler Carruth}
100