public OpId(NumericSystem NumSystem, OpKind OpKind, NumericKind NumKind, Genericity Generic, OpFusion Fusion, string OpTitle)
{
this.NumSystem = NumSystem;
this.OpKind = OpKind;
this.NumKind = NumKind;
this.OperandType = PrimalKinds.kind <T>();
this.Generic = Generic;
this.Fusion = Fusion;
this.OpTitle = ifEmpty(OpTitle, OpId.DefineOpTitle(this));
this.OpUri = OpId.BuildOpUri(this);
}
public MetricSummaryRecord(OpId op, long opcount, Duration time)
{
this.OpName = OpId.BuildOpUri(op);
this.OpCount = opcount;
this.WorkTime = time;
}
internal static AppMsg BenchmarkEnd(OpId opid, long totalOpCount, Duration totalDuration)
=> AppMsg.Define(concat(
$"{opid} summary".PadRight(28),
Pipe, "Total Op Count", Eq, $"{totalOpCount}".PadRight(12),
Pipe, "Total Duration", Eq, $"{totalDuration}"),
SeverityLevel.HiliteCL);
public static Metrics <T> CaptureMetrics <T>(this OpId OpId, long OpCount, Duration WorkTime, Span <T> results)
where T : struct
=> new Metrics <T>(OpId, OpCount, WorkTime, results);
public static Metrics <T> CaptureMetrics <T>(this OpId <T> OpId, long OpCount, Duration WorkTime, T[] results)
where T : struct
=> (OpId, OpCount, WorkTime, results);
