1 //===-- iBranch.cpp - Implement the Branch instruction -----------*- C++ -*--=//
3 // This file implements the 'br' instruction, which can represent either a
4 // conditional or unconditional branch.
6 //===----------------------------------------------------------------------===//
8 #include "llvm/iTerminators.h"
9 #include "llvm/BasicBlock.h"
11 #include "llvm/Type.h" // Only used for assertions...
12 #include "llvm/Assembly/Writer.h"
16 BranchInst::BranchInst(BasicBlock *True, BasicBlock *False, Value *Cond)
17 : TerminatorInst(Instruction::Br) {
18 assert(True != 0 && "True branch destination may not be null!!!");
19 Operands.reserve(False ? 3 : 1);
20 Operands.push_back(Use(True, this));
22 Operands.push_back(Use(False, this));
23 Operands.push_back(Use(Cond, this));
26 assert(!!False == !!Cond &&
27 "Either both cond and false or neither can be specified!");
30 if (Cond != 0 && Cond->getType() != Type::BoolTy)
31 std::cerr << "Bad Condition: " << Cond << "\n";
33 assert((Cond == 0 || Cond->getType() == Type::BoolTy) &&
34 "May only branch on boolean predicates!!!!");
37 BranchInst::BranchInst(const BranchInst &BI) : TerminatorInst(Instruction::Br) {
38 Operands.reserve(BI.Operands.size());
39 Operands.push_back(Use(BI.Operands[0], this));
40 if (BI.Operands.size() != 1) {
41 assert(BI.Operands.size() == 3 && "BR can have 1 or 3 operands!");
42 Operands.push_back(Use(BI.Operands[1], this));
43 Operands.push_back(Use(BI.Operands[2], this));