/src/tools/compiler/asm/marshall/liberty_asm_codes.e

http://github.com/tybor/Liberty · Specman e · 53 lines · 31 code · 8 blank · 14 comment · 0 complexity · 31d7b3fbb2102ded04bbbe0e1f6c1a12 MD5 · raw file

  1. -- This file is part of Liberty Eiffel.
  2. --
  3. -- Liberty Eiffel is free software: you can redistribute it and/or modify
  4. -- it under the terms of the GNU General Public License as published by
  5. -- the Free Software Foundation, version 3 of the License.
  6. --
  7. -- Liberty Eiffel is distributed in the hope that it will be useful,
  8. -- but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  10. -- GNU General Public License for more details.
  11. --
  12. -- You should have received a copy of the GNU General Public License
  13. -- along with Liberty Eiffel. If not, see <http://www.gnu.org/licenses/>.
  14. --
  15. class LIBERTY_ASM_CODES
  16. feature {} -- assembly code
  17. system_marker: INTEGER is 0x0118E579 -- l33t for "LIBERTY", I guess
  18. type_marker: INTEGER is 0x0975E811 -- reversed.
  19. method_marker: INTEGER is 0x086D0D68 -- xor'ed.
  20. flag_retry: INTEGER_8 is 0x01
  21. flag_precondition: INTEGER_8 is 0x10
  22. flag_postcondition: INTEGER_8 is 0x11
  23. native_void: INTEGER_8 is 0x00
  24. native_integer: INTEGER_8 is 0x01
  25. native_pointer: INTEGER_8 is 0x02
  26. asm_new: INTEGER_8 is 0x01
  27. asm_jump: INTEGER_8 is 0x02
  28. asm_invoke: INTEGER_8 is 0x03
  29. asm_return: INTEGER_8 is 0x04
  30. asm_call_native: INTEGER_8 is 0x05
  31. asm_not: INTEGER_8 is 0x10
  32. asm_and: INTEGER_8 is 0x11
  33. asm_or: INTEGER_8 is 0x12
  34. asm_load_int: INTEGER_8 is 0x20
  35. asm_add_int: INTEGER_8 is 0x21
  36. asm_sub_int: INTEGER_8 is 0x22
  37. asm_mul_int: INTEGER_8 is 0x23
  38. asm_div_int: INTEGER_8 is 0x24
  39. asm_rem_int: INTEGER_8 is 0x25
  40. feature {} -- utilities
  41. positions: LIBERTY_ASM_POSITIONS is
  42. once
  43. create {LIBERTY_ASM_POSITIONS} Result.make
  44. end
  45. end -- class LIBERTY_ASM_CODES