use llvm_sys::core::{LLVMGetNumOperands, LLVMGetOperand, LLVMValueAsBasicBlock};
use llvm_sys::prelude::LLVMValueRef;
use std::marker::PhantomData;
use crate::utils::*;
use crate::values::*;
use crate::{FromLLVMBlock, FromLLVMValue, ValueRef};
#[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)]
pub enum BranchInstruction<'ctx> {
Conditional(ConditionalBranchInstruction<'ctx>),
Unconditional(UnconditionalBranchInstruction<'ctx>),
}
impl_as_operand_for_instr!(BranchInstruction);
impl<'ctx> GetDebugMetadata<'ctx> for BranchInstruction<'ctx> {}
impl<'ctx> InstructionDebugLoc for BranchInstruction<'ctx> {}
impl<'ctx> InstructionTrait<'ctx> for BranchInstruction<'ctx> {}
impl<'ctx> AsInstruction<'ctx> for BranchInstruction<'ctx> {
fn as_instruction(&self) -> Instruction<'ctx> {
Instruction::Branch(*self)
}
}
impl<'ctx> ValueOpcode for BranchInstruction<'ctx> {
fn opcode(&self) -> Opcode {
Opcode::Br
}
}
impl<'ctx> BranchInstruction<'ctx> {
pub fn destinations(&self) -> Vec<Block<'ctx>> {
match self {
Self::Conditional(c) => vec![c.then_block(), c.else_block()],
Self::Unconditional(u) => vec![u.destination()],
}
}
}
impl<'ctx> FromLLVMValue for BranchInstruction<'ctx> {
fn from_llvm(ptr: LLVMValueRef) -> Self {
match unsafe { LLVMGetNumOperands(ptr) } {
1 => Self::Unconditional(UnconditionalBranchInstruction::from_llvm(ptr)),
3 => Self::Conditional(ConditionalBranchInstruction::from_llvm(ptr)),
_ => panic!("Unknown branch variant"),
}
}
}
impl<'ctx> ValueRef for BranchInstruction<'ctx> {
fn value_ref(&self) -> LLVMValueRef {
match self {
Self::Conditional(c) => c.value_ref(),
Self::Unconditional(u) => u.value_ref(),
}
}
}
#[derive(Copy, Clone, PartialEq, Eq, Hash)]
pub struct ConditionalBranchInstruction<'ctx>(LLVMValueRef, PhantomData<&'ctx ()>);
impl_instr_debug!(ConditionalBranchInstruction);
impl_as_operand_for_instr!(ConditionalBranchInstruction);
impl_send_sync!(ConditionalBranchInstruction);
impl<'ctx> GetDebugMetadata<'ctx> for ConditionalBranchInstruction<'ctx> {}
impl<'ctx> InstructionDebugLoc for ConditionalBranchInstruction<'ctx> {}
impl<'ctx> InstructionTrait<'ctx> for ConditionalBranchInstruction<'ctx> {}
impl<'ctx> ConditionalBranchInstruction<'ctx> {
pub fn condition(&self) -> Operand<'ctx> {
Operand::from_llvm(unsafe { LLVMGetOperand(self.0, 0) })
}
pub fn then_block(&self) -> Block<'ctx> {
let operand = unsafe { LLVMGetOperand(self.0, 2) };
let block = unsafe { LLVMValueAsBasicBlock(operand) };
Block::from_llvm(block)
}
pub fn else_block(&self) -> Block<'ctx> {
let operand = unsafe { LLVMGetOperand(self.0, 1) };
let block = unsafe { LLVMValueAsBasicBlock(operand) };
Block::from_llvm(block)
}
}
impl<'ctx> ValueOpcode for ConditionalBranchInstruction<'ctx> {
fn opcode(&self) -> Opcode {
Opcode::Br
}
}
impl<'ctx> AsInstruction<'ctx> for ConditionalBranchInstruction<'ctx> {
fn as_instruction(&self) -> Instruction<'ctx> {
Instruction::Branch(BranchInstruction::Conditional(*self))
}
}
impl_positional_value_ref!(ConditionalBranchInstruction, 0);
impl_positional_from_llvm_value!(ConditionalBranchInstruction);
#[derive(Copy, Clone, PartialEq, Eq, Hash)]
pub struct UnconditionalBranchInstruction<'ctx>(LLVMValueRef, PhantomData<&'ctx ()>);
impl_instr_debug!(UnconditionalBranchInstruction);
impl_as_operand_for_instr!(UnconditionalBranchInstruction);
impl_send_sync!(UnconditionalBranchInstruction);
impl<'ctx> GetDebugMetadata<'ctx> for UnconditionalBranchInstruction<'ctx> {}
impl<'ctx> InstructionDebugLoc for UnconditionalBranchInstruction<'ctx> {}
impl<'ctx> InstructionTrait<'ctx> for UnconditionalBranchInstruction<'ctx> {}
impl<'ctx> UnconditionalBranchInstruction<'ctx> {
pub fn destination(&self) -> Block<'ctx> {
let operand = unsafe { LLVMGetOperand(self.0, 0) };
let block = unsafe { LLVMValueAsBasicBlock(operand) };
Block::from_llvm(block)
}
pub fn is_loop_jump(&self) -> Option<bool> {
mdkind_ids::dbg_metadata(self.value_ref()).map(|_| mdkind_ids::loop_metadata(self.value_ref()).is_some())
}
}
impl<'ctx> ValueOpcode for UnconditionalBranchInstruction<'ctx> {
fn opcode(&self) -> Opcode {
Opcode::Br
}
}
impl<'ctx> AsInstruction<'ctx> for UnconditionalBranchInstruction<'ctx> {
fn as_instruction(&self) -> Instruction<'ctx> {
Instruction::Branch(BranchInstruction::Unconditional(*self))
}
}
impl_positional_value_ref!(UnconditionalBranchInstruction, 0);
impl_positional_from_llvm_value!(UnconditionalBranchInstruction);