diff options
Diffstat (limited to 'mu.arc.t')
-rw-r--r-- | mu.arc.t | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/mu.arc.t b/mu.arc.t index d88cb8b0..50ec12ff 100644 --- a/mu.arc.t +++ b/mu.arc.t @@ -2049,7 +2049,7 @@ ((2 integer-address) <- new (integer literal)) ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) ((4 integer) <- get (1 channel-address deref) (first-full offset)) ((5 integer) <- get (1 channel-address deref) (first-free offset))))) ;? (set dump-trace*) @@ -2070,8 +2070,8 @@ ((2 integer-address) <- new (integer literal)) ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) - ((4 tagged-value) (1 channel-address deref) <- read (1 channel-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) + ((4 tagged-value) (1 channel-address deref) <- read (1 channel-address)) ((6 integer-address) <- maybe-coerce (4 tagged-value) (integer-address literal)) ((7 integer) <- get (1 channel-address deref) (first-full offset)) ((8 integer) <- get (1 channel-address deref) (first-free offset))))) @@ -2095,13 +2095,13 @@ ((2 integer-address) <- new (integer literal)) ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) ; first-free will now be 1 ((4 integer) <- get (1 channel-address deref) (first-free offset)) ; read one value - (_ (1 channel-address deref) <- read (1 channel-address deref)) + (_ (1 channel-address deref) <- read (1 channel-address)) ; write a second value; verify that first-free wraps around to 0. - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) ((5 integer) <- get (1 channel-address deref) (first-free offset))))) ;? (set dump-trace*) ;? (= dump-trace* (obj blacklist '("sz" "m" "setm" "addr" "array-len" "cvt0" "cvt1"))) @@ -2121,15 +2121,15 @@ ((2 integer-address) <- new (integer literal)) ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) ; read one value - (_ (1 channel-address deref) <- read (1 channel-address deref)) + (_ (1 channel-address deref) <- read (1 channel-address)) ; first-full will now be 1 ((4 integer) <- get (1 channel-address deref) (first-full offset)) ; write a second value - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) ; read second value; verify that first-full wraps around to 0. - (_ (1 channel-address deref) <- read (1 channel-address deref)) + (_ (1 channel-address deref) <- read (1 channel-address)) ((5 integer) <- get (1 channel-address deref) (first-full offset))))) ;? (set dump-trace*) ;? (= dump-trace* (obj blacklist '("sz" "m" "setm" "addr" "array-len" "cvt0" "cvt1"))) @@ -2161,7 +2161,7 @@ ((2 integer-address) <- new (integer literal)) ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) ((4 boolean) <- empty? (1 channel-address deref)) ((5 boolean) <- full? (1 channel-address deref))))) ;? (set dump-trace*) @@ -2179,7 +2179,7 @@ ((2 integer-address) <- new (integer literal)) ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) ((4 boolean) <- empty? (1 channel-address deref)) ((5 boolean) <- full? (1 channel-address deref))))) ;? (set dump-trace*) @@ -2197,9 +2197,9 @@ ((2 integer-address) <- new (integer literal)) ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) - (_ (1 channel-address deref) <- read (1 channel-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) + (_ (1 channel-address deref) <- read (1 channel-address)) ((4 boolean) <- empty? (1 channel-address deref)) ((5 boolean) <- full? (1 channel-address deref))))) ;? (set dump-trace*) @@ -2217,8 +2217,8 @@ ((2 integer-address) <- new (integer literal)) ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) - (_ (1 channel-address deref) <- read (1 channel-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) + (_ (1 channel-address deref) <- read (1 channel-address)) ((4 boolean) <- empty? (1 channel-address deref)) ((5 boolean) <- full? (1 channel-address deref))))) ;? (set dump-trace*) @@ -2237,7 +2237,7 @@ '((main ((1 channel-address) <- new-channel (3 literal)) ; channel is empty, but receives a read - ((2 tagged-value) (1 channel-address deref) <- read (1 channel-address deref))))) + ((2 tagged-value) (1 channel-address deref) <- read (1 channel-address))))) ;? (set dump-trace*) ;? (= dump-trace* (obj whitelist '("run"))) (run 'main) @@ -2261,9 +2261,9 @@ ((2 integer-address) <- new (integer literal)) ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) ; channel has capacity 1, but receives a second write - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref))))) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref))))) ;? (set dump-trace*) ;? (= dump-trace* (obj whitelist '("run" "schedule" "addr"))) (run 'main) @@ -2294,7 +2294,7 @@ ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) ((4 boolean) <- get (1 channel-address deref) (read-watch offset)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) ((5 boolean) <- get (1 channel-address deref) (write-watch offset))))) (run 'main) (if (or (~is nil memory*.4) @@ -2309,9 +2309,9 @@ ((2 integer-address) <- new (integer literal)) ((2 integer-address deref) <- copy (34 literal)) ((3 tagged-value-address) <- new-tagged-value (integer-address literal) (2 integer-address)) - ((1 channel-address deref) <- write (1 channel-address deref) (3 tagged-value-address deref)) + ((1 channel-address deref) <- write (1 channel-address) (3 tagged-value-address deref)) ((4 boolean) <- get (1 channel-address deref) (read-watch offset)) - (_ (1 channel-address deref) <- read (1 channel-address deref)) + (_ (1 channel-address deref) <- read (1 channel-address)) ((5 integer) <- get (1 channel-address deref) (read-watch offset))))) (run 'main) (if (or (~is nil memory*.4) @@ -2325,14 +2325,14 @@ ((default-scope scope-address) <- new (scope literal) (30 literal)) ((chan channel-address) <- new-channel (3 literal)) (fork (f2 fn) (chan channel-address)) - ((1 integer global) <- read (chan channel-address deref))) + ((1 integer global) <- read (chan channel-address))) (f2 ((default-scope scope-address) <- new (scope literal) (30 literal)) ((n integer-address) <- new (integer literal)) ((n integer-address deref) <- copy (24 literal)) ((ochan channel-address) <- arg) ((x tagged-value-address) <- new-tagged-value (integer-address literal) (n integer-address)) - ((ochan channel-address deref) <- write (ochan channel-address deref) (x tagged-value-address deref))))) + ((ochan channel-address deref) <- write (ochan channel-address) (x tagged-value-address deref))))) ;? (set dump-trace*) ;? (= dump-trace* (obj whitelist '("schedule" "run" "addr"))) ;? (= dump-trace* (obj whitelist '("-"))) |