Compiler Explorer

Source code

; ModuleID = 'godbolt'
source_filename = "godbolt"
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"

%"[]u8" = type { i8*, i64 }
%std.builtin.StackTrace = type { i64, %"[]usize" }
%"[]usize" = type { i64*, i64 }
%Inst = type { i32 }

@panic.1 = internal unnamed_addr constant void (%"[]u8"*, %std.builtin.StackTrace*)* @panic, align 8
@output_mode = internal unnamed_addr constant i2 -2, align 1

; Function Attrs: nobuiltin noreturn nounwind
define internal fastcc void @panic(%"[]u8"* nonnull readonly align 8 %0, %std.builtin.StackTrace* align 8 %1) unnamed_addr #0 {
Entry:
  %stack_trace = alloca %std.builtin.StackTrace*, align 8
  store %std.builtin.StackTrace* %1, %std.builtin.StackTrace** %stack_trace, align 8
  unreachable
}

; Function Attrs: nobuiltin nounwind
define void @entry(%Inst* nonnull readonly %0, i32* nonnull %1) #1 {
Entry:
  %i = alloca i64, align 8
  %inst = alloca %Inst, align 4
  %inst_list = alloca %Inst*, align 8
  %map = alloca i32*, align 8
  store %Inst* %0, %Inst** %inst_list, align 8
  store i32* %1, i32** %map, align 8
  store i64 0, i64* %i, align 8
  br label %WhileCond

WhileCond:                                        ; preds = %SwitchElse17, %SwitchElse15, %SwitchElse13, %SwitchElse11, %SwitchElse9, %SwitchElse7, %SwitchElse5, %SwitchElse3, %SwitchElse, %Entry
  br label %WhileBody

WhileBody:                                        ; preds = %WhileCond
  %2 = load i64, i64* %i, align 8
  %3 = load %Inst*, %Inst** %inst_list, align 8
  %4 = getelementptr inbounds %Inst, %Inst* %3, i64 %2
  %5 = bitcast %Inst* %4 to i8*
  %6 = bitcast %Inst* %inst to i8*
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %6, i8* align 4 %5, i64 4, i1 false)
  %7 = getelementptr inbounds %Inst, %Inst* %inst, i32 0, i32 0
  %8 = load i32, i32* %7, align 4
  switch i32 %8, label %SwitchElse18 [
    i32 0, label %SwitchProngEnd
    i32 1, label %SwitchProngAdd
    i32 2, label %SwitchProngAddWrap
    i32 3, label %SwitchProngAlloc
    i32 4, label %SwitchProngAllocMut
    i32 5, label %SwitchProngAllocInferred
    i32 6, label %SwitchProngAllocInferredMut
    i32 7, label %SwitchProngAnyframeType
    i32 8, label %SwitchProngArrayCat
    i32 9, label %SwitchProngArrayMul
  ]

SwitchProngEnd:                                      ; preds = %WhileBody
  ret void

SwitchProngAdd:                                     ; preds = %WhileBody
  %9 = load i64, i64* %i, align 8
  %10 = load i32*, i32** %map, align 8
  %11 = getelementptr inbounds i32, i32* %10, i64 %9
  %12 = bitcast %Inst* %inst to i32*
  %13 = load i32, i32* %12, align 4
  %14 = call i32 @analyze_add(i32 %13)
  store i32 %14, i32* %11, align 4
  %15 = load i64, i64* %i, align 8
  %16 = add nuw i64 %15, 1
  store i64 %16, i64* %i, align 8
  %17 = load i64, i64* %i, align 8
  %18 = load %Inst*, %Inst** %inst_list, align 8
  %19 = getelementptr inbounds %Inst, %Inst* %18, i64 %17
  %20 = getelementptr inbounds %Inst, %Inst* %19, i32 0, i32 0
  %a20 = load i32, i32* %20, align 4
  switch i32 %a20, label %SwitchElse18 [
    i32 0, label %SwitchProngEnd
    i32 1, label %SwitchProngAdd
    i32 2, label %SwitchProngAddWrap
    i32 3, label %SwitchProngAlloc
    i32 4, label %SwitchProngAllocMut
    i32 5, label %SwitchProngAllocInferred
    i32 6, label %SwitchProngAllocInferredMut
    i32 7, label %SwitchProngAnyframeType
    i32 8, label %SwitchProngArrayCat
    i32 9, label %SwitchProngArrayMul
  ]

SwitchProngAddWrap:                                     ; preds = %WhileBody
  %21 = load i64, i64* %i, align 8
  %22 = load i32*, i32** %map, align 8
  %23 = getelementptr inbounds i32, i32* %22, i64 %21
  %24 = bitcast %Inst* %inst to i32*
  %25 = load i32, i32* %24, align 4
  %26 = call i32 @analyze_addwrap(i32 %25)
  store i32 %26, i32* %23, align 4
  %27 = load i64, i64* %i, align 8
  %28 = add nuw i64 %27, 1
  store i64 %28, i64* %i, align 8
  %29 = load i64, i64* %i, align 8
  %30 = load %Inst*, %Inst** %inst_list, align 8
  %31 = getelementptr inbounds %Inst, %Inst* %30, i64 %29
  %32 = getelementptr inbounds %Inst, %Inst* %31, i32 0, i32 0
  %a32 = load i32, i32* %32, align 4
  switch i32 %a32, label %SwitchElse18 [
    i32 0, label %SwitchProngEnd
    i32 1, label %SwitchProngAdd
    i32 2, label %SwitchProngAddWrap
    i32 3, label %SwitchProngAlloc
    i32 4, label %SwitchProngAllocMut
    i32 5, label %SwitchProngAllocInferred
    i32 6, label %SwitchProngAllocInferredMut
    i32 7, label %SwitchProngAnyframeType
    i32 8, label %SwitchProngArrayCat
    i32 9, label %SwitchProngArrayMul
  ]

SwitchProngAlloc:                                     ; preds = %WhileBody
  %33 = load i64, i64* %i, align 8
  %34 = load i32*, i32** %map, align 8
  %35 = getelementptr inbounds i32, i32* %34, i64 %33
  %36 = bitcast %Inst* %inst to i32*
  %37 = load i32, i32* %36, align 4
  %38 = call i32 @analyze_alloc(i32 %37)
  store i32 %38, i32* %35, align 4
  %39 = load i64, i64* %i, align 8
  %40 = add nuw i64 %39, 1
  store i64 %40, i64* %i, align 8
  %41 = load i64, i64* %i, align 8
  %42 = load %Inst*, %Inst** %inst_list, align 8
  %43 = getelementptr inbounds %Inst, %Inst* %42, i64 %41
  %44 = getelementptr inbounds %Inst, %Inst* %43, i32 0, i32 0
  %a44 = load i32, i32* %44, align 4
  switch i32 %a44, label %SwitchElse18 [
    i32 0, label %SwitchProngEnd
    i32 1, label %SwitchProngAdd
    i32 2, label %SwitchProngAddWrap
    i32 3, label %SwitchProngAlloc
    i32 4, label %SwitchProngAllocMut
    i32 5, label %SwitchProngAllocInferred
    i32 6, label %SwitchProngAllocInferredMut
    i32 7, label %SwitchProngAnyframeType
    i32 8, label %SwitchProngArrayCat
    i32 9, label %SwitchProngArrayMul
  ]

SwitchProngAllocMut:                                     ; preds = %WhileBody
  %45 = load i64, i64* %i, align 8
  %46 = load i32*, i32** %map, align 8
  %47 = getelementptr inbounds i32, i32* %46, i64 %45
  %48 = bitcast %Inst* %inst to i32*
  %49 = load i32, i32* %48, align 4
  %50 = call i32 @analyze_alloc_mut(i32 %49)
  store i32 %50, i32* %47, align 4
  %51 = load i64, i64* %i, align 8
  %52 = add nuw i64 %51, 1
  store i64 %52, i64* %i, align 8
  %53 = load i64, i64* %i, align 8
  %54 = load %Inst*, %Inst** %inst_list, align 8
  %55 = getelementptr inbounds %Inst, %Inst* %54, i64 %53
  %56 = getelementptr inbounds %Inst, %Inst* %55, i32 0, i32 0
  %a56 = load i32, i32* %56, align 4
  switch i32 %a56, label %SwitchElse18 [
    i32 0, label %SwitchProngEnd
    i32 1, label %SwitchProngAdd
    i32 2, label %SwitchProngAddWrap
    i32 3, label %SwitchProngAlloc
    i32 4, label %SwitchProngAllocMut
    i32 5, label %SwitchProngAllocInferred
    i32 6, label %SwitchProngAllocInferredMut
    i32 7, label %SwitchProngAnyframeType
    i32 8, label %SwitchProngArrayCat
    i32 9, label %SwitchProngArrayMul
  ]

SwitchProngAllocInferred:                                     ; preds = %WhileBody
  %57 = load i64, i64* %i, align 8
  %58 = load i32*, i32** %map, align 8
  %59 = getelementptr inbounds i32, i32* %58, i64 %57
  %60 = bitcast %Inst* %inst to i32*
  %61 = load i32, i32* %60, align 4
  %62 = call i32 @analyze_alloc_inferred(i32 %61)
  store i32 %62, i32* %59, align 4
  %63 = load i64, i64* %i, align 8
  %64 = add nuw i64 %63, 1
  store i64 %64, i64* %i, align 8
  %65 = load i64, i64* %i, align 8
  %66 = load %Inst*, %Inst** %inst_list, align 8
  %67 = getelementptr inbounds %Inst, %Inst* %66, i64 %65
  %68 = getelementptr inbounds %Inst, %Inst* %67, i32 0, i32 0
  %a68 = load i32, i32* %68, align 4
  switch i32 %a68, label %SwitchElse18 [
    i32 0, label %SwitchProngEnd
    i32 1, label %SwitchProngAdd
    i32 2, label %SwitchProngAddWrap
    i32 3, label %SwitchProngAlloc
    i32 4, label %SwitchProngAllocMut
    i32 5, label %SwitchProngAllocInferred
    i32 6, label %SwitchProngAllocInferredMut
    i32 7, label %SwitchProngAnyframeType
    i32 8, label %SwitchProngArrayCat
    i32 9, label %SwitchProngArrayMul
  ]

SwitchProngAllocInferredMut:                                    ; preds = %WhileBody
  %69 = load i64, i64* %i, align 8
  %70 = load i32*, i32** %map, align 8
  %71 = getelementptr inbounds i32, i32* %70, i64 %69
  %72 = bitcast %Inst* %inst to i32*
  %73 = load i32, i32* %72, align 4
  %74 = call i32 @analyze_alloc_inferred_mut(i32 %73)
  store i32 %74, i32* %71, align 4
  %75 = load i64, i64* %i, align 8
  %76 = add nuw i64 %75, 1
  store i64 %76, i64* %i, align 8
  %77 = load i64, i64* %i, align 8
  %78 = load %Inst*, %Inst** %inst_list, align 8
  %79 = getelementptr inbounds %Inst, %Inst* %78, i64 %77
  %80 = getelementptr inbounds %Inst, %Inst* %79, i32 0, i32 0
  %a80 = load i32, i32* %80, align 4
  switch i32 %a80, label %SwitchElse18 [
    i32 0, label %SwitchProngEnd
    i32 1, label %SwitchProngAdd
    i32 2, label %SwitchProngAddWrap
    i32 3, label %SwitchProngAlloc
    i32 4, label %SwitchProngAllocMut
    i32 5, label %SwitchProngAllocInferred
    i32 6, label %SwitchProngAllocInferredMut
    i32 7, label %SwitchProngAnyframeType
    i32 8, label %SwitchProngArrayCat
    i32 9, label %SwitchProngArrayMul
  ]

SwitchProngAnyframeType:                                    ; preds = %WhileBody
  %81 = load i64, i64* %i, align 8
  %82 = load i32*, i32** %map, align 8
  %83 = getelementptr inbounds i32, i32* %82, i64 %81
  %84 = bitcast %Inst* %inst to i32*
  %85 = load i32, i32* %84, align 4
  %86 = call i32 @analyze_anyframe_type(i32 %85)
  store i32 %86, i32* %83, align 4
  %87 = load i64, i64* %i, align 8
  %88 = add nuw i64 %87, 1
  store i64 %88, i64* %i, align 8
  %89 = load i64, i64* %i, align 8
  %90 = load %Inst*, %Inst** %inst_list, align 8
  %91 = getelementptr inbounds %Inst, %Inst* %90, i64 %89
  %92 = getelementptr inbounds %Inst, %Inst* %91, i32 0, i32 0
  %a92 = load i32, i32* %92, align 4
  switch i32 %a92, label %SwitchElse18 [
    i32 0, label %SwitchProngEnd
    i32 1, label %SwitchProngAdd
    i32 2, label %SwitchProngAddWrap
    i32 3, label %SwitchProngAlloc
    i32 4, label %SwitchProngAllocMut
    i32 5, label %SwitchProngAllocInferred
    i32 6, label %SwitchProngAllocInferredMut
    i32 7, label %SwitchProngAnyframeType
    i32 8, label %SwitchProngArrayCat
    i32 9, label %SwitchProngArrayMul
  ]

SwitchProngArrayCat:                                    ; preds = %WhileBody
  %93 = load i64, i64* %i, align 8
  %94 = load i32*, i32** %map, align 8
  %95 = getelementptr inbounds i32, i32* %94, i64 %93
  %96 = bitcast %Inst* %inst to i32*
  %97 = load i32, i32* %96, align 4
  %98 = call i32 @analyze_array_cat(i32 %97)
  store i32 %98, i32* %95, align 4
  %99 = load i64, i64* %i, align 8
  %100 = add nuw i64 %99, 1
  store i64 %100, i64* %i, align 8
  %101 = load i64, i64* %i, align 8
  %102 = load %Inst*, %Inst** %inst_list, align 8
  %103 = getelementptr inbounds %Inst, %Inst* %102, i64 %101
  %104 = getelementptr inbounds %Inst, %Inst* %103, i32 0, i32 0
  %a104 = load i32, i32* %104, align 4
  switch i32 %a104, label %SwitchElse18 [
    i32 0, label %SwitchProngEnd
    i32 1, label %SwitchProngAdd
    i32 2, label %SwitchProngAddWrap
    i32 3, label %SwitchProngAlloc
    i32 4, label %SwitchProngAllocMut
    i32 5, label %SwitchProngAllocInferred
    i32 6, label %SwitchProngAllocInferredMut
    i32 7, label %SwitchProngAnyframeType
    i32 8, label %SwitchProngArrayCat
    i32 9, label %SwitchProngArrayMul
  ]

SwitchProngArrayMul:                                    ; preds = %WhileBody
  %105 = load i64, i64* %i, align 8
  %106 = load i32*, i32** %map, align 8
  %107 = getelementptr inbounds i32, i32* %106, i64 %105
  %108 = bitcast %Inst* %inst to i32*
  %109 = load i32, i32* %108, align 4
  %110 = call i32 @analyze_array_mul(i32 %109)
  store i32 %110, i32* %107, align 4
  %111 = load i64, i64* %i, align 8
  %112 = add nuw i64 %111, 1
  store i64 %112, i64* %i, align 8
  %113 = load i64, i64* %i, align 8
  %114 = load %Inst*, %Inst** %inst_list, align 8
  %115 = getelementptr inbounds %Inst, %Inst* %114, i64 %113
  %116 = getelementptr inbounds %Inst, %Inst* %115, i32 0, i32 0
  %a116 = load i32, i32* %116, align 4
  switch i32 %a116, label %SwitchElse18 [
    i32 0, label %SwitchProngEnd
    i32 1, label %SwitchProngAdd
    i32 2, label %SwitchProngAddWrap
    i32 3, label %SwitchProngAlloc
    i32 4, label %SwitchProngAllocMut
    i32 5, label %SwitchProngAllocInferred
    i32 6, label %SwitchProngAllocInferredMut
    i32 7, label %SwitchProngAnyframeType
    i32 8, label %SwitchProngArrayCat
    i32 9, label %SwitchProngArrayMul
  ]

SwitchElse18:                                     ; preds = %WhileBody
  unreachable
}

; Function Attrs: argmemonly nounwind willreturn
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* noalias nocapture writeonly %0, i8* noalias nocapture readonly %1, i64 %2, i1 immarg %3) #2

; Function Attrs: nobuiltin nounwind
declare i32 @analyze_add(i32 %0) #1

; Function Attrs: nobuiltin nounwind
declare i32 @analyze_addwrap(i32 %0) #1

; Function Attrs: nobuiltin nounwind
declare i32 @analyze_alloc(i32 %0) #1

; Function Attrs: nobuiltin nounwind
declare i32 @analyze_alloc_mut(i32 %0) #1

; Function Attrs: nobuiltin nounwind
declare i32 @analyze_alloc_inferred(i32 %0) #1

; Function Attrs: nobuiltin nounwind
declare i32 @analyze_alloc_inferred_mut(i32 %0) #1

; Function Attrs: nobuiltin nounwind
declare i32 @analyze_anyframe_type(i32 %0) #1

; Function Attrs: nobuiltin nounwind
declare i32 @analyze_array_cat(i32 %0) #1

; Function Attrs: nobuiltin nounwind
declare i32 @analyze_array_mul(i32 %0) #1

attributes #0 = { nobuiltin noreturn nounwind }
attributes #1 = { nobuiltin nounwind }
attributes #2 = { argmemonly nounwind willreturn }