Compiler Explorer

Source code

; ModuleID = 'mydiv_fast!'
source_filename = "mydiv_fast!"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:10:11:12:13"
target triple = "x86_64-unknown-linux-gnu"

%jl_value_t = type opaque
%jl_array_t = type { i8*, i64, i16, i16, i32 }

define nonnull %jl_value_t* @"julia_mydiv_fast!_32559"(%jl_value_t* noalias nonnull align 16 dereferenceable(40), %jl_value_t* noalias nonnull align 16 dereferenceable(40), double) !dbg !5 {
top:
  %x = alloca %jl_value_t*
  %y = alloca %jl_value_t*
  %3 = call %jl_value_t*** @julia.ptls_states()
  store %jl_value_t* null, %jl_value_t** %y
  store %jl_value_t* null, %jl_value_t** %x
  %4 = bitcast %jl_value_t*** %3 to %jl_value_t**
  %5 = getelementptr inbounds %jl_value_t*, %jl_value_t** %4, i64 4
  %6 = bitcast %jl_value_t** %5 to i64**
  %7 = load i64*, i64** %6, !tbaa !7, !invariant.load !4
  store %jl_value_t* %0, %jl_value_t** %x
  store %jl_value_t* %1, %jl_value_t** %y
  %8 = fdiv fast double 1.000000e+00, %2, !dbg !11
  %9 = load %jl_value_t*, %jl_value_t** %x, !dbg !16, !nonnull !4, !dereferenceable !29, !align !30
  %10 = bitcast %jl_value_t* %9 to %jl_value_t**, !dbg !16
  %11 = getelementptr inbounds %jl_value_t*, %jl_value_t** %10, i32 3, !dbg !16
  %12 = bitcast %jl_value_t** %11 to i64*, !dbg !16
  %13 = load i64, i64* %12, !dbg !16, !tbaa !31
  %14 = icmp slt i64 %13, 0, !dbg !34
  %15 = zext i1 %14 to i8, !dbg !37
  %16 = trunc i8 %15 to i1, !dbg !37
  %17 = xor i1 %16, true, !dbg !37
  %18 = select i1 %17, i64 %13, i64 0, !dbg !37
  %19 = load %jl_value_t*, %jl_value_t** %y, !dbg !47, !nonnull !4, !dereferenceable !29, !align !30
  %20 = bitcast %jl_value_t* %19 to %jl_value_t**, !dbg !47
  %21 = getelementptr inbounds %jl_value_t*, %jl_value_t** %20, i32 3, !dbg !47
  %22 = bitcast %jl_value_t** %21 to i64*, !dbg !47
  %23 = load i64, i64* %22, !dbg !47, !tbaa !31
  %24 = icmp slt i64 %23, 0, !dbg !56
  %25 = zext i1 %24 to i8, !dbg !57
  %26 = trunc i8 %25 to i1, !dbg !57
  %27 = xor i1 %26, true, !dbg !57
  %28 = select i1 %27, i64 %23, i64 0, !dbg !57
  %29 = icmp slt i64 %18, 1, !dbg !61
  %30 = icmp slt i64 %28, 1, !dbg !61
  %31 = zext i1 %29 to i8, !dbg !69
  %32 = zext i1 %30 to i8, !dbg !69
  %33 = and i8 %31, %32, !dbg !69
  %34 = trunc i8 %33 to i1, !dbg !69
  %35 = icmp eq i64 %18, %28, !dbg !72
  %36 = zext i1 %35 to i8, !dbg !72
  %37 = and i8 1, %36, !dbg !69
  %38 = trunc i8 %37 to i1, !dbg !69
  %39 = zext i1 %34 to i8, !dbg !74
  %40 = zext i1 %38 to i8, !dbg !74
  %41 = or i8 %39, %40, !dbg !74
  %42 = trunc i8 %41 to i1, !dbg !74
  %43 = zext i1 %42 to i8, !dbg !76
  %44 = and i8 %43, 1, !dbg !76
  %45 = trunc i8 %44 to i1, !dbg !76
  %46 = zext i1 %45 to i8, !dbg !55
  %47 = trunc i8 %46 to i1, !dbg !55
  %48 = xor i1 %47, true, !dbg !55
  br i1 %48, label %L17, label %L16, !dbg !55

L16:                                              ; preds = %top
  br label %L19, !dbg !77

L17:                                              ; preds = %top
  %49 = load %jl_value_t*, %jl_value_t** %x, !dbg !55, !nonnull !4, !dereferenceable !29, !align !30
  %50 = load %jl_value_t*, %jl_value_t** %y, !dbg !55, !nonnull !4, !dereferenceable !29, !align !30
  %51 = call cc38 nonnull %jl_value_t* bitcast (%jl_value_t* (%jl_value_t*, %jl_value_t**, i32, %jl_value_t*)* @jl_invoke to %jl_value_t* (%jl_value_t*, %jl_value_t*, %jl_value_t*, %jl_value_t*, %jl_value_t*)*)(%jl_value_t* inttoptr (i64 140622576883280 to %jl_value_t*), %jl_value_t* inttoptr (i64 140623181979312 to %jl_value_t*), %jl_value_t* inttoptr (i64 140623120500752 to %jl_value_t*), %jl_value_t* %49, %jl_value_t* %50), !dbg !55
  call void @llvm.trap(), !dbg !55
  unreachable, !dbg !55

L19:                                              ; preds = %L16
  br label %L20, !dbg !27

L20:                                              ; preds = %L19
  %52 = icmp slt i64 %18, 1, !dbg !78
  %53 = zext i1 %52 to i8, !dbg !81
  %54 = trunc i8 %53 to i1, !dbg !81
  %55 = xor i1 %54, true, !dbg !81
  br i1 %55, label %L23, label %L22, !dbg !81

L22:                                              ; preds = %L20
  br label %L24, !dbg !81

L23:                                              ; preds = %L20
  br label %L24, !dbg !81

L24:                                              ; preds = %L23, %L22
  %value_phi = phi i8 [ 1, %L22 ], [ 0, %L23 ]
  %value_phi1 = phi i64 [ 1, %L23 ], [ undef, %L22 ]
  %value_phi2 = phi i64 [ 1, %L23 ], [ undef, %L22 ]
  %56 = xor i8 %value_phi, 1, !dbg !28
  %57 = trunc i8 %56 to i1, !dbg !28
  %58 = xor i1 %57, true, !dbg !28
  br i1 %58, label %L45, label %L24.L29_crit_edge, !dbg !28

L24.L29_crit_edge:                                ; preds = %L24
  br label %L29, !dbg !81

L29:                                              ; preds = %L44, %L24.L29_crit_edge
  %value_phi3 = phi i64 [ %value_phi1, %L24.L29_crit_edge ], [ %value_phi5, %L44 ]
  %value_phi4 = phi i64 [ %value_phi2, %L24.L29_crit_edge ], [ %value_phi6, %L44 ]
  %59 = load %jl_value_t*, %jl_value_t** %y, !dbg !83, !nonnull !4, !dereferenceable !29, !align !30
  %60 = sub i64 %value_phi3, 1, !dbg !83
  %61 = mul i64 %60, 1, !dbg !83
  %62 = add i64 0, %61, !dbg !83
  %63 = bitcast %jl_value_t* %59 to %jl_array_t*, !dbg !83
  %64 = getelementptr inbounds %jl_array_t, %jl_array_t* %63, i32 0, i32 0, !dbg !83
  %65 = load i8*, i8** %64, !dbg !83, !tbaa !86, !nonnull !4
  %66 = bitcast i8* %65 to double*, !dbg !83
  %67 = getelementptr inbounds double, double* %66, i64 %62, !dbg !83
  %68 = load double, double* %67, align 8, !dbg !83, !tbaa !88
  %69 = fmul fast double %68, %8, !dbg !91
  %70 = load %jl_value_t*, %jl_value_t** %x, !dbg !93, !nonnull !4, !dereferenceable !29, !align !30
  %71 = sub i64 %value_phi3, 1, !dbg !93
  %72 = mul i64 %71, 1, !dbg !93
  %73 = add i64 0, %72, !dbg !93
  %74 = bitcast %jl_value_t* %70 to %jl_array_t*, !dbg !93
  %75 = getelementptr inbounds %jl_array_t, %jl_array_t* %74, i32 0, i32 0, !dbg !93
  %76 = load i8*, i8** %75, !dbg !93, !tbaa !86, !nonnull !4
  %77 = bitcast i8* %76 to double*, !dbg !93
  %78 = getelementptr inbounds double, double* %77, i64 %73, !dbg !93
  store double %69, double* %78, align 8, !dbg !93, !tbaa !88
  %79 = icmp eq i64 %value_phi4, %18, !dbg !95
  %80 = zext i1 %79 to i8, !dbg !95
  %81 = trunc i8 %80 to i1, !dbg !96
  %82 = xor i1 %81, true, !dbg !96
  br i1 %82, label %L37, label %L36, !dbg !96

L36:                                              ; preds = %L29
  br label %L39, !dbg !96

L37:                                              ; preds = %L29
  %83 = add i64 %value_phi4, 1, !dbg !97
  br label %L39, !dbg !96

L39:                                              ; preds = %L37, %L36
  %value_phi5 = phi i64 [ %83, %L37 ], [ undef, %L36 ]
  %value_phi6 = phi i64 [ %83, %L37 ], [ undef, %L36 ]
  %value_phi7 = phi i8 [ 1, %L36 ], [ 0, %L37 ]
  %84 = xor i8 %value_phi7, 1, !dbg !85
  %85 = trunc i8 %84 to i1, !dbg !85
  %86 = xor i1 %85, true, !dbg !85
  br i1 %86, label %L45, label %L44, !dbg !85

L44:                                              ; preds = %L39
  br label %L29, !dbg !81

L45:                                              ; preds = %L39, %L24
  %87 = load %jl_value_t*, %jl_value_t** %x, !dbg !100, !nonnull !4, !dereferenceable !29, !align !30
  ret %jl_value_t* %87, !dbg !100

after_noret:                                      ; No predecessors!
  unreachable, !dbg !55
}

define nonnull %jl_value_t* @"jfptr_mydiv_fast!_32560"(%jl_value_t*, %jl_value_t**, i32) #0 {
top:
  %3 = call %jl_value_t*** @julia.ptls_states()
  %4 = bitcast %jl_value_t*** %3 to %jl_value_t**
  %5 = getelementptr inbounds %jl_value_t*, %jl_value_t** %4, i64 4
  %6 = bitcast %jl_value_t** %5 to i64**
  %7 = load i64*, i64** %6, !tbaa !7, !invariant.load !4
  %8 = getelementptr inbounds %jl_value_t*, %jl_value_t** %1, i32 0
  %9 = load %jl_value_t*, %jl_value_t** %8, !nonnull !4, !dereferenceable !29, !align !30
  %10 = getelementptr inbounds %jl_value_t*, %jl_value_t** %1, i32 1
  %11 = load %jl_value_t*, %jl_value_t** %10, !nonnull !4, !dereferenceable !29, !align !30
  %12 = getelementptr inbounds %jl_value_t*, %jl_value_t** %1, i32 2
  %13 = load %jl_value_t*, %jl_value_t** %12, !nonnull !4, !dereferenceable !101, !align !101
  %14 = bitcast %jl_value_t* %13 to double*
  %15 = load double, double* %14, align 8
  %16 = call nonnull %jl_value_t* @"julia_mydiv_fast!_32559"(%jl_value_t* %9, %jl_value_t* %11, double %15)
  %17 = getelementptr inbounds %jl_value_t*, %jl_value_t** %1, i32 0
  %18 = load %jl_value_t*, %jl_value_t** %17
  ret %jl_value_t* %18
}

declare %jl_value_t*** @julia.ptls_states()

declare nonnull %jl_value_t* @jl_invoke(%jl_value_t*, %jl_value_t** nocapture readonly, i32, %jl_value_t*)

; Function Attrs: cold noreturn nounwind
declare void @llvm.trap() #1

attributes #0 = { "thunk" }
attributes #1 = { cold noreturn nounwind }

!llvm.module.flags = !{!0, !1}
!llvm.dbg.cu = !{!2}

!0 = !{i32 2, !"Dwarf Version", i32 4}
!1 = !{i32 1, !"Debug Info Version", i32 3}
!2 = distinct !DICompileUnit(language: DW_LANG_Julia, file: !3, producer: "julia", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, nameTableKind: GNU)
!3 = !DIFile(filename: "REPL[67]", directory: ".")
!4 = !{}
!5 = distinct !DISubprogram(name: "mydiv_fast!", linkageName: "julia_mydiv_fast!_32559", scope: null, file: !3, line: 1, type: !6, scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!6 = !DISubroutineType(types: !4)
!7 = !{!8, !8, i64 0, i64 1}
!8 = !{!"jtbaa_const", !9, i64 0}
!9 = !{!"jtbaa", !10, i64 0}
!10 = !{!"jtbaa"}
!11 = !DILocation(line: 167, scope: !12, inlinedAt: !14)
!12 = distinct !DISubprogram(name: "div_fast;", linkageName: "div_fast", scope: !13, file: !13, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!13 = !DIFile(filename: "fastmath.jl", directory: ".")
!14 = !DILocation(line: 266, scope: !12, inlinedAt: !15)
!15 = !DILocation(line: 2, scope: !5)
!16 = !DILocation(line: 155, scope: !17, inlinedAt: !19)
!17 = distinct !DISubprogram(name: "size;", linkageName: "size", scope: !18, file: !18, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!18 = !DIFile(filename: "array.jl", directory: ".")
!19 = !DILocation(line: 75, scope: !20, inlinedAt: !22)
!20 = distinct !DISubprogram(name: "axes;", linkageName: "axes", scope: !21, file: !21, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!21 = !DIFile(filename: "abstractarray.jl", directory: ".")
!22 = !DILocation(line: 95, scope: !23, inlinedAt: !24)
!23 = distinct !DISubprogram(name: "axes1;", linkageName: "axes1", scope: !21, file: !21, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!24 = !DILocation(line: 267, scope: !25, inlinedAt: !26)
!25 = distinct !DISubprogram(name: "eachindex;", linkageName: "eachindex", scope: !21, file: !21, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!26 = !DILocation(line: 270, scope: !25, inlinedAt: !27)
!27 = !DILocation(line: 260, scope: !25, inlinedAt: !28)
!28 = !DILocation(line: 3, scope: !5)
!29 = !{i64 40}
!30 = !{i64 16}
!31 = !{!32, !32, i64 0}
!32 = !{!"jtbaa_arraysize", !33, i64 0}
!33 = !{!"jtbaa_array", !9, i64 0}
!34 = !DILocation(line: 83, scope: !35, inlinedAt: !37)
!35 = distinct !DISubprogram(name: "<;", linkageName: "<", scope: !36, file: !36, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!36 = !DIFile(filename: "int.jl", directory: ".")
!37 = !DILocation(line: 409, scope: !38, inlinedAt: !40)
!38 = distinct !DISubprogram(name: "max;", linkageName: "max", scope: !39, file: !39, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!39 = !DIFile(filename: "promotion.jl", directory: ".")
!40 = !DILocation(line: 317, scope: !41, inlinedAt: !43)
!41 = distinct !DISubprogram(name: "OneTo;", linkageName: "OneTo", scope: !42, file: !42, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!42 = !DIFile(filename: "range.jl", directory: ".")
!43 = !DILocation(line: 326, scope: !41, inlinedAt: !44)
!44 = !DILocation(line: 157, scope: !45, inlinedAt: !19)
!45 = distinct !DISubprogram(name: "map;", linkageName: "map", scope: !46, file: !46, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!46 = !DIFile(filename: "tuple.jl", directory: ".")
!47 = !DILocation(line: 155, scope: !17, inlinedAt: !48)
!48 = !DILocation(line: 75, scope: !20, inlinedAt: !49)
!49 = !DILocation(line: 95, scope: !23, inlinedAt: !50)
!50 = !DILocation(line: 267, scope: !25, inlinedAt: !51)
!51 = !DILocation(line: 271, scope: !52, inlinedAt: !53)
!52 = distinct !DISubprogram(name: "#93;", linkageName: "#93", scope: !21, file: !21, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!53 = !DILocation(line: 277, scope: !54, inlinedAt: !55)
!54 = distinct !DISubprogram(name: "_all_match_first;", linkageName: "_all_match_first", scope: !21, file: !21, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!55 = !DILocation(line: 271, scope: !25, inlinedAt: !27)
!56 = !DILocation(line: 83, scope: !35, inlinedAt: !57)
!57 = !DILocation(line: 409, scope: !38, inlinedAt: !58)
!58 = !DILocation(line: 317, scope: !41, inlinedAt: !59)
!59 = !DILocation(line: 326, scope: !41, inlinedAt: !60)
!60 = !DILocation(line: 157, scope: !45, inlinedAt: !48)
!61 = !DILocation(line: 83, scope: !35, inlinedAt: !62)
!62 = !DILocation(line: 303, scope: !63, inlinedAt: !65)
!63 = distinct !DISubprogram(name: ">;", linkageName: ">", scope: !64, file: !64, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!64 = !DIFile(filename: "operators.jl", directory: ".")
!65 = !DILocation(line: 503, scope: !66, inlinedAt: !67)
!66 = distinct !DISubprogram(name: "isempty;", linkageName: "isempty", scope: !42, file: !42, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!67 = !DILocation(line: 747, scope: !68, inlinedAt: !53)
!68 = distinct !DISubprogram(name: "==;", linkageName: "==", scope: !42, file: !42, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!69 = !DILocation(line: 40, scope: !70, inlinedAt: !67)
!70 = distinct !DISubprogram(name: "&;", linkageName: "&", scope: !71, file: !71, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!71 = !DIFile(filename: "bool.jl", directory: ".")
!72 = !DILocation(line: 398, scope: !73, inlinedAt: !67)
!73 = distinct !DISubprogram(name: "==;", linkageName: "==", scope: !39, file: !39, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!74 = !DILocation(line: 41, scope: !75, inlinedAt: !67)
!75 = distinct !DISubprogram(name: "|;", linkageName: "|", scope: !71, file: !71, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!76 = !DILocation(line: 40, scope: !70, inlinedAt: !53)
!77 = !DILocation(line: 273, scope: !25, inlinedAt: !27)
!78 = !DILocation(line: 83, scope: !35, inlinedAt: !79)
!79 = !DILocation(line: 303, scope: !63, inlinedAt: !80)
!80 = !DILocation(line: 503, scope: !66, inlinedAt: !81)
!81 = !DILocation(line: 620, scope: !82, inlinedAt: !28)
!82 = distinct !DISubprogram(name: "iterate;", linkageName: "iterate", scope: !42, file: !42, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!83 = !DILocation(line: 811, scope: !84, inlinedAt: !85)
!84 = distinct !DISubprogram(name: "getindex;", linkageName: "getindex", scope: !18, file: !18, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!85 = !DILocation(line: 4, scope: !5)
!86 = !{!87, !87, i64 0}
!87 = !{!"jtbaa_arrayptr", !33, i64 0}
!88 = !{!89, !89, i64 0}
!89 = !{!"jtbaa_arraybuf", !90, i64 0}
!90 = !{!"jtbaa_data", !9, i64 0}
!91 = !DILocation(line: 166, scope: !92, inlinedAt: !85)
!92 = distinct !DISubprogram(name: "mul_fast;", linkageName: "mul_fast", scope: !13, file: !13, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!93 = !DILocation(line: 849, scope: !94, inlinedAt: !85)
!94 = distinct !DISubprogram(name: "setindex!;", linkageName: "setindex!", scope: !18, file: !18, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!95 = !DILocation(line: 398, scope: !73, inlinedAt: !96)
!96 = !DILocation(line: 624, scope: !82, inlinedAt: !85)
!97 = !DILocation(line: 87, scope: !98, inlinedAt: !99)
!98 = distinct !DISubprogram(name: "+;", linkageName: "+", scope: !36, file: !36, type: !6, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !4)
!99 = !DILocation(line: 625, scope: !82, inlinedAt: !85)
!100 = !DILocation(line: 6, scope: !5)
!101 = !{i64 8}