[RFC,0/3] wasm: New backend

Message ID	20260505223045.347444-2-feedabl3@gmail.com
Headers	DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 4C2BE4BA2E07 From: feedable <feedabl3@gmail.com> To: gcc-patches@gcc.gnu.org Cc: feedable <feedabl3@gmail.com> Subject: [RFC PATCH 0/3] wasm: New backend Date: Wed, 6 May 2026 01:30:43 +0300 Message-ID: <20260505223045.347444-2-feedabl3@gmail.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Precedence: list Errors-To: gcc-patches-bounces~patchwork=sourceware.org@gcc.gnu.org
Series	wasm: New backend \| [RFC,0/3] wasm: New backend [RFC,1/3] df: Add support for pseudos in function arguments [RFC,2/3] wasm: New backend [RFC,3/3] wasm: Adjust tests

Message ID

20260505223045.347444-2-feedabl3@gmail.com

Headers

DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 4C2BE4BA2E07
From: feedable <feedabl3@gmail.com>
To: gcc-patches@gcc.gnu.org
Cc: feedable <feedabl3@gmail.com>
Subject: [RFC PATCH 0/3] wasm: New backend
Date: Wed,  6 May 2026 01:30:43 +0300
Message-ID: <20260505223045.347444-2-feedabl3@gmail.com>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Precedence: list
Errors-To: gcc-patches-bounces~patchwork=sourceware.org@gcc.gnu.org

Series

wasm: New backend |

Message

feedable May 5, 2026, 10:30 p.m. UTC

  This patch series introduces a GCC backend for WebAssembly. I would like
some feedback on the overall code, before merging it.

Please consult https://gcc.gnu.org/wiki/WebAssemblyBackend for build
instructions and the current feature implementation status in the
backend.

Please note that the following patch would be a prerequisite for this patchset,
I just didn't feel like submitting a patch with x86 code in it would make sense
here:
https://gcc.gnu.org/pipermail/gcc-patches/2026-May/715690.html

feedable (3):
  df: Add support for pseudos in function arguments
  wasm: New backend
  wasm: Adjust tests

 gcc/config.gcc                                |   7 +
 gcc/config/wasm/attrs.md                      |  84 ++
 gcc/config/wasm/t-wasm                        |  13 +
 gcc/config/wasm/wasm-asm.cc                   | 945 ++++++++++++++++++
 gcc/config/wasm/wasm-cg.cc                    | 621 ++++++++++++
 gcc/config/wasm/wasm-modes.def                |   0
 gcc/config/wasm/wasm-passes.cc                | 153 +++
 gcc/config/wasm/wasm-passes.def               |  27 +
 gcc/config/wasm/wasm-protos.h                 |  12 +
 gcc/config/wasm/wasm.cc                       | 128 +++
 gcc/config/wasm/wasm.h                        | 307 ++++++
 gcc/config/wasm/wasm.md                       | 495 +++++++++
 gcc/df-problems.cc                            |   6 +-
 gcc/df-scan.cc                                |   4 +
 gcc/doc/tm.texi                               |   5 +
 gcc/doc/tm.texi.in                            |   2 +
 gcc/expr.cc                                   |   3 +-
 gcc/target.def                                |   7 +
 gcc/testsuite/c-c++-common/analyzer/errno-1.c |   2 +
 .../c-c++-common/analyzer/isatty-1.c          |   1 +
 .../gcc.c-torture/compile/20000804-1.c        |   1 +
 gcc/testsuite/gcc.c-torture/compile/pr55921.c |   1 +
 .../gcc.c-torture/compile/pr60655-1.c         |   2 +-
 .../gcc.c-torture/execute/20030222-1.c        |   2 +-
 .../execute/builtins/20010124-1.x             |   2 +-
 .../ieee/bfloat16-builtin-issignaling-1.c     |   1 +
 .../execute/ieee/builtin-issignaling-1.c      |   1 +
 .../ieee/float128-builtin-issignaling-1.c     |   1 +
 .../ieee/float128x-builtin-issignaling-1.c    |   1 +
 .../ieee/float16-builtin-issignaling-1.c      |   1 +
 .../ieee/float32-builtin-issignaling-1.c      |   1 +
 .../ieee/float32x-builtin-issignaling-1.c     |   1 +
 .../ieee/float64-builtin-issignaling-1.c      |   1 +
 .../ieee/float64x-builtin-issignaling-1.c     |   1 +
 .../gcc.c-torture/execute/pr67037-1.c         |  56 ++
 gcc/testsuite/gcc.c-torture/execute/pr67037.c |   4 +-
 gcc/testsuite/gcc.dg/20060410.c               |   2 +-
 .../analyzer/fd-access-mode-target-headers.c  |   1 +
 .../gcc.dg/analyzer/fd-mktemp-family.c        |   1 +
 gcc/testsuite/gcc.dg/analyzer/mkdtemp-1.c     |   1 +
 gcc/testsuite/gcc.dg/analyzer/mkostemp-1.c    |   1 +
 gcc/testsuite/gcc.dg/analyzer/mkostemps-1.c   |   1 +
 gcc/testsuite/gcc.dg/analyzer/mkstemp-1.c     |   1 +
 gcc/testsuite/gcc.dg/analyzer/mkstemps-1.c    |   1 +
 gcc/testsuite/gcc.dg/analyzer/mktemp-1.c      |   1 +
 gcc/testsuite/gcc.dg/array-quals-1.c          |   1 +
 gcc/testsuite/gcc.dg/attr-weakref-1.c         |   3 +
 gcc/testsuite/gcc.dg/builtin-alloc-size.c     |   1 +
 gcc/testsuite/gcc.dg/builtin-apply5.c         |   1 +
 gcc/testsuite/gcc.dg/builtin-prefetch-1.c     |   3 +-
 gcc/testsuite/gcc.dg/builtins-config.h        |   2 +
 gcc/testsuite/gcc.dg/builtins-nonnull.c       |   1 +
 gcc/testsuite/gcc.dg/c23-stdint-1.c           |   1 +
 gcc/testsuite/gcc.dg/c99-stdint-1.c           |   1 +
 gcc/testsuite/gcc.dg/c99-stdint-2.c           |   1 +
 gcc/testsuite/gcc.dg/c99-stdint-7.c           |   3 +
 gcc/testsuite/gcc.dg/c99-stdint-8.c           |   1 +
 gcc/testsuite/gcc.dg/charset/function.c       |   2 +-
 gcc/testsuite/gcc.dg/cpp/escape-3.i           |   1 +
 gcc/testsuite/gcc.dg/format/pr78304.c         |   1 +
 gcc/testsuite/gcc.dg/ipa/symver1.c            |   2 +-
 gcc/testsuite/gcc.dg/lower-subreg-1.c         |   2 +-
 gcc/testsuite/gcc.dg/pch/valid-1.c            |   1 +
 gcc/testsuite/gcc.dg/pr115066.c               |   2 +-
 gcc/testsuite/gcc.dg/pr28755.c                |   2 +-
 gcc/testsuite/gcc.dg/pr49551.c                |   2 +-
 gcc/testsuite/gcc.dg/profile-info-section.c   |   1 +
 gcc/testsuite/gcc.dg/stdint-width-1.c         |   1 +
 gcc/testsuite/gcc.dg/stdint-width-2.c         |   1 +
 gcc/testsuite/gcc.dg/tls/thr-cse-1.c          |   2 +-
 gcc/testsuite/gcc.misc-tests/gcov-23.c        |   1 +
 gcc/testsuite/gcc.misc-tests/gcov.exp         |   4 +
 gcc/testsuite/gcc.misc-tests/options.exp      |   9 +-
 gcc/testsuite/lib/file-format.exp             |   8 +-
 gcc/testsuite/lib/scanasm.exp                 |   2 +
 gcc/testsuite/lib/target-supports.exp         |  39 +-
 libgcc/config.host                            |   5 +
 libgcc/config/wasm/t-wasm                     |   4 +
 78 files changed, 2991 insertions(+), 29 deletions(-)
 create mode 100644 gcc/config/wasm/attrs.md
 create mode 100644 gcc/config/wasm/t-wasm
 create mode 100644 gcc/config/wasm/wasm-asm.cc
 create mode 100644 gcc/config/wasm/wasm-cg.cc
 create mode 100644 gcc/config/wasm/wasm-modes.def
 create mode 100644 gcc/config/wasm/wasm-passes.cc
 create mode 100644 gcc/config/wasm/wasm-passes.def
 create mode 100644 gcc/config/wasm/wasm-protos.h
 create mode 100644 gcc/config/wasm/wasm.cc
 create mode 100644 gcc/config/wasm/wasm.h
 create mode 100644 gcc/config/wasm/wasm.md
 create mode 100644 gcc/testsuite/gcc.c-torture/execute/pr67037-1.c
 create mode 100644 libgcc/config/wasm/t-wasm

Comments

Thomas Schwinge May 6, 2026, 10:26 p.m. UTC | #1

Hi!

On 2026-05-06T01:30:43+0300, feedable <feedabl3@gmail.com> wrote:
> This patch series introduces a GCC backend for WebAssembly.

Hey, great that you're working on this!

I've had this idea, many years ago (when I had first heard about
asm.js/WebAssembly); see, for example,
<https://inbox.sourceware.org/87zhh086zn.fsf@euler.schwinge.homeip.net>
"Re: More compatibility it's possible?".  But of course, I always have
too many ideas, and too little time, so...  ;-)

Your code is not based on Pip Cet's "asmjs" work (see the URL above), I
assume?  (..., from almost a decade ago, oh wow...)


> I would like
> some feedback on the overall code, before merging it.

I'll try to have a look, but it'll take me a while.


You're aware that for getting this accepted into GCC, you'll need
approval by the GCC Steering Committee?  See
<https://gcc.gnu.org/steering.html> "GCC steering committee",
<https://gcc.gnu.org/wiki/gcc-steering-committee>
"GCC Steering Committee":
"Accepting major contributions to GCC, such as [...] new backends [...]".
(Happy to try to help with that, too.)


Grüße
 Thomas


> Please consult https://gcc.gnu.org/wiki/WebAssemblyBackend for build
> instructions and the current feature implementation status in the
> backend.
>
> Please note that the following patch would be a prerequisite for this patchset,
> I just didn't feel like submitting a patch with x86 code in it would make sense
> here:
> https://gcc.gnu.org/pipermail/gcc-patches/2026-May/715690.html
>
> feedable (3):
>   df: Add support for pseudos in function arguments
>   wasm: New backend
>   wasm: Adjust tests
>
>  gcc/config.gcc                                |   7 +
>  gcc/config/wasm/attrs.md                      |  84 ++
>  gcc/config/wasm/t-wasm                        |  13 +
>  gcc/config/wasm/wasm-asm.cc                   | 945 ++++++++++++++++++
>  gcc/config/wasm/wasm-cg.cc                    | 621 ++++++++++++
>  gcc/config/wasm/wasm-modes.def                |   0
>  gcc/config/wasm/wasm-passes.cc                | 153 +++
>  gcc/config/wasm/wasm-passes.def               |  27 +
>  gcc/config/wasm/wasm-protos.h                 |  12 +
>  gcc/config/wasm/wasm.cc                       | 128 +++
>  gcc/config/wasm/wasm.h                        | 307 ++++++
>  gcc/config/wasm/wasm.md                       | 495 +++++++++
>  gcc/df-problems.cc                            |   6 +-
>  gcc/df-scan.cc                                |   4 +
>  gcc/doc/tm.texi                               |   5 +
>  gcc/doc/tm.texi.in                            |   2 +
>  gcc/expr.cc                                   |   3 +-
>  gcc/target.def                                |   7 +
>  gcc/testsuite/c-c++-common/analyzer/errno-1.c |   2 +
>  .../c-c++-common/analyzer/isatty-1.c          |   1 +
>  .../gcc.c-torture/compile/20000804-1.c        |   1 +
>  gcc/testsuite/gcc.c-torture/compile/pr55921.c |   1 +
>  .../gcc.c-torture/compile/pr60655-1.c         |   2 +-
>  .../gcc.c-torture/execute/20030222-1.c        |   2 +-
>  .../execute/builtins/20010124-1.x             |   2 +-
>  .../ieee/bfloat16-builtin-issignaling-1.c     |   1 +
>  .../execute/ieee/builtin-issignaling-1.c      |   1 +
>  .../ieee/float128-builtin-issignaling-1.c     |   1 +
>  .../ieee/float128x-builtin-issignaling-1.c    |   1 +
>  .../ieee/float16-builtin-issignaling-1.c      |   1 +
>  .../ieee/float32-builtin-issignaling-1.c      |   1 +
>  .../ieee/float32x-builtin-issignaling-1.c     |   1 +
>  .../ieee/float64-builtin-issignaling-1.c      |   1 +
>  .../ieee/float64x-builtin-issignaling-1.c     |   1 +
>  .../gcc.c-torture/execute/pr67037-1.c         |  56 ++
>  gcc/testsuite/gcc.c-torture/execute/pr67037.c |   4 +-
>  gcc/testsuite/gcc.dg/20060410.c               |   2 +-
>  .../analyzer/fd-access-mode-target-headers.c  |   1 +
>  .../gcc.dg/analyzer/fd-mktemp-family.c        |   1 +
>  gcc/testsuite/gcc.dg/analyzer/mkdtemp-1.c     |   1 +
>  gcc/testsuite/gcc.dg/analyzer/mkostemp-1.c    |   1 +
>  gcc/testsuite/gcc.dg/analyzer/mkostemps-1.c   |   1 +
>  gcc/testsuite/gcc.dg/analyzer/mkstemp-1.c     |   1 +
>  gcc/testsuite/gcc.dg/analyzer/mkstemps-1.c    |   1 +
>  gcc/testsuite/gcc.dg/analyzer/mktemp-1.c      |   1 +
>  gcc/testsuite/gcc.dg/array-quals-1.c          |   1 +
>  gcc/testsuite/gcc.dg/attr-weakref-1.c         |   3 +
>  gcc/testsuite/gcc.dg/builtin-alloc-size.c     |   1 +
>  gcc/testsuite/gcc.dg/builtin-apply5.c         |   1 +
>  gcc/testsuite/gcc.dg/builtin-prefetch-1.c     |   3 +-
>  gcc/testsuite/gcc.dg/builtins-config.h        |   2 +
>  gcc/testsuite/gcc.dg/builtins-nonnull.c       |   1 +
>  gcc/testsuite/gcc.dg/c23-stdint-1.c           |   1 +
>  gcc/testsuite/gcc.dg/c99-stdint-1.c           |   1 +
>  gcc/testsuite/gcc.dg/c99-stdint-2.c           |   1 +
>  gcc/testsuite/gcc.dg/c99-stdint-7.c           |   3 +
>  gcc/testsuite/gcc.dg/c99-stdint-8.c           |   1 +
>  gcc/testsuite/gcc.dg/charset/function.c       |   2 +-
>  gcc/testsuite/gcc.dg/cpp/escape-3.i           |   1 +
>  gcc/testsuite/gcc.dg/format/pr78304.c         |   1 +
>  gcc/testsuite/gcc.dg/ipa/symver1.c            |   2 +-
>  gcc/testsuite/gcc.dg/lower-subreg-1.c         |   2 +-
>  gcc/testsuite/gcc.dg/pch/valid-1.c            |   1 +
>  gcc/testsuite/gcc.dg/pr115066.c               |   2 +-
>  gcc/testsuite/gcc.dg/pr28755.c                |   2 +-
>  gcc/testsuite/gcc.dg/pr49551.c                |   2 +-
>  gcc/testsuite/gcc.dg/profile-info-section.c   |   1 +
>  gcc/testsuite/gcc.dg/stdint-width-1.c         |   1 +
>  gcc/testsuite/gcc.dg/stdint-width-2.c         |   1 +
>  gcc/testsuite/gcc.dg/tls/thr-cse-1.c          |   2 +-
>  gcc/testsuite/gcc.misc-tests/gcov-23.c        |   1 +
>  gcc/testsuite/gcc.misc-tests/gcov.exp         |   4 +
>  gcc/testsuite/gcc.misc-tests/options.exp      |   9 +-
>  gcc/testsuite/lib/file-format.exp             |   8 +-
>  gcc/testsuite/lib/scanasm.exp                 |   2 +
>  gcc/testsuite/lib/target-supports.exp         |  39 +-
>  libgcc/config.host                            |   5 +
>  libgcc/config/wasm/t-wasm                     |   4 +
>  78 files changed, 2991 insertions(+), 29 deletions(-)
>  create mode 100644 gcc/config/wasm/attrs.md
>  create mode 100644 gcc/config/wasm/t-wasm
>  create mode 100644 gcc/config/wasm/wasm-asm.cc
>  create mode 100644 gcc/config/wasm/wasm-cg.cc
>  create mode 100644 gcc/config/wasm/wasm-modes.def
>  create mode 100644 gcc/config/wasm/wasm-passes.cc
>  create mode 100644 gcc/config/wasm/wasm-passes.def
>  create mode 100644 gcc/config/wasm/wasm-protos.h
>  create mode 100644 gcc/config/wasm/wasm.cc
>  create mode 100644 gcc/config/wasm/wasm.h
>  create mode 100644 gcc/config/wasm/wasm.md
>  create mode 100644 gcc/testsuite/gcc.c-torture/execute/pr67037-1.c
>  create mode 100644 libgcc/config/wasm/t-wasm
>
> -- 
> 2.54.0

feedable May 7, 2026, 9:22 a.m. UTC | #2

On 07/05/2026 01:26, Thomas Schwinge wrote:
> Hi!
>
> On 2026-05-06T01:30:43+0300, feedable <feedabl3@gmail.com> wrote:
>> This patch series introduces a GCC backend for WebAssembly.
> Hey, great that you're working on this!
>
> I've had this idea, many years ago (when I had first heard about
> asm.js/WebAssembly); see, for example,
> <https://inbox.sourceware.org/87zhh086zn.fsf@euler.schwinge.homeip.net>
> "Re: More compatibility it's possible?".  But of course, I always have
> too many ideas, and too little time, so...  ;-)
>
> Your code is not based on Pip Cet's "asmjs" work (see the URL above), I
> assume?  (..., from almost a decade ago, oh wow...)

Hi, no, I wasn't even aware that there was any GCC-related prior art here.
I did find out, however, that there was some effort in gas and bfd to 
support wasm (via LLVM syntax), but I didn't use that, because I opted 
for the official assembly format earlier.

>> I would like
>> some feedback on the overall code, before merging it.
> I'll try to have a look, but it'll take me a while.
>
>
> You're aware that for getting this accepted into GCC, you'll need
> approval by the GCC Steering Committee?  See
> <https://gcc.gnu.org/steering.html> "GCC steering committee",
> <https://gcc.gnu.org/wiki/gcc-steering-committee>
> "GCC Steering Committee":
> "Accepting major contributions to GCC, such as [...] new backends [...]".
> (Happy to try to help with that, too.)

Yes, I'm aware, but I don't really know the process, so I hoped that 
would just be picked up by them?
In any case, I think I would like some help with this.

> Grüße
>   Thomas
>
>
>> Please consult https://gcc.gnu.org/wiki/WebAssemblyBackend for build
>> instructions and the current feature implementation status in the
>> backend.
>>
>> Please note that the following patch would be a prerequisite for this patchset,
>> I just didn't feel like submitting a patch with x86 code in it would make sense
>> here:
>> https://gcc.gnu.org/pipermail/gcc-patches/2026-May/715690.html
>>
>> feedable (3):
>>    df: Add support for pseudos in function arguments
>>    wasm: New backend
>>    wasm: Adjust tests
>>
>>   gcc/config.gcc                                |   7 +
>>   gcc/config/wasm/attrs.md                      |  84 ++
>>   gcc/config/wasm/t-wasm                        |  13 +
>>   gcc/config/wasm/wasm-asm.cc                   | 945 ++++++++++++++++++
>>   gcc/config/wasm/wasm-cg.cc                    | 621 ++++++++++++
>>   gcc/config/wasm/wasm-modes.def                |   0
>>   gcc/config/wasm/wasm-passes.cc                | 153 +++
>>   gcc/config/wasm/wasm-passes.def               |  27 +
>>   gcc/config/wasm/wasm-protos.h                 |  12 +
>>   gcc/config/wasm/wasm.cc                       | 128 +++
>>   gcc/config/wasm/wasm.h                        | 307 ++++++
>>   gcc/config/wasm/wasm.md                       | 495 +++++++++
>>   gcc/df-problems.cc                            |   6 +-
>>   gcc/df-scan.cc                                |   4 +
>>   gcc/doc/tm.texi                               |   5 +
>>   gcc/doc/tm.texi.in                            |   2 +
>>   gcc/expr.cc                                   |   3 +-
>>   gcc/target.def                                |   7 +
>>   gcc/testsuite/c-c++-common/analyzer/errno-1.c |   2 +
>>   .../c-c++-common/analyzer/isatty-1.c          |   1 +
>>   .../gcc.c-torture/compile/20000804-1.c        |   1 +
>>   gcc/testsuite/gcc.c-torture/compile/pr55921.c |   1 +
>>   .../gcc.c-torture/compile/pr60655-1.c         |   2 +-
>>   .../gcc.c-torture/execute/20030222-1.c        |   2 +-
>>   .../execute/builtins/20010124-1.x             |   2 +-
>>   .../ieee/bfloat16-builtin-issignaling-1.c     |   1 +
>>   .../execute/ieee/builtin-issignaling-1.c      |   1 +
>>   .../ieee/float128-builtin-issignaling-1.c     |   1 +
>>   .../ieee/float128x-builtin-issignaling-1.c    |   1 +
>>   .../ieee/float16-builtin-issignaling-1.c      |   1 +
>>   .../ieee/float32-builtin-issignaling-1.c      |   1 +
>>   .../ieee/float32x-builtin-issignaling-1.c     |   1 +
>>   .../ieee/float64-builtin-issignaling-1.c      |   1 +
>>   .../ieee/float64x-builtin-issignaling-1.c     |   1 +
>>   .../gcc.c-torture/execute/pr67037-1.c         |  56 ++
>>   gcc/testsuite/gcc.c-torture/execute/pr67037.c |   4 +-
>>   gcc/testsuite/gcc.dg/20060410.c               |   2 +-
>>   .../analyzer/fd-access-mode-target-headers.c  |   1 +
>>   .../gcc.dg/analyzer/fd-mktemp-family.c        |   1 +
>>   gcc/testsuite/gcc.dg/analyzer/mkdtemp-1.c     |   1 +
>>   gcc/testsuite/gcc.dg/analyzer/mkostemp-1.c    |   1 +
>>   gcc/testsuite/gcc.dg/analyzer/mkostemps-1.c   |   1 +
>>   gcc/testsuite/gcc.dg/analyzer/mkstemp-1.c     |   1 +
>>   gcc/testsuite/gcc.dg/analyzer/mkstemps-1.c    |   1 +
>>   gcc/testsuite/gcc.dg/analyzer/mktemp-1.c      |   1 +
>>   gcc/testsuite/gcc.dg/array-quals-1.c          |   1 +
>>   gcc/testsuite/gcc.dg/attr-weakref-1.c         |   3 +
>>   gcc/testsuite/gcc.dg/builtin-alloc-size.c     |   1 +
>>   gcc/testsuite/gcc.dg/builtin-apply5.c         |   1 +
>>   gcc/testsuite/gcc.dg/builtin-prefetch-1.c     |   3 +-
>>   gcc/testsuite/gcc.dg/builtins-config.h        |   2 +
>>   gcc/testsuite/gcc.dg/builtins-nonnull.c       |   1 +
>>   gcc/testsuite/gcc.dg/c23-stdint-1.c           |   1 +
>>   gcc/testsuite/gcc.dg/c99-stdint-1.c           |   1 +
>>   gcc/testsuite/gcc.dg/c99-stdint-2.c           |   1 +
>>   gcc/testsuite/gcc.dg/c99-stdint-7.c           |   3 +
>>   gcc/testsuite/gcc.dg/c99-stdint-8.c           |   1 +
>>   gcc/testsuite/gcc.dg/charset/function.c       |   2 +-
>>   gcc/testsuite/gcc.dg/cpp/escape-3.i           |   1 +
>>   gcc/testsuite/gcc.dg/format/pr78304.c         |   1 +
>>   gcc/testsuite/gcc.dg/ipa/symver1.c            |   2 +-
>>   gcc/testsuite/gcc.dg/lower-subreg-1.c         |   2 +-
>>   gcc/testsuite/gcc.dg/pch/valid-1.c            |   1 +
>>   gcc/testsuite/gcc.dg/pr115066.c               |   2 +-
>>   gcc/testsuite/gcc.dg/pr28755.c                |   2 +-
>>   gcc/testsuite/gcc.dg/pr49551.c                |   2 +-
>>   gcc/testsuite/gcc.dg/profile-info-section.c   |   1 +
>>   gcc/testsuite/gcc.dg/stdint-width-1.c         |   1 +
>>   gcc/testsuite/gcc.dg/stdint-width-2.c         |   1 +
>>   gcc/testsuite/gcc.dg/tls/thr-cse-1.c          |   2 +-
>>   gcc/testsuite/gcc.misc-tests/gcov-23.c        |   1 +
>>   gcc/testsuite/gcc.misc-tests/gcov.exp         |   4 +
>>   gcc/testsuite/gcc.misc-tests/options.exp      |   9 +-
>>   gcc/testsuite/lib/file-format.exp             |   8 +-
>>   gcc/testsuite/lib/scanasm.exp                 |   2 +
>>   gcc/testsuite/lib/target-supports.exp         |  39 +-
>>   libgcc/config.host                            |   5 +
>>   libgcc/config/wasm/t-wasm                     |   4 +
>>   78 files changed, 2991 insertions(+), 29 deletions(-)
>>   create mode 100644 gcc/config/wasm/attrs.md
>>   create mode 100644 gcc/config/wasm/t-wasm
>>   create mode 100644 gcc/config/wasm/wasm-asm.cc
>>   create mode 100644 gcc/config/wasm/wasm-cg.cc
>>   create mode 100644 gcc/config/wasm/wasm-modes.def
>>   create mode 100644 gcc/config/wasm/wasm-passes.cc
>>   create mode 100644 gcc/config/wasm/wasm-passes.def
>>   create mode 100644 gcc/config/wasm/wasm-protos.h
>>   create mode 100644 gcc/config/wasm/wasm.cc
>>   create mode 100644 gcc/config/wasm/wasm.h
>>   create mode 100644 gcc/config/wasm/wasm.md
>>   create mode 100644 gcc/testsuite/gcc.c-torture/execute/pr67037-1.c
>>   create mode 100644 libgcc/config/wasm/t-wasm
>>
>> -- 
>> 2.54.0

Pip Cet May 7, 2026, 12:52 p.m. UTC | #3

"Thomas Schwinge" <tschwinge@baylibre.com> writes:

> Hi!
>
> On 2026-05-06T01:30:43+0300, feedable <feedabl3@gmail.com> wrote:
>> This patch series introduces a GCC backend for WebAssembly.
>
> Hey, great that you're working on this!

I think so, too! I'm not sure I'll have time to look at it (or that my
comments would be very helpful at this point), but if we end up with
wasm support in GCC, that would be great.

> I've had this idea, many years ago (when I had first heard about
> asm.js/WebAssembly); see, for example,
> <https://inbox.sourceware.org/87zhh086zn.fsf@euler.schwinge.homeip.net>
> "Re: More compatibility it's possible?".  But of course, I always have
> too many ideas, and too little time, so...  ;-)
>
> Your code is not based on Pip Cet's "asmjs" work (see the URL above), I
> assume?  (..., from almost a decade ago, oh wow...)

It has been a long time, but it did include both asmjs and
wasm-as-it-was-back-then support. However, I think WebAssembly has
changed a lot and the new port will probably look very different! So my
advice is to look at this new work rather than the "wasm" project on
GitHub (which has been updated more recently, but it's still been a few
years...)

Thanks for working on this!

Pip