tm a+b (object code)


0 # [1] var a
0 0 R 0
1 1 R 0
F F R 0
_ a . 1

1 # [2] set 0 / ["a_0 = 0"]
0 0 R 1
1 1 R 1
F F R 1
a a R 1
_ 0 . 2

2 # [4] INCA / ["(reloc #0 -> #0)"]
0 0 L 2
1 1 L 2
F F L 2
a a R 3

3 # [5] inc a / ["(reloc #0 -> #0)"]
0 0 L 3
1 1 L 3
F F L 3
a a R 4

4 # [5] inc a / ["(var 'a')"]
0 1 . 5
1 0 R 4
_ 1 . 5

5 # [6] var b
0 0 R 5
1 1 R 5
F F R 5
a a R 5
_ b . 6

6 # [7] push a / ["(reloc #1 -> #0)"]
0 0 L 6
1 1 L 6
F F L 6
b b L 6
a a R 7

7 # [7] push a / ["(r01) find/mark unmarked 0/1"]
0 0x R 9
1 1x R 10
b b L 8

8 # [7] push a / ["(un01) unmark marked 0/1"]
0x 0 L 8
1x 1 L 8
a a . 12

9 # [7] push a / ["(w0) write 0"]
0 0 R 9
1 1 R 9
F F R 9
b b R 9
_ 0 L 11

10 # [7] push a / ["(w1) write 1"]
0 0 R 10
1 1 R 10
F F R 10
b b R 10
_ 1 L 11

11 # [7] push a / ["(re) go back to var "]
0 0 L 11
1 1 L 11
F F L 11
b b L 11
0x 0x R 7
1x 1x R 7

12 # [9] TESTADD / ["(reloc #0 -> #1)"]
0 0 R 12
1 1 R 12
a a R 12
b b R 13

13 a # [10] print a

14 T # [11] print T

15 b # [12] print b

16 T # [13] print T

17 I # [14] print I

18 NL # [15] print NL

19 TM # [16] print TM

20 # [18] var a2
0 0 R 20
1 1 R 20
F F R 20
b b R 20
_ a2 . 21

21 # [19] push a / ["(reloc #2 -> #0)"]
0 0 L 21
1 1 L 21
F F L 21
b b L 21
a2 a2 L 21
a a R 22

22 # [19] push a / ["(r01) find/mark unmarked 0/1"]
0 0x R 24
1 1x R 25
b b L 23

23 # [19] push a / ["(un01) unmark marked 0/1"]
0x 0 L 23
1x 1 L 23
a a . 27

24 # [19] push a / ["(w0) write 0"]
0 0 R 24
1 1 R 24
F F R 24
b b R 24
a2 a2 R 24
_ 0 L 26

25 # [19] push a / ["(w1) write 1"]
0 0 R 25
1 1 R 25
F F R 25
b b R 25
a2 a2 R 25
_ 1 L 26

26 # [19] push a / ["(re) go back to var "]
0 0 L 26
1 1 L 26
F F L 26
b b L 26
a2 a2 L 26
0x 0x R 22
1x 1x R 22

27 # [20] var b2
0 0 R 27
1 1 R 27
F F R 27
a a R 27
b b R 27
a2 a2 R 27
_ b2 . 28

28 # [21] push b / ["(reloc #3 -> #1)"]
0 0 L 28
1 1 L 28
F F L 28
a2 a2 L 28
b2 b2 L 28
b b R 29

29 # [21] push b / ["(r01) find/mark unmarked 0/1"]
0 0x R 31
1 1x R 32
a2 a2 L 30

30 # [21] push b / ["(un01) unmark marked 0/1"]
0x 0 L 30
1x 1 L 30
b b . 34

31 # [21] push b / ["(w0) write 0"]
0 0 R 31
1 1 R 31
F F R 31
a2 a2 R 31
b2 b2 R 31
_ 0 L 33

32 # [21] push b / ["(w1) write 1"]
0 0 R 32
1 1 R 32
F F R 32
a2 a2 R 32
b2 b2 R 32
_ 1 L 33

33 # [21] push b / ["(re) go back to var "]
0 0 L 33
1 1 L 33
F F L 33
a2 a2 L 33
b2 b2 L 33
0x 0x R 29
1x 1x R 29

34 # [23] var c1
0 0 R 34
1 1 R 34
F F R 34
b b R 34
a2 a2 R 34
b2 b2 R 34
_ c1 . 35

35 # [24] set 0 / ["c1_0 = 0"]
0 0 R 35
1 1 R 35
F F R 35
c1 c1 R 35
_ 0 . 36

36 # [26] A2C1 / ["(reloc #4 -> #4)"]
0 0 L 36
1 1 L 36
F F L 36
c1 c1 R 37

37 # [27] inc c1 / ["(reloc #4 -> #4)"]
0 0 L 37
1 1 L 37
F F L 37
c1 c1 R 38

38 # [27] inc c1 / ["(var 'c1')"]
0 1 . 39
1 0 R 38
_ 1 . 39

39 # [28] dec a2 / ["(reloc #4 -> #2)"]
0 0 L 39
1 1 L 39
F F L 39
b2 b2 L 39
c1 c1 L 39
a2 a2 R 40

40 # [28] dec a2
0 1 R 40
1 0 . 41

41 # [29] ifeq0 a2 B2C1 / ["(reloc #2 -> #2)"]
0 0 L 41
1 1 L 41
F F L 41
b2 b2 L 41
c1 c1 L 41
a2 a2 R 42

42 # [29] ifeq0 a2 B2C1
0 0 R 42
1 1 . 44
b2 b2 L 43

43 # [29] ifeq0 a2 B2C1 / ["(reloc #2 -> #4)"]
0 0 R 43
1 1 R 43
a2 a2 R 43
b2 b2 R 43
c1 c1 R 46

44 # [30] goto A2C1 / ["(reloc #2 -> #4)"]
0 0 R 44
1 1 R 44
a2 a2 R 44
b2 b2 R 44
c1 c1 R 37

45 # [32] B2C1 / ["(reloc #0 -> #4)"]
0 0 R 45
1 1 R 45
a a R 45
b b R 45
a2 a2 R 45
b2 b2 R 45
c1 c1 R 46

46 # [33] inc c1 / ["(reloc #4 -> #4)"]
0 0 L 46
1 1 L 46
F F L 46
c1 c1 R 47

47 # [33] inc c1 / ["(var 'c1')"]
0 1 . 48
1 0 R 47
_ 1 . 48

48 # [34] dec b2 / ["(reloc #4 -> #3)"]
0 0 L 48
1 1 L 48
F F L 48
c1 c1 L 48
b2 b2 R 49

49 # [34] dec b2
0 1 R 49
1 0 . 50

50 # [35] ifeq0 b2 REVERSE / ["(reloc #3 -> #3)"]
0 0 L 50
1 1 L 50
F F L 50
c1 c1 L 50
b2 b2 R 51

51 # [35] ifeq0 b2 REVERSE
0 0 R 51
1 1 . 53
c1 c1 L 52

52 # [35] ifeq0 b2 REVERSE / ["(reloc #3 -> #4)"]
0 0 R 52
1 1 R 52
b2 b2 R 52
c1 c1 R 55

53 # [36] goto B2C1 / ["(reloc #3 -> #4)"]
0 0 R 53
1 1 R 53
b2 b2 R 53
c1 c1 R 46

54 # [38] REVERSE / ["(reloc #0 -> #4)"]
0 0 R 54
1 1 R 54
a a R 54
b b R 54
a2 a2 R 54
b2 b2 R 54
c1 c1 R 55

55 # [39] var a3
0 0 R 55
1 1 R 55
F F R 55
c1 c1 R 55
_ a3 . 56

56 # [40] push a / ["(reloc #5 -> #0)"]
0 0 L 56
1 1 L 56
F F L 56
b b L 56
a2 a2 L 56
b2 b2 L 56
c1 c1 L 56
a3 a3 L 56
a a R 57

57 # [40] push a / ["(r01) find/mark unmarked 0/1"]
0 0x R 59
1 1x R 60
b b L 58

58 # [40] push a / ["(un01) unmark marked 0/1"]
0x 0 L 58
1x 1 L 58
a a . 62

59 # [40] push a / ["(w0) write 0"]
0 0 R 59
1 1 R 59
F F R 59
b b R 59
a2 a2 R 59
b2 b2 R 59
c1 c1 R 59
a3 a3 R 59
_ 0 L 61

60 # [40] push a / ["(w1) write 1"]
0 0 R 60
1 1 R 60
F F R 60
b b R 60
a2 a2 R 60
b2 b2 R 60
c1 c1 R 60
a3 a3 R 60
_ 1 L 61

61 # [40] push a / ["(re) go back to var "]
0 0 L 61
1 1 L 61
F F L 61
b b L 61
a2 a2 L 61
b2 b2 L 61
c1 c1 L 61
a3 a3 L 61
0x 0x R 57
1x 1x R 57

62 # [41] var b3
0 0 R 62
1 1 R 62
F F R 62
a a R 62
b b R 62
a2 a2 R 62
b2 b2 R 62
c1 c1 R 62
a3 a3 R 62
_ b3 . 63

63 # [42] push b / ["(reloc #6 -> #1)"]
0 0 L 63
1 1 L 63
F F L 63
a2 a2 L 63
b2 b2 L 63
c1 c1 L 63
a3 a3 L 63
b3 b3 L 63
b b R 64

64 # [42] push b / ["(r01) find/mark unmarked 0/1"]
0 0x R 66
1 1x R 67
a2 a2 L 65

65 # [42] push b / ["(un01) unmark marked 0/1"]
0x 0 L 65
1x 1 L 65
b b . 69

66 # [42] push b / ["(w0) write 0"]
0 0 R 66
1 1 R 66
F F R 66
a2 a2 R 66
b2 b2 R 66
c1 c1 R 66
a3 a3 R 66
b3 b3 R 66
_ 0 L 68

67 # [42] push b / ["(w1) write 1"]
0 0 R 67
1 1 R 67
F F R 67
a2 a2 R 67
b2 b2 R 67
c1 c1 R 67
a3 a3 R 67
b3 b3 R 67
_ 1 L 68

68 # [42] push b / ["(re) go back to var "]
0 0 L 68
1 1 L 68
F F L 68
a2 a2 L 68
b2 b2 L 68
c1 c1 L 68
a3 a3 L 68
b3 b3 L 68
0x 0x R 64
1x 1x R 64

69 # [44] var c2
0 0 R 69
1 1 R 69
F F R 69
b b R 69
a2 a2 R 69
b2 b2 R 69
c1 c1 R 69
a3 a3 R 69
b3 b3 R 69
_ c2 . 70

70 # [45] set 0 / ["c2_0 = 0"]
0 0 R 70
1 1 R 70
F F R 70
c2 c2 R 70
_ 0 . 71

71 # [47] B3C2 / ["(reloc #7 -> #7)"]
0 0 L 71
1 1 L 71
F F L 71
c2 c2 R 72

72 # [48] inc c2 / ["(reloc #7 -> #7)"]
0 0 L 72
1 1 L 72
F F L 72
c2 c2 R 73

73 # [48] inc c2 / ["(var 'c2')"]
0 1 . 74
1 0 R 73
_ 1 . 74

74 # [49] dec b3 / ["(reloc #7 -> #6)"]
0 0 L 74
1 1 L 74
F F L 74
c2 c2 L 74
b3 b3 R 75

75 # [49] dec b3
0 1 R 75
1 0 . 76

76 # [50] ifeq0 b3 A3C2 / ["(reloc #6 -> #6)"]
0 0 L 76
1 1 L 76
F F L 76
c2 c2 L 76
b3 b3 R 77

77 # [50] ifeq0 b3 A3C2
0 0 R 77
1 1 . 79
c2 c2 L 78

78 # [50] ifeq0 b3 A3C2 / ["(reloc #6 -> #7)"]
0 0 R 78
1 1 R 78
b3 b3 R 78
c2 c2 R 81

79 # [51] goto B3C2 / ["(reloc #6 -> #7)"]
0 0 R 79
1 1 R 79
b3 b3 R 79
c2 c2 R 72

80 # [53] A3C2 / ["(reloc #0 -> #7)"]
0 0 R 80
1 1 R 80
a a R 80
b b R 80
a2 a2 R 80
b2 b2 R 80
c1 c1 R 80
a3 a3 R 80
b3 b3 R 80
c2 c2 R 81

81 # [54] inc c2 / ["(reloc #7 -> #7)"]
0 0 L 81
1 1 L 81
F F L 81
c2 c2 R 82

82 # [54] inc c2 / ["(var 'c2')"]
0 1 . 83
1 0 R 82
_ 1 . 83

83 # [55] dec a3 / ["(reloc #7 -> #5)"]
0 0 L 83
1 1 L 83
F F L 83
b3 b3 L 83
c2 c2 L 83
a3 a3 R 84

84 # [55] dec a3
0 1 R 84
1 0 . 85

85 # [56] ifeq0 a3 TESTEQ / ["(reloc #5 -> #5)"]
0 0 L 85
1 1 L 85
F F L 85
b3 b3 L 85
c2 c2 L 85
a3 a3 R 86

86 # [56] ifeq0 a3 TESTEQ
0 0 R 86
1 1 . 88
b3 b3 L 87

87 # [56] ifeq0 a3 TESTEQ / ["(reloc #5 -> #7)"]
0 0 R 87
1 1 R 87
a3 a3 R 87
b3 b3 R 87
c2 c2 R 90

88 # [57] goto A3C2 / ["(reloc #5 -> #7)"]
0 0 R 88
1 1 R 88
a3 a3 R 88
b3 b3 R 88
c2 c2 R 81

89 # [59] TESTEQ / ["(reloc #0 -> #7)"]
0 0 R 89
1 1 R 89
a a R 89
b b R 89
a2 a2 R 89
b2 b2 R 89
c1 c1 R 89
a3 a3 R 89
b3 b3 R 89
c2 c2 R 90

90 # [61] dec c1 / ["(reloc #7 -> #4)"]
0 0 L 90
1 1 L 90
F F L 90
a3 a3 L 90
b3 b3 L 90
c2 c2 L 90
c1 c1 R 91

91 # [61] dec c1
0 1 R 91
1 0 . 92

92 # [62] dec c2 / ["(reloc #4 -> #7)"]
0 0 R 92
1 1 R 92
c1 c1 R 92
a3 a3 R 92
b3 b3 R 92
c2 c2 R 93

93 # [62] dec c2
0 1 R 93
1 0 . 94

94 # [63] ifeq0 c1 ZERO1 / ["(reloc #7 -> #4)"]
0 0 L 94
1 1 L 94
F F L 94
a3 a3 L 94
b3 b3 L 94
c2 c2 L 94
c1 c1 R 95

95 # [63] ifeq0 c1 ZERO1
0 0 R 95
1 1 . 97
a3 a3 L 96

96 # [63] ifeq0 c1 ZERO1 / ["(reloc #4 -> #7)"]
0 0 R 96
1 1 R 96
c1 c1 R 96
a3 a3 R 96
b3 b3 R 96
c2 c2 R 104

97 # [64] ifeq0 c2 NEQ / ["(reloc #4 -> #7)"]
0 0 R 97
1 1 R 97
c1 c1 R 97
a3 a3 R 97
b3 b3 R 97
c2 c2 R 98

98 # [64] ifeq0 c2 NEQ
0 0 R 98
1 1 . 100
F F L 99
_ _ L 99

99 # [64] ifeq0 c2 NEQ / ["(reloc #7 -> #7)"]
0 0 L 99
1 1 L 99
F F L 99
c2 c2 R 102

100 # [65] goto TESTEQ / ["(reloc #7 -> #7)"]
0 0 L 100
1 1 L 100
F F L 100
c2 c2 R 90

101 # [67] NEQ / ["(reloc #0 -> #7)"]
0 0 R 101
1 1 R 101
a a R 101
b b R 101
a2 a2 R 101
b2 b2 R 101
c1 c1 R 101
a3 a3 R 101
b3 b3 R 101
c2 c2 R 102

102 # [68] halt / ["(reloc #7 -> #7)"]
0 0 L 102
1 1 L 102
F F L 102
c2 c2 R HALT

103 # [70] ZERO1 / ["(reloc #0 -> #7)"]
0 0 R 103
1 1 R 103
a a R 103
b b R 103
a2 a2 R 103
b2 b2 R 103
c1 c1 R 103
a3 a3 R 103
b3 b3 R 103
c2 c2 R 104

104 # [71] ifeq0 c2 EQ / ["(reloc #7 -> #7)"]
0 0 L 104
1 1 L 104
F F L 104
c2 c2 R 105

105 # [71] ifeq0 c2 EQ
0 0 R 105
1 1 . 107
F F L 106
_ _ L 106

106 # [71] ifeq0 c2 EQ / ["(reloc #7 -> #7)"]
0 0 L 106
1 1 L 106
F F L 106
c2 c2 R 109

107 # [72] goto NEQ / ["(reloc #7 -> #7)"]
0 0 L 107
1 1 L 107
F F L 107
c2 c2 R 102

108 # [74] EQ / ["(reloc #0 -> #7)"]
0 0 R 108
1 1 R 108
a a R 108
b b R 108
a2 a2 R 108
b2 b2 R 108
c1 c1 R 108
a3 a3 R 108
b3 b3 R 108
c2 c2 R 109

109 # [76] clear a2 / ["(reloc #7 -> #2)"]
0 0 L 109
1 1 L 109
F F L 109
b2 b2 L 109
c1 c1 L 109
a3 a3 L 109
b3 b3 L 109
c2 c2 L 109
a2 a2 . 110

110 # [76] clear a2 / ["(erase)"]
a2 _ R 110
b2 _ R 110
c1 _ R 110
a3 _ R 110
b3 _ R 110
c2 _ R 110
0 _ R 110
1 _ R 110
F _ R 110
_ _ L 111

111 # [76] clear a2 / ["(back)"]
_ _ L 111
b b . 112
0 0 . 112
1 1 . 112

112 # [78] dec b / ["(reloc #2 -> #1)"]
0 0 L 112
1 1 L 112
F F L 112
b b R 113

113 # [78] dec b
0 1 R 113
1 0 . 114

114 # [79] ifeq0 b BZERO / ["(reloc #1 -> #1)"]
0 0 L 114
1 1 L 114
F F L 114
b b R 115

115 # [79] ifeq0 b BZERO
0 0 R 115
1 1 . 117
F F L 116
_ _ L 116

116 # [79] ifeq0 b BZERO / ["(reloc #1 -> #1)"]
0 0 L 116
1 1 L 116
F F L 116
b b R 119

117 # [80] goto TESTADD / ["(reloc #1 -> #1)"]
0 0 L 117
1 1 L 117
F F L 117
b b R 13

118 # [82] BZERO / ["(reloc #0 -> #1)"]
0 0 R 118
1 1 R 118
a a R 118
b b R 119

119 # [83] clear b / ["(reloc #1 -> #1)"]
0 0 L 119
1 1 L 119
F F L 119
b b . 120

120 # [83] clear b / ["(erase)"]
b _ R 120
0 _ R 120
1 _ R 120
F _ R 120
_ _ L 121

121 # [83] clear b / ["(back)"]
_ _ L 121
a a . 122
0 0 . 122
1 1 . 122

122 # [84] goto INCA / ["(reloc #1 -> #0)"]
0 0 L 122
1 1 L 122
F F L 122
a a R 3

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s