Fix cache-flushing bugs manifested on the MIPS R4000:
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Sat, 8 Jan 1994 17:02:13 +0000 (17:02 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Sat, 8 Jan 1994 17:02:13 +0000 (17:02 +0000)
commitb258512adbb5c75062b1fd7a9e8fc03c9d7484e5
tree1d68c043d7b80741cb52ce944b8649ced5d28c89
parentf7ab1faf69e74b91c270744f52d8431b7cc3c3ad
Fix cache-flushing bugs manifested on the MIPS R4000:

- The linker cannot use PUSH_D_CACHE_REGION on the block being linked
if it is returning to it, it must use FLUSH_I_CACHE_REGION.
v7/src/microcode/cmpint.c
v8/src/microcode/cmpint.c