Thanks for using Compiler Explorer
Sponsors
Jakt
C++
Ada
Analysis
Android Java
Android Kotlin
Assembly
C
C3
Carbon
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#
Go
Haskell
HLSL
Hook
Hylo
ispc
Java
Julia
Kotlin
LLVM IR
LLVM MIR
Modula-2
Nim
Objective-C
Objective-C++
OCaml
OpenCL C
Pascal
Pony
Python
Racket
Ruby
Rust
Snowball
Scala
Solidity
Spice
Swift
LLVM TableGen
Toit
TypeScript Native
V
Vala
Visual Basic
Zig
Javascript
GIMPLE
c++ source #1
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 13.1.0
ARM GCC 13.2.0
ARM GCC 13.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 (WINE)
ARM msvc v19.10 (WINE)
ARM msvc v19.14 (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 13.1.0
ARM64 gcc 13.2.0
ARM64 gcc 5.4
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 (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 13.1.0
AVR gcc 13.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 gcc 13.1.0
BPF gcc 13.2.0
BPF gcc trunk
EDG (experimental reflection)
EDG 6.5
EDG 6.5 (GNU mode gcc 13)
EDG 6.6
EDG 6.6 (GNU mode gcc 13)
FRC 2019
FRC 2020
FRC 2023
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)
M68K gcc 13.1.0
M68K gcc 13.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
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 13.1.0
RISC-V (32-bits) gcc 13.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 13.1.0
RISC-V (64-bits) gcc 13.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 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 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 13.1.0
SPARC LEON gcc 13.2.0
SPARC gcc 12.2.0
SPARC gcc 12.3.0
SPARC gcc 13.1.0
SPARC gcc 13.2.0
SPARC64 gcc 12.2.0
SPARC64 gcc 12.3.0
SPARC64 gcc 13.1.0
SPARC64 gcc 13.2.0
TI C6x gcc 12.2.0
TI C6x gcc 12.3.0
TI C6x gcc 13.1.0
TI C6x gcc 13.2.0
TI CL430 21.6.1
VAX gcc NetBSDELF 10.4.0
VAX gcc NetBSDELF 10.5.0 (Nov 15 03:50:22 2023)
WebAssembly clang (trunk)
Xtensa ESP32 gcc 11.2.0 (2022r1)
Xtensa ESP32 gcc 12.2.0 (20230208)
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 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 8.4.0 (2020r3)
Xtensa ESP32-S3 gcc 8.4.0 (2021r1)
Xtensa ESP32-S3 gcc 8.4.0 (2021r2)
arm64 msvc v19.28 VS16.9
arm64 msvc v19.29 VS16.10
arm64 msvc v19.29 VS16.11
arm64 msvc v19.30
arm64 msvc v19.31
arm64 msvc v19.32
arm64 msvc v19.33
arm64 msvc v19.34
arm64 msvc v19.35
arm64 msvc v19.36
arm64 msvc v19.37
arm64 msvc v19.38
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 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 9.0.0
armv8-a clang 9.0.1
ellcc 0.1.33
ellcc 0.1.34
ellcc 2017-07-16
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 13.1.0
loongarch64 gcc 13.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 gcc 11.2.0
mips gcc 12.1.0
mips gcc 12.2.0
mips gcc 12.3.0
mips gcc 13.1.0
mips gcc 13.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 13.1.0
mips64 (el) gcc 13.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 gcc 11.2.0
mips64 gcc 12.1.0
mips64 gcc 12.2.0
mips64 gcc 12.3.0
mips64 gcc 13.1.0
mips64 gcc 13.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
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 gcc 12.1.0
mipsel gcc 12.2.0
mipsel gcc 12.3.0
mipsel gcc 13.1.0
mipsel gcc 13.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 13.1.0
power gcc 13.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 13.1.0
power64 gcc 13.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 13.1.0
power64le gcc 13.2.0
power64le gcc 6.3.0
power64le gcc trunk
powerpc64 clang (trunk)
s390x gcc 11.2.0
s390x gcc 12.1.0
s390x gcc 12.2.0
s390x gcc 12.3.0
s390x gcc 13.1.0
s390x gcc 13.2.0
sh gcc 12.2.0
sh gcc 12.3.0
sh gcc 13.1.0
sh gcc 13.2.0
sh gcc 4.9.4
sh gcc 9.5.0
vast (trunk)
x64 msvc v19.0 (WINE)
x64 msvc v19.10 (WINE)
x64 msvc v19.14
x64 msvc v19.14 (WINE)
x64 msvc v19.15
x64 msvc v19.16
x64 msvc v19.20
x64 msvc v19.21
x64 msvc v19.22
x64 msvc v19.23
x64 msvc v19.24
x64 msvc v19.25
x64 msvc v19.26
x64 msvc v19.27
x64 msvc v19.28
x64 msvc v19.28 VS16.9
x64 msvc v19.29 VS16.10
x64 msvc v19.29 VS16.11
x64 msvc v19.30
x64 msvc v19.31
x64 msvc v19.32
x64 msvc v19.33
x64 msvc v19.34
x64 msvc v19.35
x64 msvc v19.36
x64 msvc v19.37
x64 msvc v19.38
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 (WINE)
x86 msvc v19.10 (WINE)
x86 msvc v19.14
x86 msvc v19.14 (WINE)
x86 msvc v19.15
x86 msvc v19.16
x86 msvc v19.20
x86 msvc v19.21
x86 msvc v19.22
x86 msvc v19.23
x86 msvc v19.24
x86 msvc v19.25
x86 msvc v19.26
x86 msvc v19.27
x86 msvc v19.28
x86 msvc v19.28 VS16.9
x86 msvc v19.29 VS16.10
x86 msvc v19.29 VS16.11
x86 msvc v19.30
x86 msvc v19.31
x86 msvc v19.32
x86 msvc v19.33
x86 msvc v19.34
x86 msvc v19.35
x86 msvc v19.36
x86 msvc v19.37
x86 msvc v19.38
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.3
x86-64 Zapcc 190308
x86-64 clang (amd-stg-open)
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 P2996)
x86-64 clang (experimental metaprogramming - P2632)
x86-64 clang (experimental pattern matching)
x86-64 clang (old concepts branch)
x86-64 clang (reflection)
x86-64 clang (resugar)
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 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 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 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.4
x86-64 gcc 10.5
x86-64 gcc 11.1
x86-64 gcc 11.2
x86-64 gcc 11.3
x86-64 gcc 11.4
x86-64 gcc 12.1
x86-64 gcc 12.2
x86-64 gcc 12.3
x86-64 gcc 13.1
x86-64 gcc 13.2
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 (latest)
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
zig c++ 0.10.0
zig c++ 0.11.0
zig c++ 0.12.0
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
/* mbed Microcontroller Library * Copyright (c) 2006-2019 ARM Limited * SPDX-License-Identifier: Apache-2.0 * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ #ifndef MBED_CALLBACK_H #define MBED_CALLBACK_H #include <cassert> #include <cstring> #include <cstddef> #include <stdint.h> #include <new> #include <type_traits> #include <functional> namespace mstd = std; template<typename T> struct type_identity { using type = T; }; template <typename T> using type_identity_t = typename type_identity<T>::type; template <typename T> struct remove_cvref : type_identity<std::remove_cv_t<std::remove_reference_t<T>>> { }; template <typename T> using remove_cvref_t = typename remove_cvref<T>::type; // Controlling switches from config: // MBED_CONF_PLATFORM_CALLBACK_NONTRIVIAL - support storing non-trivial function objects // MBED_CONF_PLATFORM_CALLBACK_COMPARABLE - support memcmp comparing stored objects (requires zero padding) namespace mbed { /** \addtogroup platform-public-api */ /** @{*/ /** * \defgroup platform_Callback Callback class * @{ */ /** Callback class based on template specialization * * @note Synchronization level: Not protected */ template <typename Signature> class Callback; namespace detail { /* Convert pointer-to-member type to member type */ template <typename T> struct member_type { }; template <typename M, class C> struct member_type<M C::*> : type_identity<M> { }; template <typename T> using member_type_t = typename member_type<T>::type; /* Remove cv-qualifiers and lvalue ref-qualifiers */ /* Not rvalue - we store the function object, so are always going to call it on an lvalue */ template <typename T> struct unqualify_fn { }; // *INDENT-OFF* template <typename R, typename... Args> struct unqualify_fn<R(Args...)> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) &> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) const> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) const &> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) volatile> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) volatile &> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) const volatile> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) const volatile &> : type_identity<R(Args...)> { }; #if __cplusplus >=201703 || __cpp_noexcept_function_type >= 201510 /* We have to spell out all c/v/ref/noexcept versions here, as specialization needs exact type match */ /* Compare to callback() and deduction guides, where dropping the noexcept is a permitted conversion */ template <typename R, typename... Args> struct unqualify_fn<R(Args...) noexcept> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) & noexcept> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) const noexcept> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) const & noexcept> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) volatile noexcept> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) volatile & noexcept> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) const volatile noexcept> : type_identity<R(Args...)> { }; template <typename R, typename... Args> struct unqualify_fn<R(Args...) const volatile & noexcept> : type_identity<R(Args...)> { }; #endif template <typename T> using unqualify_fn_t = typename unqualify_fn<T>::type; template <typename R, typename F, typename... Args, typename std::enable_if_t<!std::is_void<R>::value, int> = 0> R invoke_r(F&& f, Args&&... args) { return mstd::invoke(std::forward<F>(f), std::forward<Args>(args)...); } template <typename R, typename F, typename... Args, typename std::enable_if_t<std::is_void<R>::value, int> = 0> R invoke_r(F&& f, Args&&... args) { static_cast<void>(mstd::invoke(std::forward<F>(f), std::forward<Args>(args)...)); } template<typename F> struct can_null_check : mstd::disjunction< std::is_function<std::remove_pointer_t<F>>, std::is_member_pointer<F> > { }; // *INDENT-ON* struct CallbackBase { // Storage is sufficient to hold at least a pointer to member // function, and an object pointer. struct _model_function_object { struct _class; void (_class::*_methodfunc)(int); void *obj; }; using Store = std::aligned_storage_t<sizeof(_model_function_object), alignof(_model_function_object)>; Store _storage; void (*_call)(); // type-erased function pointer using Control = void(*)(); // Construct as empty CallbackBase(std::nullptr_t) noexcept : _call(nullptr) { } // Default constructor - no initialization CallbackBase() = default; Control &control() { return _call; } const Control &control() const { return _call; } auto call_fn() const { return _call; } // Clear to empty - does not destroy void clear() noexcept { // For copy efficiency we only zero out the operation pointer // Therefore storage is undefined when we are empty. // Callback-to-Callback comparison operator has to deal with this, // but such comparisons are rare. Comparisons to empty are efficient. control() = nullptr; memset(&_storage, 0, sizeof _storage); } template <typename F> F *functor() { return mstd::launder(reinterpret_cast<F *>(&_storage)); } template <typename F> const F *functor() const { return mstd::launder(reinterpret_cast<const F *>(&_storage)); } // Destroy anything we hold - does not reset, so we are in undefined state afterwards. // Must be followed by copy, move, reset, or destruction of the CallbackBase void destroy() { } }; } /** Callback class based on template specialization * * @note Synchronization level: Not protected */ template <typename R, typename... ArgTs> class Callback<R(ArgTs...)> : private detail::CallbackBase { public: using result_type = R; /** Create an empty Callback */ Callback() noexcept : CallbackBase(nullptr) { } /** Create an empty Callback */ Callback(std::nullptr_t) noexcept : Callback() { } Callback(const Callback &other) = default; Callback(Callback &&other) = default; /** Create a Callback with a member function * @param obj Pointer to object to invoke member function on * @param method Member function to attach */ template<typename Obj, typename Method, typename std::enable_if_t<mstd::is_invocable_r<R, Method, Obj, ArgTs...>::value, int> = 0> Callback(Obj obj, Method method) : CallbackBase() { generate([obj, method](ArgTs... args) { return detail::invoke_r<R>(method, obj, std::forward<ArgTs>(args)...); }); } /** Create a Callback with a static function and bound pointer * @param func Static function to attach * @param arg Pointer argument to function */ template<typename Fn, typename BoundArg, typename std::enable_if_t<mstd::is_invocable_r<R, Fn, BoundArg, ArgTs...>::value, int> = 0> Callback(Fn func, BoundArg arg) : CallbackBase() { generate([func, arg](ArgTs... args) { return detail::invoke_r<R>(func, arg, std::forward<ArgTs>(args)...); }); } // *INDENT-OFF* /** Create a Callback with a function object * @param f Function object to attach * @note The function object is limited to a a few words of storage */ template <typename F, typename std::enable_if_t< !detail::can_null_check<F>::value && mstd::is_invocable_r<R, F, ArgTs...>::value, int> = 0> Callback(F f) : CallbackBase() { static_assert(std::is_copy_constructible<F>::value, "Callback F must be CopyConstructible"); generate(std::move(f)); } /** Create a Callback with a function pointer * @param f Function pointer to attach */ template <typename F, typename std::enable_if_t< detail::can_null_check<F>::value && mstd::is_invocable_r<R, F, ArgTs...>::value, int> = 0> Callback(F f) : CallbackBase() { static_assert(std::is_copy_constructible<F>::value, "Callback F must be CopyConstructible"); if (!f) { clear(); } else { generate(std::move(f)); } } // *INDENT-ON* Callback &operator=(const Callback &that) = default; Callback &operator=(Callback &&that) = default; /** Assign a callback */ // C++ std::function lacks the is_same restriction here, which would mean non-const lvalue references hit this, // rather than the normal copy assignment (`F &&` is a better match for `Callback &` than `const Callback &`). // Wouldn't matter if both used the swap form, but having cut it down, for code size want to ensure we don't use this // instead of copy assignment. (If nontrivial disabled, definitely want to use the default copy assignment, and // if nontrivial enabled, we know this doesn't handle self-assignment). // *INDENT-OFF* template <typename F, typename = std::enable_if_t< mstd::is_invocable_r<R, F, ArgTs...>::value && !mstd::is_same<remove_cvref_t<F>, Callback>::value>> Callback &operator=(F &&f) { // C++ standard says to use swap, but that's overkill with no exceptions // Callback(std::forward<F>(that)).swap(*this); this->~Callback(); new (this) Callback(std::forward<F>(f)); return *this; } // *INDENT-ON* /** Empty a callback */ Callback &operator=(std::nullptr_t) noexcept { destroy(); clear(); return *this; } /** Call the attached function */ R call(ArgTs... args) const { assert(bool(*this)); auto op_call = reinterpret_cast<call_type *>(call_fn()); return op_call(this, args...); } /** Call the attached function */ R operator()(ArgTs... args) const { return call(args...); } /** Test if function has been assigned */ explicit operator bool() const noexcept { return control(); } /** Static thunk for passing as C-style function * @param func Callback to call passed as void pointer * @param args Arguments to be called with function func * @return the value as determined by func which is of * type and determined by the signature of func */ static R thunk(void *func, ArgTs... args) { return static_cast<Callback *>(func)->call(args...); } private: using call_type = R(const CallbackBase *, ArgTs...); // *INDENT-OFF* // Generate operations for function object // Storage assumed to be uninitialised - destructor should have already been called if it was previously used // When generating, function object should always be moved template <typename F, typename = std::enable_if_t<!std::is_lvalue_reference<F>::value>> void generate(F &&f) { static_assert(std::is_same<decltype(target_call<F>), call_type>::value, "Call type mismatch"); static_assert(sizeof(Callback) == sizeof(CallbackBase), "Callback should be same size as CallbackBase"); static_assert(std::is_trivially_copyable<CallbackBase>::value, "CallbackBase expected to be TriviallyCopyable"); clear(); // Set the control pointer // Avoid the need for the const ops table - just one function pointer in the Callback itself _call = reinterpret_cast<void (*)()>(target_call<F>); static_assert(std::is_trivially_copyable<F>::value, "F must be TriviallyCopyable. Turn on Mbed configuration option 'platform.callback-nontrivial' to use more complex function objects"); static_assert(std::is_trivially_copyable<Callback>::value, "Callback expected to be TriviallyCopyable"); // Move the functor into storage static_assert(sizeof(F) <= sizeof(Store) && alignof(F) <= alignof(Store), "Type F must not exceed the size of the Callback class"); #if MBED_CONF_PLATFORM_CALLBACK_NONTRIVIAL || 1 new (&_storage) F(std::move(f)); #else // Placement new above should work, but GCC crashes have been seen. // GCC fails to preserve the ordering of construct-into-A, copy A->B. // I can't identify any undefined behavior, but using memcpy instead of // placement-new-copy/move-construct seems to avoid the issue. std::memcpy(&_storage, &f, sizeof(F)); #endif } // *INDENT-ON* // Target call routine - custom needed for each <F,R,ArgTs...> tuple template <typename F> static R target_call(const CallbackBase *p, ArgTs... args) { // Need for const_cast here correlates to a std::function bug - see P0045 and N4159 F &f = *const_cast<F *>(p->functor<F>()); return detail::invoke_r<R>(f, std::forward<ArgTs>(args)...); } }; /** Create a callback class with type inferred from the arguments * * @param func Static function to attach * @return Callback with inferred type */ template <typename R, typename... ArgTs> Callback<R(ArgTs...)> callback(R(*func)(ArgTs...) = nullptr) noexcept { return Callback<R(ArgTs...)>(func); } /** Create a callback class with type inferred from the arguments * * @param func Static function to attach * @return Callback with inferred type */ template <typename R, typename... ArgTs> Callback<R(ArgTs...)> callback(const Callback<R(ArgTs...)> &func) { return Callback<R(ArgTs...)>(func); } /** Create a callback class with type inferred from the arguments * * @param func Static function to attach * @return Callback with inferred type */ template <typename R, typename... ArgTs> Callback<R(ArgTs...)> callback(Callback<R(ArgTs...)> &&func) noexcept { return Callback<R(ArgTs...)>(std::move(func)); } /** Create a callback class with type inferred from the arguments * * @param obj Optional pointer to object to bind to function * @param method Member function to attach * @return Callback with inferred type */ template<typename T, typename U, typename R, typename... ArgTs> Callback<R(ArgTs...)> callback(U *obj, R(T::*method)(ArgTs...)) noexcept { return Callback<R(ArgTs...)>(obj, method); } template<typename T, typename U, typename R, typename... ArgTs> Callback<R(ArgTs...)> callback(U *obj, R(T::*method)(ArgTs...) &) noexcept { return Callback<R(ArgTs...)>(obj, method); } /** Create a callback class with type inferred from the arguments * * @param func Static function to attach * @param arg Pointer argument to function * @return Callback with inferred type */ template <typename T, typename U, typename R, typename... ArgTs> Callback<R(ArgTs...)> callback(R(*func)(T *, ArgTs...), U *arg) noexcept { return Callback<R(ArgTs...)>(func, arg); } /** Create a Create a callback class with type inferred from the arguments * @param f Function object to attach * @note The function object is limited to a single word of storage */ template <typename F> Callback<detail::unqualify_fn_t<detail::member_type_t<decltype(&remove_cvref_t<F>::operator())>>> callback(F &&f) { return Callback<detail::unqualify_fn_t<detail::member_type_t<decltype(&remove_cvref_t<F>::operator())>>>(std::forward<F>(f)); } /**@}*/ /**@}*/ } // namespace mbed #endif /* mbed Microcontroller Library * Copyright (c) 2017 ARM Limited * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ using namespace mbed; extern void TEST_ASSERT_EQUAL(uint64_t, uint64_t); //#define TEST_ASSERT_EQUAL(a, b) assert((a) == (b)) #define TEST_ASSERT_TRUE(a) assert(a) #define TEST_ASSERT_FALSE(a) assert(!(a)) template <typename T> using func0_type = T(); // static functions template <typename T> T static_func0() { return 0; } // class functions template <typename T> struct Thing { T t; Thing() : t(0x80) {} T member_func0() { return t; } }; // bound functions template <typename T> T bound_func0(Thing<T> *t) { return t->t; } // void functions template <typename T> T void_func0(void *t) { return static_cast<Thing<T>*>(t)->t; } // Inheriting class template <typename T> class Thing2 : public Thing<T> { }; // function call and result verification template <typename T> struct Verifier { static void verify0(Callback<T()> func) { T result = func(); TEST_ASSERT_EQUAL(result, 0x00); } template <typename O, typename M> static void verify0(O *obj, M method) { Callback<T()> func(obj, method); T result = func(); TEST_ASSERT_EQUAL(result, 0x80); } }; // test dispatch template <typename T> void test_dispatch0() { Thing<T> thing; Thing2<T> thing2; Verifier<T>::verify0(&bound_func0<T>, &thing2); Callback<T()> cb; cb = static_func0<T>; Verifier<T>::verify0(cb); cb = {&bound_func0<T>, &thing}; Verifier<T>::verify0(&Callback<T()>::thunk, &cb); } template void test_dispatch0<int>();
Become a Patron
Sponsor on GitHub
Donate via PayPal
Source on GitHub
Mailing list
Installed libraries
Wiki
Report an issue
How it works
Contact the author
CE on Mastodon
About the author
Statistics
Changelog
Version tree