internal PtxopState(ptxop ptxop)
{
Ptxop = ptxop;
Guard = ptxop.Guard;
// todo. implement Sig (i.e. find out the exact Sig that corresponds to current state of ptxop)
Opcode = ptxop.Ptxopcode();
Func<Object, PropertyInfo, Object> get_value = (o, p) =>
{
var v = p.GetValue(o, null);
var is_default = Equals(v, p.PropertyType.IsValueType ? Activator.CreateInstance(p.PropertyType) : null);
return is_default ? null : v;
};
// todo. when Sig is implemented, use only such properties and in such order that are mentioned in Sig
var props = ptxop.GetType().GetProperties(BF.PublicInstance).Where(p => p.Name != "Guard");
Mods = props.Where(p => p.HasAttr<ModAttribute>()).ToOrderedDictionary(p => p, p => get_value(ptxop, p));
Affixes = props.Where(p => p.HasAttr<AffixAttribute>()).ToOrderedDictionary(p => p, p => get_value(ptxop, p));
Operands = props.Where(p => typeof(Expression).IsAssignableFrom(p.PropertyType)).ToOrderedDictionary(p => p, p => get_value(ptxop, p).AssertCast<Expression>());
var destination = Operands.SingleOrDefault(kvp => kvp.Key.HasAttr<DestinationAttribute>());
if (destination.Key != null) Destination = Tuple.Create(destination.Key, destination.Value);
}
public PtxopSnippet(ptxop ptxop)
{
Ptxop = ptxop;
}
public Emitter op(ptxop ptxop)
{
// todo. we need more generic solution
// btw: set, tex, atom, bar_red and video instructions are left uncovered
// since they (as well as setp and bar_sync) have variable number of operands
if (ptxop is setp)
{
var setp = (setp)ptxop;
setp.p = def_local(typeof(bool));
setp.b = pop_expr();
setp.a = pop_expr();
setp.b.Type.agree(setp.a.Type).AssertTrue();
setp.type = setp.b.Type;
push(setp.p);
}
else if (ptxop is bar_sync)
{
var bar_sync = (bar_sync)ptxop;
bar_sync.a = pop_expr();
}
else
{
var sample = ptxop.PtxopSigs().AssertFirst();
var fixup = sample.Destination != null ? 1 : 0;
var argc = sample.Operands.Count - fixup;
var args = argc.Times(_ => pop_expr()).Reverse().ToReadOnly();
// todo. not all instructions are as simple as the lines below assume
// I mean: cvt, set, slct, suld_b, suld_p, sured_b, sured_p, sust_b, sust_p, tex and video
var t = args.Fold(null as PtxType, (t_curr, a) => (t_curr ?? a.Type).AssertThat(t1 => t1.agree(a.Type)));
var p_t = sample.Affixes.SingleOrDefault(p => p.Decl.PropertyType == typeof(PtxType));
if (p_t != null) p_t.Decl.SetValue(ptxop, t, null);
if (sample.Destination != null) { var dest = def_local(t); ptxop.Operands[0] = dest; push(dest); }
args.ForEach((arg, i) => ptxop.Operands[i + fixup] = arg);
}
_ptx.Add(ptxop);
return this;
}
