Class: LLVM::Value

Inherits:
Object
  • Object
show all
Includes:
PointerIdentity
Defined in:
lib/llvm/core/value.rb

Direct Known Subclasses

Argument, BasicBlock, Poison, User

Class Method Summary collapse

Instance Method Summary collapse

Methods included from PointerIdentity

#==, #eql?, #hash, #to_ptr

Class Method Details

.from_ptr(ptr) ⇒ Object 



8
9
10
11
12
13
 
# File 'lib/llvm/core/value.rb', line 8

def self.from_ptr(ptr)
  return if ptr.null?
  val = allocate
  val.instance_variable_set(:@ptr, ptr)
  val
end

.from_ptr_kind(ptr) ⇒ Object 



15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
 
# File 'lib/llvm/core/value.rb', line 15

def self.from_ptr_kind(ptr)
  return if ptr.null?

  kind = C.get_value_kind(ptr)
  case kind
  when :instruction
    Instruction.from_ptr(ptr)
  when :const_int
    ConstantInt.from_ptr(ptr)
  when :const_fp
    ConstantReal.from_ptr(ptr)
  when :poison
    Poison.from_ptr(ptr)
  when :global_variable
    GlobalVariable.from_ptr(ptr)
  else
    raise "from_ptr_kind cannot handle: #{kind}"
  end
end

.to_ptr ⇒ Object 



40
41
42
 
# File 'lib/llvm/core/value.rb', line 40

def self.to_ptr
  type.to_ptr
end

.type ⇒ Object

Returns the Value type. This is abstract and is overidden by its subclasses.

Raises:

  • (NotImplementedError) 


36
37
38
 
# File 'lib/llvm/core/value.rb', line 36

def self.type
  raise NotImplementedError, "#{name}.type() is abstract."
end

Instance Method Details

#add_attribute(attr) ⇒ Object

Adds attr to this value’s attributes.



127
128
129
130
131
132
133
134
135
 
# File 'lib/llvm/core/value.rb', line 127

def add_attribute(attr)
  fun = param_parent
  return unless fun

  index = param_index(fun)
  return unless index

  fun.add_attribute(attr, index)
end

#allocated_type ⇒ Object

allocated type of alloca also works on geps of allocas



65
66
67
68
69
70
71
72
 
# File 'lib/llvm/core/value.rb', line 65

def allocated_type
  return if !allocated_type?

  alloc_type = C.get_allocated_type(self)
  return nil if alloc_type.nil?

  Type.from_ptr(alloc_type, nil)
end

#allocated_type? ⇒ Boolean

Returns:

  • (Boolean) 


54
55
56
57
58
59
60
61
 
# File 'lib/llvm/core/value.rb', line 54

def allocated_type?
  case self
  when Instruction
    true
  else
    false
  end
end

#constant? ⇒ Boolean

Returns whether the value is constant.

Returns:

  • (Boolean) 


107
108
109
 
# File 'lib/llvm/core/value.rb', line 107

def constant?
  C.is_constant(self)
end

#dump ⇒ Object

Print the value’s IR to stdout.



96
97
98
99
100
 
# File 'lib/llvm/core/value.rb', line 96

def dump
  # :nocov:
  C.dump_value(self)
  # :nocov:
end

#gep_source_element_type ⇒ Object

element type of gep



79
80
81
82
83
 
# File 'lib/llvm/core/value.rb', line 79

def gep_source_element_type
  return if !gep_source_element_type?

  Type.from_ptr(C.get_gep_source_element_type(self))
end

#gep_source_element_type? ⇒ Boolean

Returns:

  • (Boolean) 


74
75
76
 
# File 'lib/llvm/core/value.rb', line 74

def gep_source_element_type?
  is_a?(Instruction)
end

#global_parent ⇒ Object

Get the parent module of a global variable, including functions



149
150
151
 
# File 'lib/llvm/core/value.rb', line 149

def global_parent
  LLVM::Module.from_ptr(C.get_global_parent(self))
end

#kind ⇒ Object

Returns the value’s kind.



50
51
52
 
# File 'lib/llvm/core/value.rb', line 50

def kind
  C.get_value_kind(self)
end

#name ⇒ Object

Returns the value’s name.



86
87
88
 
# File 'lib/llvm/core/value.rb', line 86

def name
  C.get_value_name(self)
end

#name=(str) ⇒ Object

Sets the value’s name to str.



91
92
93
 
# File 'lib/llvm/core/value.rb', line 91

def name=(str)
  C.set_value_name(self, str)
end

#null? ⇒ Boolean

Returns whether the value is null.

Returns:

  • (Boolean) 


112
113
114
 
# File 'lib/llvm/core/value.rb', line 112

def null?
  C.is_null(self)
end

#poison? ⇒ Boolean

Returns:

  • (Boolean) 


122
123
124
 
# File 'lib/llvm/core/value.rb', line 122

def poison?
  C.is_poison(self)
end

#remove_attribute(attr) ⇒ Object

Removes the given attribute from the function.



138
139
140
141
142
143
144
145
146
 
# File 'lib/llvm/core/value.rb', line 138

def remove_attribute(attr)
  fun = param_parent
  return unless fun

  index = param_index(fun)
  return unless index

  fun.remove_attribute(attr, index)
end

#to_s ⇒ Object 



102
103
104
 
# File 'lib/llvm/core/value.rb', line 102

def to_s
  C.print_value_to_string(self)
end

#type ⇒ Object

Returns the value’s type.



45
46
47
 
# File 'lib/llvm/core/value.rb', line 45

def type
  Type.from_ptr(C.type_of(self), nil)
end

#undef? ⇒ Boolean Also known as: undefined?

Returns whether the value is undefined.

Returns:

  • (Boolean) 


117
118
119
 
# File 'lib/llvm/core/value.rb', line 117

def undef?
  C.is_undef(self)
end