Compiler Explorer

Source code

; ModuleID = 'example.087e452f-cgu.0'
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"core::panic::location::Location" = type { { [0 x i8]*, i64 }, i32, i32 }
%"unwind::libunwind::_Unwind_Exception" = type { i64, void (i32, %"unwind::libunwind::_Unwind_Exception"*)*, [6 x i64] }
%"unwind::libunwind::_Unwind_Context" = type { [0 x i8] }

@alloc5 = private unnamed_addr constant <{ [30 x i8] }> <{ [30 x i8] c"assertion failed: a.min(b) < 6" }>, align 1
@alloc6 = private unnamed_addr constant <{ [15 x i8] }> <{ [15 x i8] c"/app/example.rs" }>, align 1
@alloc7 = private unnamed_addr constant <{ i8*, [16 x i8] }> <{ i8* getelementptr inbounds (<{ [15 x i8] }>, <{ [15 x i8] }>* @alloc6, i32 0, i32 0, i32 0), [16 x i8] c"\0F\00\00\00\00\00\00\00\06\00\00\00\05\00\00\00" }>, align 8

; example::foo1
; Function Attrs: nonlazybind uwtable
define void @_ZN7example4foo117h4882c3ad89c1ad38E(i64 %a, i64 %b) unnamed_addr #0 personality i32 (i32, i32, i64, %"unwind::libunwind::_Unwind_Exception"*, %"unwind::libunwind::_Unwind_Context"*)* @rust_eh_personality {
entry:
  %_4 = icmp ult i64 %a, 6
  tail call void @llvm.assume(i1 %_4)
  %0 = icmp ugt i64 %a, %b
  %.0.sroa.speculated.i.i = select i1 %0, i64 %b, i64 %a
  %_7 = icmp ugt i64 %.0.sroa.speculated.i.i, 5
  br i1 %_7, label %bb3, label %bb4

bb4:                                              ; preds = %start
  ret void

bb3:                                              ; preds = %start
; call core::panicking::panic
  tail call void @_ZN4core9panicking5panic17h7e2e557d78838609E([0 x i8]* noalias nonnull readonly align 1 bitcast (<{ [30 x i8] }>* @alloc5 to [0 x i8]*), i64 30, %"core::panic::location::Location"* noalias readonly align 8 dereferenceable(24) bitcast (<{ i8*, [16 x i8] }>* @alloc7 to %"core::panic::location::Location"*)) #3
  unreachable
}

; Function Attrs: inaccessiblememonly mustprogress nofree nosync nounwind willreturn
declare void @llvm.assume(i1 noundef) #1

; core::panicking::panic
; Function Attrs: cold noinline noreturn nonlazybind uwtable
declare void @_ZN4core9panicking5panic17h7e2e557d78838609E([0 x i8]* noalias nonnull readonly align 1, i64, %"core::panic::location::Location"* noalias readonly align 8 dereferenceable(24)) unnamed_addr #2

; Function Attrs: nonlazybind uwtable
declare i32 @rust_eh_personality(i32, i32, i64, %"unwind::libunwind::_Unwind_Exception"*, %"unwind::libunwind::_Unwind_Context"*) unnamed_addr #0

attributes #0 = { nonlazybind uwtable "probe-stack"="__rust_probestack" "target-cpu"="x86-64" }
attributes #1 = { inaccessiblememonly mustprogress nofree nosync nounwind willreturn }
attributes #2 = { cold noinline noreturn nonlazybind uwtable "probe-stack"="__rust_probestack" "target-cpu"="x86-64" }
attributes #3 = { noreturn }

!llvm.module.flags = !{!0, !1}

!0 = !{i32 7, !"PIC Level", i32 2}
!1 = !{i32 2, !"RtLibUseGOT", i32 1}