|
;==================================================================================================
|
|
;
|
|
; This test program was automatically generated by the MicroTESK tool
|
|
; Generation started: Thu Apr 06 17:36:12 MSK 2017
|
|
;
|
|
; Institute for System Programming of the Russian Academy of Sciences (ISP RAS)
|
|
; 25 Alexander Solzhenitsyn st., Moscow, 109004, Russia
|
|
; http://forge.ispras.ru/projects/microtesk
|
|
;
|
|
;==================================================================================================
|
|
|
|
;==================================================================================================
|
|
; Prologue
|
|
|
|
section .text
|
|
global _start
|
|
|
|
_start:
|
|
|
|
;==================================================================================================
|
|
; Test Case 0 (block.rb:28)
|
|
|
|
; Preparation
|
|
mov BX, 43715
|
|
|
|
; Stimulus
|
|
mov AX, BX
|
|
sub CX, DX
|
|
add SI, DX
|
|
|
|
;==================================================================================================
|
|
; Test Case 1 (block.rb:35)
|
|
|
|
; Preparation
|
|
mov BX, 8811
|
|
|
|
; Stimulus
|
|
mov AX, BX
|
|
add CX, DX
|
|
sub BX, DX
|
|
|
|
;==================================================================================================
|
|
; Test Case 2 (block.rb:42)
|
|
|
|
; Preparation
|
|
mov BX, 45173
|
|
|
|
; Stimulus
|
|
mov AX, BX
|
|
|
|
;==================================================================================================
|
|
; Test Case 3 (block.rb:42)
|
|
|
|
; Preparation
|
|
mov DX, 49059
|
|
mov CX, 10279
|
|
|
|
; Stimulus
|
|
sub CX, DX
|
|
|
|
;==================================================================================================
|
|
; Test Case 4 (block.rb:42)
|
|
|
|
; Preparation
|
|
mov CX, 2237
|
|
|
|
; Stimulus
|
|
add CX, CX
|
|
|
|
;==================================================================================================
|
|
; Test Case 5 (block.rb:50)
|
|
|
|
; Preparation
|
|
mov BX, 51568
|
|
mov DX, 57001
|
|
mov CX, 63096
|
|
|
|
; Stimulus
|
|
mov AX, BX
|
|
sub CX, DX
|
|
|
|
;==================================================================================================
|
|
; Test Case 6 (block.rb:50)
|
|
|
|
; Preparation
|
|
mov DX, 64044
|
|
mov CX, 23991
|
|
mov AX, 14080
|
|
|
|
; Stimulus
|
|
sub CX, DX
|
|
sub CX, AX
|
|
|
|
;==================================================================================================
|
|
; Test Case 7 (block.rb:50)
|
|
|
|
; Preparation
|
|
mov BX, 42950
|
|
mov AX, 2216
|
|
|
|
; Stimulus
|
|
add AX, BX
|
|
mov AX, BX
|
|
|
|
;==================================================================================================
|
|
; Test Case 8 (block.rb:50)
|
|
|
|
; Preparation
|
|
mov BX, 5917
|
|
mov AX, 46603
|
|
|
|
; Stimulus
|
|
add AX, BX
|
|
sub AX, AX
|
|
|
|
;==================================================================================================
|
|
; Test Case 9 (block.rb:63)
|
|
|
|
; Preparation
|
|
mov CX, 42659
|
|
mov DX, 45040
|
|
mov DI, 3291
|
|
mov AX, 54061
|
|
mov BX, 3252
|
|
|
|
; Stimulus
|
|
or CX, DX
|
|
; Atomic starts
|
|
and DI, DI
|
|
; Atomic ends
|
|
sub BX, AX
|
|
|
|
;==================================================================================================
|
|
; Epilogue
|
|
|
|
success:
|
|
mov AX, 1
|
|
;system call number (sys_exit)
|
|
int 128
|
|
;call kernel
|
|
|
|
error:
|
