note description: "Summary description for {BRANCH_INST}." author: "" date: "$Date$" revision: "$Revision$" class BRANCH_INST inherit TERMINATOR_INST create make_from_pointer, make, make_conditional feature {NONE} make (if_true: BASIC_BLOCK) do item := make_external (if_true.item) end make_conditional (if_true: BASIC_BLOCK; if_false: BASIC_BLOCK; cond: VALUE) do item := make_conditional_external (if_true.item, if_false.item, cond.item) end feature {NONE} -- Externals make_external (if_true: POINTER): POINTER external "C++ inline use %"llvm/IR/Instructions.h%"" alias "[ return llvm::BranchInst::Create ((llvm::BasicBlock *)$if_true); ]" end make_conditional_external (if_true: POINTER; if_false: POINTER; cond: POINTER): POINTER external "C++ inline use %"llvm/IR/Instructions.h%"" alias "[ return llvm::BranchInst::Create ((llvm::BasicBlock *)$if_true, (llvm::BasicBlock *)$if_false, (llvm::Value *)$cond); ]" end end