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
WASM
Zig
Javascript
GIMPLE
rust 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
mrustc (master)
rustc 1.0.0
rustc 1.1.0
rustc 1.10.0
rustc 1.11.0
rustc 1.12.0
rustc 1.13.0
rustc 1.14.0
rustc 1.15.1
rustc 1.16.0
rustc 1.17.0
rustc 1.18.0
rustc 1.19.0
rustc 1.2.0
rustc 1.20.0
rustc 1.21.0
rustc 1.22.0
rustc 1.23.0
rustc 1.24.0
rustc 1.25.0
rustc 1.26.0
rustc 1.27.0
rustc 1.27.1
rustc 1.28.0
rustc 1.29.0
rustc 1.3.0
rustc 1.30.0
rustc 1.31.0
rustc 1.32.0
rustc 1.33.0
rustc 1.34.0
rustc 1.35.0
rustc 1.36.0
rustc 1.37.0
rustc 1.38.0
rustc 1.39.0
rustc 1.4.0
rustc 1.40.0
rustc 1.41.0
rustc 1.42.0
rustc 1.43.0
rustc 1.44.0
rustc 1.45.0
rustc 1.45.2
rustc 1.46.0
rustc 1.47.0
rustc 1.48.0
rustc 1.49.0
rustc 1.5.0
rustc 1.50.0
rustc 1.51.0
rustc 1.52.0
rustc 1.53.0
rustc 1.54.0
rustc 1.55.0
rustc 1.56.0
rustc 1.57.0
rustc 1.58.0
rustc 1.59.0
rustc 1.6.0
rustc 1.60.0
rustc 1.61.0
rustc 1.62.0
rustc 1.63.0
rustc 1.64.0
rustc 1.65.0
rustc 1.66.0
rustc 1.67.0
rustc 1.68.0
rustc 1.69.0
rustc 1.7.0
rustc 1.70.0
rustc 1.71.0
rustc 1.72.0
rustc 1.73.0
rustc 1.74.0
rustc 1.75.0
rustc 1.76.0
rustc 1.77.0
rustc 1.78.0
rustc 1.79.0
rustc 1.8.0
rustc 1.80.0
rustc 1.81.0
rustc 1.9.0
rustc beta
rustc nightly
rustc-cg-gcc (master)
x86-64 GCCRS (GCC master)
x86-64 GCCRS (GCCRS master)
x86-64 GCCRS 14.1 (GCC)
x86-64 GCCRS 14.2 (GCC)
Options
Source code
#![crate_type = "lib"] #[derive(PartialEq)] pub enum TwoNum { A, B, } #[derive(PartialEq)] pub enum ThreeNum { A, B, C, } #[no_mangle] pub fn bad(a: &Option<TwoNum>, b: &Option<TwoNum>) -> bool { match (a, b) { (Some(x), Some(y)) => x == y, (Some(_), None) => false, (None, Some(_)) => false, (None, None) => true } }
llvm 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
clang (assertions trunk)
clang (trunk)
clang 10.0.0
clang 10.0.1
clang 11.0.0
clang 11.0.1
clang 12.0.0
clang 12.0.1
clang 13.0.0
clang 14.0.0
clang 15.0.0
clang 16.0.0
clang 17.0.1
clang 18.1.0
clang 4.0.1
clang 5.0.0
clang 6.0.0
clang 7.0.0
clang 8.0.0
clang 9.0.0
llc (assertions trunk)
llc (trunk)
llc 10.0.0
llc 10.0.1
llc 11.0.0
llc 11.0.1
llc 12.0.0
llc 12.0.1
llc 13.0.0
llc 14.0.0
llc 15.0.0
llc 16.0.0
llc 17.0.1
llc 18.1.0
llc 3.2
llc 3.3
llc 3.9.1
llc 4.0.0
llc 4.0.1
llc 5.0.0
llc 6.0.0
llc 7.0.0
llc 8.0.0
llc 9.0.0
opt (assertions trunk)
opt (trunk)
opt 10.0.0
opt 10.0.1
opt 11.0.0
opt 11.0.1
opt 12.0.0
opt 12.0.1
opt 13.0.0
opt 14.0.0
opt 15.0.0
opt 16.0.0
opt 17.0.1
opt 18.1.0
opt 3.2
opt 3.3
opt 3.9.1
opt 4.0.0
opt 4.0.1
opt 5.0.0
opt 6.0.0
opt 7.0.0
opt 8.0.0
opt 9.0.0
Options
Source code
source_filename = "example.dd55d1a0c57942e2-cgu.0" target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" define noundef zeroext i1 @bad(ptr noalias noundef readonly align 1 dereferenceable(1) %a, ptr noalias noundef readonly align 1 dereferenceable(1) %b) unnamed_addr #0 { start: %y = alloca ptr, align 8 %x = alloca ptr, align 8 %_0 = alloca i8, align 1 %0 = load i8, ptr %a, align 1, !range !3, !noundef !4 ; <<<<<<<<<<<< try removing !range here %1 = icmp eq i8 %0, 2 %_5 = select i1 %1, i64 0, i64 1 switch i64 %_5, label %bb1 [ i64 0, label %bb3 i64 1, label %bb2 ] bb1: ; preds = %bb2, %bb3, %start unreachable bb3: ; preds = %start %2 = load i8, ptr %b, align 1, !range !3, !noundef !4 %3 = icmp eq i8 %2, 2 %_4 = select i1 %3, i64 0, i64 1 switch i64 %_4, label %bb1 [ i64 0, label %bb4 i64 1, label %bb7 ] bb2: ; preds = %start %4 = load i8, ptr %b, align 1, !range !3, !noundef !4 %5 = icmp eq i8 %4, 2 %_3 = select i1 %5, i64 0, i64 1 switch i64 %_3, label %bb1 [ i64 0, label %bb6 i64 1, label %bb5 ] bb4: ; preds = %bb3 store i8 1, ptr %_0, align 1 br label %bb8 bb7: ; preds = %bb3 store i8 0, ptr %_0, align 1 br label %bb8 bb8: ; preds = %bb5, %bb6, %bb7, %bb4 %6 = load i8, ptr %_0, align 1, !range !5, !noundef !4 %7 = trunc i8 %6 to i1 ret i1 %7 bb6: ; preds = %bb2 store i8 0, ptr %_0, align 1 br label %bb8 bb5: ; preds = %bb2 call void @llvm.lifetime.start.p0(i64 8, ptr %x) store ptr %a, ptr %x, align 8 call void @llvm.lifetime.start.p0(i64 8, ptr %y) store ptr %b, ptr %y, align 8 %self = load ptr, ptr %x, align 8, !nonnull !4, !align !6, !noundef !4 %other = load ptr, ptr %y, align 8, !nonnull !4, !align !6, !noundef !4 %8 = load i8, ptr %self, align 1, !range !5, !noundef !4 %9 = trunc i8 %8 to i1 %__self_tag = zext i1 %9 to i64 %10 = load i8, ptr %other, align 1, !range !5, !noundef !4 %11 = trunc i8 %10 to i1 %__arg1_tag = zext i1 %11 to i64 %12 = icmp eq i64 %__self_tag, %__arg1_tag %13 = zext i1 %12 to i8 store i8 %13, ptr %_0, align 1 call void @llvm.lifetime.end.p0(i64 8, ptr %y) call void @llvm.lifetime.end.p0(i64 8, ptr %x) br label %bb8 } declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1 declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1 attributes #0 = { nonlazybind uwtable "probe-stack"="inline-asm" "target-cpu"="x86-64" } attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) } !llvm.module.flags = !{!0, !1} !llvm.ident = !{!2} !0 = !{i32 8, !"PIC Level", i32 2} !1 = !{i32 2, !"RtLibUseGOT", i32 1} !2 = !{!"rustc version 1.79.0-nightly (3c85e5624 2024-03-18)"} !3 = !{i8 0, i8 3} !4 = !{} !5 = !{i8 0, i8 2} !6 = !{i64 1}
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