84 lines
1.3 KiB
Plaintext
84 lines
1.3 KiB
Plaintext
|
/*
|
||
|
|
* verify_gaps.dsp -- Assembler verification for structural-only types.
|
||
|
|
* Tests Types 12, 14, 16, 19, 21, 21a, 22, 23, 24, 26, 29, 32, 34, 35, 36, 37.
|
||
|
|
*/
|
||
|
|
.section/PM program0;
|
||
|
|
.global _start;
|
||
|
|
_start:
|
||
|
|
/* Setup */
|
||
|
|
i0 = 0x0100;
|
||
|
|
i4 = 0x0200;
|
||
|
|
m0 = 1;
|
||
|
|
m4 = 1;
|
||
|
|
l0 = 0;
|
||
|
|
l4 = 0;
|
||
|
|
ax0 = 0x1234;
|
||
|
|
si = 0x00FF;
|
||
|
|
|
||
|
|
/* Type 12: Shift + DM read */
|
||
|
|
sr = lshift si (hi), mx0 = dm(i0,m0);
|
||
|
|
|
||
|
|
/* Type 12: Shift + DM write */
|
||
|
|
sr = ashift si (hi), dm(i0,m0) = ax0;
|
||
|
|
|
||
|
|
/* Type 14: Shift + Dreg move */
|
||
|
|
sr = lshift si (hi), ax0 = mx0;
|
||
|
|
|
||
|
|
/* Type 16: Conditional shift */
|
||
|
|
if eq sr = lshift si (hi);
|
||
|
|
sr = lshift si (hi);
|
||
|
|
|
||
|
|
/* Type 19: Indirect jump */
|
||
|
|
i2 = _after_indirect;
|
||
|
|
jump (i2);
|
||
|
|
_after_indirect:
|
||
|
|
nop;
|
||
|
|
|
||
|
|
/* Type 21: MODIFY (reg) */
|
||
|
|
modify(i0,m0);
|
||
|
|
|
||
|
|
/* Type 21a: MODIFY (imm) */
|
||
|
|
modify(i0,5);
|
||
|
|
|
||
|
|
/* Type 23: DIVQ */
|
||
|
|
divq ax0;
|
||
|
|
|
||
|
|
/* Type 24: DIVS */
|
||
|
|
divs ay0, ax0;
|
||
|
|
|
||
|
|
/* Type 26: Push/Pop */
|
||
|
|
push sts;
|
||
|
|
pop sts;
|
||
|
|
push loop;
|
||
|
|
pop loop;
|
||
|
|
push pc;
|
||
|
|
pop pc;
|
||
|
|
|
||
|
|
/* Type 29: DM immediate modify */
|
||
|
|
ax0 = dm(i0,1);
|
||
|
|
dm(i0,1) = ax0;
|
||
|
|
|
||
|
|
/* Type 32: Any Reg <-> DM (postmodify) */
|
||
|
|
ar = dm(i0,m0);
|
||
|
|
dm(i0,m0) = ar;
|
||
|
|
|
||
|
|
/* Type 34: IO */
|
||
|
|
ax0 = io(0x00);
|
||
|
|
io(0x00) = ax0;
|
||
|
|
|
||
|
|
/* Type 35: System register */
|
||
|
|
ax0 = reg(0x00);
|
||
|
|
reg(0x00) = ax0;
|
||
|
|
|
||
|
|
/* Type 37: SETINT/CLRINT */
|
||
|
|
setint 3;
|
||
|
|
clrint 3;
|
||
|
|
|
||
|
|
/* Type 36: Long jump */
|
||
|
|
ljump _end;
|
||
|
|
|
||
|
|
_end:
|
||
|
|
nop;
|
||
|
|
_halt:
|
||
|
|
jump _halt;
|