3372836e0d
1999-01-11 Frank Ch. Eigler <fche@cygnus.com> * do-flags.S: New test for parallel PSW update conflicts. * Makefile.in (TESTS): Run it.
190 lines
4.7 KiB
ArmAsm
190 lines
4.7 KiB
ArmAsm
# Test macro
|
|
|
|
.macro assert reg,value
|
|
cmpeq f0,\reg,\value
|
|
bra/fx fail
|
|
.endm
|
|
|
|
|
|
# PR 16993 - a.s
|
|
|
|
add r8,r0,0x80005555 ; for psw
|
|
add r9,r0,0x80000000 ; for psw
|
|
add r40,r0,0x11111111 ;
|
|
add r41,r0,0x22222222 ;
|
|
add r42,r0,0x00000000 ;
|
|
mvtsys psw,r8 ||nop
|
|
mvtsys psw,r9 ||add r42,r40,r41,;
|
|
|
|
mvfsys r10,psw
|
|
assert r10, 0x80000000
|
|
|
|
|
|
# PR 16995 - b.s
|
|
|
|
add r8,r0,0x80000000 ; for psw
|
|
add r9,r0,0x80005555 ; for psw
|
|
add r10,r0,0x00000000 ;
|
|
add r40,r0,0x11111111 ;
|
|
add r41,r0,0x22222222 ;
|
|
add r42,r0,0x00000000 ;
|
|
mvtsys psw,r8 ||nop
|
|
mvtsys psw,r9 ||add r42,r40,r41,;
|
|
|
|
mvfsys r10,psw
|
|
assert r10, 0x80005544
|
|
|
|
|
|
# PR 17006 - c.s
|
|
|
|
add r8,r0,0x80005555 ; for psw
|
|
add r9,r0,0x80000000 ; for psw
|
|
add r10,r0,0x00000000 ;
|
|
add r40,r0,0x00000011 ;
|
|
add r41,r0,0x00000011 ;
|
|
mvtsys psw,r8 ||nop
|
|
mvtsys psw,r9 ||cmpeq f5,r40,r41,;
|
|
|
|
mvfsys r10,psw
|
|
assert r10, 0x80000010
|
|
|
|
|
|
# PR 17006 - d.s
|
|
|
|
add r9,r0,0x80000000 ; for psw
|
|
add r40,r0,0x00000011 ;
|
|
add r41,r0,0x00000011 ;
|
|
nop ||nop
|
|
mvtsys psw, r9 || nop
|
|
nop ||nop
|
|
nop ||cmpeq f5,r40,r41,;
|
|
|
|
mvfsys r10,psw
|
|
assert r10, 0x80000010
|
|
|
|
|
|
# PR 17106 - a.s
|
|
|
|
; test 000 ; mvtsys(s=0) || sathl(s=0) prallel execution test
|
|
add r8,r0,0x80005555 ; for psw
|
|
add r9,r0,0x80000000 ; for psw
|
|
add r40,r0,0x00000044 ;
|
|
add r41,r0,0x00000008 ;
|
|
mvtsys psw,r8 ||nop
|
|
mvtsys psw,r9 ||sathl r30,r40,r41,;
|
|
mvfsys r20, psw ||nop
|
|
;-------------------------------
|
|
; test 001 ; mvtsys(s=0) || sathl(s=1) prallel execution test
|
|
_test_001:
|
|
add r40,r0,0x00004444 ;
|
|
add r41,r0,0x00000008 ;
|
|
mvtsys psw,r8 ||nop
|
|
mvtsys psw,r9 ||sathl r31,r40,r41,;
|
|
mvfsys r21,psw ||nop
|
|
;-------------------------------
|
|
; test 002 ; mvtsys(s=1) || sathl(s=0) prallel execution test
|
|
add r8,r0,0x80000000 ; for psw
|
|
add r9,r0,0x80005555 ; for psw
|
|
add r40,r0,0x00000044 ;
|
|
add r41,r0,0x00000008 ;
|
|
mvtsys psw,r8 ||nop
|
|
mvtsys psw,r9 ||sathl r32,r40,r41,;
|
|
mvfsys r22,psw ||nop
|
|
;-------------------------------
|
|
; test 003 ; mvtsys(s=1) || sathl(s=1) prallel execution test
|
|
; init-reg
|
|
add r40,r0,0x00004444 ;
|
|
add r41,r0,0x00000008 ;
|
|
mvtsys psw,r8 ||nop
|
|
mvtsys psw,r9 ||sathl r33,r40,r41,;
|
|
mvfsys r23,psw ||nop
|
|
|
|
assert r20, 0x80000000
|
|
assert r21, 0x80000040
|
|
assert r22, 0x80005555
|
|
assert r23, 0x80005515
|
|
|
|
|
|
# PR 18288 - a.s
|
|
|
|
;------------------------------------------------------------------------
|
|
; mvtsys (C =1, V= VA = 0) || addc (C= V= VA =0)
|
|
;------------------------------------------------------------------------
|
|
test_000b:
|
|
add r1,r0,1 ||nop ; set C bit
|
|
mvtsys psw r0 ||nop
|
|
mvtsys psw r1 ||addc r20,r0,1
|
|
mvfsys r10,psw ||nop
|
|
; C changed in MU is not used in IU.
|
|
; IU prevail for resulting C.
|
|
;------------------------------------------------------------------------
|
|
; mvtsys (V =1, C = VA = 0) || add (C= V= VA =0)
|
|
;------------------------------------------------------------------------
|
|
test_001b:
|
|
add r1,r0,0x10 ||nop ; set V bit
|
|
mvtsys psw r0 ||nop
|
|
mvtsys psw r1 ||add r0,r0,r0
|
|
mvfsys r11,psw ||nop
|
|
; IU prevail for resulting V.
|
|
;------------------------------------------------------------------------
|
|
; mvtsys (V = C= VA = 0) || add (C=0,V= VA =1)
|
|
;------------------------------------------------------------------------
|
|
test_002b:
|
|
add r1,r0,0x70000000
|
|
add r2,r0,0x30000000
|
|
mvtsys psw r0 ||nop
|
|
mvtsys psw r0 ||add r0,r1,r2
|
|
mvfsys r12,psw ||nop
|
|
; IU prevail for resulting V.
|
|
; VA is set(OR'ed)
|
|
;------------------------------------------------------------------------
|
|
; mvtsys (C= 0 V = VA = 1) || add (C= V= VA =0)
|
|
;------------------------------------------------------------------------
|
|
test_003b:
|
|
add r1,r0,0x14 ||nop ; set V and VA bit
|
|
mvtsys psw r0 ||nop
|
|
mvtsys psw r1 ||add r0,r0,r0
|
|
mvfsys r13,psw ||nop
|
|
; IU prevail for resulging V
|
|
; VA is set(OR'ed)
|
|
;------------------------------------------------------------------------
|
|
; mvtsys (f3 =1) || orfg (f3) : GROUP_B
|
|
;------------------------------------------------------------------------
|
|
test_004b:
|
|
add r1,r0,0x100 ; set f3
|
|
mvtsys psw r0 ||nop
|
|
mvtsys psw,r1 ||orfg f3,f3,0
|
|
mvfsys r14,psw ||nop
|
|
; results of IU prevail.
|
|
;------------------------------------------------------------------------
|
|
; mvtsys (f4 =1) || sathp
|
|
;------------------------------------------------------------------------
|
|
test_005b:
|
|
add r1,r0,0x40 ; set f4
|
|
mvtsys psw r0 ||nop
|
|
mvtsys psw r1 ||sathl r2,r1,3
|
|
mvfsys r15,psw ||nop
|
|
; results of MU is used in IU
|
|
|
|
assert r20, 0x1
|
|
assert r10, 0x0
|
|
assert r11, 0x0
|
|
assert r12, 0x14
|
|
assert r13, 0x4
|
|
assert r14, 0x0
|
|
assert r15, 0x0
|
|
|
|
|
|
# all okay
|
|
|
|
bra ok
|
|
|
|
ok:
|
|
add r2, r0, 0
|
|
.long 0x0e000004
|
|
nop
|
|
|
|
fail:
|
|
add r2, r0, 47
|
|
.long 0x0e000004
|
|
nop
|