protected virtual Reg GetRegLoc(ir.Param csite,
ref int stack_loc,
int cc_next,
int ct,
metadata.TypeSpec ts,
string cc)
{
throw new NotSupportedException("Architecture does not support ct: " + Opcode.ct_names[ct]);
}
private static List <MCInst> handle_call(CilNode.IRNode n, Code c, bool is_calli, Target t,
string target = null, metadata.MethodSpec call_ms = null,
ir.Param[] p = null, Reg dest = null, bool want_return = true)
{
List <MCInst> r = new List <MCInst>();
if (call_ms == null)
{
call_ms = n.imm_ms;
}
if (target == null && is_calli == false)
{
target = call_ms.m.MangleMethod(call_ms);
}
Reg act_dest = null;
metadata.TypeSpec rt;
int rct;
var push_list = get_push_list(n, c, call_ms,
out rt, ref dest, out rct, want_return);
// Store the current index, we will insert instructions
// to save clobbered registers here
int push_list_index = r.Count;
/* Push arguments */
int push_length = 0;
int vt_push_length = 0;
bool vt_dest_adjust = false;
if (rct == ir.Opcode.ct_vt)
{
if (dest is ContentsReg)
{
act_dest = dest;
}
else
{
throw new NotImplementedException();
}
}
var sig_idx = call_ms.msig;
var pcount = call_ms.m.GetMethodDefSigParamCountIncludeThis(sig_idx);
sig_idx = call_ms.m.GetMethodDefSigRetTypeIndex(sig_idx);
var rt2 = call_ms.m.GetTypeSpec(ref sig_idx, call_ms.gtparams == null ? c.ms.gtparams : call_ms.gtparams, c.ms.gmparams);
int calli_adjust = is_calli ? 1 : 0;
metadata.TypeSpec[] push_tss = new metadata.TypeSpec[pcount];
for (int i = 0; i < pcount; i++)
{
if (i == 0 && call_ms.m.GetMethodDefSigHasNonExplicitThis(call_ms.msig))
{
push_tss[i] = call_ms.type;
}
else
{
push_tss[i] = call_ms.m.GetTypeSpec(ref sig_idx, call_ms.gtparams, call_ms.gmparams);
}
}
/* Push value type address if required */
metadata.TypeSpec hidden_loc_type = null;
if (rct == ir.Opcode.ct_vt)
{
var act_dest_cr = act_dest as ContentsReg;
if (act_dest_cr == null)
{
throw new NotImplementedException();
}
if (vt_dest_adjust)
{
throw new NotImplementedException();
}
//r.Add(inst(x86_lea_r32, r_eax, act_dest, n));
//r.Add(inst(x86_push_r32, r_eax, n));
hidden_loc_type = call_ms.m.SystemIntPtr;
}
// Build list of source and destination registers for parameters
int cstack_loc = 0;
var cc = t.cc_map[call_ms.CallingConvention];
var cc_class = t.cc_classmap[call_ms.CallingConvention];
int[] la_sizes;
metadata.TypeSpec[] la_types;
var to_locs = t.GetRegLocs(new ir.Param
{
m = call_ms.m,
v2 = call_ms.msig,
ms = call_ms
},
ref cstack_loc, cc, cc_class, call_ms.CallingConvention,
out la_sizes, out la_types,
hidden_loc_type
);
Reg calli_reg = null;
if (is_calli)
{
calli_reg = r_r10;
// Add the target register to those we want to pass
Reg[] new_to_locs = new Reg[to_locs.Length + calli_adjust];
for (int i = 0; i < to_locs.Length; i++)
{
new_to_locs[i] = to_locs[i];
}
new_to_locs[to_locs.Length] = calli_reg;
to_locs = new_to_locs;
}
// Append the register arguments to the push list
foreach (var arg in to_locs)
{
if (arg.type == rt_gpr || arg.type == rt_float)
{
if (!push_list.Contains(arg))
{
push_list.Add(arg);
}
}
}
List <MCInst> r2 = new List <MCInst>();
// Insert the push instructions at the start of the stream
int x = 0;
foreach (var push_reg in push_list)
{
handle_push(push_reg, ref x, r2, n, c);
}
foreach (var r2inst in r2)
{
r.Insert(push_list_index++, r2inst);
}
// Get from locs
ir.Param[] from_locs;
int hidden_adjust = hidden_loc_type == null ? 0 : 1;
if (p == null)
{
from_locs = new ir.Param[pcount + hidden_adjust + calli_adjust];
for (int i = 0; i < pcount; i++)
{
var stack_loc = pcount - i - 1;
if (n.arg_list != null)
{
stack_loc = n.arg_list[i];
}
from_locs[i + hidden_adjust] = n.stack_before.Peek(stack_loc + calli_adjust).reg;
}
if (is_calli)
{
from_locs[pcount + hidden_adjust] = n.stack_before.Peek(0).reg;
}
}
else
{
from_locs = p;
// adjust any rsp relative registers dependent on how many registers we have saved
foreach (var l in from_locs)
{
if (l != null &&
l.t == ir.Opcode.vl_mreg &&
l.mreg is ContentsReg)
{
var l2 = l.mreg as ContentsReg;
if (l2.basereg.Equals(r_sp))
{
l2.disp += x;
}
}
}
}
// Reserve any required stack space
if (cstack_loc != 0)
{
push_length += cstack_loc;
r.Add(inst(n, arm_sub_sp_imm, imm: cstack_loc));
}
// Move from the from list to the to list such that
// we never overwrite a from loc that hasn't been
// transfered yet
pcount += hidden_adjust;
pcount += calli_adjust;
var to_do = pcount;
bool[] done = new bool[pcount];
if (hidden_adjust != 0)
{
// load up the address of the return value
throw new NotImplementedException();
/*
* var ret_to = to_locs[0];
* if (!(ret_to is ContentsReg))
* r.Add(inst(t.psize == 4 ? x86_lea_r32 : x86_lea_r64, ret_to, act_dest, n));
* else
* {
* r.Add(inst(t.psize == 4 ? x86_lea_r32 : x86_lea_r64, r_eax, act_dest, n));
* handle_move(ret_to, r_eax, r, n, c);
*
* }
*
* to_do--;
* done[0] = true;*/
}
while (to_do > 0)
{
int done_this_iter = 0;
for (int to_i = 0; to_i < pcount; to_i++)
{
if (!done[to_i])
{
var to_reg = to_locs[to_i];
if (to_reg.type == rt_stack)
{
to_reg = new ContentsReg
{
basereg = r_sp,
disp = to_reg.stack_loc,
size = to_reg.size
};
}
bool possible = true;
// determine if this to register is the source of a from
for (int from_i = 0; from_i < pcount; from_i++)
{
if (to_i == from_i)
{
continue;
}
if (!done[from_i] && from_locs[from_i].mreg != null &&
from_locs[from_i].mreg.Equals(to_reg))
{
possible = false;
break;
}
}
if (possible)
{
var from_reg = from_locs[to_i];
switch (from_reg.t)
{
case ir.Opcode.vl_mreg:
if (from_reg.want_address)
{
throw new NotImplementedException();
/*
* Reg lea_to = to_reg;
* if (to_reg is ContentsReg)
* lea_to = r_eax;
* r.Add(inst(t.psize == 4 ? x86_lea_r32 : x86_lea_r64,
* lea_to, from_reg.mreg, n));
* handle_move(to_reg, lea_to, r, n, c);
*/
}
else
{
handle_move(to_reg, from_reg.mreg, r, n, c);
}
break;
case ir.Opcode.vl_c:
case ir.Opcode.vl_c32:
case ir.Opcode.vl_c64:
if (from_reg.v > int.MaxValue ||
from_reg.v < int.MinValue)
{
throw new NotImplementedException();
}
else
{
handle_const(to_reg, from_reg.v, r, n, c);
}
break;
default:
throw new NotSupportedException();
}
to_do--;
done_this_iter++;
done[to_i] = true;
}
}
}
if (done_this_iter == 0)
{
// find two gprs/xmms we can swap to put them both
// in the correct locations
for (int i = 0; i < pcount; i++)
{
if (done[i])
{
continue;
}
var from_i = from_locs[i].mreg;
var to_i = to_locs[i];
if (from_i == null)
{
continue;
}
if (from_i.type != rt_gpr &&
from_i.type != rt_float)
{
continue;
}
if (to_i.type != rt_gpr &&
to_i.type != rt_float)
{
continue;
}
for (int j = 0; j < pcount; j++)
{
if (j == i)
{
continue;
}
if (done[j])
{
continue;
}
var from_j = from_locs[j].mreg;
if (from_j == null)
{
continue;
}
var to_j = to_locs[j];
if (from_i.Equals(to_j) &&
from_j.Equals(to_i))
{
// we can swap these
if (from_i.type == rt_gpr || from_i.type == rt_float)
{
handle_swap(to_i, to_j, r, n, c);
}
else if (from_i.type == rt_float)
{
throw new NotImplementedException();
}
done_this_iter += 2;
to_do -= 2;
done[i] = true;
done[j] = true;
break;
}
}
}
}
if (done_this_iter == 0)
{
// find two unassigned gprs/xmms we can swap, which
// may not necessarily put them in the correct place
bool shift_found = false;
// try with gprs first
int a = -1;
int b = -1;
for (int i = 0; i < pcount; i++)
{
if (done[i] == false && from_locs[i].mreg != null &&
from_locs[i].mreg.type == rt_gpr)
{
if (a == -1)
{
a = i;
}
else
{
b = i;
shift_found = true;
}
}
}
if (shift_found)
{
handle_swap(from_locs[a].mreg, from_locs[b].mreg, r, n, c);
var tmp = from_locs[a];
from_locs[a] = from_locs[b];
from_locs[b] = from_locs[a];
}
else
{
a = -1;
b = -1;
for (int i = 0; i < pcount; i++)
{
if (done[i] == false && from_locs[i].mreg != null &&
from_locs[i].mreg.type == rt_float)
{
if (a == -1)
{
a = i;
}
else
{
b = i;
shift_found = true;
}
}
}
if (shift_found)
{
handle_swap(from_locs[a].mreg, from_locs[b].mreg, r, n, c);
var tmp = from_locs[a];
from_locs[a] = from_locs[b];
from_locs[b] = from_locs[a];
}
}
if (!shift_found)
{
throw new NotImplementedException();
}
}
}
// Do the call
if (is_calli)
{
// Thumb mode requires LSB set to 1
r.Add(inst(n, arm_orr_imm, Rd: calli_reg, Rn: calli_reg, imm: 1));
r.Add(inst(n, arm_blx, Rm: calli_reg));
}
else
{
r.Add(inst(n, arm_bl, Rm: new ir.Param {
t = ir.Opcode.vl_call_target, str = target
}));
}
// Restore stack
if (push_length != 0)
{
r.Add(inst(n, arm_add_sp_imm, imm: push_length));
}
// Get vt return value
if (rct == ir.Opcode.ct_vt && !act_dest.Equals(dest))
{
handle_move(dest, act_dest, r, n, c);
}
// Restore saved registers
for (int i = push_list.Count - 1; i >= 0; i--)
{
handle_pop(push_list[i], ref x, r, n, c);
}
// Get other return value
if (rt != null && rct != ir.Opcode.ct_vt && rct != ir.Opcode.ct_unknown)
{
var rt_size = c.t.GetSize(rt);
if (rct == ir.Opcode.ct_float)
{
handle_move(dest, r_s0, r, n, c);
}
else if (rt_size <= 4)
{
handle_move(dest, r_r0, r, n, c);
}
else if (rt_size == 8)
{
throw new NotImplementedException();
/*
* if (t.psize == 4)
* {
* var drd = dest as DoubleReg;
* r.Add(inst(x86_mov_rm32_r32, drd.a, r_eax, n));
* r.Add(inst(x86_mov_rm32_r32, drd.b, r_edx, n));
* }
* else
* {
* r.Add(inst(x86_mov_rm64_r64, dest, r_eax, n));
* } */
}
else
{
throw new NotImplementedException();
}
}
return(r);
}
protected internal virtual Reg[] GetRegLocs(ir.Param csite,
ref int stack_loc,
Dictionary <int, int[]> cc,
Dictionary <int, int> cc_classmap,
string cc_name,
out int[] la_sizes,
out metadata.TypeSpec[] la_types,
metadata.TypeSpec has_hidden = null)
{
var m = csite.m;
var idx = (int)csite.v2;
metadata.TypeSpec[] gtparams = null;
metadata.TypeSpec[] gmparams = null;
if (csite.ms != null)
{
idx = csite.ms.msig;
m = csite.ms.m;
gtparams = csite.ms.gtparams;
gmparams = csite.ms.gmparams;
}
Dictionary <int, int> cc_next = new Dictionary <int, int>(
new GenericEqualityComparer <int>());
var act_pcount = m.GetMethodDefSigParamCount(idx);
var pcount = act_pcount;
bool has_this = m.GetMethodDefSigHasNonExplicitThis(idx);
idx = m.GetMethodDefSigRetTypeIndex(idx);
if (has_this)
{
pcount++;
}
if (has_hidden != null)
{
pcount++;
}
// Skip rettype
bool is_req;
uint token;
while (m.GetRetTypeCustomMod(ref idx, out is_req, out token))
{
;
}
m.GetTypeSpec(ref idx, gtparams, gmparams);
// Read types of parameters
Target.Reg[] ret = new Target.Reg[pcount];
la_sizes = new int[pcount];
la_types = new metadata.TypeSpec[pcount];
List <metadata.TypeSpec> la_locs = new List <metadata.TypeSpec>();
if (has_hidden != null)
{
la_locs.Add(has_hidden);
}
if (has_this)
{
// value type methods have mptr to type as their this pointer
if (csite.ms.type.IsValueType)
{
la_locs.Add(csite.ms.type.ManagedPointer);
}
else
{
la_locs.Add(csite.ms.type);
}
}
for (int i = 0; i < act_pcount; i++)
{
while (m.GetRetTypeCustomMod(ref idx, out is_req, out token))
{
;
}
la_locs.Add(m.GetTypeSpec(ref idx, gtparams, gmparams));
}
for (int i = 0; i < pcount; i++)
{
metadata.TypeSpec v = la_locs[i];
la_types[i] = v;
var size = GetSize(v);
la_sizes[i] = size;
var ct = GetCTFromTypeForCC(v); ir.Opcode.GetCTFromType(v);
if (cc_classmap.ContainsKey(ct))
{
ct = cc_classmap[ct];
}
else
{
ct = GetCCClassFromCT(ct, size, v, cc_name);
}
Reg r = null;
int cur_cc_next;
if (cc_next.TryGetValue(ct, out cur_cc_next) == false)
{
cur_cc_next = 0;
}
int[] cc_map;
if (cc.TryGetValue(ct, out cc_map))
{
if (cur_cc_next >= cc_map.Length)
{
cur_cc_next = cc_map.Length - 1;
}
var reg_id = cc_map[cur_cc_next];
if (regs[reg_id].type == rt_stack)
{
Reg rstack = new Reg()
{
type = rt_stack,
id = regs[reg_id].id,
size = size,
stack_loc = stack_loc,
name = regs[reg_id].name,
mask = regs[reg_id].mask
};
stack_loc += size;
var diff = stack_loc % size;
if (diff != 0)
{
stack_loc = stack_loc + size - diff;
}
r = rstack;
}
else
{
r = regs[reg_id];
}
}
else
{
r = GetRegLoc(csite, ref stack_loc,
cur_cc_next, ct, v, cc_name);
}
cc_next[ct] = cur_cc_next + 1;
ret[i] = r;
}
return(ret);
}
