diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-03 18:39:58 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-03 18:39:58 -0700 |
commit | 249a5672e41f603c8d705f69f2939a25a45685ff (patch) | |
tree | e823865449d538dec8d2606ba45af7878a277588 /cpp/.traces/get | |
parent | 282a3d94b5ba889a91ac537558d0237225571a85 (diff) | |
download | mu-249a5672e41f603c8d705f69f2939a25a45685ff.tar.gz |
1246
Diffstat (limited to 'cpp/.traces/get')
-rw-r--r-- | cpp/.traces/get | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/cpp/.traces/get b/cpp/.traces/get index 1e3db5f3..c8bf9521 100644 --- a/cpp/.traces/get +++ b/cpp/.traces/get @@ -15,15 +15,15 @@ after-brace/0: get ... new/0: routine allocated memory from 1000 to 101000 schedule/0: main run/0: instruction main/0 -run/0: {name: "12", value: 12, type: 1, properties: ["12": "integer"]} <- copy {name: "34", value: 34, type: 0, properties: ["34": "literal"]} +run/0: {name: "12", value: 12, type: 1, properties: ["12": "integer"]} <- copy/1 {name: "34", value: 34, type: 0, properties: ["34": "literal"]} run/0: ingredient 0 is 34 mem/0: storing 34 in location 12 run/0: instruction main/1 -run/0: {name: "13", value: 13, type: 1, properties: ["13": "integer"]} <- copy {name: "35", value: 35, type: 0, properties: ["35": "literal"]} +run/0: {name: "13", value: 13, type: 1, properties: ["13": "integer"]} <- copy/1 {name: "35", value: 35, type: 0, properties: ["35": "literal"]} run/0: ingredient 0 is 35 mem/0: storing 35 in location 13 run/0: instruction main/2 -run/0: {name: "15", value: 15, type: 1, properties: ["15": "integer"]} <- get {name: "12", value: 12, type: 6, properties: ["12": "point"]}, {name: "1", value: 1, type: 0, properties: ["1": "offset"]} +run/0: {name: "15", value: 15, type: 1, properties: ["15": "integer"]} <- get/23 {name: "12", value: 12, type: 6, properties: ["12": "point"]}, {name: "1", value: 1, type: 0, properties: ["1": "offset"]} run/0: ingredient 0 is 12 run/0: ingredient 1 is 1 run/0: address to copy is 13 |