Power example now EXECUTES (almost) CORRECTLY! \o/

Warning: we set the link register to the address of the first instruction,
which means the program is effectively an infinite loop returning 42
forever.

(Except it slows down and leaks memory, probably because the interpreter
doesn't optimise the tail call in fde_loop.)

42, 42, 42, 42, 42, 42, 42, 42, ...

1 files changed, 8 insertions, 1 deletions

diff --git a/src/test/power.sail b/src/test/power.sail
index a01e8cfa..e75e24ef 100644
--- a/src/test/power.sail
+++ b/src/test/power.sail
@@ -96,7 +96,7 @@ val extern ( nat , nat ) -> (bit[64]) effect { wmem , rmem } MEM
 (* XXX effect for trap? *)
 val extern unit -> unit effect pure trap
 
-(* XXX *)
+(* XXX should be register<bool>, this is a workaround for limitations in coercions *)
 let (bit) mode64bit = bitone
 
 scattered function unit execute
@@ -206,6 +206,13 @@ function unit init() = {
      only saved in restore in our simple example. *)
   GPR31 := 0;
 
+  (* unused in practice, but must be set for bclr computation *)
+  CTR := 0;
+  CR := 0;
+  (* return address -- I have no idea what to put there, let's make an
+  infinite loop! *)
+  LR := CIA;
+
 
 }