llir 0.2.2

LLVM IR Binding
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116

use llvm_sys::core::{LLVMGetICmpPredicate, LLVMGetOperand};
use llvm_sys::prelude::LLVMValueRef;
use llvm_sys::LLVMIntPredicate;
use std::marker::PhantomData;

use crate::values::*;
use crate::*;

/// Integer conparison predicate
#[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)]
pub enum ICmpPredicate {
  /// Equals
  EQ,
  /// Not-equals
  NE,
  /// Signed greater-than or equal-to
  SGE,
  /// Unsigned greater-than or equal-to
  UGE,
  /// Signed greater-than
  SGT,
  /// Unsigned greater-than
  UGT,
  /// Signed less-than or equal-to
  SLE,
  /// Unsigned less-than or equal-to
  ULE,
  /// Signed less-than
  SLT,
  /// Unsigned less-than
  ULT,
}

impl ICmpPredicate {
  pub(crate) fn from_llvm(pred: LLVMIntPredicate) -> Self {
    use LLVMIntPredicate::*;
    match pred {
      LLVMIntEQ => Self::EQ,
      LLVMIntNE => Self::NE,
      LLVMIntSGE => Self::SGE,
      LLVMIntUGE => Self::UGE,
      LLVMIntSGT => Self::SGT,
      LLVMIntUGT => Self::UGT,
      LLVMIntSLE => Self::SLE,
      LLVMIntULE => Self::ULE,
      LLVMIntSLT => Self::SLT,
      LLVMIntULT => Self::ULT,
    }
  }

  pub fn to_string(&self) -> &str {
    match self {
      Self::EQ => "eq",
      Self::NE => "ne",
      Self::SGE => "sge",
      Self::SGT => "sgt",
      Self::SLE => "sle",
      Self::SLT => "slt",
      Self::UGE => "uge",
      Self::UGT => "ugt",
      Self::ULE => "ule",
      Self::ULT => "ult",
    }
  }
}

/// [Integer comparison (ICmp) instruction](https://llvm.org/docs/LangRef.html#icmp-instruction)
#[derive(Copy, Clone, PartialEq, Eq, Hash)]
pub struct ICmpInstruction<'ctx>(ICmpPredicate, LLVMValueRef, PhantomData<&'ctx ()>);

impl_instr_debug!(ICmpInstruction);

impl_as_operand_for_instr!(ICmpInstruction);

impl_send_sync!(ICmpInstruction);

impl<'ctx> GetType<'ctx> for ICmpInstruction<'ctx> {}

impl<'ctx> GetDebugMetadata<'ctx> for ICmpInstruction<'ctx> {}

impl<'ctx> InstructionDebugLoc for ICmpInstruction<'ctx> {}

impl<'ctx> InstructionTrait<'ctx> for ICmpInstruction<'ctx> {}

impl<'ctx> ICmpInstruction<'ctx> {
  /// Get the integer comparison predicate
  pub fn predicate(&self) -> ICmpPredicate {
    self.0
  }

  /// Get the lhs operand
  pub fn op0(&self) -> Operand<'ctx> {
    Operand::from_llvm(unsafe { LLVMGetOperand(self.1, 0) })
  }

  /// Get the rhs operand
  pub fn op1(&self) -> Operand<'ctx> {
    Operand::from_llvm(unsafe { LLVMGetOperand(self.1, 1) })
  }
}

impl<'ctx> ValueOpcode for ICmpInstruction<'ctx> {
  fn opcode(&self) -> Opcode {
    Opcode::ICmp
  }
}

impl<'ctx> AsInstruction<'ctx> for ICmpInstruction<'ctx> {
  fn as_instruction(&self) -> Instruction<'ctx> {
    Instruction::ICmp(*self)
  }
}

impl_positional_value_ref!(ICmpInstruction, 1);

impl_cmp_from_llvm_value!(ICmpInstruction, ICmpPredicate, LLVMGetICmpPredicate);