Project

General

Profile

block_0000.s

Alexander Protsenko, 04/06/2017 05:55 PM

 
1
	;==================================================================================================
2
	;
3
	; This test program was automatically generated by the MicroTESK tool
4
	; Generation started: Thu Apr 06 17:36:12 MSK 2017
5
	;
6
	; Institute for System Programming of the Russian Academy of Sciences (ISP RAS)
7
	; 25 Alexander Solzhenitsyn st., Moscow, 109004, Russia
8
	; http://forge.ispras.ru/projects/microtesk
9
	;
10
	;==================================================================================================
11

    
12
	;==================================================================================================
13
	; Prologue
14

    
15
	section .text
16
	global _start
17

    
18
_start:
19

    
20
	;==================================================================================================
21
	; Test Case 0 (block.rb:28)
22

    
23
	; Preparation
24
	mov BX, 43715
25

    
26
	; Stimulus
27
	mov AX, BX
28
	sub CX, DX
29
	add SI, DX
30

    
31
	;==================================================================================================
32
	; Test Case 1 (block.rb:35)
33

    
34
	; Preparation
35
	mov BX, 8811
36

    
37
	; Stimulus
38
	mov AX, BX
39
	add CX, DX
40
	sub BX, DX
41

    
42
	;==================================================================================================
43
	; Test Case 2 (block.rb:42)
44

    
45
	; Preparation
46
	mov BX, 45173
47

    
48
	; Stimulus
49
	mov AX, BX
50

    
51
	;==================================================================================================
52
	; Test Case 3 (block.rb:42)
53

    
54
	; Preparation
55
	mov DX, 49059
56
	mov CX, 10279
57

    
58
	; Stimulus
59
	sub CX, DX
60

    
61
	;==================================================================================================
62
	; Test Case 4 (block.rb:42)
63

    
64
	; Preparation
65
	mov CX, 2237
66

    
67
	; Stimulus
68
	add CX, CX
69

    
70
	;==================================================================================================
71
	; Test Case 5 (block.rb:50)
72

    
73
	; Preparation
74
	mov BX, 51568
75
	mov DX, 57001
76
	mov CX, 63096
77

    
78
	; Stimulus
79
	mov AX, BX
80
	sub CX, DX
81

    
82
	;==================================================================================================
83
	; Test Case 6 (block.rb:50)
84

    
85
	; Preparation
86
	mov DX, 64044
87
	mov CX, 23991
88
	mov AX, 14080
89

    
90
	; Stimulus
91
	sub CX, DX
92
	sub CX, AX
93

    
94
	;==================================================================================================
95
	; Test Case 7 (block.rb:50)
96

    
97
	; Preparation
98
	mov BX, 42950
99
	mov AX, 2216
100

    
101
	; Stimulus
102
	add AX, BX
103
	mov AX, BX
104

    
105
	;==================================================================================================
106
	; Test Case 8 (block.rb:50)
107

    
108
	; Preparation
109
	mov BX, 5917
110
	mov AX, 46603
111

    
112
	; Stimulus
113
	add AX, BX
114
	sub AX, AX
115

    
116
	;==================================================================================================
117
	; Test Case 9 (block.rb:63)
118

    
119
	; Preparation
120
	mov CX, 42659
121
	mov DX, 45040
122
	mov DI, 3291
123
	mov AX, 54061
124
	mov BX, 3252
125

    
126
	; Stimulus
127
	or CX, DX
128
	; Atomic starts
129
	and DI, DI
130
	; Atomic ends
131
	sub BX, AX
132

    
133
	;==================================================================================================
134
	; Epilogue
135

    
136
success:
137
	mov AX, 1
138
	;system call number (sys_exit)
139
	int 128
140
	;call kernel
141

    
142
error: