On Mon, Jul 27, 2026 at 10:26 PM Dylan Rees <[email protected]> wrote:
>
> 'pr81501-9b.c' contains check-function-bodies directive
> which breaks down as a result of a CSE change. The explicit
> ordering has been removed and the test now checks for the
> components of the original check-function-bodies in any order.
>
> 'pr81501-9b.c' was failing due to over constrained scan-rtl-dump
> regexs. The pattern has been expanded to accomodate an equivalent
> representation which has come about as a result of the CSE changes.
> ---
> gcc/testsuite/gcc.target/i386/pr124407-1.c | 4 ++--
> gcc/testsuite/gcc.target/i386/pr81501-9b.c | 18 +++---------------
> 2 files changed, 5 insertions(+), 17 deletions(-)
>
> diff --git a/gcc/testsuite/gcc.target/i386/pr124407-1.c
> b/gcc/testsuite/gcc.target/i386/pr124407-1.c
> index e8fb0dd7872..9d46f1b9ddf 100644
> --- a/gcc/testsuite/gcc.target/i386/pr124407-1.c
> +++ b/gcc/testsuite/gcc.target/i386/pr124407-1.c
> @@ -14,5 +14,5 @@ foo()
> v /= f;
> }
>
> -/* { dg-final { scan-rtl-dump {\(set \(reg:V16QI 125\)} "x86_cse" { target {
> ! ia32 } } } } */
> -/* { dg-final { scan-rtl-dump {\(const_int 0 \[0\]\) repeated x16} "x86_cse"
> { target { ! ia32 } } } } */
> +/* { dg-final { scan-rtl-dump {\(set \(reg:V([0-9]+)(QI|SF) ([0-9]+)\)}
> "x86_cse" { target { ! ia32 } } } } */
> +/* { dg-final { scan-rtl-dump {(\(const_int 0 \[0\]\) repeated
> x16|\(const_double:SF 0\.0 \[0x0\.0p\+0\]\) repeated x4)} "x86_cse" { target
> { ! ia32 } } } } */
The new code for this test is
(insn 35 9 13 2 (set (subreg:DI (reg:V2SF 125) 0)
(const_int 4575657222473777152 [0x3f8000003f800000])) -1
(nil))
Pleas scan "movabsq $4575657222473777152, %reg"
> \ No newline at end of file
Please add a newline at EOF.
> diff --git a/gcc/testsuite/gcc.target/i386/pr81501-9b.c
> b/gcc/testsuite/gcc.target/i386/pr81501-9b.c
> index bd1b65d3e87..803292bb343 100644
> --- a/gcc/testsuite/gcc.target/i386/pr81501-9b.c
> +++ b/gcc/testsuite/gcc.target/i386/pr81501-9b.c
> @@ -1,22 +1,10 @@
> /* { dg-do compile { target *-*-linux* } } */
> /* { dg-options "-O2 -march=x86-64-v4 -fpic -fplt -mtls-dialect=gnu2" } */
> /* Keep labels and directives ('.cfi_startproc', '.cfi_endproc'). */
> -/* { dg-final { check-function-bodies "**" "" "" { target { ! ia32 } }
> {^\t?\.} } } */
> -/* Keep labels and directives ('.cfi_startproc', '.cfi_endproc'). */
> -
> -/*
> -**foo:
> -**.LFB[0-9]+:
> -**...
> -** vpbroadcastb %(edi|r\d+d), %zmm\d
> -**...
> -** lea(l|q) var@TLSDESC\(%rip\), %(e|r)ax
> -**...
> -** call \*var@TLSCALL\(%(e|r)ax\)
> -**...
> -*/
>
> #include "pr81501-9a.c"
>
> -/* { dg-final { scan-assembler-times "vpbroadcastb" 1 } } */
Why replacing this? This checks there is only one vpbroadcastb.
> +/* { dg-final { scan-assembler-times {lea(l|q)[ \t]+var@TLSDESC\(%rip\),
> %(e|r)ax} 1 } } */
> +/* { dg-final { scan-assembler-times {call[ \t]+\*var@TLSCALL\(%(e|r)ax\)} 1
> } } */
These won't work for -m32.
> +/* { dg-final { scan-assembler-times {vpbroadcastb[ \t]+%(edi|r[0-9]+d),
> %zmm[0-9]+} 1 } } */
> /* { dg-final { scan-assembler-times "call\[
> \t\]\\*var@TLSCALL\\(%(?:r|e)ax\\)" 1 { target { ! ia32 } } } } */
> --
> 2.43.0
>
--
H.J.
