From 249a5672e41f603c8d705f69f2939a25a45685ff Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 3 May 2015 18:39:58 -0700 Subject: 1246 --- cpp/.traces/array_length | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'cpp/.traces/array_length') diff --git a/cpp/.traces/array_length b/cpp/.traces/array_length index bd5f2a56..f78e0e12 100644 --- a/cpp/.traces/array_length +++ b/cpp/.traces/array_length @@ -22,21 +22,21 @@ after-brace/0: length ... new/0: routine allocated memory from 1000 to 101000 schedule/0: main run/0: instruction main/0 -run/0: {name: "1", value: 1, type: 1, properties: ["1": "integer"]} <- copy {name: "3", value: 3, type: 0, properties: ["3": "literal"]} +run/0: {name: "1", value: 1, type: 1, properties: ["1": "integer"]} <- copy/1 {name: "3", value: 3, type: 0, properties: ["3": "literal"]} run/0: ingredient 0 is 3 mem/0: storing 3 in location 1 run/0: instruction main/1 -run/0: {name: "2", value: 2, type: 1, properties: ["2": "integer"]} <- copy {name: "14", value: 14, type: 0, properties: ["14": "literal"]} +run/0: {name: "2", value: 2, type: 1, properties: ["2": "integer"]} <- copy/1 {name: "14", value: 14, type: 0, properties: ["14": "literal"]} run/0: ingredient 0 is 14 mem/0: storing 14 in location 2 run/0: instruction main/2 -run/0: {name: "3", value: 3, type: 1, properties: ["3": "integer"]} <- copy {name: "15", value: 15, type: 0, properties: ["15": "literal"]} +run/0: {name: "3", value: 3, type: 1, properties: ["3": "integer"]} <- copy/1 {name: "15", value: 15, type: 0, properties: ["15": "literal"]} run/0: ingredient 0 is 15 mem/0: storing 15 in location 3 run/0: instruction main/3 -run/0: {name: "4", value: 4, type: 1, properties: ["4": "integer"]} <- copy {name: "16", value: 16, type: 0, properties: ["16": "literal"]} +run/0: {name: "4", value: 4, type: 1, properties: ["4": "integer"]} <- copy/1 {name: "16", value: 16, type: 0, properties: ["16": "literal"]} run/0: ingredient 0 is 16 mem/0: storing 16 in location 4 run/0: instruction main/4 -run/0: {name: "5", value: 5, type: 1, properties: ["5": "integer"]} <- length {name: "1", value: 1, type: 5-1, properties: ["1": "array":"integer"]} +run/0: {name: "5", value: 5, type: 1, properties: ["5": "integer"]} <- length/27 {name: "1", value: 1, type: 5-1, properties: ["1": "array":"integer"]} mem/0: storing 3 in location 5 -- cgit 1.4.1-2-gfad0 3da928c2b3bd27a804761 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117