ultra-configurable \MMIX\ pipeline: It defines the |MMIX_run| routine, which

does most of the

work. Another routine, |MMIX_init|, is also defined here, and so is a header

file called \.{mmix\_pipe.h}. The header file is used by the main routine and

file called \.{mmix-pipe.h}. The header file is used by the main routine and

by other routines like |MMIX_config|, which are compiled separately.

Readers of this program should be familiar with the explanation of \MMIX\

8 and 12--18 can't be \.{PUT} by the user. Pipeline delays might occur

when \.{GET} is applied to special registers 21--31 or when

\.{PUT} is applied to special registers 8 or 15--20. The \.{SAVE} and

\.{UNSAVE} commands store and restore special registers 0--6 and 23--27 followed by 19 and 21.

\.{UNSAVE} commands store and restore special registers 0--6 and 23--27,

followed by rG~(19) and rA~(21) packed into eight bytes.

@<Header def...@>=

#define rA 21 /* arithmetic status register */