public BlockEffects(long lastbitmapindex = default, bvec uevar = default, bvec varkill = default, bvec avarinit = default, bvec livein = default, bvec liveout = default, bvec avarinitany = default, bvec avarinitall = default)
{
this.lastbitmapindex = lastbitmapindex;
this.uevar = uevar;
this.varkill = varkill;
this.avarinit = avarinit;
this.livein = livein;
this.liveout = liveout;
this.avarinitany = avarinitany;
this.avarinitall = avarinitall;
}
/// <summary>
/// Returns the component-wise compare of x == y.
/// </summary>
/// <param name="x"></param>
/// <param name="y"></param>
/// <returns></returns>
protected bvec equal(bvec x, bvec y) { throw new NotImplementedException(); }
/// <summary>
/// Returns the component-wise logical complement of x.
/// </summary>
/// <param name="x"></param>
/// <returns></returns>
protected bvec not(bvec x) { throw new NotImplementedException(); }
/// <summary>
/// Returns true only if all components of x are true.
/// </summary>
/// <param name="x"></param>
/// <returns></returns>
protected bool all(bvec x) { throw new NotImplementedException(); }
/// <summary>
/// Returns the component-wise logical complement of x.
/// </summary>
/// <param name="x"></param>
/// <returns></returns>
protected bvec not(bvec x)
{
throw new NotImplementedException();
}
/// <summary>
/// Returns true only if all components of x are true.
/// </summary>
/// <param name="x"></param>
/// <returns></returns>
protected bool all(bvec x)
{
throw new NotImplementedException();
}
/// <summary>
/// Returns the component-wise compare of x != y.
/// </summary>
/// <param name="x"></param>
/// <param name="y"></param>
/// <returns></returns>
protected bvec notEqual(bvec x, bvec y)
{
throw new NotImplementedException();
}
public Liveness(ref ptr <Node> fn = default, ref ptr <ssa.Func> f = default, slice <ptr <Node> > vars = default, map <ptr <Node>, int> idx = default, long stkptrsize = default, slice <BlockEffects> be = default, bool allUnsafe = default, bvec unsafePoints = default, slice <varRegVec> livevars = default, LivenessMap livenessMap = default, bvecSet stackMapSet = default, slice <bvec> stackMaps = default, map <liveRegMask, long> regMapSet = default, slice <liveRegMask> regMaps = default, progeffectscache cache = default, slice <openDeferVarInfo> openDeferVars = default, map <ptr <Node>, ptr <ssa.Block> > openDeferVardefToBlockMap = default, map <ptr <ssa.Block>, bool> nonReturnBlocks = default)
{
this.fn = fn;
this.f = f;
this.vars = vars;
this.idx = idx;
this.stkptrsize = stkptrsize;
this.be = be;
this.allUnsafe = allUnsafe;
this.unsafePoints = unsafePoints;
this.livevars = livevars;
this.livenessMap = livenessMap;
this.stackMapSet = stackMapSet;
this.stackMaps = stackMaps;
this.regMapSet = regMapSet;
this.regMaps = regMaps;
this.cache = cache;
this.openDeferVars = openDeferVars;
this.openDeferVardefToBlockMap = openDeferVardefToBlockMap;
this.nonReturnBlocks = nonReturnBlocks;
}
public varRegVec(bvec vars = default, liveRegMask regs = default)
{
this.vars = vars;
this.regs = regs;
}
