vm/instruction_operands.cpp

   1 #include "master.hpp"
   2
   3 namespace factor {
   4
   5 instruction_operand::instruction_operand(relocation_entry rel,
   6                                          code_block* compiled, cell index)
   7     : rel(rel),
   8       compiled(compiled),
   9       index(index),
  10       pointer(compiled->entry_point() + rel.offset()) {}
  11
  12 // Load a 32-bit value from a PowerPC LIS/ORI sequence
  13 fixnum instruction_operand::load_value_2_2() {
  14   uint32_t* ptr = (uint32_t*)pointer;
  15   cell hi = (ptr[-2] & 0xffff);
  16   cell lo = (ptr[-1] & 0xffff);
  17   return hi << 16 | lo;
  18 }
  19
  20 // Load a 64-bit value from a PowerPC LIS/ORI/SLDI/ORIS/ORI sequence
  21 fixnum instruction_operand::load_value_2_2_2_2() {
  22   uint32_t* ptr = (uint32_t*)pointer;
  23   uint64_t hhi = (ptr[-5] & 0xffff);
  24   uint64_t hlo = (ptr[-4] & 0xffff);
  25   uint64_t lhi = (ptr[-2] & 0xffff);
  26   uint64_t llo = (ptr[-1] & 0xffff);
  27   uint64_t val = hhi << 48 | hlo << 32 | lhi << 16 | llo;
  28   return (cell)val;
  29 }
  30
  31 // Load a value from a bitfield of a PowerPC instruction
  32 fixnum instruction_operand::load_value_masked(cell mask, cell bits,
  33                                               cell shift) {
  34   int32_t* ptr = (int32_t*)(pointer - sizeof(uint32_t));
  35
  36   return (((*ptr & (int32_t)mask) << bits) >> bits) << shift;
  37 }
  38
  39 fixnum instruction_operand::load_value(cell relative_to) {
  40   switch (rel.klass()) {
  41     case RC_ABSOLUTE_CELL:
  42       return *(cell*)(pointer - sizeof(cell));
  43     case RC_ABSOLUTE:
  44       return *(uint32_t*)(pointer - sizeof(uint32_t));
  45     case RC_RELATIVE:
  46       return *(int32_t*)(pointer - sizeof(uint32_t)) + relative_to;
  47     case RC_ABSOLUTE_PPC_2_2:
  48       return load_value_2_2();
  49     case RC_ABSOLUTE_PPC_2:
  50       return load_value_masked(rel_absolute_ppc_2_mask, 16, 0);
  51     case RC_RELATIVE_PPC_2_PC:
  52       return load_value_masked(rel_relative_ppc_2_mask, 16, 0) + relative_to -
  53              4;
  54     case RC_RELATIVE_PPC_3_PC:
  55       return load_value_masked(rel_relative_ppc_3_mask, 6, 0) + relative_to - 4;
  56     case RC_RELATIVE_ARM_3:
  57       return load_value_masked(rel_relative_arm_3_mask, 6, 2) + relative_to +
  58              sizeof(cell);
  59     case RC_INDIRECT_ARM:
  60       return load_value_masked(rel_indirect_arm_mask, 20, 0) + relative_to;
  61     case RC_INDIRECT_ARM_PC:
  62       return load_value_masked(rel_indirect_arm_mask, 20, 0) + relative_to +
  63              sizeof(cell);
  64     case RC_ABSOLUTE_2:
  65       return *(uint16_t*)(pointer - sizeof(uint16_t));
  66     case RC_ABSOLUTE_1:
  67       return *(uint8_t*)(pointer - sizeof(uint8_t));
  68     case RC_ABSOLUTE_PPC_2_2_2_2:
  69       return load_value_2_2_2_2();
  70     default:
  71       critical_error("Bad rel class", rel.klass());
  72       return 0;
  73   }
  74 }
  75
  76 code_block* instruction_operand::load_code_block() {
  77   return ((code_block*)load_value(pointer) - 1);
  78 }
  79
  80 // Store a 32-bit value into a PowerPC LIS/ORI sequence
  81 void instruction_operand::store_value_2_2(fixnum value) {
  82   uint32_t* ptr = (uint32_t*)pointer;
  83   ptr[-2] = ((ptr[-2] & ~0xffff) | ((value >> 16) & 0xffff));
  84   ptr[-1] = ((ptr[-1] & ~0xffff) | (value & 0xffff));
  85 }
  86
  87 // Store a 64-bit value into a PowerPC LIS/ORI/SLDI/ORIS/ORI sequence
  88 void instruction_operand::store_value_2_2_2_2(fixnum value) {
  89   uint64_t val = value;
  90   uint32_t* ptr = (uint32_t*)pointer;
  91   ptr[-5] = ((ptr[-5] & ~0xffff) | ((val >> 48) & 0xffff));
  92   ptr[-4] = ((ptr[-4] & ~0xffff) | ((val >> 32) & 0xffff));
  93   ptr[-2] = ((ptr[-2] & ~0xffff) | ((val >> 16) & 0xffff));
  94   ptr[-1] = ((ptr[-1] & ~0xffff) | ((val >> 0) & 0xffff));
  95 }
  96
  97 // Store a value into a bitfield of a PowerPC instruction
  98 void instruction_operand::store_value_masked(fixnum value, cell mask,
  99                                              cell shift) {
 100   uint32_t* ptr = (uint32_t*)(pointer - sizeof(uint32_t));
 101   *ptr = (uint32_t)((*ptr & ~mask) | ((value >> shift) & mask));
 102 }
 103
 104 void instruction_operand::store_value(fixnum absolute_value) {
 105   fixnum relative_value = absolute_value - pointer;
 106
 107   switch (rel.klass()) {
 108     case RC_ABSOLUTE_CELL:
 109       *(cell*)(pointer - sizeof(cell)) = absolute_value;
 110       break;
 111     case RC_ABSOLUTE:
 112       *(uint32_t*)(pointer - sizeof(uint32_t)) = (uint32_t)absolute_value;
 113       break;
 114     case RC_RELATIVE:
 115       *(int32_t*)(pointer - sizeof(int32_t)) = (int32_t)relative_value;
 116       break;
 117     case RC_ABSOLUTE_PPC_2_2:
 118       store_value_2_2(absolute_value);
 119       break;
 120     case RC_ABSOLUTE_PPC_2:
 121       store_value_masked(absolute_value, rel_absolute_ppc_2_mask, 0);
 122       break;
 123     case RC_RELATIVE_PPC_2_PC:
 124       store_value_masked(relative_value + 4, rel_relative_ppc_2_mask, 0);
 125       break;
 126     case RC_RELATIVE_PPC_3_PC:
 127       store_value_masked(relative_value + 4, rel_relative_ppc_3_mask, 0);
 128       break;
 129     case RC_RELATIVE_ARM_3:
 130       store_value_masked(relative_value - sizeof(cell), rel_relative_arm_3_mask,
 131                          2);
 132       break;
 133     case RC_INDIRECT_ARM:
 134       store_value_masked(relative_value, rel_indirect_arm_mask, 0);
 135       break;
 136     case RC_INDIRECT_ARM_PC:
 137       store_value_masked(relative_value - sizeof(cell), rel_indirect_arm_mask,
 138                          0);
 139       break;
 140     case RC_ABSOLUTE_2:
 141       *(uint16_t*)(pointer - sizeof(uint16_t)) = (uint16_t)absolute_value;
 142       break;
 143     case RC_ABSOLUTE_1:
 144       *(uint8_t*)(pointer - sizeof(uint8_t)) = (uint8_t)absolute_value;
 145       break;
 146     case RC_ABSOLUTE_PPC_2_2_2_2:
 147       store_value_2_2_2_2(absolute_value);
 148       break;
 149     default:
 150       critical_error("Bad rel class", rel.klass());
 151       break;
 152   }
 153 }
 154
 155 }