Thanks for using Compiler Explorer
Sponsors
Jakt
C++
Ada
Algol68
Analysis
Android Java
Android Kotlin
Assembly
C
C3
Carbon
C with Coccinelle
C++ with Coccinelle
C++ (Circle)
CIRCT
Clean
CMake
CMakeScript
COBOL
C++ for OpenCL
MLIR
Cppx
Cppx-Blue
Cppx-Gold
Cpp2-cppfront
Crystal
C#
CUDA C++
D
Dart
Elixir
Erlang
Fortran
F#
GLSL
Go
Haskell
HLSL
Hook
Hylo
IL
ispc
Java
Julia
Kotlin
LLVM IR
LLVM MIR
Modula-2
Mojo
Nim
Numba
Nix
Objective-C
Objective-C++
OCaml
Odin
OpenCL C
Pascal
Pony
PTX
Python
Racket
Raku
Ruby
Rust
Sail
Snowball
Scala
Slang
Solidity
Spice
SPIR-V
Swift
LLVM TableGen
Toit
Triton
TypeScript Native
V
Vala
Visual Basic
Vyper
WASM
Zig
Javascript
GIMPLE
Ygen
sway
c++ source #2
Output
Compile to binary object
Link to binary
Execute the code
Intel asm syntax
Demangle identifiers
Verbose demangling
Filters
Unused labels
Library functions
Directives
Comments
Horizontal whitespace
Debug intrinsics
Compiler
6502-c++ 11.1.0
ARM GCC 10.2.0
ARM GCC 10.3.0
ARM GCC 10.4.0
ARM GCC 10.5.0
ARM GCC 11.1.0
ARM GCC 11.2.0
ARM GCC 11.3.0
ARM GCC 11.4.0
ARM GCC 12.1.0
ARM GCC 12.2.0
ARM GCC 12.3.0
ARM GCC 12.4.0
ARM GCC 12.5.0
ARM GCC 13.1.0
ARM GCC 13.2.0
ARM GCC 13.2.0 (unknown-eabi)
ARM GCC 13.3.0
ARM GCC 13.3.0 (unknown-eabi)
ARM GCC 13.4.0
ARM GCC 13.4.0 (unknown-eabi)
ARM GCC 14.1.0
ARM GCC 14.1.0 (unknown-eabi)
ARM GCC 14.2.0
ARM GCC 14.2.0 (unknown-eabi)
ARM GCC 14.3.0
ARM GCC 14.3.0 (unknown-eabi)
ARM GCC 15.1.0
ARM GCC 15.1.0 (unknown-eabi)
ARM GCC 15.2.0
ARM GCC 15.2.0 (unknown-eabi)
ARM GCC 4.5.4
ARM GCC 4.6.4
ARM GCC 5.4
ARM GCC 6.3.0
ARM GCC 6.4.0
ARM GCC 7.3.0
ARM GCC 7.5.0
ARM GCC 8.2.0
ARM GCC 8.5.0
ARM GCC 9.3.0
ARM GCC 9.4.0
ARM GCC 9.5.0
ARM GCC trunk
ARM gcc 10.2.1 (none)
ARM gcc 10.3.1 (2021.07 none)
ARM gcc 10.3.1 (2021.10 none)
ARM gcc 11.2.1 (none)
ARM gcc 5.4.1 (none)
ARM gcc 7.2.1 (none)
ARM gcc 8.2 (WinCE)
ARM gcc 8.3.1 (none)
ARM gcc 9.2.1 (none)
ARM msvc v19.0 (ex-WINE)
ARM msvc v19.10 (ex-WINE)
ARM msvc v19.14 (ex-WINE)
ARM64 Morello gcc 10.1 Alpha 2
ARM64 gcc 10.2
ARM64 gcc 10.3
ARM64 gcc 10.4
ARM64 gcc 10.5.0
ARM64 gcc 11.1
ARM64 gcc 11.2
ARM64 gcc 11.3
ARM64 gcc 11.4.0
ARM64 gcc 12.1
ARM64 gcc 12.2.0
ARM64 gcc 12.3.0
ARM64 gcc 12.4.0
ARM64 gcc 12.5.0
ARM64 gcc 13.1.0
ARM64 gcc 13.2.0
ARM64 gcc 13.3.0
ARM64 gcc 13.4.0
ARM64 gcc 14.1.0
ARM64 gcc 14.2.0
ARM64 gcc 14.3.0
ARM64 gcc 15.1.0
ARM64 gcc 15.2.0
ARM64 gcc 4.9.4
ARM64 gcc 5.4
ARM64 gcc 5.5.0
ARM64 gcc 6.3
ARM64 gcc 6.4
ARM64 gcc 7.3
ARM64 gcc 7.5
ARM64 gcc 8.2
ARM64 gcc 8.5
ARM64 gcc 9.3
ARM64 gcc 9.4
ARM64 gcc 9.5
ARM64 gcc trunk
ARM64 msvc v19.14 (ex-WINE)
AVR gcc 10.3.0
AVR gcc 11.1.0
AVR gcc 12.1.0
AVR gcc 12.2.0
AVR gcc 12.3.0
AVR gcc 12.4.0
AVR gcc 12.5.0
AVR gcc 13.1.0
AVR gcc 13.2.0
AVR gcc 13.3.0
AVR gcc 13.4.0
AVR gcc 14.1.0
AVR gcc 14.2.0
AVR gcc 14.3.0
AVR gcc 15.1.0
AVR gcc 15.2.0
AVR gcc 4.5.4
AVR gcc 4.6.4
AVR gcc 5.4.0
AVR gcc 9.2.0
AVR gcc 9.3.0
Arduino Mega (1.8.9)
Arduino Uno (1.8.9)
BPF clang (trunk)
BPF clang 13.0.0
BPF clang 14.0.0
BPF clang 15.0.0
BPF clang 16.0.0
BPF clang 17.0.1
BPF clang 18.1.0
BPF clang 19.1.0
BPF clang 20.1.0
BPF clang 21.1.0
EDG (experimental reflection)
EDG 6.5
EDG 6.5 (GNU mode gcc 13)
EDG 6.6
EDG 6.6 (GNU mode gcc 13)
EDG 6.7
EDG 6.7 (GNU mode gcc 14)
FRC 2019
FRC 2020
FRC 2023
HPPA gcc 14.2.0
HPPA gcc 14.3.0
HPPA gcc 15.1.0
HPPA gcc 15.2.0
KVX ACB 4.1.0 (GCC 7.5.0)
KVX ACB 4.1.0-cd1 (GCC 7.5.0)
KVX ACB 4.10.0 (GCC 10.3.1)
KVX ACB 4.11.1 (GCC 10.3.1)
KVX ACB 4.12.0 (GCC 11.3.0)
KVX ACB 4.2.0 (GCC 7.5.0)
KVX ACB 4.3.0 (GCC 7.5.0)
KVX ACB 4.4.0 (GCC 7.5.0)
KVX ACB 4.6.0 (GCC 9.4.1)
KVX ACB 4.8.0 (GCC 9.4.1)
KVX ACB 4.9.0 (GCC 9.4.1)
KVX ACB 5.0.0 (GCC 12.2.1)
KVX ACB 5.2.0 (GCC 13.2.1)
LoongArch64 clang (trunk)
LoongArch64 clang 17.0.1
LoongArch64 clang 18.1.0
LoongArch64 clang 19.1.0
LoongArch64 clang 20.1.0
LoongArch64 clang 21.1.0
M68K gcc 13.1.0
M68K gcc 13.2.0
M68K gcc 13.3.0
M68K gcc 13.4.0
M68K gcc 14.1.0
M68K gcc 14.2.0
M68K gcc 14.3.0
M68K gcc 15.1.0
M68K gcc 15.2.0
M68k clang (trunk)
MRISC32 gcc (trunk)
MSP430 gcc 4.5.3
MSP430 gcc 5.3.0
MSP430 gcc 6.2.1
MinGW clang 14.0.3
MinGW clang 14.0.6
MinGW clang 15.0.7
MinGW clang 16.0.0
MinGW clang 16.0.2
MinGW gcc 11.3.0
MinGW gcc 12.1.0
MinGW gcc 12.2.0
MinGW gcc 13.1.0
MinGW gcc 14.3.0
MinGW gcc 15.2.0
RISC-V (32-bits) gcc (trunk)
RISC-V (32-bits) gcc 10.2.0
RISC-V (32-bits) gcc 10.3.0
RISC-V (32-bits) gcc 11.2.0
RISC-V (32-bits) gcc 11.3.0
RISC-V (32-bits) gcc 11.4.0
RISC-V (32-bits) gcc 12.1.0
RISC-V (32-bits) gcc 12.2.0
RISC-V (32-bits) gcc 12.3.0
RISC-V (32-bits) gcc 12.4.0
RISC-V (32-bits) gcc 12.5.0
RISC-V (32-bits) gcc 13.1.0
RISC-V (32-bits) gcc 13.2.0
RISC-V (32-bits) gcc 13.3.0
RISC-V (32-bits) gcc 13.4.0
RISC-V (32-bits) gcc 14.1.0
RISC-V (32-bits) gcc 14.2.0
RISC-V (32-bits) gcc 14.3.0
RISC-V (32-bits) gcc 15.1.0
RISC-V (32-bits) gcc 15.2.0
RISC-V (32-bits) gcc 8.2.0
RISC-V (32-bits) gcc 8.5.0
RISC-V (32-bits) gcc 9.4.0
RISC-V (64-bits) gcc (trunk)
RISC-V (64-bits) gcc 10.2.0
RISC-V (64-bits) gcc 10.3.0
RISC-V (64-bits) gcc 11.2.0
RISC-V (64-bits) gcc 11.3.0
RISC-V (64-bits) gcc 11.4.0
RISC-V (64-bits) gcc 12.1.0
RISC-V (64-bits) gcc 12.2.0
RISC-V (64-bits) gcc 12.3.0
RISC-V (64-bits) gcc 12.4.0
RISC-V (64-bits) gcc 12.5.0
RISC-V (64-bits) gcc 13.1.0
RISC-V (64-bits) gcc 13.2.0
RISC-V (64-bits) gcc 13.3.0
RISC-V (64-bits) gcc 13.4.0
RISC-V (64-bits) gcc 14.1.0
RISC-V (64-bits) gcc 14.2.0
RISC-V (64-bits) gcc 14.3.0
RISC-V (64-bits) gcc 15.1.0
RISC-V (64-bits) gcc 15.2.0
RISC-V (64-bits) gcc 8.2.0
RISC-V (64-bits) gcc 8.5.0
RISC-V (64-bits) gcc 9.4.0
RISC-V rv32gc clang (trunk)
RISC-V rv32gc clang 10.0.0
RISC-V rv32gc clang 10.0.1
RISC-V rv32gc clang 11.0.0
RISC-V rv32gc clang 11.0.1
RISC-V rv32gc clang 12.0.0
RISC-V rv32gc clang 12.0.1
RISC-V rv32gc clang 13.0.0
RISC-V rv32gc clang 13.0.1
RISC-V rv32gc clang 14.0.0
RISC-V rv32gc clang 15.0.0
RISC-V rv32gc clang 16.0.0
RISC-V rv32gc clang 17.0.1
RISC-V rv32gc clang 18.1.0
RISC-V rv32gc clang 19.1.0
RISC-V rv32gc clang 20.1.0
RISC-V rv32gc clang 21.1.0
RISC-V rv32gc clang 9.0.0
RISC-V rv32gc clang 9.0.1
RISC-V rv64gc clang (trunk)
RISC-V rv64gc clang 10.0.0
RISC-V rv64gc clang 10.0.1
RISC-V rv64gc clang 11.0.0
RISC-V rv64gc clang 11.0.1
RISC-V rv64gc clang 12.0.0
RISC-V rv64gc clang 12.0.1
RISC-V rv64gc clang 13.0.0
RISC-V rv64gc clang 13.0.1
RISC-V rv64gc clang 14.0.0
RISC-V rv64gc clang 15.0.0
RISC-V rv64gc clang 16.0.0
RISC-V rv64gc clang 17.0.1
RISC-V rv64gc clang 18.1.0
RISC-V rv64gc clang 19.1.0
RISC-V rv64gc clang 20.1.0
RISC-V rv64gc clang 21.1.0
RISC-V rv64gc clang 9.0.0
RISC-V rv64gc clang 9.0.1
Raspbian Buster
Raspbian Stretch
SPARC LEON gcc 12.2.0
SPARC LEON gcc 12.3.0
SPARC LEON gcc 12.4.0
SPARC LEON gcc 12.5.0
SPARC LEON gcc 13.1.0
SPARC LEON gcc 13.2.0
SPARC LEON gcc 13.3.0
SPARC LEON gcc 13.4.0
SPARC LEON gcc 14.1.0
SPARC LEON gcc 14.2.0
SPARC LEON gcc 14.3.0
SPARC LEON gcc 15.1.0
SPARC LEON gcc 15.2.0
SPARC gcc 12.2.0
SPARC gcc 12.3.0
SPARC gcc 12.4.0
SPARC gcc 12.5.0
SPARC gcc 13.1.0
SPARC gcc 13.2.0
SPARC gcc 13.3.0
SPARC gcc 13.4.0
SPARC gcc 14.1.0
SPARC gcc 14.2.0
SPARC gcc 14.3.0
SPARC gcc 15.1.0
SPARC gcc 15.2.0
SPARC64 gcc 12.2.0
SPARC64 gcc 12.3.0
SPARC64 gcc 12.4.0
SPARC64 gcc 12.5.0
SPARC64 gcc 13.1.0
SPARC64 gcc 13.2.0
SPARC64 gcc 13.3.0
SPARC64 gcc 13.4.0
SPARC64 gcc 14.1.0
SPARC64 gcc 14.2.0
SPARC64 gcc 14.3.0
SPARC64 gcc 15.1.0
SPARC64 gcc 15.2.0
TI C6x gcc 12.2.0
TI C6x gcc 12.3.0
TI C6x gcc 12.4.0
TI C6x gcc 12.5.0
TI C6x gcc 13.1.0
TI C6x gcc 13.2.0
TI C6x gcc 13.3.0
TI C6x gcc 13.4.0
TI C6x gcc 14.1.0
TI C6x gcc 14.2.0
TI C6x gcc 14.3.0
TI C6x gcc 15.1.0
TI C6x gcc 15.2.0
TI CL430 21.6.1
Tricore gcc 11.3.0 (EEESlab)
VAX gcc NetBSDELF 10.4.0
VAX gcc NetBSDELF 10.5.0 (Nov 15 03:50:22 2023)
VAX gcc NetBSDELF 12.4.0 (Apr 16 05:27 2025)
WebAssembly clang (trunk)
Xtensa ESP32 gcc 11.2.0 (2022r1)
Xtensa ESP32 gcc 12.2.0 (20230208)
Xtensa ESP32 gcc 14.2.0 (20241119)
Xtensa ESP32 gcc 8.2.0 (2019r2)
Xtensa ESP32 gcc 8.2.0 (2020r1)
Xtensa ESP32 gcc 8.2.0 (2020r2)
Xtensa ESP32 gcc 8.4.0 (2020r3)
Xtensa ESP32 gcc 8.4.0 (2021r1)
Xtensa ESP32 gcc 8.4.0 (2021r2)
Xtensa ESP32-S2 gcc 11.2.0 (2022r1)
Xtensa ESP32-S2 gcc 12.2.0 (20230208)
Xtensa ESP32-S2 gcc 14.2.0 (20241119)
Xtensa ESP32-S2 gcc 8.2.0 (2019r2)
Xtensa ESP32-S2 gcc 8.2.0 (2020r1)
Xtensa ESP32-S2 gcc 8.2.0 (2020r2)
Xtensa ESP32-S2 gcc 8.4.0 (2020r3)
Xtensa ESP32-S2 gcc 8.4.0 (2021r1)
Xtensa ESP32-S2 gcc 8.4.0 (2021r2)
Xtensa ESP32-S3 gcc 11.2.0 (2022r1)
Xtensa ESP32-S3 gcc 12.2.0 (20230208)
Xtensa ESP32-S3 gcc 14.2.0 (20241119)
Xtensa ESP32-S3 gcc 8.4.0 (2020r3)
Xtensa ESP32-S3 gcc 8.4.0 (2021r1)
Xtensa ESP32-S3 gcc 8.4.0 (2021r2)
arm64 msvc v19.20 VS16.0
arm64 msvc v19.21 VS16.1
arm64 msvc v19.22 VS16.2
arm64 msvc v19.23 VS16.3
arm64 msvc v19.24 VS16.4
arm64 msvc v19.25 VS16.5
arm64 msvc v19.27 VS16.7
arm64 msvc v19.28 VS16.8
arm64 msvc v19.28 VS16.9
arm64 msvc v19.29 VS16.10
arm64 msvc v19.29 VS16.11
arm64 msvc v19.30 VS17.0
arm64 msvc v19.31 VS17.1
arm64 msvc v19.32 VS17.2
arm64 msvc v19.33 VS17.3
arm64 msvc v19.34 VS17.4
arm64 msvc v19.35 VS17.5
arm64 msvc v19.36 VS17.6
arm64 msvc v19.37 VS17.7
arm64 msvc v19.38 VS17.8
arm64 msvc v19.39 VS17.9
arm64 msvc v19.40 VS17.10
arm64 msvc v19.41 VS17.11
arm64 msvc v19.42 VS17.12
arm64 msvc v19.43 VS17.13
arm64 msvc v19.latest
armv7-a clang (trunk)
armv7-a clang 10.0.0
armv7-a clang 10.0.1
armv7-a clang 11.0.0
armv7-a clang 11.0.1
armv7-a clang 12.0.0
armv7-a clang 12.0.1
armv7-a clang 13.0.0
armv7-a clang 13.0.1
armv7-a clang 14.0.0
armv7-a clang 15.0.0
armv7-a clang 16.0.0
armv7-a clang 17.0.1
armv7-a clang 18.1.0
armv7-a clang 19.1.0
armv7-a clang 20.1.0
armv7-a clang 21.1.0
armv7-a clang 9.0.0
armv7-a clang 9.0.1
armv8-a clang (all architectural features, trunk)
armv8-a clang (trunk)
armv8-a clang 10.0.0
armv8-a clang 10.0.1
armv8-a clang 11.0.0
armv8-a clang 11.0.1
armv8-a clang 12.0.0
armv8-a clang 13.0.0
armv8-a clang 14.0.0
armv8-a clang 15.0.0
armv8-a clang 16.0.0
armv8-a clang 17.0.1
armv8-a clang 18.1.0
armv8-a clang 19.1.0
armv8-a clang 20.1.0
armv8-a clang 21.1.0
armv8-a clang 9.0.0
armv8-a clang 9.0.1
clad trunk (clang 21.1.0)
clad v1.10 (clang 20.1.0)
clad v1.8 (clang 18.1.0)
clad v1.9 (clang 19.1.0)
clad v2.00 (clang 20.1.0)
clang-cl 18.1.0
ellcc 0.1.33
ellcc 0.1.34
ellcc 2017-07-16
ez80-clang 15.0.0
ez80-clang 15.0.7
hexagon-clang 16.0.5
llvm-mos atari2600-3e
llvm-mos atari2600-4k
llvm-mos atari2600-common
llvm-mos atari5200-supercart
llvm-mos atari8-cart-megacart
llvm-mos atari8-cart-std
llvm-mos atari8-cart-xegs
llvm-mos atari8-common
llvm-mos atari8-dos
llvm-mos c128
llvm-mos c64
llvm-mos commodore
llvm-mos cpm65
llvm-mos cx16
llvm-mos dodo
llvm-mos eater
llvm-mos mega65
llvm-mos nes
llvm-mos nes-action53
llvm-mos nes-cnrom
llvm-mos nes-gtrom
llvm-mos nes-mmc1
llvm-mos nes-mmc3
llvm-mos nes-nrom
llvm-mos nes-unrom
llvm-mos nes-unrom-512
llvm-mos osi-c1p
llvm-mos pce
llvm-mos pce-cd
llvm-mos pce-common
llvm-mos pet
llvm-mos rp6502
llvm-mos rpc8e
llvm-mos supervision
llvm-mos vic20
loongarch64 gcc 12.2.0
loongarch64 gcc 12.3.0
loongarch64 gcc 12.4.0
loongarch64 gcc 12.5.0
loongarch64 gcc 13.1.0
loongarch64 gcc 13.2.0
loongarch64 gcc 13.3.0
loongarch64 gcc 13.4.0
loongarch64 gcc 14.1.0
loongarch64 gcc 14.2.0
loongarch64 gcc 14.3.0
loongarch64 gcc 15.1.0
loongarch64 gcc 15.2.0
mips clang 13.0.0
mips clang 14.0.0
mips clang 15.0.0
mips clang 16.0.0
mips clang 17.0.1
mips clang 18.1.0
mips clang 19.1.0
mips clang 20.1.0
mips clang 21.1.0
mips gcc 11.2.0
mips gcc 12.1.0
mips gcc 12.2.0
mips gcc 12.3.0
mips gcc 12.4.0
mips gcc 12.5.0
mips gcc 13.1.0
mips gcc 13.2.0
mips gcc 13.3.0
mips gcc 13.4.0
mips gcc 14.1.0
mips gcc 14.2.0
mips gcc 14.3.0
mips gcc 15.1.0
mips gcc 15.2.0
mips gcc 4.9.4
mips gcc 5.4
mips gcc 5.5.0
mips gcc 9.3.0 (codescape)
mips gcc 9.5.0
mips64 (el) gcc 12.1.0
mips64 (el) gcc 12.2.0
mips64 (el) gcc 12.3.0
mips64 (el) gcc 12.4.0
mips64 (el) gcc 12.5.0
mips64 (el) gcc 13.1.0
mips64 (el) gcc 13.2.0
mips64 (el) gcc 13.3.0
mips64 (el) gcc 13.4.0
mips64 (el) gcc 14.1.0
mips64 (el) gcc 14.2.0
mips64 (el) gcc 14.3.0
mips64 (el) gcc 15.1.0
mips64 (el) gcc 15.2.0
mips64 (el) gcc 4.9.4
mips64 (el) gcc 5.4.0
mips64 (el) gcc 5.5.0
mips64 (el) gcc 9.5.0
mips64 clang 13.0.0
mips64 clang 14.0.0
mips64 clang 15.0.0
mips64 clang 16.0.0
mips64 clang 17.0.1
mips64 clang 18.1.0
mips64 clang 19.1.0
mips64 clang 20.1.0
mips64 clang 21.1.0
mips64 gcc 11.2.0
mips64 gcc 12.1.0
mips64 gcc 12.2.0
mips64 gcc 12.3.0
mips64 gcc 12.4.0
mips64 gcc 12.5.0
mips64 gcc 13.1.0
mips64 gcc 13.2.0
mips64 gcc 13.3.0
mips64 gcc 13.4.0
mips64 gcc 14.1.0
mips64 gcc 14.2.0
mips64 gcc 14.3.0
mips64 gcc 15.1.0
mips64 gcc 15.2.0
mips64 gcc 4.9.4
mips64 gcc 5.4.0
mips64 gcc 5.5.0
mips64 gcc 9.5.0
mips64el clang 13.0.0
mips64el clang 14.0.0
mips64el clang 15.0.0
mips64el clang 16.0.0
mips64el clang 17.0.1
mips64el clang 18.1.0
mips64el clang 19.1.0
mips64el clang 20.1.0
mips64el clang 21.1.0
mipsel clang 13.0.0
mipsel clang 14.0.0
mipsel clang 15.0.0
mipsel clang 16.0.0
mipsel clang 17.0.1
mipsel clang 18.1.0
mipsel clang 19.1.0
mipsel clang 20.1.0
mipsel clang 21.1.0
mipsel gcc 12.1.0
mipsel gcc 12.2.0
mipsel gcc 12.3.0
mipsel gcc 12.4.0
mipsel gcc 12.5.0
mipsel gcc 13.1.0
mipsel gcc 13.2.0
mipsel gcc 13.3.0
mipsel gcc 13.4.0
mipsel gcc 14.1.0
mipsel gcc 14.2.0
mipsel gcc 14.3.0
mipsel gcc 15.1.0
mipsel gcc 15.2.0
mipsel gcc 4.9.4
mipsel gcc 5.4.0
mipsel gcc 5.5.0
mipsel gcc 9.5.0
nanoMIPS gcc 6.3.0 (mtk)
power gcc 11.2.0
power gcc 12.1.0
power gcc 12.2.0
power gcc 12.3.0
power gcc 12.4.0
power gcc 12.5.0
power gcc 13.1.0
power gcc 13.2.0
power gcc 13.3.0
power gcc 13.4.0
power gcc 14.1.0
power gcc 14.2.0
power gcc 14.3.0
power gcc 15.1.0
power gcc 15.2.0
power gcc 4.8.5
power64 AT12.0 (gcc8)
power64 AT13.0 (gcc9)
power64 gcc 11.2.0
power64 gcc 12.1.0
power64 gcc 12.2.0
power64 gcc 12.3.0
power64 gcc 12.4.0
power64 gcc 12.5.0
power64 gcc 13.1.0
power64 gcc 13.2.0
power64 gcc 13.3.0
power64 gcc 13.4.0
power64 gcc 14.1.0
power64 gcc 14.2.0
power64 gcc 14.3.0
power64 gcc 15.1.0
power64 gcc 15.2.0
power64 gcc trunk
power64le AT12.0 (gcc8)
power64le AT13.0 (gcc9)
power64le clang (trunk)
power64le gcc 11.2.0
power64le gcc 12.1.0
power64le gcc 12.2.0
power64le gcc 12.3.0
power64le gcc 12.4.0
power64le gcc 12.5.0
power64le gcc 13.1.0
power64le gcc 13.2.0
power64le gcc 13.3.0
power64le gcc 13.4.0
power64le gcc 14.1.0
power64le gcc 14.2.0
power64le gcc 14.3.0
power64le gcc 15.1.0
power64le gcc 15.2.0
power64le gcc 6.3.0
power64le gcc trunk
powerpc64 clang (trunk)
qnx 8.0.0
s390x gcc 11.2.0
s390x gcc 12.1.0
s390x gcc 12.2.0
s390x gcc 12.3.0
s390x gcc 12.4.0
s390x gcc 12.5.0
s390x gcc 13.1.0
s390x gcc 13.2.0
s390x gcc 13.3.0
s390x gcc 13.4.0
s390x gcc 14.1.0
s390x gcc 14.2.0
s390x gcc 14.3.0
s390x gcc 15.1.0
s390x gcc 15.2.0
sh gcc 12.2.0
sh gcc 12.3.0
sh gcc 12.4.0
sh gcc 12.5.0
sh gcc 13.1.0
sh gcc 13.2.0
sh gcc 13.3.0
sh gcc 13.4.0
sh gcc 14.1.0
sh gcc 14.2.0
sh gcc 14.3.0
sh gcc 15.1.0
sh gcc 15.2.0
sh gcc 4.9.4
sh gcc 9.5.0
vast (trunk)
x64 msvc v19.0 (ex-WINE)
x64 msvc v19.10 (ex-WINE)
x64 msvc v19.14 (ex-WINE)
x64 msvc v19.20 VS16.0
x64 msvc v19.21 VS16.1
x64 msvc v19.22 VS16.2
x64 msvc v19.23 VS16.3
x64 msvc v19.24 VS16.4
x64 msvc v19.25 VS16.5
x64 msvc v19.27 VS16.7
x64 msvc v19.28 VS16.8
x64 msvc v19.28 VS16.9
x64 msvc v19.29 VS16.10
x64 msvc v19.29 VS16.11
x64 msvc v19.30 VS17.0
x64 msvc v19.31 VS17.1
x64 msvc v19.32 VS17.2
x64 msvc v19.33 VS17.3
x64 msvc v19.34 VS17.4
x64 msvc v19.35 VS17.5
x64 msvc v19.36 VS17.6
x64 msvc v19.37 VS17.7
x64 msvc v19.38 VS17.8
x64 msvc v19.39 VS17.9
x64 msvc v19.40 VS17.10
x64 msvc v19.41 VS17.11
x64 msvc v19.42 VS17.12
x64 msvc v19.43 VS17.13
x64 msvc v19.latest
x86 djgpp 4.9.4
x86 djgpp 5.5.0
x86 djgpp 6.4.0
x86 djgpp 7.2.0
x86 msvc v19.0 (ex-WINE)
x86 msvc v19.10 (ex-WINE)
x86 msvc v19.14 (ex-WINE)
x86 msvc v19.20 VS16.0
x86 msvc v19.21 VS16.1
x86 msvc v19.22 VS16.2
x86 msvc v19.23 VS16.3
x86 msvc v19.24 VS16.4
x86 msvc v19.25 VS16.5
x86 msvc v19.27 VS16.7
x86 msvc v19.28 VS16.8
x86 msvc v19.28 VS16.9
x86 msvc v19.29 VS16.10
x86 msvc v19.29 VS16.11
x86 msvc v19.30 VS17.0
x86 msvc v19.31 VS17.1
x86 msvc v19.32 VS17.2
x86 msvc v19.33 VS17.3
x86 msvc v19.34 VS17.4
x86 msvc v19.35 VS17.5
x86 msvc v19.36 VS17.6
x86 msvc v19.37 VS17.7
x86 msvc v19.38 VS17.8
x86 msvc v19.39 VS17.9
x86 msvc v19.40 VS17.10
x86 msvc v19.41 VS17.11
x86 msvc v19.42 VS17.12
x86 msvc v19.43 VS17.13
x86 msvc v19.latest
x86 nvc++ 22.11
x86 nvc++ 22.7
x86 nvc++ 22.9
x86 nvc++ 23.1
x86 nvc++ 23.11
x86 nvc++ 23.3
x86 nvc++ 23.5
x86 nvc++ 23.7
x86 nvc++ 23.9
x86 nvc++ 24.1
x86 nvc++ 24.11
x86 nvc++ 24.3
x86 nvc++ 24.5
x86 nvc++ 24.7
x86 nvc++ 24.9
x86 nvc++ 25.1
x86 nvc++ 25.3
x86 nvc++ 25.5
x86 nvc++ 25.7
x86 nvc++ 25.9
x86-64 Zapcc 190308
x86-64 clang (-fimplicit-constexpr)
x86-64 clang (Chris Bazley N3089)
x86-64 clang (EricWF contracts)
x86-64 clang (amd-staging)
x86-64 clang (assertions trunk)
x86-64 clang (clangir)
x86-64 clang (experimental -Wlifetime)
x86-64 clang (experimental P1061)
x86-64 clang (experimental P1144)
x86-64 clang (experimental P1221)
x86-64 clang (experimental P2998)
x86-64 clang (experimental P3068)
x86-64 clang (experimental P3309)
x86-64 clang (experimental P3367)
x86-64 clang (experimental P3372)
x86-64 clang (experimental P3385)
x86-64 clang (experimental P3776)
x86-64 clang (experimental metaprogramming - P2632)
x86-64 clang (old concepts branch)
x86-64 clang (p1974)
x86-64 clang (pattern matching - P2688)
x86-64 clang (reflection - C++26)
x86-64 clang (reflection - TS)
x86-64 clang (resugar)
x86-64 clang (string interpolation - P3412)
x86-64 clang (thephd.dev)
x86-64 clang (trunk)
x86-64 clang (variadic friends - P2893)
x86-64 clang (widberg)
x86-64 clang 10.0.0
x86-64 clang 10.0.0 (assertions)
x86-64 clang 10.0.1
x86-64 clang 11.0.0
x86-64 clang 11.0.0 (assertions)
x86-64 clang 11.0.1
x86-64 clang 12.0.0
x86-64 clang 12.0.0 (assertions)
x86-64 clang 12.0.1
x86-64 clang 13.0.0
x86-64 clang 13.0.0 (assertions)
x86-64 clang 13.0.1
x86-64 clang 14.0.0
x86-64 clang 14.0.0 (assertions)
x86-64 clang 15.0.0
x86-64 clang 15.0.0 (assertions)
x86-64 clang 16.0.0
x86-64 clang 16.0.0 (assertions)
x86-64 clang 17.0.1
x86-64 clang 17.0.1 (assertions)
x86-64 clang 18.1.0
x86-64 clang 18.1.0 (assertions)
x86-64 clang 19.1.0
x86-64 clang 19.1.0 (assertions)
x86-64 clang 2.6.0 (assertions)
x86-64 clang 2.7.0 (assertions)
x86-64 clang 2.8.0 (assertions)
x86-64 clang 2.9.0 (assertions)
x86-64 clang 20.1.0
x86-64 clang 20.1.0 (assertions)
x86-64 clang 21.1.0
x86-64 clang 21.1.0 (assertions)
x86-64 clang 3.0.0
x86-64 clang 3.0.0 (assertions)
x86-64 clang 3.1
x86-64 clang 3.1 (assertions)
x86-64 clang 3.2
x86-64 clang 3.2 (assertions)
x86-64 clang 3.3
x86-64 clang 3.3 (assertions)
x86-64 clang 3.4 (assertions)
x86-64 clang 3.4.1
x86-64 clang 3.5
x86-64 clang 3.5 (assertions)
x86-64 clang 3.5.1
x86-64 clang 3.5.2
x86-64 clang 3.6
x86-64 clang 3.6 (assertions)
x86-64 clang 3.7
x86-64 clang 3.7 (assertions)
x86-64 clang 3.7.1
x86-64 clang 3.8
x86-64 clang 3.8 (assertions)
x86-64 clang 3.8.1
x86-64 clang 3.9.0
x86-64 clang 3.9.0 (assertions)
x86-64 clang 3.9.1
x86-64 clang 4.0.0
x86-64 clang 4.0.0 (assertions)
x86-64 clang 4.0.1
x86-64 clang 5.0.0
x86-64 clang 5.0.0 (assertions)
x86-64 clang 5.0.1
x86-64 clang 5.0.2
x86-64 clang 6.0.0
x86-64 clang 6.0.0 (assertions)
x86-64 clang 6.0.1
x86-64 clang 7.0.0
x86-64 clang 7.0.0 (assertions)
x86-64 clang 7.0.1
x86-64 clang 7.1.0
x86-64 clang 8.0.0
x86-64 clang 8.0.0 (assertions)
x86-64 clang 8.0.1
x86-64 clang 9.0.0
x86-64 clang 9.0.0 (assertions)
x86-64 clang 9.0.1
x86-64 clang rocm-4.5.2
x86-64 clang rocm-5.0.2
x86-64 clang rocm-5.1.3
x86-64 clang rocm-5.2.3
x86-64 clang rocm-5.3.3
x86-64 clang rocm-5.7.0
x86-64 clang rocm-6.0.2
x86-64 clang rocm-6.1.2
x86-64 clang rocm-6.2.4
x86-64 clang rocm-6.3.3
x86-64 clang rocm-6.4.0
x86-64 gcc (P2034 lambdas)
x86-64 gcc (contract labels)
x86-64 gcc (contracts natural syntax)
x86-64 gcc (contracts)
x86-64 gcc (coroutines)
x86-64 gcc (modules)
x86-64 gcc (trunk)
x86-64 gcc 10.1
x86-64 gcc 10.2
x86-64 gcc 10.3
x86-64 gcc 10.3 (assertions)
x86-64 gcc 10.4
x86-64 gcc 10.4 (assertions)
x86-64 gcc 10.5
x86-64 gcc 10.5 (assertions)
x86-64 gcc 11.1
x86-64 gcc 11.1 (assertions)
x86-64 gcc 11.2
x86-64 gcc 11.2 (assertions)
x86-64 gcc 11.3
x86-64 gcc 11.3 (assertions)
x86-64 gcc 11.4
x86-64 gcc 11.4 (assertions)
x86-64 gcc 12.1
x86-64 gcc 12.1 (assertions)
x86-64 gcc 12.2
x86-64 gcc 12.2 (assertions)
x86-64 gcc 12.3
x86-64 gcc 12.3 (assertions)
x86-64 gcc 12.4
x86-64 gcc 12.4 (assertions)
x86-64 gcc 12.5
x86-64 gcc 12.5 (assertions)
x86-64 gcc 13.1
x86-64 gcc 13.1 (assertions)
x86-64 gcc 13.2
x86-64 gcc 13.2 (assertions)
x86-64 gcc 13.3
x86-64 gcc 13.3 (assertions)
x86-64 gcc 13.4
x86-64 gcc 13.4 (assertions)
x86-64 gcc 14.1
x86-64 gcc 14.1 (assertions)
x86-64 gcc 14.2
x86-64 gcc 14.2 (assertions)
x86-64 gcc 14.3
x86-64 gcc 14.3 (assertions)
x86-64 gcc 15.1
x86-64 gcc 15.1 (assertions)
x86-64 gcc 15.2
x86-64 gcc 15.2 (assertions)
x86-64 gcc 3.4.6
x86-64 gcc 4.0.4
x86-64 gcc 4.1.2
x86-64 gcc 4.4.7
x86-64 gcc 4.5.3
x86-64 gcc 4.6.4
x86-64 gcc 4.7.1
x86-64 gcc 4.7.2
x86-64 gcc 4.7.3
x86-64 gcc 4.7.4
x86-64 gcc 4.8.1
x86-64 gcc 4.8.2
x86-64 gcc 4.8.3
x86-64 gcc 4.8.4
x86-64 gcc 4.8.5
x86-64 gcc 4.9.0
x86-64 gcc 4.9.1
x86-64 gcc 4.9.2
x86-64 gcc 4.9.3
x86-64 gcc 4.9.4
x86-64 gcc 5.1
x86-64 gcc 5.2
x86-64 gcc 5.3
x86-64 gcc 5.4
x86-64 gcc 5.5
x86-64 gcc 6.1
x86-64 gcc 6.2
x86-64 gcc 6.3
x86-64 gcc 6.4
x86-64 gcc 6.5
x86-64 gcc 7.1
x86-64 gcc 7.2
x86-64 gcc 7.3
x86-64 gcc 7.4
x86-64 gcc 7.5
x86-64 gcc 8.1
x86-64 gcc 8.2
x86-64 gcc 8.3
x86-64 gcc 8.4
x86-64 gcc 8.5
x86-64 gcc 9.1
x86-64 gcc 9.2
x86-64 gcc 9.3
x86-64 gcc 9.4
x86-64 gcc 9.5
x86-64 icc 13.0.1
x86-64 icc 16.0.3
x86-64 icc 17.0.0
x86-64 icc 18.0.0
x86-64 icc 19.0.0
x86-64 icc 19.0.1
x86-64 icc 2021.1.2
x86-64 icc 2021.10.0
x86-64 icc 2021.2.0
x86-64 icc 2021.3.0
x86-64 icc 2021.4.0
x86-64 icc 2021.5.0
x86-64 icc 2021.6.0
x86-64 icc 2021.7.0
x86-64 icc 2021.7.1
x86-64 icc 2021.8.0
x86-64 icc 2021.9.0
x86-64 icx 2021.1.2
x86-64 icx 2021.2.0
x86-64 icx 2021.3.0
x86-64 icx 2021.4.0
x86-64 icx 2022.0.0
x86-64 icx 2022.1.0
x86-64 icx 2022.2.0
x86-64 icx 2022.2.1
x86-64 icx 2023.0.0
x86-64 icx 2023.1.0
x86-64 icx 2023.2.1
x86-64 icx 2024.0.0
x86-64 icx 2024.1.0
x86-64 icx 2024.2.0
x86-64 icx 2024.2.1
x86-64 icx 2025.0.0
x86-64 icx 2025.0.1
x86-64 icx 2025.0.3
x86-64 icx 2025.0.4
x86-64 icx 2025.1.0
x86-64 icx 2025.1.1
x86-64 icx 2025.2.0
x86-64 icx 2025.2.1
x86-64 icx 2025.2.1
z180-clang 15.0.0
z180-clang 15.0.7
z80-clang 15.0.0
z80-clang 15.0.7
zig c++ 0.10.0
zig c++ 0.11.0
zig c++ 0.12.0
zig c++ 0.12.1
zig c++ 0.13.0
zig c++ 0.14.0
zig c++ 0.14.1
zig c++ 0.15.1
zig c++ 0.6.0
zig c++ 0.7.0
zig c++ 0.7.1
zig c++ 0.8.0
zig c++ 0.9.0
zig c++ trunk
Options
Source code
#include <iterator> #include <memory> #include <utility> #include <utility> #include <type_traits> #include <cstddef> #include <optional> #include <coroutine> #include <cassert> #include <thread> #include <memory_resource> #include <concepts> #define KELCORO_CO_AWAIT_REQUIRED [[nodiscard("forget co_await?")]] #if defined(__GNUC__) || defined(__clang__) #define KELCORO_UNREACHABLE __builtin_unreachable() #elif defined(_MSC_VER) #define KELCORO_UNREACHABLE __assume(false) #else #define KELCORO_UNREACHABLE (void)0 #endif #if !defined(NDEBUG) #define KELCORO_ASSUME(expr) assert(expr) #elif defined(_MSC_VER) #define KELCORO_ASSUME(expr) __assume((expr)) #elif defined(__clang__) #define KELCORO_ASSUME(expr) __builtin_assume((expr)) #elif defined(__GNUC__) #define KELCORO_ASSUME(expr) \ if (!(expr)) \ __builtin_unreachable() #else #define KELCORO_ASSUME(expr) (void)(expr) #endif #if defined(_MSC_VER) && !defined(__clang__) #define KELCORO_LIFETIMEBOUND [[msvc::lifetimebound]] #elif defined(__clang__) #define KELCORO_LIFETIMEBOUND [[clang::lifetimebound]] #else #define KELCORO_LIFETIMEBOUND #endif #if defined(_MSC_VER) && !defined(__clang__) #define KELCORO_PURE #else #define KELCORO_PURE [[gnu::pure]] #endif #ifdef _MSC_VER #define MSVC_EBO __declspec(empty_bases) #else #define MSVC_EBO #endif namespace dd { struct not_movable { constexpr not_movable() noexcept = default; not_movable(not_movable&&) = delete; void operator=(not_movable&&) = delete; }; // CONCEPTS about co_await operator template <typename T> concept has_member_co_await = requires(T (*value)()) { value().operator co_await(); }; template <typename T> concept has_global_co_await = requires(T (*value)()) { operator co_await(value()); }; template <typename T> concept ambigious_co_await_lookup = has_global_co_await<T> && has_member_co_await<T>; // CONCEPT co_awaiter template <typename T> concept co_awaiter = requires(T value) { { value.await_ready() } -> std::same_as<bool>; // cant check await_suspend here because: // case: value.await_suspend(coroutine_handle<>{}) - may be non convertible to concrete // T in signature of await_suspend case: value.await_suspend(nullptr) - may be template // signature, compilation error(cant deduct type) another case - signature with // requires, impossible to know how to call it value.await_resume(); }; // CONCEPT co_awaitable template <typename T> concept co_awaitable = has_member_co_await<T> || has_global_co_await<T> || co_awaiter<T>; // concept of type which can be returned from function or yielded from generator // that is - not function, not array, not cv-qualified (its has no ) // additionally reference is not yieldable(std::ref exists...) template <typename T> concept yieldable = std::same_as<std::decay_t<T>, T> && (!std::is_void_v<T>); template <typename T> concept memory_resource = (!std::is_reference_v<T>) && requires(T value, size_t sz, size_t align, void* ptr) { { value.allocate(sz, align) } -> std::convertible_to<void*>; { value.deallocate(ptr, sz, align) } noexcept -> std::same_as<void>; requires std::is_nothrow_move_constructible_v<T>; requires alignof(T) <= alignof(std::max_align_t); requires !(std::is_empty_v<T> && !std::default_initializable<T>); }; namespace noexport { template <typename T> concept coro = requires { typename T::promise_type; }; } namespace pmr { struct polymorphic_resource { private: std::pmr::memory_resource* passed; static auto& default_resource() { // never null static std::atomic<std::pmr::memory_resource*> r = std::pmr::new_delete_resource(); return r; } static auto& passed_resource() { thread_local constinit std::pmr::memory_resource* r = nullptr; return r; } friend std::pmr::memory_resource& get_default_resource() noexcept; friend std::pmr::memory_resource& set_default_resource(std::pmr::memory_resource&) noexcept; friend void pass_resource(std::pmr::memory_resource&) noexcept; public: polymorphic_resource() noexcept : passed(std::exchange(passed_resource(), nullptr)) { if (!passed) passed = std::pmr::get_default_resource(); assert(passed != nullptr); } void* allocate(size_t sz, size_t align) { return passed->allocate(sz, align); } void deallocate(void* p, std::size_t sz, std::size_t align) noexcept { passed->deallocate(p, sz, align); } }; inline std::pmr::memory_resource& get_default_resource() noexcept { return *polymorphic_resource::default_resource().load(std::memory_order_acquire); } inline std::pmr::memory_resource& set_default_resource(std::pmr::memory_resource& r) noexcept { return *polymorphic_resource::default_resource().exchange(&r, std::memory_order_acq_rel); } inline void pass_resource(std::pmr::memory_resource& m) noexcept { polymorphic_resource::passed_resource() = &m; } } // namespace pmr consteval size_t coroframe_align() { // Question: what will be if coroutine local contains alignas(64) int i; ? // Answer: (quote from std::generator paper) // "Let BAlloc be allocator_traits<A>::template rebind_alloc<U> where U denotes an unspecified type // whose size and alignment are both _STDCPP_DEFAULT_NEW_ALIGNMENT__" return __STDCPP_DEFAULT_NEW_ALIGNMENT__; } // TODO free list with customizable max blocks // must be good because coroutines have same sizes, // its easy to reuse memory for them // TODO info about current channel/generator call, is_top, handle, iteration from top to bot/reverse, swap two // generators in chain // struct co_memory_resource { ... }; // when passed into coroutine coro will allocate/deallocate memory using this resource template <memory_resource R> struct with_resource { [[no_unique_address]] R resource; }; template <typename X> with_resource(X&&) -> with_resource<std::remove_cvref_t<X>>; namespace noexport { template <typename... Args> struct find_resource_tag : std::type_identity<void> {}; template <typename R, typename... Args> struct find_resource_tag<with_resource<R>, Args...> : std::type_identity<R> {}; template <typename Head, typename... Tail> struct find_resource_tag<Head, Tail...> : find_resource_tag<Tail...> {}; } // namespace noexport // searches for 'with_resource' in Types and returns first finded or void if no such template <typename... Types> using find_resource_tag_t = typename noexport::find_resource_tag<std::remove_cvref_t<Types>...>::type; namespace noexport { template <typename... Types> consteval bool contains_1_resource_tag() { return 1 == (!std::is_void_v<find_resource_tag_t<Types>> + ... + 0); } constexpr auto only_for_resource(auto&& foo, auto&&... args) { static_assert(contains_1_resource_tag<decltype(args)...>()); auto try_one = [&](auto& x) { if constexpr (contains_1_resource_tag<decltype(x)>()) foo(x.resource); }; (try_one(args), ...); } template <size_t RequiredPadding> constexpr size_t padding_len(size_t sz) noexcept { enum { P = RequiredPadding }; static_assert(P != 0); return ((P - sz) % P) % P; } } // namespace noexport // inheritor(coroutine promise) may be allocated with 'R' // using 'with_resource' tag or default constructed 'R' template <memory_resource R> struct overload_new_delete { private: enum { frame_align = std::max(coroframe_align(), alignof(R)) }; static void* do_allocate(size_t frame_sz, R& r) { if constexpr (std::is_empty_v<R>) return (void*)r.allocate(frame_sz, coroframe_align()); else { const size_t padding = noexport::padding_len<frame_align>(frame_sz); const size_t bytes_count = frame_sz + padding + sizeof(R); std::byte* p = (std::byte*)r.allocate(bytes_count, frame_align); std::byte* resource_place = p + frame_sz + padding; std::construct_at((R*)resource_place, std::move(r)); return p; } } public: static void* operator new(size_t frame_sz) requires(std::default_initializable<R>) { R r{}; return do_allocate(frame_sz, r); } template <typename... Args> requires(std::same_as<find_resource_tag_t<Args...>, R> && noexport::contains_1_resource_tag<Args...>()) static void* operator new(std::size_t frame_sz, Args&&... args) { void* p; noexport::only_for_resource([&](auto& resource) { p = do_allocate(frame_sz, resource); }, args...); return p; } static void operator delete(void* ptr, std::size_t frame_sz) noexcept { if constexpr (std::is_empty_v<R>) { R r{}; r.deallocate(ptr, frame_sz, coroframe_align()); } else { const size_t padding = noexport::padding_len<frame_align>(frame_sz); const size_t bytes_count = frame_sz + padding + sizeof(R); R* onframe_resource = (R*)((std::byte*)ptr + frame_sz + padding); assert((((uintptr_t)onframe_resource % alignof(R)) == 0)); R r = std::move(*onframe_resource); std::destroy_at(onframe_resource); r.deallocate(ptr, bytes_count, frame_align); } } }; struct enable_resource_deduction {}; // creates type of coroutine which may be allocated with resource 'R' // disables resource deduction // typical usage: aliases like generator_r/channel_r/etc // for not duplicating code and not changing signature with default constructible resources // see dd::pmr::generator as example template <typename Coro, memory_resource R> struct MSVC_EBO resourced : Coro { using resource_type = R; using Coro::Coro; using Coro::operator=; constexpr resourced(auto&&... args) requires(std::constructible_from<Coro, decltype(args)...>) : Coro(std::forward<decltype(args)>(args)...) { } constexpr Coro& decay() & noexcept { return *this; } constexpr Coro&& decay() && noexcept { return std::move(*this); } constexpr const Coro& decay() const& noexcept { return *this; } constexpr const Coro&& decay() const&& noexcept { return std::move(*this); } }; template <typename Promise, memory_resource R> struct MSVC_EBO resourced_promise : Promise, overload_new_delete<R> { using Promise::Promise; using Promise::operator=; constexpr resourced_promise(auto&&... args) requires(std::constructible_from<Promise, decltype(args)...>) : Promise(std::forward<decltype(args)>(args)...) { } using overload_new_delete<R>::operator new; using overload_new_delete<R>::operator delete; // assume sizeof and alignof of *this is equal with 'Promise' // its formal UB, but its used in reference implementation, // standard wording goes wrong }; // 'teaches' promise to return template <typename T> struct return_block { std::optional<T> storage = std::nullopt; constexpr void return_value(T value) noexcept(std::is_nothrow_move_constructible_v<T>) { storage.emplace(std::move(value)); } constexpr T result() noexcept(noexcept(*std::move(storage))) { return *std::move(storage); } }; template <typename T> struct return_block<T&> { T* storage = nullptr; constexpr void return_value(T& value) noexcept { storage = std::addressof(value); } constexpr T& result() noexcept { assert(storage != nullptr); return *storage; } }; template <> struct return_block<void> { constexpr void return_void() const noexcept { } }; struct [[nodiscard("co_await it!")]] transfer_control_to { std::coroutine_handle<> who_waits; bool await_ready() const noexcept { assert(who_waits != nullptr); return false; } std::coroutine_handle<> await_suspend(std::coroutine_handle<>) noexcept { return who_waits; // symmetric transfer here } static constexpr void await_resume() noexcept { } }; template <std::invocable<> F> struct [[nodiscard("Dont forget to name it!")]] scope_exit { [[no_unique_address]] F todo; scope_exit(F todo) : todo(std::move(todo)) { } constexpr ~scope_exit() noexcept(std::is_nothrow_invocable_v<F&>) { todo(); } }; template <typename T> concept executor = requires(T& value) { value.execute([] {}); }; // DEFAULT EXECUTORS struct noop_executor { template <std::invocable F> void execute(F&&) const noexcept { } }; struct this_thread_executor { template <std::invocable F> void execute(F&& f) const noexcept(std::is_nothrow_invocable_v<F&&>) { (void)std::forward<F>(f)(); } }; struct new_thread_executor { template <std::invocable F> void execute(F&& f) const { std::thread([foo = std::forward<F>(f)]() mutable { (void)std::forward<F>(foo)(); }).detach(); } }; template <executor E> struct KELCORO_CO_AWAIT_REQUIRED jump_on { [[no_unique_address]] E e; #if __cpp_aggregate_paren_init < 201902L constexpr jump_on(std::type_identity_t<E> e) noexcept : e(static_cast<E&&>(e)) { } #endif static constexpr bool await_ready() noexcept { return false; } constexpr void await_suspend(std::coroutine_handle<> handle) const { e.execute(handle); } static constexpr void await_resume() noexcept { } }; template <typename E> jump_on(E&&) -> jump_on<E>; struct KELCORO_CO_AWAIT_REQUIRED get_handle_t { private: struct return_handle { std::coroutine_handle<> handle_; static constexpr bool await_ready() noexcept { return false; } bool await_suspend(std::coroutine_handle<> handle) noexcept { handle_ = handle; return false; } std::coroutine_handle<> await_resume() const noexcept { return handle_; } }; public: return_handle operator co_await() const noexcept { return return_handle{}; } }; namespace this_coro { // provides access to inner handle of coroutine constexpr inline get_handle_t handle = {}; } // namespace this_coro // imitating compiler behaviour for co_await expression mutation into awaiter(without await_transform) // very usefull if you have await_transform and for all other types you need default behavior template <co_awaitable T> constexpr decltype(auto) build_awaiter(T&& value) { static_assert(!ambigious_co_await_lookup<T>); if constexpr (co_awaiter<T&&>) // first bcs can have operator co_await too return std::forward<T>(value); else if constexpr (has_global_co_await<T&&>) return operator co_await(std::forward<T>(value)); else if constexpr (has_member_co_await<T&&>) return std::forward<T>(value).operator co_await(); } template <typename R> struct elements_of { [[no_unique_address]] R rng; #if __cpp_aggregate_paren_init < 201902L // may be clang will never support aggregate () initialization... constexpr elements_of(std::type_identity_t<R> rng) noexcept : rng(static_cast<R&&>(rng)) { } #endif }; template <typename R> elements_of(R&&) -> elements_of<R&&>; // tag for yielding from generator/channel by reference. // This means, if 'value' will be changed by caller it will be // observable from coroutine // example: // int i = 0; // co_yield ref{i}; // -- at this point 'i' may be != 0, if caller changed it template <typename Yield> struct by_ref { Yield& value; }; template <typename Yield> by_ref(Yield&) -> by_ref<Yield>; template <yieldable> struct generator_promise; template <yieldable> struct channel_promise; template <yieldable> struct generator_iterator; template <yieldable> struct channel_iterator; template <yieldable> struct generator; template <yieldable> struct channel; template <typename> struct elements_of; } // namespace dd namespace dd::noexport { template <typename Leaf> struct attach_leaf { Leaf leaf; bool await_ready() const noexcept { return leaf.empty(); } std::coroutine_handle<> await_suspend(typename Leaf::handle_type owner) const noexcept { assert(owner != leaf.top); auto& leaf_p = leaf.top.promise(); auto& root_p = *owner.promise().root; leaf_p.current_worker.promise().root = &root_p; leaf_p._owner = owner; root_p.current_worker = leaf_p.current_worker; return leaf_p.current_worker; } // support yielding generators with different resource template <memory_resource R> auto await_suspend(std::coroutine_handle<resourced_promise<typename Leaf::promise_type, R>> handle) { return await_suspend(handle.promise().self_handle()); } static constexpr void await_resume() noexcept { } }; template <yieldable Y, typename Generator> Generator to_generator(auto&& rng) { // 'rng' captured by ref because used as part of 'co_yield' expression if constexpr (!std::ranges::borrowed_range<decltype(rng)> && std::is_same_v<std::ranges::range_rvalue_reference_t<decltype(rng)>, Y&&>) { using std::begin; using std::end; auto&& b = begin(rng); auto&& e = end(rng); for (; b != e; ++b) co_yield std::ranges::iter_move(b); } else { for (auto&& x : rng) co_yield static_cast<Y&&>(std::forward<decltype(x)>(x)); } } template <typename, yieldable, template <typename> typename> struct extract_from; template <typename Rng, yieldable Y> struct extract_from<Rng, Y, generator> { static generator<Y> do_(generator<Y>* g) { return std::move(*g); } template <memory_resource R> static generator<Y> do_(resourced<generator<Y>, R>* g) { return do_(&g->decay()); } static generator<Y> do_(auto* r) { return to_generator<Y, generator<Y>>(static_cast<Rng&&>(*r)); } }; template <typename Rng, yieldable Y> struct extract_from<Rng, Y, channel> { static channel<Y> do_(channel<Y>* g) { return std::move(*g); } template <memory_resource R> static channel<Y> do_(resourced<channel<Y>, R>* g) { return do_(&g->decay()); } template <yieldable OtherY> static channel<Y> do_(channel<OtherY>* g) { auto& c = *g; // note: (void)(co_await) (++b)) only because gcc has bug, its not required for (auto b = co_await c.begin(); b != c.end(); (void)(co_await (++b))) co_yield static_cast<Y&&>(*b); } template <yieldable OtherY, memory_resource R> static channel<Y> do_(resourced<channel<OtherY>, R>* g) { return do_(&g->decay()); } static channel<Y> do_(auto* r) { return to_generator<Y, channel<Y>>(static_cast<Rng&&>(*r)); } }; template <yieldable Y, template <typename> typename G, typename Rng> attach_leaf<G<Y>> create_and_attach_leaf(elements_of<Rng>&& e) { return attach_leaf<G<Y>>{extract_from<Rng, Y, G>::do_(std::addressof(e.rng))}; } template <typename Yield> struct hold_value_until_resume { Yield value; static constexpr bool await_ready() noexcept { return false; } void await_suspend(std::coroutine_handle<generator_promise<Yield>> handle) noexcept { handle.promise().set_result(std::addressof(value)); } std::coroutine_handle<> await_suspend(std::coroutine_handle<channel_promise<Yield>> handle) noexcept { handle.promise().set_result(std::addressof(value)); return handle.promise().consumer_handle(); } template <memory_resource R> void await_suspend(std::coroutine_handle<resourced_promise<generator_promise<Yield>, R>> handle) noexcept { // decay handle return await_suspend(handle.promise().self_handle()); } template <memory_resource R> std::coroutine_handle<> await_suspend( std::coroutine_handle<resourced_promise<channel_promise<Yield>, R>> handle) noexcept { // decay handle return await_suspend(handle.promise().self_handle()); } static constexpr void await_resume() noexcept { } }; } // namespace dd::noexport namespace std { template <::dd::noexport::coro Coro, ::dd::memory_resource R, typename... Args> struct coroutine_traits<::dd::resourced<Coro, R>, Args...> { using promise_type = ::dd::resourced_promise<typename Coro::promise_type, R>; }; template <::dd::noexport::coro Coro, typename... Args> requires derived_from<Coro, ::dd::enable_resource_deduction> struct coroutine_traits<Coro, Args...> { private: template <typename Promise> static auto deduct_promise() { if constexpr (::dd::noexport::contains_1_resource_tag<Args...>()) return std::type_identity<::dd::resourced_promise<Promise, ::dd::find_resource_tag_t<Args...>>>{}; else return std::type_identity<Promise>{}; } public: // if Args contain exactly ONE(1) 'with_resource<X>' it is used, otherwise Coro::promise_type selected using promise_type = typename decltype(deduct_promise<typename Coro::promise_type>())::type; }; } // namespace std #ifdef __clang__ #pragma clang diagnostic push #pragma clang diagnostic ignored "-Wunknown-attributes" #endif #ifdef __GNUC__ #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wattributes" #endif namespace dd { template <yieldable Yield> struct generator_promise : not_movable { using handle_type = std::coroutine_handle<generator_promise>; private: friend generator<Yield>; friend generator_iterator<Yield>; friend noexport::attach_leaf<generator<Yield>>; friend noexport::hold_value_until_resume<Yield>; // invariant: root != nullptr generator_promise* root = this; handle_type current_worker = self_handle(); union { Yield** _current_result_ptr; // setted only in root handle_type _owner; // setted only in leafs }; handle_type owner() const noexcept { KELCORO_ASSUME(root != this); return _owner; } void set_result(Yield* v) const noexcept { *root->_current_result_ptr = v; } KELCORO_PURE handle_type self_handle() noexcept { return handle_type::from_promise(*this); } void skip_this_leaf() const noexcept { KELCORO_ASSUME(root != this); generator_promise& owner_p = _owner.promise(); KELCORO_ASSUME(&owner_p != this); owner_p.root = root; root->current_worker = _owner; } public: constexpr generator_promise() noexcept { } generator<Yield> get_return_object() noexcept { return generator<Yield>(self_handle()); } // there are no correct things which you can do with co_await in generator void await_transform(auto&&) = delete; auto await_transform(get_handle_t) noexcept { return this_coro::handle.operator co_await(); } std::suspend_always yield_value(Yield&& rvalue) noexcept { set_result(std::addressof(rvalue)); return {}; } noexport::hold_value_until_resume<Yield> yield_value(const Yield& clvalue) noexcept( std::is_nothrow_copy_constructible_v<Yield>) { return noexport::hold_value_until_resume<Yield>{Yield(clvalue)}; } std::suspend_always yield_value(by_ref<Yield> r) noexcept { set_result(std::addressof(r.value)); return {}; } template <typename R> noexport::attach_leaf<generator<Yield>> yield_value(elements_of<R> e) noexcept { return noexport::create_and_attach_leaf<Yield, generator>(std::move(e)); } static constexpr std::suspend_always initial_suspend() noexcept { return {}; } // *this is an final awaiter for size optimization static constexpr bool await_ready() noexcept { return false; } static constexpr void await_resume() noexcept { } constexpr std::coroutine_handle<> await_suspend(std::coroutine_handle<>) const noexcept { if (root != this) { skip_this_leaf(); return owner(); } set_result(nullptr); return std::noop_coroutine(); } const generator_promise& final_suspend() const noexcept { return *this; } static constexpr void return_void() noexcept { } [[noreturn]] void unhandled_exception() { if (root != this) skip_this_leaf(); set_result(nullptr); throw; } }; // no default ctor, because its input iterator // behaves also as generator_view (has its own begin/end) template <yieldable Yield> struct generator_iterator { private: // invariant: != nullptr, ptr for trivial copy/move generator<Yield>* self; public: constexpr explicit generator_iterator(generator<Yield>& g) noexcept : self(std::addressof(g)) { } using iterator_category = std::input_iterator_tag; using value_type = Yield; using reference = Yield&&; using difference_type = ptrdiff_t; // return true if they are attached to same 'channel' object constexpr bool equivalent(const generator_iterator& other) const noexcept { return self == other.self; } generator<Yield>& owner() const noexcept { return *self; } KELCORO_PURE constexpr bool operator==(std::default_sentinel_t) const noexcept { return self->current_result == nullptr; } // * returns rvalue ref constexpr reference operator*() const noexcept { KELCORO_ASSUME(*this != std::default_sentinel); return static_cast<reference>(*self->current_result); } // * after invoking references to value from operator* are invalidated generator_iterator& operator++() KELCORO_LIFETIMEBOUND { KELCORO_ASSUME(!self->empty()); const auto* const self_before = self; const auto* const top_address_before = self->top.address(); self->top.promise().current_worker.resume(); KELCORO_ASSUME(self_before == self); const auto* const top_address_after = self->top.address(); KELCORO_ASSUME(top_address_before == top_address_after); return *this; } void operator++(int) { ++(*this); } }; // * produces first value when .begin called // * recursive (co_yield dd::elements_of(rng)) // * default constructed generator is an empty range // notes: // * generator ignores fact, that 'destroy' may throw exception from destructor of object in coroutine, it // will lead to std::terminate // * if exception was throwed from recursivelly co_yielded generator, then this leaf just skipped and caller // can continue iterating after catch(requires new .begin call) // template <yieldable Yield> struct generator : enable_resource_deduction { using promise_type = generator_promise<Yield>; using handle_type = std::coroutine_handle<promise_type>; using value_type = Yield; using iterator = generator_iterator<Yield>; private: friend generator_iterator<Yield>; friend generator_promise<Yield>; friend noexport::attach_leaf<generator>; // invariant: == nullptr when top.done() Yield* current_result = nullptr; handle_type top = nullptr; // precondition: 'handle' != nullptr, handle does not have other owners // used from promise::get_return_object constexpr explicit generator(handle_type top) noexcept : top(top) { } public: // postcondition: empty(), 'for' loop produces 0 values constexpr generator() noexcept = default; // postconditions: // * other.empty() // * iterators to 'other' == end() constexpr generator(generator&& other) noexcept { swap(other); } constexpr generator& operator=(generator&& other) noexcept { swap(other); return *this; } // iterators to 'other' and 'this' are swapped too constexpr void swap(generator& other) noexcept { std::swap(current_result, other.current_result); std::swap(top, other.top); } friend constexpr void swap(generator& a, generator& b) noexcept { a.swap(b); } constexpr void reset(handle_type handle) noexcept { clear(); top = handle; } // postcondition: .empty() // its caller responsibility to correctly destroy handle [[nodiscard]] constexpr handle_type release() noexcept { return std::exchange(top, nullptr); } // postcondition: .empty() constexpr void clear() noexcept { if (top) { top.destroy(); top = nullptr; } } constexpr ~generator() { clear(); } // observers KELCORO_PURE constexpr bool empty() const noexcept { return !top || top.done(); } constexpr explicit operator bool() const noexcept { return !empty(); } bool operator==(const generator& other) const noexcept { if (this == &other) // invariant: coro handle has only one owner return true; return empty() && other.empty(); } // * if .empty(), then begin() == end() // * produces next value(often first) // iterator invalidated only when generator dies iterator begin() & KELCORO_LIFETIMEBOUND { if (!empty()) [[likely]] { top.promise()._current_result_ptr = ¤t_result; const auto* const top_address_before = top.address(); top.promise().current_worker.resume(); const auto* const top_address_after = top.address(); KELCORO_ASSUME(top_address_before == top_address_after); } return iterator{*this}; } static constexpr std::default_sentinel_t end() noexcept { return std::default_sentinel; } }; template <yieldable Y, memory_resource R> using generator_r = resourced<generator<Y>, R>; namespace pmr { template <yieldable Y> using generator = ::dd::generator_r<Y, polymorphic_resource>; } } // namespace dd #ifdef __clang__ #pragma clang diagnostic pop #endif #ifdef __GNUC__ #pragma GCC diagnostic pop #endif /////////////////////////////////////////// /// TESTS /// /////////////////////////////////////////// #include <string> #include <iostream> #include <cstring> void use(int*); dd::generator<int> g(int i) { co_yield 1; int arr[i]; use(arr); }
Become a Patron
Sponsor on GitHub
Donate via PayPal
Compiler Explorer Shop
Source on GitHub
Mailing list
Installed libraries
Wiki
Report an issue
How it works
Contact the author
CE on Mastodon
CE on Bluesky
Statistics
Changelog
Version tree