Optimize C++ Code

Make a measured C++ hot path cheaper without changing observable behavior. Each change applies one reference card to a cost that a profile or counter attributes, is checked by an equivalence oracle, and is kept only if the metric the card names improves: allocation calls, copies or moves, hash or comparison counts, flushes, an instruction pattern in the assembly, or a timing pair. The cards record where a common construct measured as no difference or a slowdown, so read the card before applying a construct.

Workflow