# fr30 testcase for mul $Rj,$Ri
|
# fr30 testcase for mul $Rj,$Ri
|
# mach(): fr30
|
# mach(): fr30
|
|
|
.include "testutils.inc"
|
.include "testutils.inc"
|
|
|
START
|
START
|
|
|
.text
|
.text
|
.global mul
|
.global mul
|
mul:
|
mul:
|
; Test mul $Rj,$Ri
|
; Test mul $Rj,$Ri
|
; Positive operands
|
; Positive operands
|
mvi_h_gr 3,r7 ; multiply small numbers
|
mvi_h_gr 3,r7 ; multiply small numbers
|
mvi_h_gr 2,r8
|
mvi_h_gr 2,r8
|
set_cc 0x0f ; Set mask opposite of expected
|
set_cc 0x0f ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 0 1
|
test_cc 0 0 0 1
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 6,mdl
|
test_h_dr 6,mdl
|
|
|
mvi_h_gr 1,r7 ; multiply by 1
|
mvi_h_gr 1,r7 ; multiply by 1
|
mvi_h_gr 2,r8
|
mvi_h_gr 2,r8
|
set_cc 0x0e ; Set mask opposite of expected
|
set_cc 0x0e ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 0 0
|
test_cc 0 0 0 0
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 2,mdl
|
test_h_dr 2,mdl
|
|
|
mvi_h_gr 2,r7 ; multiply by 1
|
mvi_h_gr 2,r7 ; multiply by 1
|
mvi_h_gr 1,r8
|
mvi_h_gr 1,r8
|
set_cc 0x0f ; Set mask opposite of expected
|
set_cc 0x0f ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 0 1
|
test_cc 0 0 0 1
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 2,mdl
|
test_h_dr 2,mdl
|
|
|
mvi_h_gr 0,r7 ; multiply by 0
|
mvi_h_gr 0,r7 ; multiply by 0
|
mvi_h_gr 2,r8
|
mvi_h_gr 2,r8
|
set_cc 0x0b ; Set mask opposite of expected
|
set_cc 0x0b ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 1 0 1
|
test_cc 0 1 0 1
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 0,mdl
|
test_h_dr 0,mdl
|
|
|
mvi_h_gr 2,r7 ; multiply by 0
|
mvi_h_gr 2,r7 ; multiply by 0
|
mvi_h_gr 0,r8
|
mvi_h_gr 0,r8
|
set_cc 0x0a ; Set mask opposite of expected
|
set_cc 0x0a ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 1 0 0
|
test_cc 0 1 0 0
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 0,mdl
|
test_h_dr 0,mdl
|
|
|
mvi_h_gr 0x3fffffff,r7 ; 31 bit result
|
mvi_h_gr 0x3fffffff,r7 ; 31 bit result
|
mvi_h_gr 2,r8
|
mvi_h_gr 2,r8
|
set_cc 0x0f ; Set mask opposite of expected
|
set_cc 0x0f ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 0 1
|
test_cc 0 0 0 1
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 0x7ffffffe,mdl
|
test_h_dr 0x7ffffffe,mdl
|
|
|
mvi_h_gr 0x40000000,r7 ; 32 bit result
|
mvi_h_gr 0x40000000,r7 ; 32 bit result
|
mvi_h_gr 2,r8
|
mvi_h_gr 2,r8
|
set_cc 0x04 ; Set mask opposite of expected
|
set_cc 0x04 ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 1 0 1 0
|
test_cc 1 0 1 0
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 0x80000000,mdl
|
test_h_dr 0x80000000,mdl
|
|
|
mvi_h_gr 0x40000000,r7 ; 33 bit result
|
mvi_h_gr 0x40000000,r7 ; 33 bit result
|
mvi_h_gr 4,r8
|
mvi_h_gr 4,r8
|
set_cc 0x0d ; Set mask opposite of expected
|
set_cc 0x0d ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 1 1
|
test_cc 0 0 1 1
|
test_h_dr 1,mdh
|
test_h_dr 1,mdh
|
test_h_dr 0x00000000,mdl
|
test_h_dr 0x00000000,mdl
|
|
|
mvi_h_gr 0x7fffffff,r7 ; max positive result
|
mvi_h_gr 0x7fffffff,r7 ; max positive result
|
mvi_h_gr 0x7fffffff,r8
|
mvi_h_gr 0x7fffffff,r8
|
set_cc 0x0d ; Set mask opposite of expected
|
set_cc 0x0d ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 1 1
|
test_cc 0 0 1 1
|
test_h_dr 0x3fffffff,mdh
|
test_h_dr 0x3fffffff,mdh
|
test_h_dr 0x00000001,mdl
|
test_h_dr 0x00000001,mdl
|
|
|
; Mixed operands
|
; Mixed operands
|
mvi_h_gr -3,r7 ; multiply small numbers
|
mvi_h_gr -3,r7 ; multiply small numbers
|
mvi_h_gr 2,r8
|
mvi_h_gr 2,r8
|
set_cc 0x07 ; Set mask opposite of expected
|
set_cc 0x07 ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 1 0 0 1
|
test_cc 1 0 0 1
|
test_h_dr -1,mdh
|
test_h_dr -1,mdh
|
test_h_dr -6,mdl
|
test_h_dr -6,mdl
|
|
|
mvi_h_gr 3,r7 ; multiply small numbers
|
mvi_h_gr 3,r7 ; multiply small numbers
|
mvi_h_gr -2,r8
|
mvi_h_gr -2,r8
|
set_cc 0x07 ; Set mask opposite of expected
|
set_cc 0x07 ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 1 0 0 1
|
test_cc 1 0 0 1
|
test_h_dr -1,mdh
|
test_h_dr -1,mdh
|
test_h_dr -6,mdl
|
test_h_dr -6,mdl
|
|
|
mvi_h_gr 1,r7 ; multiply by 1
|
mvi_h_gr 1,r7 ; multiply by 1
|
mvi_h_gr -2,r8
|
mvi_h_gr -2,r8
|
set_cc 0x06 ; Set mask opposite of expected
|
set_cc 0x06 ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 1 0 0 0
|
test_cc 1 0 0 0
|
test_h_dr -1,mdh
|
test_h_dr -1,mdh
|
test_h_dr -2,mdl
|
test_h_dr -2,mdl
|
|
|
mvi_h_gr -2,r7 ; multiply by 1
|
mvi_h_gr -2,r7 ; multiply by 1
|
mvi_h_gr 1,r8
|
mvi_h_gr 1,r8
|
set_cc 0x07 ; Set mask opposite of expected
|
set_cc 0x07 ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 1 0 0 1
|
test_cc 1 0 0 1
|
test_h_dr -1,mdh
|
test_h_dr -1,mdh
|
test_h_dr -2,mdl
|
test_h_dr -2,mdl
|
|
|
mvi_h_gr 0,r7 ; multiply by 0
|
mvi_h_gr 0,r7 ; multiply by 0
|
mvi_h_gr -2,r8
|
mvi_h_gr -2,r8
|
set_cc 0x0b ; Set mask opposite of expected
|
set_cc 0x0b ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 1 0 1
|
test_cc 0 1 0 1
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 0,mdl
|
test_h_dr 0,mdl
|
|
|
mvi_h_gr -2,r7 ; multiply by 0
|
mvi_h_gr -2,r7 ; multiply by 0
|
mvi_h_gr 0,r8
|
mvi_h_gr 0,r8
|
set_cc 0x0a ; Set mask opposite of expected
|
set_cc 0x0a ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 1 0 0
|
test_cc 0 1 0 0
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 0,mdl
|
test_h_dr 0,mdl
|
|
|
mvi_h_gr 0x20000001,r7 ; 31 bit result
|
mvi_h_gr 0x20000001,r7 ; 31 bit result
|
mvi_h_gr -2,r8
|
mvi_h_gr -2,r8
|
set_cc 0x07 ; Set mask opposite of expected
|
set_cc 0x07 ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 1 0 0 1
|
test_cc 1 0 0 1
|
test_h_dr 0xffffffff,mdh
|
test_h_dr 0xffffffff,mdh
|
test_h_dr 0xbffffffe,mdl
|
test_h_dr 0xbffffffe,mdl
|
|
|
mvi_h_gr 0x40000000,r7 ; 32 bit result
|
mvi_h_gr 0x40000000,r7 ; 32 bit result
|
mvi_h_gr -2,r8
|
mvi_h_gr -2,r8
|
set_cc 0x06 ; Set mask opposite of expected
|
set_cc 0x06 ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 1 0 0 0
|
test_cc 1 0 0 0
|
test_h_dr 0xffffffff,mdh
|
test_h_dr 0xffffffff,mdh
|
test_h_dr 0x80000000,mdl
|
test_h_dr 0x80000000,mdl
|
|
|
mvi_h_gr 0x40000001,r7 ; 32 bit result
|
mvi_h_gr 0x40000001,r7 ; 32 bit result
|
mvi_h_gr -2,r8
|
mvi_h_gr -2,r8
|
set_cc 0x0c ; Set mask opposite of expected
|
set_cc 0x0c ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 1 0
|
test_cc 0 0 1 0
|
test_h_dr 0xffffffff,mdh
|
test_h_dr 0xffffffff,mdh
|
test_h_dr 0x7ffffffe,mdl
|
test_h_dr 0x7ffffffe,mdl
|
|
|
mvi_h_gr 0x40000000,r7 ; 33 bit result
|
mvi_h_gr 0x40000000,r7 ; 33 bit result
|
mvi_h_gr -4,r8
|
mvi_h_gr -4,r8
|
set_cc 0x0d ; Set mask opposite of expected
|
set_cc 0x0d ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 1 1
|
test_cc 0 0 1 1
|
test_h_dr 0xffffffff,mdh
|
test_h_dr 0xffffffff,mdh
|
test_h_dr 0x00000000,mdl
|
test_h_dr 0x00000000,mdl
|
|
|
mvi_h_gr 0x7fffffff,r7 ; max negative result
|
mvi_h_gr 0x7fffffff,r7 ; max negative result
|
mvi_h_gr 0x80000000,r8
|
mvi_h_gr 0x80000000,r8
|
set_cc 0x05 ; Set mask opposite of expected
|
set_cc 0x05 ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 1 0 1 1
|
test_cc 1 0 1 1
|
test_h_dr 0xc0000000,mdh
|
test_h_dr 0xc0000000,mdh
|
test_h_dr 0x80000000,mdl
|
test_h_dr 0x80000000,mdl
|
|
|
; Negative operands
|
; Negative operands
|
mvi_h_gr -3,r7 ; multiply small numbers
|
mvi_h_gr -3,r7 ; multiply small numbers
|
mvi_h_gr -2,r8
|
mvi_h_gr -2,r8
|
set_cc 0x0f ; Set mask opposite of expected
|
set_cc 0x0f ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 0 1
|
test_cc 0 0 0 1
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 6,mdl
|
test_h_dr 6,mdl
|
|
|
mvi_h_gr -1,r7 ; multiply by 1
|
mvi_h_gr -1,r7 ; multiply by 1
|
mvi_h_gr -2,r8
|
mvi_h_gr -2,r8
|
set_cc 0x0e ; Set mask opposite of expected
|
set_cc 0x0e ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 0 0
|
test_cc 0 0 0 0
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 2,mdl
|
test_h_dr 2,mdl
|
|
|
mvi_h_gr -2,r7 ; multiply by 1
|
mvi_h_gr -2,r7 ; multiply by 1
|
mvi_h_gr -1,r8
|
mvi_h_gr -1,r8
|
set_cc 0x0f ; Set mask opposite of expected
|
set_cc 0x0f ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 0 1
|
test_cc 0 0 0 1
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 2,mdl
|
test_h_dr 2,mdl
|
|
|
mvi_h_gr 0xc0000001,r7 ; 31 bit result
|
mvi_h_gr 0xc0000001,r7 ; 31 bit result
|
mvi_h_gr -2,r8
|
mvi_h_gr -2,r8
|
set_cc 0x0f ; Set mask opposite of expected
|
set_cc 0x0f ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 0 1
|
test_cc 0 0 0 1
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 0x7ffffffe,mdl
|
test_h_dr 0x7ffffffe,mdl
|
|
|
mvi_h_gr 0xc0000000,r7 ; 32 bit result
|
mvi_h_gr 0xc0000000,r7 ; 32 bit result
|
mvi_h_gr -2,r8
|
mvi_h_gr -2,r8
|
set_cc 0x04 ; Set mask opposite of expected
|
set_cc 0x04 ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 1 0 1 0
|
test_cc 1 0 1 0
|
test_h_dr 0,mdh
|
test_h_dr 0,mdh
|
test_h_dr 0x80000000,mdl
|
test_h_dr 0x80000000,mdl
|
|
|
mvi_h_gr 0xc0000000,r7 ; 33 bit result
|
mvi_h_gr 0xc0000000,r7 ; 33 bit result
|
mvi_h_gr -4,r8
|
mvi_h_gr -4,r8
|
set_cc 0x0d ; Set mask opposite of expected
|
set_cc 0x0d ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 1 1
|
test_cc 0 0 1 1
|
test_h_dr 1,mdh
|
test_h_dr 1,mdh
|
test_h_dr 0x00000000,mdl
|
test_h_dr 0x00000000,mdl
|
|
|
mvi_h_gr 0x80000001,r7 ; almost max positive result
|
mvi_h_gr 0x80000001,r7 ; almost max positive result
|
mvi_h_gr 0x80000001,r8
|
mvi_h_gr 0x80000001,r8
|
set_cc 0x0d ; Set mask opposite of expected
|
set_cc 0x0d ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 1 1
|
test_cc 0 0 1 1
|
test_h_dr 0x3fffffff,mdh
|
test_h_dr 0x3fffffff,mdh
|
test_h_dr 0x00000001,mdl
|
test_h_dr 0x00000001,mdl
|
|
|
|
|
mvi_h_gr 0x80000000,r7 ; max positive result
|
mvi_h_gr 0x80000000,r7 ; max positive result
|
mvi_h_gr 0x80000000,r8
|
mvi_h_gr 0x80000000,r8
|
set_cc 0x0d ; Set mask opposite of expected
|
set_cc 0x0d ; Set mask opposite of expected
|
mul r7,r8
|
mul r7,r8
|
test_cc 0 0 1 1
|
test_cc 0 0 1 1
|
test_h_dr 0x40000000,mdh
|
test_h_dr 0x40000000,mdh
|
test_h_dr 0x00000000,mdl
|
test_h_dr 0x00000000,mdl
|
|
|
pass
|
pass
|
|
|