Compiler Explorer

Thanks for using Compiler Explorer

Jakt C++ Ada Algol68 Analysis Android Java Android Kotlin Assembly C C3 Carbon C with Coccinelle C++ with Coccinelle C++ (Circle) CIRCT Clean Clojure CMake CMakeScript COBOL C++ for OpenCL MLIR Cppx Cppx-Blue Cppx-Gold Cpp2-cppfront Crystal C# CUDA C++ CuTe DSL D Dart Elixir Erlang Fortran F# GLSL Go Haskell HLSL Helion Hook Hylo IL ispc Java Julia Kotlin Lean LLVM IR LLVM MIR Lua Modula-2 Mojo Nim Numba Nix Objective-C Objective-C++ OCaml Odin OpenCL C Pascal Perl 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 Yul (Solidity IR) Zig Javascript GIMPLE Ygen sway

lean source #1

Compile to binary object

Link to binary

Execute the code

Intel asm syntax

Demangle identifiers

Verbose demangling

Unused labels

Library functions

Directives

Comments

Horizontal whitespace

Debug intrinsics

Compiler

Options

Source code

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 Version tree