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 = 
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__
]
OPERANDS =

: Array

[
  [],
  [],
  [:u8_block],
  [:u8_block],
  [:u8_block],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [:u32],
  [:u32],
  [:u32_vec, :u32],
  [],
  [:u32],
  [:u32, :u32],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [:u32],
  [:u32],
  [:u32],
  [:u32],
  [:u32],
  [],
  [],
  [],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32, :u32],
  [:u32],
  [:u32],
  [:i32],
  [:i64],
  [:f32],
  [:f64],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  [],
  []
]
NAMESPACES =

: Array[Array]

[
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :default,
  :i32,
  :i64,
  :f32,
  :f64,
  :i32,
  :i32,
  :i32,
  :i32,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i32,
  :i64,
  :f32,
  :f64,
  :i32,
  :i32,
  :i64,
  :i64,
  :i64,
  :default,
  :default,
  :i32,
  :i64,
  :f32,
  :f64,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i32,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :i64,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f32,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :f64,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert
]
FC_OPERANDS =

: Array

[
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert,
  :convert
]

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(namespace, code, operand) ⇒ Op

$OP_COUNT = 0 END 

puts "Total opcodes: #{$OP_COUNT"

}



476
477
478
479
480
481
482
 
# File 'lib/wardite/instruction.rb', line 476

def initialize(namespace, code, operand)
  @namespace = namespace      
  @code = code
  @operand = operand
  @meta = {}
  # $OP_COUNT += 1
end

Instance Attribute Details

#code ⇒ Object

: Symbol



462
463
464
 
# File 'lib/wardite/instruction.rb', line 462

def code
  @code
end

#meta ⇒ Object

: Hash[Symbol, Integer]



467
468
469
 
# File 'lib/wardite/instruction.rb', line 467

def meta
  @meta
end

#namespace ⇒ Object

: Array



460
461
462
 
# File 'lib/wardite/instruction.rb', line 460

def namespace
  @namespace
end

#operand ⇒ Object

TODO: add types of potential operands



465
466
467
 
# File 'lib/wardite/instruction.rb', line 465

def operand
  @operand
end

Class Method Details

.i2type(code) ⇒ Object

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

See Also:



533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
 
# File 'lib/wardite/instruction.rb', line 533

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 



498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
 
# File 'lib/wardite/instruction.rb', line 498

def self.operand_of(code)
  case code
  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]
  when :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
    [:u32, :u32]
  else
    []
  end
end

.resolve_fc_sym(lower) ⇒ Object 



492
493
494
 
# File 'lib/wardite/instruction.rb', line 492

def self.resolve_fc_sym(lower)
  FC_SYMS[lower] || raise("found unknown code 0xfc 0x#{lower.to_s(16)}")
end

.to_sym(chr) ⇒ Object 



486
487
488
 
# File 'lib/wardite/instruction.rb', line 486

def self.to_sym(chr)
  return SYMS[chr]
end