#stoke

STOKE--一种随机超优化器和程序合成器
Stoke – A stochastic superoptimizer and program synthesizer(stoke.stanford.edu)
2020-5-29 18:39
Stoke是x86-64指令集的随机优化器和程序合成器。Stoke使用随机搜索来探索所有可能的程序转换的极高维空间。尽管任何一个随机变换都不太可能产生所需的码序列，但是重复应用数百万次变换足以产生新颖且不明显的码序列。Stoke可以在许多不同的场景中使用，比如针对性能或大小优化代码，从头开始综合实现，或者用浮点计算的......