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#
GLSL
Go
Haskell
HLSL
Hook
Hylo
IL
ispc
Java
Julia
Kotlin
LLVM IR
LLVM MIR
Modula-2
Nim
Objective-C
Objective-C++
OCaml
Odin
OpenCL C
Pascal
Pony
Python
Racket
Ruby
Rust
Snowball
Scala
Slang
Solidity
Spice
SPIR-V
Swift
LLVM TableGen
Toit
TypeScript Native
V
Vala
Visual Basic
Vyper
WASM
Zig
Javascript
GIMPLE
Ygen
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 12.4.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 14.1.0
ARM GCC 14.1.0 (unknown-eabi)
ARM GCC 14.2.0
ARM GCC 14.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 12.4.0
ARM64 gcc 13.1.0
ARM64 gcc 13.2.0
ARM64 gcc 13.3.0
ARM64 gcc 14.1.0
ARM64 gcc 14.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 (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 13.1.0
AVR gcc 13.2.0
AVR gcc 13.3.0
AVR gcc 14.1.0
AVR gcc 14.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
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
HPPA gcc 14.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
M68K gcc 13.1.0
M68K gcc 13.2.0
M68K gcc 13.3.0
M68K gcc 14.1.0
M68K gcc 14.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 12.4.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 14.1.0
RISC-V (32-bits) gcc 14.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 13.1.0
RISC-V (64-bits) gcc 13.2.0
RISC-V (64-bits) gcc 13.3.0
RISC-V (64-bits) gcc 14.1.0
RISC-V (64-bits) gcc 14.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 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 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 13.1.0
SPARC LEON gcc 13.2.0
SPARC LEON gcc 13.3.0
SPARC LEON gcc 14.1.0
SPARC LEON gcc 14.2.0
SPARC gcc 12.2.0
SPARC gcc 12.3.0
SPARC gcc 12.4.0
SPARC gcc 13.1.0
SPARC gcc 13.2.0
SPARC gcc 13.3.0
SPARC gcc 14.1.0
SPARC gcc 14.2.0
SPARC64 gcc 12.2.0
SPARC64 gcc 12.3.0
SPARC64 gcc 12.4.0
SPARC64 gcc 13.1.0
SPARC64 gcc 13.2.0
SPARC64 gcc 13.3.0
SPARC64 gcc 14.1.0
SPARC64 gcc 14.2.0
TI C6x gcc 12.2.0
TI C6x gcc 12.3.0
TI C6x gcc 12.4.0
TI C6x gcc 13.1.0
TI C6x gcc 13.2.0
TI C6x gcc 13.3.0
TI C6x gcc 14.1.0
TI C6x gcc 14.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.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.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 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 9.0.0
armv8-a clang 9.0.1
clang-cl 18.1.0
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 12.4.0
loongarch64 gcc 13.1.0
loongarch64 gcc 13.2.0
loongarch64 gcc 13.3.0
loongarch64 gcc 14.1.0
loongarch64 gcc 14.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 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 13.1.0
mips gcc 13.2.0
mips gcc 13.3.0
mips gcc 14.1.0
mips gcc 14.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 13.1.0
mips64 (el) gcc 13.2.0
mips64 (el) gcc 13.3.0
mips64 (el) gcc 14.1.0
mips64 (el) gcc 14.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 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 13.1.0
mips64 gcc 13.2.0
mips64 gcc 13.3.0
mips64 gcc 14.1.0
mips64 gcc 14.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
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 gcc 12.1.0
mipsel gcc 12.2.0
mipsel gcc 12.3.0
mipsel gcc 12.4.0
mipsel gcc 13.1.0
mipsel gcc 13.2.0
mipsel gcc 13.3.0
mipsel gcc 14.1.0
mipsel gcc 14.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 13.1.0
power gcc 13.2.0
power gcc 13.3.0
power gcc 14.1.0
power gcc 14.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 13.1.0
power64 gcc 13.2.0
power64 gcc 13.3.0
power64 gcc 14.1.0
power64 gcc 14.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 13.1.0
power64le gcc 13.2.0
power64le gcc 13.3.0
power64le gcc 14.1.0
power64le gcc 14.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 13.1.0
s390x gcc 13.2.0
s390x gcc 13.3.0
s390x gcc 14.1.0
s390x gcc 14.2.0
sh gcc 12.2.0
sh gcc 12.3.0
sh gcc 12.4.0
sh gcc 13.1.0
sh gcc 13.2.0
sh gcc 13.3.0
sh gcc 14.1.0
sh gcc 14.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 (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.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 (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.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-64 Zapcc 190308
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 (dascandy contracts)
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 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 metaprogramming - P2632)
x86-64 clang (old concepts branch)
x86-64 clang (p1974)
x86-64 clang (pattern matching - P2688)
x86-64 clang (reflection)
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 18.1.0 (clad 1.8)
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 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 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 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 14.1
x86-64 gcc 14.1 (assertions)
x86-64 gcc 14.2
x86-64 gcc 14.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 2025.0.0
x86-64 icx 2025.0.0
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.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
#ifndef CXX26_BIT_PERMUTATIONS_INCLUDE_GUARD #define CXX26_BIT_PERMUTATIONS_INCLUDE_GUARD #include <array> #include <bit> #include <concepts> #include <cstdint> #include <limits> #include <version> // #define CXX26_BIT_PERMUTATIONS_DISABLE_BUILTINS // #define CXX26_BIT_PERMUTATIONS_DISABLE_ARCH_INTRINSICS // DETECT GNU COMPILERS AND BUILTINS // ================================= #ifdef __GNUC__ #define CXX26_BIT_PERMUTATIONS_GNU __GNUC__ #ifndef CXX26_BIT_PERMUTATIONS_DISABLE_BUILTINS #if CXX26_BIT_PERMUTATIONS_GNU >= 14 // GCC 14 in particular is quite important because it brings generic __builtins #define CXX26_BIT_PERMUTATIONS_BUILTIN_CLZG #define CXX26_BIT_PERMUTATIONS_BUILTIN_CTZG #define CXX26_BIT_PERMUTATIONS_BUILTIN_POPCOUNTG #endif #define CXX26_BIT_PERMUTATIONS_BUILTIN_CLZ #define CXX26_BIT_PERMUTATIONS_BUILTIN_CTZ #define CXX26_BIT_PERMUTATIONS_BUILTIN_POPCOUNT #define CXX26_BIT_PERMUTATIONS_BUILTIN_BSWAP #endif // CXX26_BIT_PERMUTATIONS_DISABLE_BUILTINS #endif // __GNUC__ // DETECT CLANG COMPILER AND BUILTINS // ================================== #ifdef __clang__ #define CXX26_BIT_PERMUTATIONS_CLANG __clang__ #define CXX26_BIT_PERMUTATIONS_BITINT #ifndef CXX26_BIT_PERMUTATIONS_DISABLE_BUILTINS #define CXX26_BIT_PERMUTATIONS_BUILTIN_BITREVERSE #endif // CXX26_BIT_PERMUTATIONS_DISABLE_BUILTINS #endif // __clang__ // DETECT MICROSOFT COMPILER AND BUILTINS // ====================================== #ifdef _MSC_VER #define CXX26_BIT_PERMUTATIONS_MSVC _MSC_VER #ifndef CXX26_BIT_PERMUTATIONS_DISABLE_BUILTINS #define CXX26_BIT_PERMUTATIONS_BUILTIN_LZCNT #define CXX26_BIT_PERMUTATIONS_BUILTIN_BSF #define CXX26_BIT_PERMUTATIONS_BUILTIN_BYTESWAP #define CXX26_BIT_PERMUTATIONS_BUILTIN_POPCNT #endif // CXX26_BIT_PERMUTATIONS_DISABLE_BUILTINS #endif // _MSC_VER // DETECT ARCHITECTURE // =================== #ifndef CXX26_BIT_PERMUTATIONS_DISABLE_ARCH_INTRINSICS #if defined(__x86_64__) || defined(_M_X64) #define CXX26_BIT_PERMUTATIONS_X86_64 #define CXX26_BIT_PERMUTATIONS_X86 #elif defined(i386) || defined(__i386__) || defined(__i386) || defined(_M_IX86) #define CXX26_BIT_PERMUTATIONS_X86 #endif #if defined(_M_ARM) || defined(__arm__) #define CXX26_BIT_PERMUTATIONS_ARM #endif // DETECT INSTRUCTION SET FEATURES // =============================== #ifdef __BMI__ #define CXX26_BIT_PERMUTATIONS_X86_BMI #endif #ifdef __BMI2__ #define CXX26_BIT_PERMUTATIONS_X86_BMI2 #endif #ifdef __PCLMUL__ #define CXX26_BIT_PERMUTATIONS_X86_PCLMUL #endif #ifdef __POPCNT__ #define CXX26_BIT_PERMUTATIONS_X86_POPCNT #endif #ifdef __ARM_FEATURE_SVE2 #define CXX26_BIT_PERMUTATIONS_ARM_SVE2 #endif #ifdef __ARM_FEATURE_SVE #define CXX26_BIT_PERMUTATIONS_ARM_SVE #endif #ifdef __ARM_FEATURE_SME #define CXX26_BIT_PERMUTATIONS_ARM_SME #endif // DEFINE INSTRUCTION SUPPORT BASED ON INSTRUCTION SET FEATURES // ============================================================ #if defined(CXX26_BIT_PERMUTATIONS_X86_BMI2) #define CXX26_BIT_PERMUTATIONS_X86_PDEP #define CXX26_BIT_PERMUTATIONS_X86_PEXT #endif #if defined(__ARM_FEATURE_SVE2) #define CXX26_BIT_PERMUTATIONS_ARM_BDEP #define CXX26_BIT_PERMUTATIONS_ARM_BEXT #define CXX26_BIT_PERMUTATIONS_ARM_BGRP #endif #if defined(CXX26_BIT_PERMUTATIONS_ARM_SME) || defined(__ARM_FEATURE_SVE) #define CXX26_BIT_PERMUTATIONS_ARM_RBIT #endif #if defined(CXX26_BIT_PERMUTATIONS_ARM_SME) || defined(__ARM_FEATURE_SVE) // support for 64-bit PMUL is optional, so we will // only use up to the 32-bit variant of this #define CXX26_BIT_PERMUTATIONS_ARM_PMUL #endif // DEFINE WHICH FUNCTIONS HAVE "FAST" SUPPORT #if defined(CXX26_BIT_PERMUTATIONS_ARM_RBIT) #define CXX26_BIT_PERMUTATIONS_FAST_REVERSE #endif #if defined(CXX26_BIT_PERMUTATIONS_X86_PEXT) || defined(CXX26_BIT_PERMUTATIONS_ARM_BEXT) #define CXX26_BIT_PERMUTATIONS_FAST_COMPRESS #endif #if defined(CXX26_BIT_PERMUTATIONS_X86_PDEP) || defined(CXX26_BIT_PERMUTATIONS_ARM_BDEP) #define CXX26_BIT_PERMUTATIONS_FAST_EXPAND #endif #if defined(CXX26_BIT_PERMUTATIONS_X86_POPCNT) || defined(CXX26_BIT_PERMUTATIONS_X86_BMI2) \ || defined(CXX26_BIT_PERMUTATIONS_ARM_SVE) #define CXX26_BIT_PERMUTATIONS_FAST_POPCOUNT #endif // ARCHITECTURE INTRINSIC INCLUDES // =============================== #ifdef CXX26_BIT_PERMUTATIONS_X86 #include <immintrin.h> #endif #ifdef CXX26_BIT_PERMUTATIONS_ARM_RBIT #include <arm_acle.h> #endif #ifdef CXX26_BIT_PERMUTATIONS_ARM_PMUL #include <arm_neon.h> #endif #ifdef CXX26_BIT_PERMUTATIONS_ARM_SVE2 #include <arm_sve.h> #endif #endif // COMPILER-SPECIFIC FEATURES // ========================== #ifdef CXX26_BIT_PERMUTATIONS_GNU #define CXX26_BIT_PERMUTATIONS_ALWAYS_INLINE [[gnu::always_inline]] #define CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL _Pragma("GCC unroll 16") #elif defined(CXX26_BIT_PERMUTATIONS_MSVC) #define CXX26_BIT_PERMUTATIONS_ALWAYS_INLINE __forceinline #else #define CXX26_BIT_PERMUTATIONS_ALWAYS_INLINE inline #define CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL #endif // COMPILER-AGNOSTICS uint128_t // ============================ namespace cxx26bp::detail { #ifdef CXX26_BIT_PERMUTATIONS_GNU #define CXX26_BIT_PERMUTATIONS_U128 #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wpedantic" using uint128_t = unsigned __int128; #pragma GCC diagnostic pop static_assert(std::numeric_limits<uint128_t>::digits == 128); #else struct uint128_t; #endif // CXX26_BIT_PERMUTATIONS_GNU } // namespace cxx26bp::detail // _BitInt ADDITIONAL SUPPORT // ========================== namespace cxx26bp::detail { template <typename T> inline constexpr int digits_v = std::numeric_limits<T>::digits; template <typename T> struct is_bit_uint : std::false_type { }; #ifdef CXX26_BIT_PERMUTATIONS_BITINT #ifndef __INTELLISENSE__ // IntelliSense support for _BitInt is broken template <int N> struct is_bit_uint<unsigned _BitInt(N)> : std::true_type { }; static_assert(is_bit_uint<unsigned _BitInt(2)>::value); static_assert(is_bit_uint<unsigned _BitInt(8)>::value); template <int N> inline constexpr int digits_v<_BitInt(N)> = N - 1; template <int N> inline constexpr int digits_v<unsigned _BitInt(N)> = N; static_assert(digits_v<_BitInt(128)> == 127); static_assert(digits_v<unsigned _BitInt(128)> == 128); #endif // __INTELLISENSE__ #endif // CXX26_BIT_PERMUTATIONS_BITINT } // namespace cxx26bp::detail // C++ VERSION-SPECIFIC FEATURES // ============================= #ifdef __cpp_if_consteval #define CXX26_BIT_PERMUTATIONS_CONSTANT_EVALUATED consteval #define CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED !consteval #else // all vendors use the same builtin #define CXX26_BIT_PERMUTATIONS_CONSTANT_EVALUATED (__builtin_is_constant_evaluated()) #define CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED (!__builtin_is_constant_evaluated()) #endif // ================================================================================================= // ================================================================================================= // ================================================================================================= // END OF CONFIG === END OF CONFIG === END OF CONFIG === END OF CONFIG === END OF CONFIG === END OF // ================================================================================================= // ================================================================================================= // ================================================================================================= namespace cxx26bp { namespace detail { /// @brief Returns `true` if x is a power of two or zero. [[nodiscard]] constexpr int is_pow2_or_zero(int x) noexcept { return (x & (x - 1)) == 0; } /// Computes `floor(log2(max(1, x)))` of an integer `x`. /// If x is zero or negative, returns zero. [[nodiscard]] constexpr int log2_floor(int x) noexcept { return x < 1 ? 0 : digits_v<unsigned> - std::countl_zero(static_cast<unsigned>(x)) - 1; } /// Computes `ceil(log2(max(1, x)))` of an integer `x`. /// If `x` is zero or negative, returns zero. [[nodiscard]] constexpr int log2_ceil(int x) noexcept { return log2_floor(x) + !is_pow2_or_zero(x); } template <typename T> concept bit_unsigned_integral = is_bit_uint<T>::value; template <typename T> concept permissive_unsigned_integral = std::unsigned_integral<T> || bit_unsigned_integral<T> || std::same_as<T, uint128_t>; /// @brief Saturating left-shift. /// This is necessary because left-shifting by the operand size or more is undefined behavior. /// @tparam T the type /// @param x the value to shift /// @param s the shift amount /// @return `x << s` if `s < N`, `0` otherwise. /// @throws Nothing. template <permissive_unsigned_integral T> [[nodiscard]] CXX26_BIT_PERMUTATIONS_ALWAYS_INLINE constexpr T shl(T x, int s) { if CXX26_BIT_PERMUTATIONS_CONSTANT_EVALUATED { if (s < 0) { throw "shift by negative amount is not allowed"; } } constexpr int N = digits_v<T>; return s >= N ? 0 : x << s; } /// @brief Repeats a bit pattern. /// @param x the bit-pattern, stored in the lest significant `length` bits. /// @param length the length of the bit-pattern, in range [1, inf) /// @return The bit pattern in `x`, repeated as many times as representable by `T`. /// @throws Nothing. template <permissive_unsigned_integral T> [[nodiscard]] CXX26_BIT_PERMUTATIONS_ALWAYS_INLINE constexpr T bit_repeat(T x, int length) { constexpr int N = digits_v<T>; constexpr T one = 1; if CXX26_BIT_PERMUTATIONS_CONSTANT_EVALUATED { if (length <= 0) { throw "length must be greater than zero"; } } // Clear undesirable bits which are not part of the pattern. // For length == N, this does nothing. x &= shl(one, length) - 1; CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = length; i < N; i <<= 1) { x |= x << i; } return x; } } // namespace detail namespace detail { /// @brief Creates a number with alternating groups of 0s and 1s. /// For example, `alternate01<uint8_t>(1, 2) -> 0b01001001 template <permissive_unsigned_integral T> [[nodiscard]] CXX26_BIT_PERMUTATIONS_ALWAYS_INLINE constexpr T alternate01(int zero_size, int one_size) { constexpr int N = digits_v<T>; const int pattern_length = zero_size + one_size; if CXX26_BIT_PERMUTATIONS_CONSTANT_EVALUATED { if (one_size < 0 || one_size > N) { throw "one_size must be in range [0, N]"; } if (zero_size < 0 || zero_size > N) { throw "zero_size must be in range [0, N]"; } if (pattern_length == 0) { throw "alternate01(0, 0) is undefined behavior"; } } const T ones = shl(T { 1 }, one_size) - 1; return bit_repeat(ones, pattern_length); } template <typename T> inline constexpr auto alternating_bit_mask_table = [] { constexpr int log_N = log2_ceil(digits_v<T>) + 1; std::array<T, log_N> result; for (int i = 0; i < log_N; ++i) { result[static_cast<std::size_t>(i)] = i == 0 ? 0 : alternate01<T>(i, i); } return result; }(); template <permissive_unsigned_integral T> [[nodiscard]] constexpr int countr_zero(T x) noexcept { constexpr int N = digits_v<T>; #ifdef CXX26_BIT_PERMUTATIONS_BUILTIN_CTZG return __builtin_ctzg(x, N); #else #ifdef CXX26_BIT_PERMUTATIONS_BUILTIN_CTZ constexpr int N_ull = digits_v<unsigned long long>; if constexpr (N <= N_ull) { if (x == 0) { return N; } if constexpr (N <= digits_v<unsigned>) { constexpr auto sentinel = (1u << (N - 1) << 1); return __builtin_ctz(x | sentinel); } else if constexpr (N <= digits_v<unsigned long>) { constexpr auto sentinel = (1ul << (N - 1) << 1); return __builtin_ctzl(x | sentinel); } else if constexpr (N <= digits_v<unsigned long long>) { constexpr auto sentinel = (1ull << (N - 1) << 1); return __builtin_ctzll(x | sentinel); } } #elif defined(CXX26_BIT_PERMUTATIONS_X86_BMI) if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { if constexpr (N <= 16) { constexpr auto sentinel = static_cast<unsigned short>(1u << (N - 1) << 1); return _tzcnt_u16(x | sentinel); } else if constexpr (N <= 32) { constexpr auto sentinel = 1u << (N - 1) << 1; return _tzcnt_u32(x | sentinel); } else if constexpr (N <= 64) { constexpr auto sentinel = 1ull << (N - 1) << 1; return _tzcnt_u64(x | sentinel); } } #elif defined(CXX26_BIT_PERMUTATIONS_BUILTIN_BSF) if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { if constexpr (N <= 32) { constexpr unsigned __int32 sentinel = (1u << (N - 1) << 1); unsigned __int32 index; return _BitScanForward(&index, x | sentinel) ? static_cast<int>(index) : 0; } else if constexpr (N <= 64) { constexpr unsigned __int64 sentinel = (1ull << (N - 1) << 1); unsigned __int32 index; return _BitScanForward64(&index, x | sentinel) ? static_cast<int>(index) : 0; } } #endif constexpr int N_nat = digits_v<std::size_t>; if constexpr (N > N_nat) { // Handle everything except for the most significant digit int result = 0; CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = 0; i + N_nat < N; i += N_nat) { const int part = countr_zero(static_cast<std::size_t>(x)); result += part; if (part != N_nat) { return result; } x >>= N_nat; } // Handle the most significant digit. constexpr auto sentinel = static_cast<std::size_t>(N % N_nat == 0 ? 0 : std::size_t { 1 } << (N % N_nat)); return result + countr_zero(static_cast<std::size_t>(static_cast<std::size_t>(x) | sentinel)); } // https://graphics.stanford.edu/~seander/bithacks.html#ZerosOnRightParallel else { constexpr int M = std::bit_ceil<unsigned>(N); int result = M; x &= -x; // isolate the lowest 1-bit result -= (x != 0); CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = M >> 1; i != 0; i >>= 1) { const T mask = alternating_bit_mask_table<T>[i]; result -= ((x & mask) != 0) * i; } if constexpr (N == M) { return result; } else { return N < result ? N : result; } } #endif // CXX26_BIT_PERMUTATIONS_BUILTIN_CTZG } template <permissive_unsigned_integral T> [[nodiscard]] constexpr int countr_one(T x) noexcept { return countr_zero(static_cast<T>(~x)); } template <permissive_unsigned_integral T> [[nodiscard]] constexpr int countl_zero(T x) noexcept { constexpr int N = digits_v<T>; #ifdef CXX26_BIT_PERMUTATIONS_BUILTIN_CLZG return __builtin_clzg(x, N); #else #ifdef CXX26_BIT_PERMUTATIONS_BUILTIN_CLZ if (x == 0) { return N; } if constexpr (N <= digits_v<unsigned>) { return __builtin_clz(x) - (digits_v<unsigned> - N); } else if constexpr (N <= digits_v<unsigned long>) { return __builtin_clzl(x) - (digits_v<unsigned long> - N); } else if constexpr (N <= digits_v<unsigned long long>) { return __builtin_clzll(x) - (digits_v<unsigned long long> - N); } #elif defined(CXX26_BIT_PERMUTATIONS_BUILTIN_LZCNT) if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { if (x == 0) { return N; } if constexpr (N <= 16) { return static_cast<int>(__lzcnt16(x)) - (16 - N); } else if constexpr (N <= 32) { return static_cast<int>(__lzcnt(x)) - (32 - N); } else if constexpr (N <= 64) { return static_cast<int>(__lzcnt64(x)) - (64 - N); } } #endif // CXX26_BIT_PERMUTATIONS_MSVC // TODO: ARM intrinsics // TODO: digit-by-digit loop for large sizes if (x == 0) { return N; } constexpr int start = std::bit_ceil<unsigned>(N); auto mask = static_cast<T>(-1); int result = 0; CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = start >> 1; i != 0; i >>= 1) { if (x & (mask << i)) { mask <<= i; result += i; } } return N - result - 1; #endif // CXX26_BIT_PERMUTATIONS_BUILTIN_CLZG } template <permissive_unsigned_integral T> [[nodiscard]] constexpr int countl_one(T x) noexcept { return countl_zero(static_cast<T>(~x)); } /// @brief If byte-reversal for `T` is supported, returns `x` with its byte order reversed, /// and the return type deduces to `T`. /// Otherwise, return `void`. template <permissive_unsigned_integral T> [[nodiscard]] auto optional_byteswap([[maybe_unused]] T x) noexcept { [[maybe_unused]] constexpr int N = digits_v<T>; #ifdef CXX26_BIT_PERMUTATIONS_BUILTIN_BSWAP if constexpr (N == 16) { return static_cast<T>(__builtin_bswap16(x)); } else if constexpr (N == 32) { return static_cast<T>(__builtin_bswap32(x)); } else if constexpr (N == 64) { return static_cast<T>(__builtin_bswap64(x)); } #elif defined(CXX26_BIT_PERMUTATIONS_BUILTIN_BYTESWAP) if constexpr (N == digits_v<unsigned short>) { return static_cast<T>(_byteswap_ushort(x)); } else if constexpr (N == digits_v<unsigned long>) { return static_cast<T>(_byteswap_ulong(x)); } else if constexpr (N == 64) { return static_cast<T>(_byteswap_uint64(x)); } #else return void(); #endif } // `std::popcount` does not accept _BitInt or other extensions, so we make our own. template <permissive_unsigned_integral T> [[nodiscard]] constexpr int popcount(T x) noexcept { #ifdef CXX26_BIT_PERMUTATIONS_BUILTIN_POPCOUNTG return __builtin_popcountg(x); #else constexpr int N = digits_v<T>; #ifdef CXX26_BIT_PERMUTATIONS_BUILTIN_POPCOUNT if constexpr (N <= digits_v<unsigned>) { return __builtin_popcount(x); } else if constexpr (N <= digits_v<unsigned long>) { return __builtin_popcountl(x); } else if constexpr (N <= digits_v<unsigned long long>) { return __builtin_popcountll(x); } #elif defined(CXX26_BIT_PERMUTATIONS_BUILTIN_POPCNT) if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { if constexpr (N <= digits_v<unsigned short>) { return static_cast<int>(__popcnt16(x)); } else if constexpr (N <= digits_v<unsigned int>) { return static_cast<int>(__popcnt(x)); } else if constexpr (N <= 64) { return static_cast<int>(__popcnt64(x)); } } #endif constexpr int N_native = digits_v<std::size_t>; if constexpr (N > N_native) { int sum = 0; CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = 0; i < N; i += N_native) { sum += popcount(static_cast<std::size_t>(x)); x >>= N_native; } return sum; } else if constexpr (N == 1) { return x; } else if constexpr (N == 2) { return (x >> 1) + (x & 1); } else if constexpr (N == 3) { return (x >> 2) + ((x >> 1) & 1) + (x & 1); } else { constexpr auto mask1 = detail::alternating_bit_mask_table<T>[1]; constexpr auto mask2 = detail::alternating_bit_mask_table<T>[2]; T result = x - ((x >> 1) & mask1); result = ((result >> 2) & mask2) + (result & mask2); CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = 4; i < N; i <<= 1) { const auto mask = detail::alternating_bit_mask_table<T>[i]; result = ((result >> i) + result) & mask; } return result; } #endif // CXX26_BIT_PERMUTATIONS_BUILTIN_POPCOUNTG } /// Each bit in `x` is converted to the parity a bit and all bits to its right. /// This can also be expressed as `CLMUL(x, -1)` where `CLMUL` is a carry-less /// multiplication. template <permissive_unsigned_integral T> [[nodiscard]] constexpr T bitwise_inclusive_right_parity(T x) noexcept { constexpr int N = digits_v<T>; #ifdef CXX26_BIT_PERMUTATIONS_X86_PCLMUL if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { if constexpr (N <= 64) { const __m128i x_128 = _mm_set_epi64x(0, x); const __m128i neg1_128 = _mm_set_epi64x(0, -1); const __m128i result_128 = _mm_clmulepi64_si128(x_128, neg1_128, 0); return static_cast<T>(_mm_extract_epi64(result_128, 0)); } } #endif // TODO: Technically, ARM does have some support for polynomial multiplication prior to // SVE2. // However, this support is fairly limited and it's not even clear whether it // beats this implementation. for (int i = 1; i < N; i <<= 1) { x ^= x << i; } return x; } template <int N, permissive_unsigned_integral T> [[nodiscard]] constexpr T bit_reverse_impl(T x) noexcept { constexpr int N_actual = digits_v<T>; static_assert(N <= N_actual); #ifdef CXX26_BIT_PERMUTATIONS_BUILTIN_BITREVERSE if constexpr (N <= 8) { return static_cast<T>(__builtin_bitreverse8(x) >> (8 - N)); } else if constexpr (N <= 16) { return static_cast<T>(__builtin_bitreverse16(x) >> (16 - N)); } else if constexpr (N <= 32) { return static_cast<T>(__builtin_bitreverse32(x) >> (32 - N)); } else if constexpr (N <= 64) { return static_cast<T>(__builtin_bitreverse64(x) >> (64 - N)); } #elif defined(CXX26_BIT_PERMUTATIONS_ARM_RBIT) constexpr int N_ull = digits_v<unsigned long long>; if constexpr (N <= N_ull) { constexpr int N_u = digits_v<unsigned>; constexpr int N_ul = digits_v<unsigned long>; if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { if constexpr (N <= N_u) { return static_cast<T>(__rbit(x) >> (N_u - N)); } else if constexpr (N <= N_ul) { return static_cast<T>(__rbitl(x) >> (N_ul - N)); } else if constexpr (N <= N_ull) { return static_cast<T>(__rbitll(x) >> (N_ull - N)); } } } #endif if constexpr (constexpr int N_native = digits_v<std::size_t>; N > N_native) { // N, rounded up to the next multiple of N_native. constexpr int N_ceil = N_native * (N / N_native + (N % N_native != 0)); static_assert(N_ceil >= N); constexpr int shift = N_ceil - N; T most = 0; CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = 0; i + N_native < N; i += N_native) { most <<= N_native; most |= bit_reverse_impl<N_native>(static_cast<std::size_t>(x)); x >>= N_native; } const T last = bit_reverse_impl<N_native>(static_cast<std::size_t>(x)); return (most << (N_native - shift)) | (last >> shift); } else if constexpr (is_pow2_or_zero(N)) { // Byte-swap and parallel swap technique for conventional architectures. // O(log N) constexpr int byte_bits = digits_v<unsigned char>; int start_i = N; // If byteswap does what we want, we can skip a few iterations of the subsequent loop. if constexpr (N >= byte_bits) { // Nested constexpr if avoids unnecessary instantiation of optional_byteswap. if constexpr (!std::is_same_v<decltype(optional_byteswap(x)), void>) { if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { x = optional_byteswap(x) >> (N_actual - N); start_i = byte_bits; } } } CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = start_i >> 1; i != 0; i >>= 1) { const T lo = alternating_bit_mask_table<T>[i]; x = ((x & ~lo) >> i) | ((x & lo) << i); } return x; } else { // [hi] [lo] // input: -654 3210 // rev: 456- 0123 // return: -0123 456 constexpr int M = std::bit_floor<unsigned>(N); constexpr int shift = (M * 2) - N; static_assert(M < N); static_assert(M > shift); constexpr T lo_mask = (T { 1 } << M) - 1; const T lo = bit_reverse_impl<M>(x & lo_mask); const T hi = bit_reverse_impl<M>(x >> M); const T result = (lo << (M - shift)) | (hi >> shift); return result; } } } // namespace detail template <detail::permissive_unsigned_integral T> [[nodiscard]] constexpr T bit_reverse(T x) noexcept { constexpr int N = detail::digits_v<T>; return detail::bit_reverse_impl<N>(x); } template <detail::permissive_unsigned_integral T> [[nodiscard]] constexpr T next_bit_permutation(T x) noexcept { // https://graphics.stanford.edu/~seander/bithacks.html#NextBitPermutation constexpr T one = 1; const T t = x | (x - one); if (t == static_cast<T>(-1)) { return 0; } // Two shifts are better than shifting by + 1. We must not shift by the operand size. return (t + one) | (((~t & -~t) - one) >> detail::countr_zero(x) >> one); } template <detail::permissive_unsigned_integral T> [[nodiscard]] constexpr T prev_bit_permutation(T x) noexcept { constexpr T one = 1; const T trailing_ones_cleared = x & (x + one); if (trailing_ones_cleared == 0) { return 0; } const T trailing_ones = x ^ trailing_ones_cleared; const int shift = detail::countr_zero(trailing_ones_cleared) - detail::countr_one(trailing_ones) - 1; return static_cast<T>(trailing_ones_cleared - one) >> shift << shift; } template <detail::permissive_unsigned_integral T> [[nodiscard]] constexpr T bit_compressr(T x, T m) noexcept { constexpr int N = detail::digits_v<T>; #ifdef CXX26_BIT_PERMUTATIONS_X86_PEXT if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { if constexpr (N <= 32) { return static_cast<T>(_pext_u32(x, m)); } else if constexpr (N <= 64) { return static_cast<T>(_pext_u64(x, m)); } } #endif #ifdef CXX26_BIT_PERMUTATIONS_ARM_BEXT if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { if constexpr (N <= 8) { auto sv_result = svbext_u8(svdup_u8(x), svdup_u8(m)); return static_cast<T>(svorv_u8(svptrue_b8(), sv_result)); } else if constexpr (N <= 16) { auto sv_result = svbext_u16(svdup_u16(x), svdup_u16(m)); return static_cast<T>(svorv_u16(svptrue_b16(), sv_result)); } else if constexpr (N <= 32) { auto sv_result = svbext_u32(svdup_u32(x), svdup_u32(m)); return static_cast<T>(svorv_u32(svptrue_b32(), sv_result)); } else if constexpr (N <= 64) { auto sv_result = svbext_u64(svdup_u64(x), svdup_u64(m)); return static_cast<T>(svorv_u64(svptrue_b64(), sv_result)); } } #endif constexpr int N_native = detail::digits_v<std::size_t>; if constexpr (N > N_native) { // For integer sizes above the native size, we assume that a fast native implementation // is provided. We then perform the algorithm digit by digit, where a digit is a native // integer. T result = 0; int offset = 0; CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int mask_bits = 0; mask_bits < N; mask_bits += N_native) { const auto compressed = bit_compressr(static_cast<std::size_t>(x), static_cast<std::size_t>(m)); result |= static_cast<T>(compressed) << offset; offset += detail::popcount(static_cast<std::size_t>(m)); x >>= N_native; m >>= N_native; } return result; } else { x &= m; T mk = ~m << 1; CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = 1; i < N; i <<= 1) { const T mk_parity = detail::bitwise_inclusive_right_parity(mk); const T move = mk_parity & m; m = (m ^ move) | (move >> i); const T t = x & move; x = (x ^ t) | (t >> i); mk &= ~mk_parity; } return x; } } template <detail::permissive_unsigned_integral T> [[nodiscard]] constexpr T bit_expandr(T x, T m) noexcept { constexpr int N = detail::digits_v<T>; constexpr int log_N = detail::log2_floor(std::bit_ceil<unsigned>(N)); #ifdef CXX26_BIT_PERMUTATIONS_X86_PDEP if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { if constexpr (N <= 32) { return _pdep_u32(x, m); } else if constexpr (N <= 64) { return _pdep_u64(x, m); } // TODO 128-bit } #endif #ifdef CXX26_BIT_PERMUTATIONS_ARM_BDEP if CXX26_BIT_PERMUTATIONS_NOT_CONSTANT_EVALUATED { if constexpr (N <= 8) { auto sv_result = svbdep_u8(svdup_u8(x), svdup_u8(m)); return static_cast<T>(svorv_u8(svptrue_b8(), sv_result)); } else if constexpr (N <= 16) { auto sv_result = svbdep_u16(svdup_u16(x), svdup_u16(m)); return static_cast<T>(svorv_u16(svptrue_b16(), sv_result)); } else if constexpr (N <= 32) { auto sv_result = svbdep_u32(svdup_u32(x), svdup_u32(m)); return static_cast<T>(svorv_u32(svptrue_b32(), sv_result)); } else if constexpr (N <= 64) { auto sv_result = svbdep_u64(svdup_u64(x), svdup_u64(m)); return static_cast<T>(svorv_u64(svptrue_b64(), sv_result)); } } #endif constexpr int N_native = detail::digits_v<std::size_t>; if constexpr (N > N_native) { // Digit-by-digit approach, same as in bit_expandr. T result = 0; CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int mask_bits = 0; mask_bits < N; mask_bits += N_native) { const auto expanded = bit_expandr(static_cast<std::size_t>(x), static_cast<std::size_t>(m)); result |= static_cast<T>(expanded) << mask_bits; x >>= detail::popcount(static_cast<std::size_t>(m)); m >>= N_native; } return result; } else { const T initial_m = m; T array[log_N]; T mk = ~m << 1; CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = 0; i < log_N; ++i) { const T mk_parity = detail::bitwise_inclusive_right_parity(mk); const T move = mk_parity & m; m = (m ^ move) | (move >> (1 << i)); array[i] = move; mk &= ~mk_parity; } CXX26_BIT_PERMUTATIONS_AGGRESSIVE_UNROLL for (int i = log_N; i > 0;) { --i; // Normally, I would write (i-- > 0), but this triggers // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113581 const T move = array[i]; const T t = x << (1 << i); x = (x & ~move) | (t & move); } return x & initial_m; } } template <detail::permissive_unsigned_integral T> [[nodiscard]] constexpr T bit_compressl(T x, T m) noexcept { constexpr int N = detail::digits_v<T>; #if defined(CXX26_BIT_PERMUTATIONS_FAST_REVERSE) && !defined(CXX26_BIT_PERMUTATIONS_FAST_POPCOUNT) return bit_reverse(bit_compressr(bit_reverse(x)), bit_reverse(m))); #else if (m == 0) { // Prevents shift which is >= the operand size. return 0; } int shift = N - detail::popcount(m); return static_cast<T>(bit_compressr(x, m) << shift); #endif } template <detail::permissive_unsigned_integral T> [[nodiscard]] constexpr T bit_expandl(T x, T m) noexcept { constexpr int N = detail::digits_v<T>; #if defined(CXX26_BIT_PERMUTATIONS_FAST_REVERSE) && !defined(CXX26_BIT_PERMUTATIONS_FAST_POPCOUNT) return bit_reverse(bit_expandr(bit_reverse(x)), bit_reverse(m))); #else if (m == 0) { return 0; } const int shift = N - detail::popcount(m); return bit_expandr(static_cast<T>(x >> shift), m); #endif } } // namespace cxx26bp #endif unsigned bit_compress_known_mask(unsigned x) { return cxx26bp::bit_compressr(x, 0xf0f0u); }
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
CE on Bluesky
About the author
Statistics
Changelog
Version tree