projects
/
YACASL2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
不要なテスト削除
[YACASL2.git]
/
src
/
exec.c
diff --git
a/src/exec.c
b/src/exec.c
index
1862973
..
a757dfa
100644
(file)
--- a/
src/exec.c
+++ b/
src/exec.c
@@
-30,21
+30,20
@@
void svcin()
void svcout()
{
int i;
void svcout()
{
int i;
-
char c
;
+
WORD w
;
- for(i = 0; i <
GR[2
]; i++) {
+ for(i = 0; i <
memory[GR[2]
]; i++) {
if(GR[1] + i >= memsize - 1) {
setcerr(203, NULL); /* SVC output - out of Comet II memory */
return;
}
if(GR[1] + i >= memsize - 1) {
setcerr(203, NULL); /* SVC output - out of Comet II memory */
return;
}
- if(
memory[GR[1]+i]
== '\0') {
+ if(
(w = memory[GR[1]+i])
== '\0') {
break;
}
break;
}
- /* 「文字の組」の符号表に記載された文字と、改行(CR)/タブを表示
- それ以外の文字は、「.」で表す */
- if(((c = (char)(memory[GR[1]+i])) >= 0x20 && c <= 0x7E) || c == 0xA || c == '\t')
- {
- putchar(c);
+ /* 「文字の組」の符号表に記載された文字と、改行(CR)/タブを表示 */
+ /* それ以外の文字は、「.」で表す */
+ if((w >= 0x20 && w <= 0x7E) || w == 0xA || w == '\t') {
+ putchar((char)w);
} else {
putchar('.');
}
} else {
putchar('.');
}
@@
-72,12
+71,11
@@
WORD adda(WORD val0, WORD val1)
long temp;
FR = 0x0;
long temp;
FR = 0x0;
- temp = (s
hort)val0 + (
short)val1;
+ temp = (s
igned short)val0 + (signed
short)val1;
if(temp > 32767 || temp < -32768) {
FR += OF;
}
if(temp > 32767 || temp < -32768) {
FR += OF;
}
- res = (WORD)(temp & 0xFFFF);
- if((res & 0x8000) > 0x0) {
+ if(((res = (WORD)(temp & 0xFFFF)) & 0x8000) == 0x8000) {
FR += SF;
} else if(res == 0x0) {
FR += ZF;
FR += SF;
} else if(res == 0x0) {
FR += ZF;
@@
-98,12
+96,10
@@
WORD addl(WORD val0, WORD val1)
WORD res;
FR = 0x0;
WORD res;
FR = 0x0;
- temp = val0 + val1;
- if(temp < 0 || temp > 65535) {
+ if((temp = val0 + val1) < 0 || temp > 65535) {
FR += OF;
}
FR += OF;
}
- res = (WORD)(temp & 0xFFFF);
- if((res & 0x8000) > 0x0) {
+ if(((res = (WORD)(temp & 0xFFFF)) & 0x8000) == 0x8000) {
FR += SF;
} else if(res == 0x0) {
FR += ZF;
FR += SF;
} else if(res == 0x0) {
FR += ZF;
@@
-139,16
+135,23
@@
void cpl(WORD val0, WORD val1)
}
}
}
}
-/* 算術左シフト。フラグを設定して値を返す。
-
算術演算なので、第15ビットは送り出されない */
+/* 算術左シフト。フラグを設定して値を返す。
*/
+
/*
算術演算なので、第15ビットは送り出されない */
WORD sla(WORD val0, WORD val1)
{
WORD sla(WORD val0, WORD val1)
{
+ WORD sign, res, last;
+ int i;
+
FR = 0x0;
FR = 0x0;
- WORD sign, res;
sign = val0 & 0x8000;
sign = val0 & 0x8000;
- res = ((val0 << val1) & 0x7FFF) | sign;
+ res = val0 & 0x7FFF;
+ for(i = 0; i < val1; i++) {
+ last = res & 0x4000;
+ res <<= 1;
+ }
+ res = sign | (res & 0x7F);
/* OFに、レジスタから最後に送り出されたビットの値を設定 */
/* OFに、レジスタから最後に送り出されたビットの値を設定 */
- if(
(val0 & (0x4000 >> (val1 - 1)))
> 0x0) {
+ if(
last
> 0x0) {
FR += OF;
}
/* 符号(第15ビット)が1のとき、SFは1 */
FR += OF;
}
/* 符号(第15ビット)が1のとき、SFは1 */
@@
-163,22
+166,26
@@
WORD sla(WORD val0, WORD val1)
}
/* 算術右シフト。フラグを設定して値を返す */
}
/* 算術右シフト。フラグを設定して値を返す */
+/* 算術演算なので、第15ビットは送り出されない */
+/* 空いたビット位置には符号と同じものが入る */
WORD sra(WORD val0, WORD val1)
{
WORD sra(WORD val0, WORD val1)
{
- WORD sign, res,
onbit = 0x8000
;
+ WORD sign, res,
last
;
int i;
int i;
+
FR = 0x0;
FR = 0x0;
-
res = (val0 & 0x7FFF) >> val1
;
- /* 符号(第15ビット)が1の場合、符号と空いたビット位置に1を設定
- COMET IIの仕様で、シフトの結果空いたビット位置には符号と同じものが入る */
- if((sign = val0 & 0x8000) > 0x0) {
- for(i = 0; i <= val1; i++) {
- res |= onbit;
-
onbit >>= 1
;
+
sign = val0 & 0x8000
;
+ res = val0 & 0x7FFF;
+ for(i = 0; i < val1; i++) {
+ last = res & 0x1;
+ res >>= 1;
+ if(sign > 0) {
+
res |= 0x4000
;
}
}
}
}
+ res = sign | res;
/* OFに、レジスタから最後に送り出されたビットの値を設定 */
/* OFに、レジスタから最後に送り出されたビットの値を設定 */
- if(
(val0 & (0x1 << (val1 - 1)))
> 0x0) {
+ if(
last
> 0x0) {
FR += OF;
}
/* 符号(第15ビット)が1のとき、SFは1 */
FR += OF;
}
/* 符号(第15ビット)が1のとき、SFは1 */
@@
-195,11
+202,16
@@
WORD sra(WORD val0, WORD val1)
/* 論理左シフト。フラグを設定して値を返す */
WORD sll(WORD val0, WORD val1)
{
/* 論理左シフト。フラグを設定して値を返す */
WORD sll(WORD val0, WORD val1)
{
+ WORD res = val0, last;
+ int i;
+
FR = 0x0;
FR = 0x0;
- WORD res;
- res = val0 << val1;
+ for(i = 0; i < val1; i++) {
+ last = res & 0x8000;
+ res <<= 1;
+ }
/* OFに、レジスタから最後に送り出されたビットの値を設定 */
/* OFに、レジスタから最後に送り出されたビットの値を設定 */
- if(
(val0 & (0x8000 >> (val1 - 1)))
> 0x0) {
+ if(
last
> 0x0) {
FR += OF;
}
/* 第15ビットが1のとき、SFは1 */
FR += OF;
}
/* 第15ビットが1のとき、SFは1 */
@@
-216,11
+228,16
@@
WORD sll(WORD val0, WORD val1)
/* 論理右シフト。フラグを設定して値を返す */
WORD srl(WORD val0, WORD val1)
{
/* 論理右シフト。フラグを設定して値を返す */
WORD srl(WORD val0, WORD val1)
{
+ WORD res = val0, last;
+ int i;
+
FR = 0x0;
FR = 0x0;
- WORD res;
- res = val0 >> val1;
+ for(i = 0; i < val1; i++) {
+ last = res & 0x0001;
+ res >>= 1;
+ }
/* OFに、レジスタから最後に送り出されたビットの値を設定 */
/* OFに、レジスタから最後に送り出されたビットの値を設定 */
- if(
(val0 & (0x1 << (val1 - 1)))
> 0x0) {
+ if(
last
> 0x0) {
FR += OF;
}
/* 第15ビットが1のとき、SFは1 */
FR += OF;
}
/* 第15ビットが1のとき、SFは1 */
@@
-234,11
+251,11
@@
WORD srl(WORD val0, WORD val1)
return res;
}
return res;
}
-/* 仮想マシンのリセット */
+/*
COMET II
仮想マシンのリセット */
void reset()
{
int i;
void reset()
{
int i;
- for(i = 0; i <
= 7
; i++) {
+ for(i = 0; i <
REGSIZE
; i++) {
GR[i] = 0x0;
}
SP = PR = FR = 0x0;
GR[i] = 0x0;
}
SP = PR = FR = 0x0;
@@
-256,7
+273,7
@@
void exec()
char *errpr = malloc(8);
clock_t clock_begin, clock_end;
char *errpr = malloc(8);
clock_t clock_begin, clock_end;
- if(
tracemod
e) {
+ if(
(&execmode)->trac
e) {
fprintf(stdout, "\nExecuting machine codes\n");
}
/* フラグレジスタの初期値設定 */
fprintf(stdout, "\nExecuting machine codes\n");
}
/* フラグレジスタの初期値設定 */
@@
-292,15
+309,15
@@
void exec()
if(cerrno > 0) {
goto execerr;
}
if(cerrno > 0) {
goto execerr;
}
- if(
tracemod
e){
+ if(
(&execmode)->trac
e){
fprintf(stdout, "#%04X: Register::::\n", PR);
dspregister();
}
fprintf(stdout, "#%04X: Register::::\n", PR);
dspregister();
}
- if(
dumpmode
){
+ if(
(&execmode)->dump
){
fprintf(stdout, "#%04X: Memory::::\n", PR);
dumpmemory();
}
fprintf(stdout, "#%04X: Memory::::\n", PR);
dumpmemory();
}
- if(
dumpmode || tracemod
e) {
+ if(
(&execmode)->dump || (&execmode)->trac
e) {
fprintf(stdout, "\n");
}
PR++;
fprintf(stdout, "\n");
}
PR++;