PROGRAM ATCODER

implicit none
integer(16) :: n,x,i,ans=0
integer(16),allocatable :: a(:),b(:)

read(*,*) n,x
allocate(a(n),b(n-1))
read(*,*) (a(i), i=1,n)

do i = 1, n
  if ( a(i) >x ) then
    ans = ans + a(i) - x
    a(i) = x
  end if
end do

do i = 2,n
  b(i-1) = a(i) + a(i-1)
end do

do i = 1,n-2
  if ( b(i) > x ) then
    ans = ans + b(i) - x
    b(i+1) = b(i+1) - (b(i) - x)
  end if
end do

if ( b(n-1) > x ) then
  ans = ans + b(n-1) - x  
end if

write(*,'(i0)') ans

contains
!!!!!! サブルーチンは↓
!!!!!!

END PROGRAM ATCODER

; ModuleID = 'FIRModule'
source_filename = "FIRModule"
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-pc-linux-gnu"

@_QFEa.0 = internal unnamed_addr global ptr null
@_QFEans = internal unnamed_addr global i128 0
@_QFEb.0 = internal unnamed_addr global ptr null
@_QQcl.6c7969e1781fb96e55181a426940663d = linkonce constant [73 x i8] c"/home/ubuntu/Downloads/TheStack_IR/Collated/Fortran/Source_7718/source.f\00"
@_QQcl.28693029 = linkonce constant [4 x i8] c"(i0)"
@_QQEnvironmentDefaults = local_unnamed_addr constant ptr null

; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @malloc(i64 noundef) local_unnamed_addr #0

define void @_QQmain() local_unnamed_addr {
  %1 = alloca i128, align 8
  %2 = alloca i128, align 8
  %3 = tail call ptr @_FortranAioBeginExternalListInput(i32 -1, ptr nonnull @_QQcl.6c7969e1781fb96e55181a426940663d, i32 7)
  %4 = call i1 @_FortranAioInputInteger(ptr %3, ptr nonnull %1, i32 16)
  %5 = call i1 @_FortranAioInputInteger(ptr %3, ptr nonnull %2, i32 16)
  %6 = call i32 @_FortranAioEndIoStatement(ptr %3)
  %7 = load i128, ptr %1, align 8, !tbaa !3
  %8 = trunc i128 %7 to i64
  %9 = call i64 @llvm.smax.i64(i64 %8, i64 0)
  %10 = shl i64 %9, 4
  %11 = call ptr @malloc(i64 %10)
  store ptr %11, ptr @_QFEa.0, align 8, !tbaa !7
  %12 = add i64 %8, -1
  %13 = call i64 @llvm.smax.i64(i64 %12, i64 0)
  %14 = shl i64 %13, 4
  %15 = call ptr @malloc(i64 %14)
  store ptr %15, ptr @_QFEb.0, align 8, !tbaa !7
  %16 = call ptr @_FortranAioBeginExternalListInput(i32 -1, ptr nonnull @_QQcl.6c7969e1781fb96e55181a426940663d, i32 9)
  %17 = load i128, ptr %1, align 8, !tbaa !3
  %18 = trunc i128 %17 to i64
  %19 = icmp sgt i64 %18, 0
  br i1 %19, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %0, %.lr.ph
  %20 = phi i64 [ %24, %.lr.ph ], [ 1, %0 ]
  %.unpack388 = load ptr, ptr @_QFEa.0, align 8, !tbaa !7
  %21 = add i64 %20, -1
  %22 = getelementptr i128, ptr %.unpack388, i64 %21
  %23 = call i1 @_FortranAioInputInteger(ptr %16, ptr %22, i32 16)
  %24 = add nuw i64 %20, 1
  %exitcond.not = icmp eq i64 %20, %18
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph

._crit_edge:                                      ; preds = %.lr.ph, %0
  %25 = call i32 @_FortranAioEndIoStatement(ptr %16)
  %26 = load i128, ptr %1, align 8, !tbaa !3
  %27 = trunc i128 %26 to i64
  %28 = icmp sgt i64 %27, 0
  br i1 %28, label %.lr.ph405, label %._crit_edge406

.lr.ph405:                                        ; preds = %._crit_edge
  %_QFEans.promoted = load i128, ptr @_QFEans, align 8, !tbaa !3
  %.unpack364 = load ptr, ptr @_QFEa.0, align 8, !tbaa !7
  %xtraiter = and i64 %27, 1
  %29 = icmp eq i64 %27, 1
  br i1 %29, label %._crit_edge406.loopexit.unr-lcssa, label %.lr.ph405.new

.lr.ph405.new:                                    ; preds = %.lr.ph405
  %unroll_iter = and i64 %27, -2
  br label %30

30:                                               ; preds = %50, %.lr.ph405.new
  %31 = phi i64 [ 1, %.lr.ph405.new ], [ %52, %50 ]
  %32 = phi i128 [ %_QFEans.promoted, %.lr.ph405.new ], [ %51, %50 ]
  %niter = phi i64 [ 0, %.lr.ph405.new ], [ %niter.next.1, %50 ]
  %33 = add nsw i64 %31, -1
  %34 = getelementptr i128, ptr %.unpack364, i64 %33
  %35 = load i128, ptr %34, align 8, !tbaa !3
  %36 = load i128, ptr %2, align 8, !tbaa !3
  %37 = icmp sgt i128 %35, %36
  br i1 %37, label %38, label %41

38:                                               ; preds = %30
  %39 = sub i128 %35, %36
  %40 = add i128 %39, %32
  store i128 %40, ptr @_QFEans, align 8, !tbaa !3
  store i128 %36, ptr %34, align 8, !tbaa !3
  br label %41

41:                                               ; preds = %38, %30
  %42 = phi i128 [ %40, %38 ], [ %32, %30 ]
  %43 = getelementptr i128, ptr %.unpack364, i64 %31
  %44 = load i128, ptr %43, align 8, !tbaa !3
  %45 = load i128, ptr %2, align 8, !tbaa !3
  %46 = icmp sgt i128 %44, %45
  br i1 %46, label %47, label %50

47:                                               ; preds = %41
  %48 = sub i128 %44, %45
  %49 = add i128 %48, %42
  store i128 %49, ptr @_QFEans, align 8, !tbaa !3
  store i128 %45, ptr %43, align 8, !tbaa !3
  br label %50

50:                                               ; preds = %47, %41
  %51 = phi i128 [ %49, %47 ], [ %42, %41 ]
  %52 = add nuw i64 %31, 2
  %niter.next.1 = add i64 %niter, 2
  %niter.ncmp.1 = icmp eq i64 %niter.next.1, %unroll_iter
  br i1 %niter.ncmp.1, label %._crit_edge406.loopexit.unr-lcssa.loopexit, label %30

._crit_edge406.loopexit.unr-lcssa.loopexit:       ; preds = %50
  %53 = add i64 %31, 1
  br label %._crit_edge406.loopexit.unr-lcssa

._crit_edge406.loopexit.unr-lcssa:                ; preds = %._crit_edge406.loopexit.unr-lcssa.loopexit, %.lr.ph405
  %.unr = phi i64 [ 0, %.lr.ph405 ], [ %53, %._crit_edge406.loopexit.unr-lcssa.loopexit ]
  %.unr429 = phi i128 [ %_QFEans.promoted, %.lr.ph405 ], [ %51, %._crit_edge406.loopexit.unr-lcssa.loopexit ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %._crit_edge406.loopexit, label %.epil.preheader

.epil.preheader:                                  ; preds = %._crit_edge406.loopexit.unr-lcssa
  %54 = getelementptr i128, ptr %.unpack364, i64 %.unr
  %55 = load i128, ptr %54, align 8, !tbaa !3
  %56 = load i128, ptr %2, align 8, !tbaa !3
  %57 = icmp sgt i128 %55, %56
  br i1 %57, label %58, label %._crit_edge406.loopexit

58:                                               ; preds = %.epil.preheader
  %59 = sub i128 %55, %56
  %60 = add i128 %59, %.unr429
  store i128 %60, ptr @_QFEans, align 8, !tbaa !3
  store i128 %56, ptr %54, align 8, !tbaa !3
  br label %._crit_edge406.loopexit

._crit_edge406.loopexit:                          ; preds = %.epil.preheader, %58, %._crit_edge406.loopexit.unr-lcssa
  %.pre = load i128, ptr %1, align 8, !tbaa !3
  %.pre421 = trunc i128 %.pre to i64
  br label %._crit_edge406

._crit_edge406:                                   ; preds = %._crit_edge406.loopexit, %._crit_edge
  %.pre-phi = phi i64 [ %.pre421, %._crit_edge406.loopexit ], [ %27, %._crit_edge ]
  %61 = add i64 %.pre-phi, -1
  %62 = icmp sgt i64 %61, 0
  br i1 %62, label %.lr.ph408, label %._crit_edge409

.lr.ph408:                                        ; preds = %._crit_edge406
  %.unpack340 = load ptr, ptr @_QFEa.0, align 8, !tbaa !7
  %.unpack352 = load ptr, ptr @_QFEb.0, align 8, !tbaa !7
  %xtraiter431 = and i64 %61, 1
  %63 = icmp eq i64 %.pre-phi, 2
  br i1 %63, label %._crit_edge409.loopexit.unr-lcssa, label %.lr.ph408.new

.lr.ph408.new:                                    ; preds = %.lr.ph408
  %unroll_iter434 = and i64 %61, -2
  br label %64

64:                                               ; preds = %64, %.lr.ph408.new
  %65 = phi i64 [ 2, %.lr.ph408.new ], [ %83, %64 ]
  %niter435 = phi i64 [ 0, %.lr.ph408.new ], [ %niter435.next.1, %64 ]
  %66 = add i64 %65, -1
  %67 = getelementptr i128, ptr %.unpack340, i64 %66
  %68 = load i128, ptr %67, align 8, !tbaa !3
  %69 = add i64 %65, -2
  %70 = getelementptr i128, ptr %.unpack340, i64 %69
  %71 = load i128, ptr %70, align 8, !tbaa !3
  %72 = add i128 %71, %68
  %73 = add i64 %65, -2
  %74 = getelementptr i128, ptr %.unpack352, i64 %73
  store i128 %72, ptr %74, align 8, !tbaa !3
  %75 = getelementptr i128, ptr %.unpack340, i64 %65
  %76 = load i128, ptr %75, align 8, !tbaa !3
  %77 = add i64 %65, -1
  %78 = getelementptr i128, ptr %.unpack340, i64 %77
  %79 = load i128, ptr %78, align 8, !tbaa !3
  %80 = add i128 %79, %76
  %81 = add i64 %65, -1
  %82 = getelementptr i128, ptr %.unpack352, i64 %81
  store i128 %80, ptr %82, align 8, !tbaa !3
  %83 = add nuw i64 %65, 2
  %niter435.next.1 = add i64 %niter435, 2
  %niter435.ncmp.1 = icmp eq i64 %niter435.next.1, %unroll_iter434
  br i1 %niter435.ncmp.1, label %._crit_edge409.loopexit.unr-lcssa, label %64

._crit_edge409.loopexit.unr-lcssa:                ; preds = %64, %.lr.ph408
  %.unr432 = phi i64 [ 2, %.lr.ph408 ], [ %83, %64 ]
  %lcmp.mod433.not = icmp eq i64 %xtraiter431, 0
  br i1 %lcmp.mod433.not, label %._crit_edge409.loopexit, label %._crit_edge409.loopexit.epilog-lcssa

._crit_edge409.loopexit.epilog-lcssa:             ; preds = %._crit_edge409.loopexit.unr-lcssa
  %84 = add i64 %.unr432, -1
  %85 = getelementptr i128, ptr %.unpack340, i64 %84
  %86 = load i128, ptr %85, align 8, !tbaa !3
  %87 = add i64 %.unr432, -2
  %88 = getelementptr i128, ptr %.unpack340, i64 %87
  %89 = load i128, ptr %88, align 8, !tbaa !3
  %90 = add i128 %89, %86
  %91 = add i64 %.unr432, -2
  %92 = getelementptr i128, ptr %.unpack352, i64 %91
  store i128 %90, ptr %92, align 8, !tbaa !3
  br label %._crit_edge409.loopexit

._crit_edge409.loopexit:                          ; preds = %._crit_edge409.loopexit.unr-lcssa, %._crit_edge409.loopexit.epilog-lcssa
  %.pre417 = load i128, ptr %1, align 8, !tbaa !3
  %.pre422 = trunc i128 %.pre417 to i64
  br label %._crit_edge409

._crit_edge409:                                   ; preds = %._crit_edge409.loopexit, %._crit_edge406
  %.pre-phi423 = phi i64 [ %.pre422, %._crit_edge409.loopexit ], [ %.pre-phi, %._crit_edge406 ]
  %93 = add i64 %.pre-phi423, -2
  %94 = icmp sgt i64 %93, 0
  br i1 %94, label %.lr.ph412, label %._crit_edge409.._crit_edge413_crit_edge

._crit_edge409.._crit_edge413_crit_edge:          ; preds = %._crit_edge409
  %.unpack.pre = load ptr, ptr @_QFEb.0, align 8, !tbaa !7
  br label %._crit_edge413

.lr.ph412:                                        ; preds = %._crit_edge409
  %_QFEans.promoted410 = load i128, ptr @_QFEans, align 8, !tbaa !3
  %.unpack316 = load ptr, ptr @_QFEb.0, align 8, !tbaa !7
  %95 = add i64 %.pre-phi423, -2
  br label %96

96:                                               ; preds = %.lr.ph412, %._crit_edge426
  %97 = phi i64 [ 1, %.lr.ph412 ], [ %.pre-phi428, %._crit_edge426 ]
  %98 = phi i128 [ %_QFEans.promoted410, %.lr.ph412 ], [ %110, %._crit_edge426 ]
  %99 = add i64 %97, -1
  %100 = getelementptr i128, ptr %.unpack316, i64 %99
  %101 = load i128, ptr %100, align 8, !tbaa !3
  %102 = load i128, ptr %2, align 8, !tbaa !3
  %103 = icmp slt i128 %102, %101
  br i1 %103, label %104, label %._crit_edge426

104:                                              ; preds = %96
  %105 = sub i128 %101, %102
  %106 = add i128 %105, %98
  store i128 %106, ptr @_QFEans, align 8, !tbaa !3
  %107 = getelementptr i128, ptr %.unpack316, i64 %97
  %108 = load i128, ptr %107, align 8, !tbaa !3
  %.neg = sub i128 %102, %101
  %109 = add i128 %.neg, %108
  store i128 %109, ptr %107, align 8, !tbaa !3
  br label %._crit_edge426

._crit_edge426:                                   ; preds = %96, %104
  %110 = phi i128 [ %106, %104 ], [ %98, %96 ]
  %.pre-phi428 = add nuw i64 %97, 1
  %exitcond416.not = icmp eq i64 %97, %95
  br i1 %exitcond416.not, label %._crit_edge413.loopexit, label %96

._crit_edge413.loopexit:                          ; preds = %._crit_edge426
  %.pre420 = load i128, ptr %1, align 8, !tbaa !3
  %.pre424 = trunc i128 %.pre420 to i64
  br label %._crit_edge413

._crit_edge413:                                   ; preds = %._crit_edge409.._crit_edge413_crit_edge, %._crit_edge413.loopexit
  %.pre-phi425 = phi i64 [ %.pre-phi423, %._crit_edge409.._crit_edge413_crit_edge ], [ %.pre424, %._crit_edge413.loopexit ]
  %.unpack = phi ptr [ %.unpack.pre, %._crit_edge409.._crit_edge413_crit_edge ], [ %.unpack316, %._crit_edge413.loopexit ]
  %111 = add i64 %.pre-phi425, -2
  %112 = getelementptr i128, ptr %.unpack, i64 %111
  %113 = load i128, ptr %112, align 8, !tbaa !3
  %114 = load i128, ptr %2, align 8, !tbaa !3
  %115 = icmp sgt i128 %113, %114
  br i1 %115, label %116, label %120

116:                                              ; preds = %._crit_edge413
  %117 = load i128, ptr @_QFEans, align 8, !tbaa !3
  %118 = sub i128 %113, %114
  %119 = add i128 %118, %117
  store i128 %119, ptr @_QFEans, align 8, !tbaa !3
  br label %120

120:                                              ; preds = %116, %._crit_edge413
  %121 = call ptr @_FortranAioBeginExternalFormattedOutput(ptr nonnull @_QQcl.28693029, i64 4, ptr null, i32 -1, ptr nonnull @_QQcl.6c7969e1781fb96e55181a426940663d, i32 33)
  %122 = load i128, ptr @_QFEans, align 8, !tbaa !3
  %123 = call i1 @_FortranAioOutputInteger128(ptr %121, i128 %122)
  %124 = call i32 @_FortranAioEndIoStatement(ptr %121)
  ret void
}

declare ptr @_FortranAioBeginExternalListInput(i32, ptr, i32) local_unnamed_addr

declare i1 @_FortranAioInputInteger(ptr, ptr, i32) local_unnamed_addr

declare i32 @_FortranAioEndIoStatement(ptr) local_unnamed_addr

declare ptr @_FortranAioBeginExternalFormattedOutput(ptr, i64, ptr, i32, ptr, i32) local_unnamed_addr

declare i1 @_FortranAioOutputInteger128(ptr, i128) local_unnamed_addr

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.smax.i64(i64, i64) #1

attributes #0 = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" }
attributes #1 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }

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

!0 = !{i32 2, !"Debug Info Version", i32 3}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{!4, !4, i64 0}
!4 = !{!"any data access", !5, i64 0}
!5 = !{!"any access", !6, i64 0}
!6 = !{!"Flang Type TBAA Root"}
!7 = !{!8, !8, i64 0}
!8 = !{!"descriptor member", !5, i64 0}
