https://gcc.gnu.org/g:9a7626c049820767db92941b2cb37fd46c99d5f7
commit r17-1762-g9a7626c049820767db92941b2cb37fd46c99d5f7 Author: Hu, Lin1 <[email protected]> Date: Tue Jun 2 00:13:51 2026 -0700 doc: clarify {cond,cond_len}_vec_cbranch_all patterns. gcc/ChangeLog: * doc/md.texi (vec_cbranch_all<mode>): Clarify how the middle-end invoke the pattern. (cond_vec_cbranch_all<mode>): Ditto. (cond_len_vec_cbranch_all<mode>): Ditto. Diff: --- gcc/doc/md.texi | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/gcc/doc/md.texi b/gcc/doc/md.texi index 90755bdf389a..355eeacf7983 100644 --- a/gcc/doc/md.texi +++ b/gcc/doc/md.texi @@ -8625,6 +8625,9 @@ Operand 0 is a comparison operator. Operand 1 and operand 2 are the first and second operands of the comparison, respectively. Operand 3 is the @code{code_label} to jump to. +Note: In practice, the middle-end invokes the pattern when comparing a vector +boolean against @{0,@dots{}@}, after dojump.cc has already swapped the branch labels. + @mdindex cond_vec_cbranch_any@var{mode} @item @samp{cond_vec_cbranch_any@var{mode}} Masked conditional branch instruction based on a vector compare that branches @@ -8644,6 +8647,9 @@ Operand 2 and operand 3 are the first and second operands of the comparison, respectively. Operand 5 is the @code{code_label} to jump to. Inactive lanes in the mask operand should not influence the decision to branch. +Note: In practice, the middle-end invokes the pattern when comparing a vector +boolean against @{0,@dots{}@}, after dojump.cc has already swapped the branch labels. + @mdindex cond_len_vec_cbranch_any@var{mode} @item @samp{cond_len_vec_cbranch_any@var{mode}} Len based conditional branch instruction based on a vector compare that branches @@ -8665,6 +8671,9 @@ Operand 4 is the len operand and Operand 5 is the bias operand. Operand 6 is the @code{code_label} to jump to. Inactive lanes in the mask operand should not influence the decision to branch. +Note: In practice, the middle-end invokes the pattern when comparing a vector +boolean against @{0,@dots{}@}, after dojump.cc has already swapped the branch labels. + @end table @end ifset
