Class: Wardite::Op

Inherits:
Object
  • Object
show all
Defined in:
lib/wardite/instruction.rb

Overview

@rbs!

type operandItem = Integer | Array[Integer] | Float | Block

Constant Summary collapse

SYMS =

See Also:

%i[
  unreachable nop block loop if else try catch
  throw rethrow throw_ref end br br_if br_table return
  call call_indirect return_call return_call_indirect call_ref return_call_ref __undef__ __undef__
  delegate catch_all drop select select_t __undef__ __undef__ try_table
  local_get local_set local_tee global_get global_set table_get table_set __undef__
  i32_load i64_load f32_load f64_load i32_load8_s i32_load8_u i32_load16_s i32_load16_u
  i64_load8_s i64_load8_u i64_load16_s i64_load16_u i64_load32_s i64_load32_u i32_store i64_store
  f32_store f64_store i32_store8 i32_store16 i64_store8 i64_store16 i64_store32 memory_size
  memory_grow i32_const i64_const f32_const f64_const i32_eqz i32_eq i32_ne
  i32_lts i32_ltu i32_gts i32_gtu i32_les i32_leu i32_ges i32_geu
  i64_eqz i64_eq i64_ne i64_lts i64_ltu i64_gts i64_gtu i64_les
  i64_leu i64_ges i64_geu f32_eq f32_ne f32_lt f32_gt f32_le
  f32_ge f64_eq f64_ne f64_lt f64_gt f64_le f64_ge i32_clz
  i32_ctz i32_popcnt i32_add i32_sub i32_mul i32_div_s i32_div_u i32_rem_s
  i32_rem_u i32_and i32_or i32_xor i32_shl i32_shr_s i32_shr_u i32_rotl
  i32_rotr i64_clz i64_ctz i64_popcnt i64_add i64_sub i64_mul i64_div_s
  i64_div_u i64_rem_s i64_rem_u i64_and i64_or i64_xor i64_shl i64_shr_s
  i64_shr_u i64_rotl i64_rotr f32_abs f32_neg f32_ceil f32_floor f32_trunc
  f32_nearest f32_sqrt f32_add f32_sub f32_mul f32_div f32_min f32_max
  f32_copysign f64_abs f64_neg f64_ceil f64_floor f64_trunc f64_nearest f64_sqrt
  f64_add f64_sub f64_mul f64_div f64_min f64_max f64_copysign i32_wrap_i64
  i32_trunc_f32_s i32_trunc_f32_u i32_trunc_f64_s i32_trunc_f64_u i64_extend_i32_s i64_extend_i32_u i64_trunc_f32_s i64_trunc_f32_u
  i64_trunc_f64_s i64_trunc_f64_u f32_convert_i32_s f32_convert_i32_u f32_convert_i64_s f32_convert_i64_u f32_demote_f64 f64_convert_i32_s
  f64_convert_i32_u f64_convert_i64_s f64_convert_i64_u f64_promote_f32 i32_reinterpret_f32 i64_reinterpret_f64 f32_reinterpret_i32 f64_reinterpret_i64
  i32_extend8_s i32_extend16_s i64_extend8_s i64_extend16_s i64_extend32_s
  __unsuported_from_here_on__
]
FC_SYMS =

: Array

%i[
  i32_trunc_sat_f32_s i32_trunc_sat_f32_u i32_trunc_sat_f64_s i32_trunc_sat_f64_u
  i64_trunc_sat_f32_s i64_trunc_sat_f32_u i64_trunc_sat_f64_s i64_trunc_sat_f64_u
  memory_init data_drop memory_copy memory_fill
  table_init elem_drop table_copy table_grow
  table_size table_fill
  __unsuported_from_here_on__
]
@@table = 
nil
@@fc_table = 
nil

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(namespace, code, operand) ⇒ Op

Returns a new instance of Op.



86
87
88
89
90
91
 
# File 'lib/wardite/instruction.rb', line 86

def initialize(namespace, code, operand)
  @namespace = namespace      
  @code = code
  @operand = operand
  @meta = {}
end

Instance Attribute Details

#code ⇒ Object

: Symbol



76
77
78
 
# File 'lib/wardite/instruction.rb', line 76

def code
  @code
end

#meta ⇒ Object

: Hash[Symbol, Integer]



81
82
83
 
# File 'lib/wardite/instruction.rb', line 81

def meta
  @meta
end

#namespace ⇒ Object

: Symbol



74
75
76
 
# File 'lib/wardite/instruction.rb', line 74

def namespace
  @namespace
end

#operand ⇒ Object

TODO: add types of potential operands



79
80
81
 
# File 'lib/wardite/instruction.rb', line 79

def operand
  @operand
end

Class Method Details

.fc_table ⇒ Object 



64
65
66
67
68
69
70
71
72
 
# File 'lib/wardite/instruction.rb', line 64

def self.fc_table
  return @@fc_table if @@fc_table != nil
  @@fc_table = {}.tap do |ha|
    FC_SYMS.each_with_index do |sym, i|
      ha[i] = sym
    end
  end
  @@fc_table
end

.i2type(code) ⇒ Object

We use this for reftype conversion. webassembly.github.io/spec/core/binary/types.html#binary-reftype

See Also:



175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
 
# File 'lib/wardite/instruction.rb', line 175

def self.i2type(code)
  case code
  when 0x6f
    :externref
  when 0x70
    :funcref
  when 0x7f
    :i32
  when 0x7e
    :i64
  when 0x7d
    :f32
  when 0x7c
    :f64
  else
    raise "unknown type code #{code}"
  end
end

.operand_of(code) ⇒ Object 



142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
 
# File 'lib/wardite/instruction.rb', line 142

def self.operand_of(code)
  case code
  when /load/, /store/
    [:u32, :u32]
  when :local_get, :local_set, :local_tee, :global_get, :global_set, :call, :br, :br_if
    [:u32]
  when :memory_init, :memory_copy
    [:u32, :u32]
  when :memory_size, :memory_grow, :memory_fill
    [:u32]
  when :call_indirect
    [:u32, :u32]
  when :br_table
    [:u32_vec, :u32]
  when :i32_const
    [:i32]
  when :i64_const
    [:i64]
  when :f32_const
    [:f32]
  when :f64_const
    [:f64]
  when :if, :block, :loop
    [:u8_block]
  else
    []
  end
end

.resolve_fc_sym(lower) ⇒ Object 



120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
 
# File 'lib/wardite/instruction.rb', line 120

def self.resolve_fc_sym(lower)
  if lower == 0xfc
    return [:fc, :fc]
  end

  code = fc_table[lower]
  if ! code
    raise "found unknown code 0xfc 0x#{lower.to_s(16)}"
  end

  prefix = code.to_s.split("_")[0]
  case prefix
  when "i32", "i64", "f32", "f64"
    # All FC operations for numeric are "convert"
    [:convert, code]
  else
    [:default, code]
  end
end

.table ⇒ Object 



53
54
55
56
57
58
59
60
61
 
# File 'lib/wardite/instruction.rb', line 53

def self.table
  return @@table if @@table != nil
  @@table = {}.tap do |ha|
    SYMS.each_with_index do |sym, i|
      ha[i] = sym
    end
  end
  @@table
end

.to_sym(chr) ⇒ Object 



95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
 
# File 'lib/wardite/instruction.rb', line 95

def self.to_sym(chr)
  if chr.ord == 0xfc
    return [:fc, :fc]
  end

  code = table[chr.ord]
  if ! code
    raise "found unknown code 0x#{chr.ord.to_s(16)}"
  end
  # opcodes equal to or larger than are "convert" ops
  if chr.ord >= 0xa7
    return [:convert, code]
  end

  prefix = code.to_s.split("_")[0]
  case prefix
  when "i32", "i64", "f32", "f64"
    [prefix.to_sym, code]
  else
    [:default, code]
  end
end