[Sync] Correct inter-core sync lowering semantics for A3/A5#258

TaoTao-real wants to merge 1 commit intozhangstevenunity:mainzhangstevenunity/PTOAS:mainfrom

TaoTao-real:codex/intercore-sync-ir-supportTaoTao-real/PTOAS:codex/intercore-sync-ir-supportCopy head branch name to clipboard