[codex] Extend A5 PTODSL micro coverage#7

zhoubot merged 2 commits into

mainPTO-ISA/pto-dsl:mainfrom

codex/ptodsl-a5-more-microPTO-ISA/pto-dsl:codex/ptodsl-a5-more-microCopy head branch name to clipboard