问题描述

AArch64 SVE memcpy/memset 内联展开（aarch64_expand_cpymem_sve / aarch64_expand_setmem_sve）有两处 RTL 生成问题：

1. 无条件跳转后缺 barrier（已实测）：循环结束后用 emit_jump_insn (gen_rtx_SET (pc_rtx, gen_rtx_LABEL_REF (Pmode, end_label))) 跳到 end_label，后面没有 emit_barrier ()。cfgbuild.cc::make_edges 依靠 BARRIER 判断能否落到下一个基本块，缺了它会多出一条 fallthru 边，CFG 与指令流不一致。开启内联且保留默认的运行时检查（-maarch64-sve-memcall-runtime-check 默认开）时，-fchecking 校验失败；用 --enable-checking 构建的编译器会直接 ICE。
2. 循环回边依赖的 CC 没有在 RTL 中建模（静态分析）：代码直接构造 gen_rtx_REG (CC_NZCmode, CC_REGNUM) 作为回跳条件，但 gen_while_ultdivnx16bi 对应的 @while_<while_optab_cmp><GPI:mode><PRED_ALL:mode> 模式对 CC 只有 (clobber (reg:CC_NZC CC_REGNUM))，没有 set（GCC 12 与 GCC 14 均如此）。目前生成的汇编正确（whilelo 后紧跟 b.any），但这层依赖没有写进 RTL，在两条指令之间插入或移动改写 CC 的指令都是合法的。

该功能默认关闭（-maarch64-sve-memcall-inlining 默认关），不加该选项的编译不受影响。

复现

环境：openEuler 24.03 LTS SP3 update 源中的 gcc-12.3.1-111.oe2403sp3（已包含该补丁），aarch64。

typedef __SIZE_TYPE__ size_t;
void *memcpy (void *, const void *, size_t);
void f (char *d, const char *s, size_t n) { memcpy (d, s, n); }

$ gcc -O2 -march=armv8-a+sve -maarch64-sve-memcall-inlining -fchecking=1 -S min.c
min.c:3:58: error: missing barrier after block 6
min.c:3: confused by earlier errors, bailing out

补丁自带的测试中，开启运行时检查的 sve-memcall-inline-1.c、-3.c、-4.c、sve-memcall-inline-run-1.c 加 -fchecking=1 同样报错；关闭运行时检查的 -2.c、-7.c、run-2.c 不报。

修复建议

1. 两处 emit_jump_insn (gen_rtx_SET (pc_rtx, gen_rtx_LABEL_REF (Pmode, end_label))) 改为 emit_jump (end_label)（内部包含 emit_barrier ()）。
2. 回跳条件参考 aarch64-sve.md 中 cbranch<mode>4（PRED_ALL）的写法：先用 gen_aarch64_ptest<mode> 把 CC set 出来再跳转，combine 后仍是一条 whilelo 加一条 b.any，没有额外开销。
3. 修复后建议在测试里对开启运行时检查的用例加 -fchecking，防止回归。

影响范围

源码仓 openeuler/gcc：

• master：!380（提交 3670a1791）
• gcc-14：提交 ce9fd5f93 及后续 6506abad5、b8a9c34fc、3729b79b3

软件包仓（补丁修复后需同步）：

• src-openeuler/gcc：openEuler-24.03-LTS-SP3（#727，已随 gcc-12.3.1-111.oe2403sp3 发布）、openEuler-24.03-LTS-SP4（#728）、openEuler-24.03-LTS-Next（#729）、master（#752）
• src-openeuler/gcc-14：master、openEuler-24.03-LTS-SP3、openEuler-24.03-LTS-SP4、openEuler-24.03-LTS-Next、openEuler-26.09、openEuler-26.09-DevStation

@yly97 @liyunfei33 麻烦看一下。