[Bug c++/109457] New: %z[asmSymbolicName] in AssemblerTemplate fails to compile

["seeson at pku dot edu.cn" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109457

            Bug ID: 109457
           Summary: %z[asmSymbolicName] in AssemblerTemplate fails to
                    compile
           Product: gcc
           Version: 11.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seeson at pku dot edu.cn
  Target Milestone: ---

Created attachment 54820
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54820&action=edit
The code that fails to compile, with the .ii and .s files saved.

Ubuntu 22.04.2 LTS
g++ (Ubuntu 11.3.0-1ubuntu1~22.04) 11.3.0

When using modifier `z` on `[asmSymbolicName]`, the code won't compile.

----------------------------------------

// the one's complement addition on x86_64
template<class T>
inline T onec_add(T a, T b)
{
  asm(    "add%z[b]\t%[b], %[a]"
      "\n\tadc%z[b]\t$0, %[a]"
      : [a]"+g"(a)  // inputs
      : [b]"g"(b)   // outputs
      : "cc"        // clobbers
  );
  return a;
}

----------------------------------------

$ g++ -Wall -g -Og test.cpp -o test
test.cpp: In function ‘int main()’:
test.cpp:42:3: error: invalid 'asm': invalid operand type used with operand
code 'Z'
   42 |   asm(    "add%z[b]\t%[b], %[a]"
      |   ^~~
test.cpp:42:3: error: invalid 'asm': invalid operand type used with operand
code 'Z'
test.cpp:42:3: error: invalid 'asm': invalid operand type used with operand
code 'Z'
   42 |   asm(    "add%z[b]\t%[b], %[a]"
      |   ^~~
test.cpp:42:3: error: invalid 'asm': invalid operand type used with operand
code 'Z'
test.cpp:42:3: error: invalid 'asm': invalid operand type used with operand
code 'Z'
   42 |   asm(    "add%z[b]\t%[b], %[a]"
      |   ^~~
test.cpp:42:3: error: invalid 'asm': invalid operand type used with operand
code 'Z'
test.cpp:42:3: error: invalid 'asm': invalid operand type used with operand
code 'Z'
   42 |   asm(    "add%z[b]\t%[b], %[a]"
      |   ^~~
test.cpp:42:3: error: invalid 'asm': invalid operand type used with operand
code 'Z'

----------------------------------------

Unexpectedly, the error report says the wrong modifier is 'Z', but what I use
is actually 'z'. I believe that something must go wrong when GCC addresses the
modifier 'z' followed by [asmSymbolicName].

I have pasted the error reporting of g++ in the code attached.

Above all, thanks a lot for the great compilers.

----------------------------------------

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/11/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none:amdgcn-amdhsa
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu
11.3.0-1ubuntu1~22.04' --with-bugurl=file:///usr/share/doc/gcc-11/README.Bugs
--enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++,m2 --prefix=/usr
--with-gcc-major-version-only --program-suffix=-11
--program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--libdir=/usr/lib --enable-nls --enable-bootstrap --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--with-default-libstdcxx-abi=new --enable-gnu-unique-object
--disable-vtable-verify --enable-plugin --enable-default-pie --with-system-zlib
--enable-libphobos-checking=release --with-target-system-zlib=auto
--enable-objc-gc=auto --enable-multiarch --disable-werror --enable-cet
--with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32
--enable-multilib --with-tune=generic
--enable-offload-targets=nvptx-none=/build/gcc-11-xKiWfi/gcc-11-11.3.0/debian/tmp-nvptx/usr,amdgcn-amdhsa=/build/gcc-11-xKiWfi/gcc-11-11.3.0/debian/tmp-gcn/usr
--without-cuda-driver --enable-checking=release --build=x86_64-linux-gnu
--host=x86_64-linux-gnu --target=x86_64-linux-gnu
--with-build-config=bootstrap-lto-lean --enable-link-serialization=2
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.3.0 (Ubuntu 11.3.0-1ubuntu1~22.04)