ruby-x/rubyx
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,602 Commits 2 Branches 0 Tags 5.6 MiB
e56db0a3ac
Commit Graph

340 Commits

Author SHA1 Message Date
Torsten Ruger
c983dcf0eb move return address generation to factory 
removes the list from space
adds a ReturnAddress factory instead
and uses these throughout
 2018-08-29 21:02:49 +03:00
Torsten Ruger
71ab369c71 use factory to generte intergers in space 
start with just integer factory in space
change all the hand-out code
still #14
 2018-08-24 18:49:21 +03:00
Torsten Ruger
d396da16e3 start with #14 by implementing factory 
page was maybe a too low level name
pages may be the unit of the syscall, but after that objects desolve (maybe later to be added on from different pages)
Factory has the job of handing out a new instance of a type
it keeps a freelist for that and a reserve
 2018-08-23 19:55:06 +03:00
Torsten Ruger
57dc6c45bb remove the code_builder 
this is core of #11
rename compiler_builder to just builder
and change all builder uses to use that
some test change as code is not returned anymore
 2018-08-19 13:16:07 +03:00
Torsten Ruger
5b2c7745fe move the methods test to mains 
previous commit made the mains tests more general
this joins methods tests here
so we can run them on arm too
fix #11
 2018-08-18 20:06:15 +03:00
Torsten Ruger
233b83510f fixed some disabled tests 2018-08-17 22:43:17 +03:00
Torsten Ruger
ce157ffa94 change block_yield to_risc to use builder 
only changes the order of two instructions
 2018-08-16 08:58:49 +03:00
Torsten Ruger
1dabe0fda1 finish the idea behind #8, conditionally creating variables 
by using space? , the ? makes for conditional creation of the variable
This is especially useful for constants (ie space)
 2018-08-15 19:59:17 +03:00
Torsten Ruger
252ae6de72 finally get rid of the fixme in div10 
create (load/reduce) the int once and transfer.
Save a cruicial 2 instructions

Also expanded the variable name possibilities with _self, __const , _1 and _2
 2018-08-15 18:18:21 +03:00
Torsten Ruger
15337e10be move putstring to use builder 2018-08-15 17:52:21 +03:00
Torsten Ruger
e953cc90d5 remove some more add_xx functions 
also load labels by dsl now
 2018-08-14 20:24:48 +03:00
Torsten Ruger
520dc7b41f remove ad_transfer in save_message 
towards removing all add_
change to set_builder and chaining in reg values
 2018-08-14 20:08:58 +03:00
Torsten Ruger
37461a1727 add the ! syntax to create variables in builder, fix #8 
now a variable has to be created before being used
thus it is save to develop contracts where a certain name
must exist in the scope
Maybe the syntax starts getting a bit weird, but at least the ! is a common symbol in ruby
 2018-08-14 19:39:46 +03:00
Torsten Ruger
fb54d68020 redo restore after syscall with builder 2018-08-13 18:48:54 +03:00
Torsten Ruger
55bc9c5273 rewrite new_int with builder 2018-08-13 18:02:34 +03:00
Torsten Ruger
86462e238a large test changes due to change in cc 
calling convention does affect
less than before, but still a LOT
 2018-08-12 15:02:23 +03:00
Torsten Ruger
fee9e261a5 still some names that needed changing 2018-08-12 14:48:20 +03:00
Torsten Ruger
3d113b4d83 fix more of the changed names 
add a few self.
 2018-08-12 13:10:44 +03:00
Torsten Ruger
84de400529 some test change because of renaming 
next is a keyword, can't be used as instance writer
fake_memory gets the pobject for debug
 2018-08-11 19:17:20 +03:00
Torsten Ruger
99a95d40a6 also redid the get/set internal byte with builder 
had to pimp register value to use a semblance of the dsl
using <= for bytes and << for words
 2018-08-09 20:16:55 +03:00
Torsten Ruger
0d52b620ed redid integer comparison with builder 
had to add some helpers to builder
 2018-08-08 20:53:06 +03:00
Torsten Ruger
fc6aa4e28b rework operator with builder 2018-08-08 15:49:47 +03:00
Torsten Ruger
78466090b3 add reduce_int and fix bug 
hardcoded operator, buh
reduce_int to avoid that long constant
 2018-08-08 15:49:07 +03:00
Torsten Ruger
f5ea51c4d0 new test to run out of ints 2018-08-08 12:03:17 +03:00
Torsten Ruger
6200a35562 add shortcut for class_name 
for when type is not set
 2018-08-08 12:02:59 +03:00
Torsten Ruger
c63e55c2bc add an operator function 
to be able to use the builder more
also add ability to load fixnums (for the int functions)
 2018-08-07 20:48:36 +03:00
Torsten Ruger
393ac873c9 change return sequence to return messages to space 
as it was before blocks
(thought blocks would make reuse of messages impossible, but was wrong, this only appilies to lambdas)
(too) many tests affected
 2018-08-06 14:07:17 +03:00
Torsten Ruger
595e032edf add function_return helper to risc_value 
create a function_return from within builder
 2018-08-06 13:03:33 +03:00
Torsten Ruger
c9d8f750e5 extend type inference for dsl 
and finally test it
 2018-08-06 10:11:12 +03:00
Torsten Ruger
308996bf8e fix all tests accordingly to new return 2018-08-02 17:37:27 +03:00
Torsten Ruger
050659ea12 block tests for if and while 
bundle update too
 2018-08-01 20:17:41 +03:00
Torsten Ruger
4f3c0d8b08 more block tests working 
dynamic calls and operators on block args
(giant strides)
 2018-08-01 16:31:16 +03:00
Torsten Ruger
4b4528abb2 propagate constants from block_compiler up 
up to method_compiler, where they are collected by mom_compiler
(and included in binary)
 2018-08-01 16:27:34 +03:00
Torsten Ruger
81cc109d1e more block tests 
instance and arg access
 2018-07-31 19:44:40 +03:00
Torsten Ruger
04bcfea8ce fix scoping of blockcompiler 
Was accessing caller scope, but must use caller's caller as the yield itself is a call.
 2018-07-31 18:00:42 +03:00
Torsten Ruger
4fe0edd1e3 first risc level block test working 
assign was not executing yield
baecause it was just testing for send, instead of callable
 2018-07-30 20:11:52 +03:00
Torsten Ruger
9c6a099cde block test 
working on return semanitcs
(still avoiding the implicit return)
 2018-07-30 14:10:24 +03:00
Torsten Ruger
165036ea39 misc 2018-07-30 10:26:47 +03:00
Torsten Ruger
285a88b59f generalize assemblers to use callables 
not just methods,  they are almost the same anyway
 2018-07-30 10:23:42 +03:00
Torsten Ruger
f5c284b3a0 bring the blocks down to mom level 
reusing message_setup, but adding yield specific instructions
 2018-07-24 11:35:49 +03:00
Torsten Ruger
d80ef4bf4e store method, not name, in message 
changes the calling and thus too many test
 2018-07-22 22:29:32 +03:00
Torsten Ruger
f620f0fd74 last test fixed, ruby layer complete 2018-07-20 21:27:55 +03:00
Torsten Ruger
b00b0cf064 fixed some interpreter tests 
hoisting is slightly more simple and that adds a couple insstructions
 2018-07-20 21:00:47 +03:00
Torsten Ruger
ff8b95f21a get block resolution to use the extra 
block_compiler puts in the extra, that we get out when resolving the type
Thus block args work, though only by assuming direct call
 2018-07-17 10:37:33 +03:00
Torsten Ruger
3343017dba move type resolution to compiler 
from risc_value.
also unite mock compilers
 2018-07-16 11:46:18 +03:00
Torsten Ruger
3bc85805a4 must pass registers to slot_to_reg and reg_to_slot 
as they are typed, those functions don't resolve on Risc, but the register type
miscother changes from previous commits
 2018-07-15 16:30:50 +03:00
Torsten Ruger
f31d22d901 use real type in register, not symbol 
this has some more consequences, upcoming
 2018-07-15 15:16:12 +03:00
Torsten Ruger
69385c863f some more addresses 2018-07-15 15:13:25 +03:00
Torsten Ruger
61c840c023 start to move slot_load code to register_value 
the iea is to iterate through register_values while reducing the slot_load to a number of Slot_to_regs
wip
 2018-07-13 21:56:55 +03:00
Torsten Ruger
2f07cc34f3 add parfait block 2018-07-07 15:50:43 +03:00
Torsten Ruger
9005513368 rename typed_method to callable_method 
seems to make the essence clearer
also extracted base class
 2018-07-07 09:11:09 +03:00
Torsten Ruger
acd5cd8f30 rename for_type to self_type 
and split a base class off TypedMethod
 2018-07-06 20:01:17 +03:00
Torsten Ruger
2485f7e9eb misc fixes and (finally, sigh) green again 
deeeep dive, almost 40 commits
 2018-07-04 09:18:55 +03:00
Torsten Ruger
6f936f190d misc to_s and small fixes 2018-07-04 08:28:29 +03:00
Torsten Ruger
cab6bc389f misc little test fixes 2018-07-03 10:12:40 +03:00
Torsten Ruger
63dfee0978 move some tests around (and fix them) 2018-07-02 23:20:54 +03:00
Torsten Ruger
55b5884c4e minor test fixes 2018-07-02 23:03:33 +03:00
Torsten Ruger
56f2742e89 fix code listener logic bug 
next's position was only updated initially
previous logic relied on pushing everything long rightly
but it wasn't right, and no harm in setting position twice,
as events only fire if there is real change
 2018-07-02 23:03:00 +03:00
Torsten Ruger
a1197fb70c interpreter tests working again 2018-07-02 17:29:26 +03:00
Torsten Ruger
4b33d1c056 fix many a test especially whole mom 
but some positioning bug still in there preventing
binary to work
 2018-07-02 17:01:07 +03:00
Torsten Ruger
474cd4b348 linker and collector test work again 
had to give space a fixed number of addresses
 2018-07-02 16:19:01 +03:00
Torsten Ruger
1132309f6a unify space collection attribute naming 
currently space is still acting as a sort of memory manager.
For proper linking, all objects must be reachable from space, hence the plural versions like messages and addresses (even they are instances, it is the list that is important)
To dish out instance to use, the head must be kept, ie next_XXX for intergers, return addresses and messages
 2018-07-02 15:49:51 +03:00
Torsten Ruger
07a154be70 code listener now get platform explicitly 
used to grab it from global machine.
Now passed in from linker
tests fixed accordingly
 2018-07-02 09:39:07 +03:00
Torsten Ruger
8952b39446 linker goes through assemblers, not space 
used to traverse all methods in space
now "just" use the passed assemblers, which usually should be compiled and builtin (but for testing . . .)
tests fixed accordingly
 2018-07-02 09:37:58 +03:00
Torsten Ruger
f4b1290e58 position tests working 2018-07-02 09:35:57 +03:00
Torsten Ruger
22408b86c6 return the linker from mom_compiler 
linker holds assemblers
assemblers come from method compilation
and so the layers come into focus
 2018-07-01 21:51:48 +03:00
Torsten Ruger
5f2a256608 fix platform derivation and some tests 2018-07-01 21:27:27 +03:00
Torsten Ruger
c947c27a14 clean up booting 
many machine boot became obsolete
or just neede parfait to boot
actual linker functionality pending
 2018-07-01 14:12:42 +03:00
Torsten Ruger
e10092a4be rename machine to linker 
even work is not quite finished, but helps root out offenders
(needless to say this is wip, deep red wip)
 2018-07-01 13:45:14 +03:00
Torsten Ruger
35b10c46a3 adds the risc instructions to the compiler 
since they are not in the method anymore
 2018-07-01 11:59:52 +03:00
Torsten Ruger
1505df894a remove translation 
from machine, which is quickly becoming a linker
 2018-07-01 11:58:06 +03:00
Torsten Ruger
05669065ca back to method_compiler 
it is what it is
 2018-06-30 23:26:28 +03:00
Torsten Ruger
91a99b1239 let boot_functions return the compilers 
methods are still added, but this is a good step to removing the risc/cpu level from the methods
 2018-06-30 23:16:17 +03:00
Torsten Ruger
daf1b56062 start on class compiler 
idea is to get cleaner layer seperation
reduce machine and rework builtin boot
 2018-06-30 19:20:17 +03:00
Torsten Ruger
46d8f5002f hoist parfait boot out of the machine boot 2018-06-30 00:39:23 +03:00
Torsten Ruger
8d7a2fe4d6 fix mom tests 
and always have a list inside a class
 2018-06-29 23:29:10 +03:00
Torsten Ruger
5b87133df2 split rubyx tests 
in vool and mom level
 2018-06-29 23:04:50 +03:00
Torsten Ruger
7006c8e3aa fix remaining tests 
rename ripples
 2018-06-29 22:56:49 +03:00
Torsten Ruger
c8451d0048 create rubyx dir and move previous vool_compiler there 2018-06-29 22:46:39 +03:00
Torsten Ruger
7377522417 fix test ripples and minor parfait naming 
Parfait ruby and boot names desynced, fixed that
 2018-06-29 21:03:06 +03:00
Torsten Ruger
5036dd68df remove to_mom from ruby_to_vool 
must have slipped in
affects mosty tests
 2018-06-29 14:57:48 +03:00
Torsten Ruger
6bd01fd55f rename method_compiler 
in line with other compiler XX_Compiler being the compiler for that layer
remove type from compiler as it is in method available
 2018-06-29 14:48:52 +03:00
Torsten Ruger
e6f01748ff move adapter stuff around 2018-06-29 14:26:25 +03:00
Torsten Ruger
86b1edb40c add seperate builders 
remove if with polymorphism for different builders
(easier to understand by naming)
 2018-06-29 13:27:57 +03:00
Torsten Ruger
d50893bb0f rename risc_value to register_value 
almost to register, but it still carries that value
 2018-06-29 11:39:07 +03:00
Torsten Ruger
606c7bf906 remove booted flag 
just boot if needed
 2018-06-29 11:36:14 +03:00
Torsten Ruger
f0ba863721 remove to_mom / create_objects dichotomy 
wsa supposed to be clearer, but even to me seems confusing now.
 2018-06-26 20:46:58 +03:00
Torsten Ruger
563ed4647a extract the ruby from mains tests 
move up in directory
in preparation for arm tests
 2018-06-24 11:56:10 +03:00
Torsten Ruger
ce79617875 fix the exit sequence 
was returning wrong register (1, not 0)
also saving the message for test, which changes order as the return value destroys the message
 2018-06-19 19:52:06 +03:00
Torsten Ruger
5f7683efcf pass return integer back out through exit 
for testing of binaries later (and off course general correctness)
Some tests were using the fact that the interpreter was used, changed those to return ints rather than strings
 2018-06-19 18:55:47 +03:00
Torsten Ruger
046617f8dc add branch listener functionaliy 
have to store the branches and loop again as labels
dont neccessarily have positions yet
 2018-06-17 22:25:38 +03:00
Torsten Ruger
3298651238 split create_binary into two phases 
Which gives instructions a chance to check everything
and in Arms case check the constant loads/ instruction adding
So that during assembly no more change happens (and we don't have to reassemble)
 2018-06-17 13:53:17 +03:00
Torsten Ruger
7543236f4f objects didn't get positions 
positions.empty? was wrong check
 2018-06-16 10:58:54 +03:00
Torsten Ruger
698c845297 seperate position create and register 
many test fixes
 2018-06-15 22:00:49 +03:00
Torsten Ruger
9c93b38b8f crete positions while collecting objects 
clear two phase lifecycle for positions
always created invalid and set later
new does not auto add to cache
but create and get_or_create do
 2018-06-15 21:54:21 +03:00
Torsten Ruger
2c765c8f14 rename the objects accessor 
and move to object keys, not object_id
 2018-06-15 09:18:39 +03:00
Torsten Ruger
3cc9175efa start BranchListener 
but on hold, since it needs positions before we have them
Must create them during collection phase
 2018-06-14 21:29:34 +03:00
Torsten Ruger
eaaf61c117 fix position test 2018-06-14 21:19:22 +03:00
Torsten Ruger
5ec235d049 fixes outstanding misc, All green 
Well. it's been a while, positioning is fixed (again)
apart from the upcoming BranchListener
 2018-06-10 13:19:55 +03:00
Torsten Ruger
e1683938ed fix label positioning bug 
where a label at the end of a binary code resulted in the
label actually taking up a position, instead of sharing it with it's next
 2018-06-10 13:18:56 +03:00