TY - RPRT TI - Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations AU - Jingwen Wu AU - Jiajing Zheng AU - Zhenyu Yang AU - Zhongxing Yu PY - 2025 UR - https://arxiv.org/abs/2504.04321 ID - 2504.04321 ER -