e04166b85d
Files that #include "equiv.h" must do so after including "data.h", now that a function prototype in equiv.h uses type rl_p from data.h. Adjust style, changing some `for(...)` to `for (...)`. The style in mach/proto/ncg is less than consistent; the big annoyance now is that some files want tabs at 4 spaces, others want tabs at 8 spaces.
141 lines
3.2 KiB
C
141 lines
3.2 KiB
C
#ifndef NORCSID
|
|
static char rcsid[] = "$Id$";
|
|
#endif
|
|
|
|
#include <assert.h>
|
|
#include <stdlib.h>
|
|
#include <stdio.h>
|
|
#include "param.h"
|
|
#include "tables.h"
|
|
#include "types.h"
|
|
#include <cgg_cg.h>
|
|
#include "data.h"
|
|
#include "result.h"
|
|
#include "extern.h"
|
|
|
|
/*
|
|
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
|
* See the copyright notice in the ACK home directory, in the file "Copyright".
|
|
*
|
|
* Author: Hans van Staveren
|
|
*/
|
|
|
|
int move(token_p tp1, token_p tp2, int ply, int toplevel, unsigned maxcost) {
|
|
move_p mp;
|
|
unsigned t;
|
|
struct reginfo *rp;
|
|
byte *tdpb;
|
|
int i;
|
|
|
|
if (eqtoken(tp1,tp2))
|
|
return(0);
|
|
if (tp2->t_token == -1) {
|
|
if (tp1->t_token == -1) {
|
|
if (eqtoken(&machregs[tp1->t_att[0].ar].r_contents,
|
|
&machregs[tp2->t_att[0].ar].r_contents) &&
|
|
machregs[tp1->t_att[0].ar].r_contents.t_token!=0)
|
|
return(0);
|
|
} else {
|
|
if (eqtoken(&machregs[tp2->t_att[0].ar].r_contents,tp1))
|
|
return(0);
|
|
}
|
|
erasereg(tp2->t_att[0].ar);
|
|
} else if (tp1->t_token == -1) {
|
|
if (eqtoken(tp2,&machregs[tp1->t_att[0].ar].r_contents))
|
|
return(0);
|
|
}
|
|
/*
|
|
* If we arrive here the move must really be executed
|
|
*/
|
|
for (mp=moves;mp->m_set1>=0;mp++) {
|
|
if (!match(tp1,&machsets[mp->m_set1],mp->m_expr1))
|
|
continue;
|
|
if (match(tp2,&machsets[mp->m_set2],mp->m_expr2))
|
|
break;
|
|
/*
|
|
* Correct move rule is found
|
|
*/
|
|
}
|
|
assert(mp->m_set1>=0);
|
|
/*
|
|
* To get correct interpretation of things like %[1]
|
|
* in move code we stack tp2 and tp1. This little trick
|
|
* saves a lot of testing in other places.
|
|
*/
|
|
|
|
fakestack[stackheight] = *tp2;
|
|
fakestack[stackheight+1] = *tp1;
|
|
stackheight += 2;
|
|
tokpatlen += 2;
|
|
t = codegen(&coderules[mp->m_cindex],ply,toplevel,maxcost,0);
|
|
tokpatlen -= 2;
|
|
stackheight -= 2;
|
|
if (tp2->t_token == -1) {
|
|
rp = &machregs[tp2->t_att[0].ar];
|
|
if (tp1->t_token == -1) {
|
|
rp->r_contents =
|
|
machregs[tp1->t_att[0].ar].r_contents ;
|
|
}
|
|
else rp->r_contents = *tp1;
|
|
if (rp->r_contents.t_token > 0) {
|
|
tdpb = &(tokens[rp->r_contents.t_token].t_type[0]);
|
|
for (i=0;i<TOKENSIZE;i++)
|
|
if (*tdpb++ == EV_REG &&
|
|
clash(rp->r_contents.t_att[i].ar,tp2->t_att[0].ar)) {
|
|
rp->r_contents.t_token = 0;
|
|
for (i = 0; i < TOKENSIZE; i++)
|
|
rp->r_contents.t_att[i].aw = 0;
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
else if (tp1->t_token == -1)
|
|
machregs[tp1->t_att[0].ar].r_contents = *tp2;
|
|
return(t);
|
|
}
|
|
|
|
#define cocoreg machregs[0].r_contents
|
|
|
|
void setcc(token_p tp) {
|
|
|
|
cocoreg = *tp;
|
|
}
|
|
|
|
int test(token_p tp, int ply, int toplevel, unsigned maxcost) {
|
|
test_p mp;
|
|
unsigned t;
|
|
|
|
if (cocoreg.t_token!=0) {
|
|
if (eqtoken(tp,&cocoreg))
|
|
return(0);
|
|
if (tp->t_token == -1) {
|
|
if (eqtoken(&machregs[tp->t_att[0].ar].r_contents,&cocoreg))
|
|
return(0);
|
|
}
|
|
}
|
|
/*
|
|
* If we arrive here the test must really be executed
|
|
*/
|
|
for (mp=tests;mp->t_set>=0;mp++) {
|
|
if (match(tp,&machsets[mp->t_set],mp->t_expr))
|
|
break;
|
|
/*
|
|
* Correct move rule is found
|
|
*/
|
|
}
|
|
assert(mp->t_set>=0);
|
|
/*
|
|
* To get correct interpretation of things like %[1]
|
|
* in test code we stack tp. This little trick
|
|
* saves a lot of testing in other places.
|
|
*/
|
|
|
|
fakestack[stackheight] = *tp;
|
|
stackheight++;
|
|
tokpatlen++;
|
|
t = codegen(&coderules[mp->t_cindex],ply,toplevel,maxcost,0);
|
|
tokpatlen--;
|
|
stackheight--;
|
|
return(t);
|
|
}
|