; LLVM IR from tangjz/acm-icpc :: codeforces/complete (510A)

; Unoptimized IR (clang -disable-llvm-passes):
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"

@n = external dso_local global i32, align 4
@m = external dso_local global i32, align 4
@str = external dso_local global [51 x i8], align 16
@.str = external hidden unnamed_addr constant [5 x i8], align 1

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() #0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  store i32 0, ptr %1, align 4
  %5 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str, ptr noundef @n, ptr noundef @m)
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #3
  store i32 0, ptr %2, align 4, !tbaa !5
  br label %6

6:                                                ; preds = %53, %0
  %7 = load i32, ptr %2, align 4, !tbaa !5
  %8 = load i32, ptr @n, align 4, !tbaa !5
  %9 = icmp slt i32 %7, %8
  br i1 %9, label %11, label %10

10:                                               ; preds = %6
  store i32 2, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #3
  br label %56

11:                                               ; preds = %6
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #3
  store i32 0, ptr %4, align 4, !tbaa !5
  br label %12

12:                                               ; preds = %48, %11
  %13 = load i32, ptr %4, align 4, !tbaa !5
  %14 = load i32, ptr @m, align 4, !tbaa !5
  %15 = icmp slt i32 %13, %14
  br i1 %15, label %17, label %16

16:                                               ; preds = %12
  store i32 5, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #3
  br label %51

17:                                               ; preds = %12
  %18 = load i32, ptr %2, align 4, !tbaa !5
  %19 = and i32 %18, 1
  %20 = icmp ne i32 %19, 0
  br i1 %20, label %21, label %39

21:                                               ; preds = %17
  %22 = load i32, ptr %2, align 4, !tbaa !5
  %23 = ashr i32 %22, 1
  %24 = and i32 %23, 1
  %25 = icmp ne i32 %24, 0
  br i1 %25, label %26, label %29

26:                                               ; preds = %21
  %27 = load i32, ptr %4, align 4, !tbaa !5
  %28 = icmp ne i32 %27, 0
  br i1 %28, label %29, label %39

29:                                               ; preds = %26, %21
  %30 = load i32, ptr %2, align 4, !tbaa !5
  %31 = ashr i32 %30, 1
  %32 = and i32 %31, 1
  %33 = icmp ne i32 %32, 0
  br i1 %33, label %43, label %34

34:                                               ; preds = %29
  %35 = load i32, ptr %4, align 4, !tbaa !5
  %36 = load i32, ptr @m, align 4, !tbaa !5
  %37 = sub nsw i32 %36, 1
  %38 = icmp eq i32 %35, %37
  br i1 %38, label %39, label %43

39:                                               ; preds = %34, %26, %17
  %40 = load i32, ptr %4, align 4, !tbaa !5
  %41 = sext i32 %40 to i64
  %42 = getelementptr inbounds [51 x i8], ptr @str, i64 0, i64 %41
  store i8 35, ptr %42, align 1, !tbaa !9
  br label %47

43:                                               ; preds = %34, %29
  %44 = load i32, ptr %4, align 4, !tbaa !5
  %45 = sext i32 %44 to i64
  %46 = getelementptr inbounds [51 x i8], ptr @str, i64 0, i64 %45
  store i8 46, ptr %46, align 1, !tbaa !9
  br label %47

47:                                               ; preds = %43, %39
  br label %48

48:                                               ; preds = %47
  %49 = load i32, ptr %4, align 4, !tbaa !5
  %50 = add nsw i32 %49, 1
  store i32 %50, ptr %4, align 4, !tbaa !5
  br label %12, !llvm.loop !10

51:                                               ; preds = %16
  %52 = call i32 @puts(ptr noundef @str)
  br label %53

53:                                               ; preds = %51
  %54 = load i32, ptr %2, align 4, !tbaa !5
  %55 = add nsw i32 %54, 1
  store i32 %55, ptr %2, align 4, !tbaa !5
  br label %6, !llvm.loop !12

56:                                               ; preds = %10
  ret i32 0
}

declare i32 @__isoc99_scanf(ptr noundef, ...) #1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #2

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #2

declare i32 @puts(ptr noundef) #1

attributes #0 = { mustprogress norecurse uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = distinct !{!10, !11}
!11 = !{!"llvm.loop.mustprogress"}
!12 = distinct !{!12, !11}


; Optimized IR (opt -passes='default<O3>'):
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"

@n = external dso_local global i32, align 4
@m = external dso_local global i32, align 4
@str = external dso_local global [51 x i8], align 16
@.str = external hidden unnamed_addr constant [5 x i8], align 1

; Function Attrs: mustprogress nofree norecurse nounwind uwtable
define dso_local noundef i32 @main() local_unnamed_addr #0 {
  %1 = tail call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str, ptr noundef nonnull @n, ptr noundef nonnull @m)
  %2 = load i32, ptr @n, align 4, !tbaa !5
  %3 = icmp sgt i32 %2, 0
  br i1 %3, label %.preheader, label %._crit_edge20

.preheader:                                       ; preds = %0, %._crit_edge
  %.01219 = phi i32 [ %30, %._crit_edge ], [ 0, %0 ]
  %4 = load i32, ptr @m, align 4, !tbaa !5
  %5 = icmp sgt i32 %4, 0
  br i1 %5, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %.preheader
  %6 = and i32 %.01219, 1
  %.not = icmp eq i32 %6, 0
  %7 = add nsw i32 %4, -1
  br i1 %.not, label %.lr.ph.split.us.preheader, label %.lr.ph.split

.lr.ph.split.us.preheader:                        ; preds = %.lr.ph
  %8 = zext nneg i32 %4 to i64
  tail call void @llvm.memset.p0.i64(ptr nonnull align 16 @str, i8 35, i64 %8, i1 false), !tbaa !9
  br label %._crit_edge

.lr.ph.split:                                     ; preds = %.lr.ph
  %9 = and i32 %.01219, 2
  %10 = icmp eq i32 %9, 0
  br i1 %10, label %iter.check, label %11

11:                                               ; preds = %.lr.ph.split
  %wide.trip.count = zext nneg i32 %4 to i64
  store i8 35, ptr @str, align 16
  %exitcond.peel.not = icmp eq i32 %4, 1
  br i1 %exitcond.peel.not, label %._crit_edge, label %iter.check53

iter.check53:                                     ; preds = %11
  %12 = add nsw i64 %wide.trip.count, -1
  %min.iters.check51 = icmp ult i32 %4, 9
  br i1 %min.iters.check51, label %.lr.ph.split.split.peel.next.preheader, label %vector.main.loop.iter.check55

vector.main.loop.iter.check55:                    ; preds = %iter.check53
  %min.iters.check54 = icmp ult i32 %4, 33
  br i1 %min.iters.check54, label %vec.epilog.ph65, label %vector.ph56

vector.ph56:                                      ; preds = %vector.main.loop.iter.check55
  %n.vec58 = and i64 %12, -32
  br label %vector.body59

vector.body59:                                    ; preds = %vector.body59, %vector.ph56
  %index60 = phi i64 [ 0, %vector.ph56 ], [ %index.next61, %vector.body59 ]
  %offset.idx = or disjoint i64 %index60, 1
  %13 = getelementptr inbounds [51 x i8], ptr @str, i64 0, i64 %offset.idx
  %14 = getelementptr inbounds i8, ptr %13, i64 16
  store <16 x i8> <i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46>, ptr %13, align 1
  store <16 x i8> <i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46>, ptr %14, align 1
  %index.next61 = add nuw i64 %index60, 32
  %15 = icmp eq i64 %index.next61, %n.vec58
  br i1 %15, label %middle.block50, label %vector.body59, !llvm.loop !10

middle.block50:                                   ; preds = %vector.body59
  %cmp.n62 = icmp eq i64 %12, %n.vec58
  br i1 %cmp.n62, label %._crit_edge, label %vec.epilog.iter.check66

vec.epilog.iter.check66:                          ; preds = %middle.block50
  %ind.end72 = or disjoint i64 %n.vec58, 1
  %n.vec.remaining67 = and i64 %12, 24
  %min.epilog.iters.check68 = icmp eq i64 %n.vec.remaining67, 0
  br i1 %min.epilog.iters.check68, label %.lr.ph.split.split.peel.next.preheader, label %vec.epilog.ph65

.lr.ph.split.split.peel.next.preheader:           ; preds = %vec.epilog.middle.block63, %iter.check53, %vec.epilog.iter.check66
  %indvars.iv.ph = phi i64 [ 1, %iter.check53 ], [ %ind.end72, %vec.epilog.iter.check66 ], [ %ind.end, %vec.epilog.middle.block63 ]
  br label %.lr.ph.split.split.peel.next

vec.epilog.ph65:                                  ; preds = %vector.main.loop.iter.check55, %vec.epilog.iter.check66
  %vec.epilog.resume.val69 = phi i64 [ %n.vec58, %vec.epilog.iter.check66 ], [ 0, %vector.main.loop.iter.check55 ]
  %n.vec71 = and i64 %12, -8
  %ind.end = or disjoint i64 %n.vec71, 1
  br label %vec.epilog.vector.body74

vec.epilog.vector.body74:                         ; preds = %vec.epilog.vector.body74, %vec.epilog.ph65
  %index75 = phi i64 [ %vec.epilog.resume.val69, %vec.epilog.ph65 ], [ %index.next77, %vec.epilog.vector.body74 ]
  %offset.idx76 = or disjoint i64 %index75, 1
  %16 = getelementptr inbounds [51 x i8], ptr @str, i64 0, i64 %offset.idx76
  store <8 x i8> <i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46>, ptr %16, align 1
  %index.next77 = add nuw i64 %index75, 8
  %17 = icmp eq i64 %index.next77, %n.vec71
  br i1 %17, label %vec.epilog.middle.block63, label %vec.epilog.vector.body74, !llvm.loop !15

vec.epilog.middle.block63:                        ; preds = %vec.epilog.vector.body74
  %cmp.n78 = icmp eq i64 %12, %n.vec71
  br i1 %cmp.n78, label %._crit_edge, label %.lr.ph.split.split.peel.next.preheader

iter.check:                                       ; preds = %.lr.ph.split
  %18 = zext nneg i32 %7 to i64
  %wide.trip.count30 = zext nneg i32 %4 to i64
  %min.iters.check = icmp ult i32 %4, 8
  br i1 %min.iters.check, label %.lr.ph.split.split.us.preheader, label %vector.main.loop.iter.check

vector.main.loop.iter.check:                      ; preds = %iter.check
  %min.iters.check39 = icmp ult i32 %4, 16
  br i1 %min.iters.check39, label %vec.epilog.ph, label %vector.ph

vector.ph:                                        ; preds = %vector.main.loop.iter.check
  %n.vec = and i64 %wide.trip.count30, 2147483632
  %broadcast.splatinsert = insertelement <16 x i64> poison, i64 %18, i64 0
  %broadcast.splat = shufflevector <16 x i64> %broadcast.splatinsert, <16 x i64> poison, <16 x i32> zeroinitializer
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %vec.ind = phi <16 x i64> [ <i64 0, i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8, i64 9, i64 10, i64 11, i64 12, i64 13, i64 14, i64 15>, %vector.ph ], [ %vec.ind.next, %vector.body ]
  %19 = icmp eq <16 x i64> %vec.ind, %broadcast.splat
  %20 = select <16 x i1> %19, <16 x i8> <i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35>, <16 x i8> <i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46>
  %21 = getelementptr inbounds [51 x i8], ptr @str, i64 0, i64 %index
  store <16 x i8> %20, ptr %21, align 16
  %index.next = add nuw i64 %index, 16
  %vec.ind.next = add <16 x i64> %vec.ind, <i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16, i64 16>
  %22 = icmp eq i64 %index.next, %n.vec
  br i1 %22, label %middle.block, label %vector.body, !llvm.loop !16

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.vec, %wide.trip.count30
  br i1 %cmp.n, label %._crit_edge, label %vec.epilog.iter.check

vec.epilog.iter.check:                            ; preds = %middle.block
  %n.vec.remaining = and i64 %wide.trip.count30, 8
  %min.epilog.iters.check.not.not = icmp eq i64 %n.vec.remaining, 0
  br i1 %min.epilog.iters.check.not.not, label %.lr.ph.split.split.us.preheader, label %vec.epilog.ph

vec.epilog.ph:                                    ; preds = %vector.main.loop.iter.check, %vec.epilog.iter.check
  %vec.epilog.resume.val = phi i64 [ %n.vec, %vec.epilog.iter.check ], [ 0, %vector.main.loop.iter.check ]
  %n.vec41 = and i64 %wide.trip.count30, 2147483640
  %.splatinsert = insertelement <8 x i64> poison, i64 %vec.epilog.resume.val, i64 0
  %.splat = shufflevector <8 x i64> %.splatinsert, <8 x i64> poison, <8 x i32> zeroinitializer
  %induction = or disjoint <8 x i64> %.splat, <i64 0, i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7>
  %broadcast.splatinsert46 = insertelement <8 x i64> poison, i64 %18, i64 0
  %broadcast.splat47 = shufflevector <8 x i64> %broadcast.splatinsert46, <8 x i64> poison, <8 x i32> zeroinitializer
  br label %vec.epilog.vector.body

vec.epilog.vector.body:                           ; preds = %vec.epilog.vector.body, %vec.epilog.ph
  %index43 = phi i64 [ %vec.epilog.resume.val, %vec.epilog.ph ], [ %index.next48, %vec.epilog.vector.body ]
  %vec.ind44 = phi <8 x i64> [ %induction, %vec.epilog.ph ], [ %vec.ind.next45, %vec.epilog.vector.body ]
  %23 = icmp eq <8 x i64> %vec.ind44, %broadcast.splat47
  %24 = select <8 x i1> %23, <8 x i8> <i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35, i8 35>, <8 x i8> <i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46, i8 46>
  %25 = getelementptr inbounds [51 x i8], ptr @str, i64 0, i64 %index43
  store <8 x i8> %24, ptr %25, align 8
  %index.next48 = add nuw i64 %index43, 8
  %vec.ind.next45 = add <8 x i64> %vec.ind44, <i64 8, i64 8, i64 8, i64 8, i64 8, i64 8, i64 8, i64 8>
  %26 = icmp eq i64 %index.next48, %n.vec41
  br i1 %26, label %vec.epilog.middle.block, label %vec.epilog.vector.body, !llvm.loop !17

vec.epilog.middle.block:                          ; preds = %vec.epilog.vector.body
  %cmp.n49 = icmp eq i64 %n.vec41, %wide.trip.count30
  br i1 %cmp.n49, label %._crit_edge, label %.lr.ph.split.split.us.preheader

.lr.ph.split.split.us.preheader:                  ; preds = %vec.epilog.middle.block, %iter.check, %vec.epilog.iter.check
  %indvars.iv27.ph = phi i64 [ 0, %iter.check ], [ %n.vec, %vec.epilog.iter.check ], [ %n.vec41, %vec.epilog.middle.block ]
  br label %.lr.ph.split.split.us

.lr.ph.split.split.us:                            ; preds = %.lr.ph.split.split.us.preheader, %.lr.ph.split.split.us
  %indvars.iv27 = phi i64 [ %indvars.iv.next28, %.lr.ph.split.split.us ], [ %indvars.iv27.ph, %.lr.ph.split.split.us.preheader ]
  %27 = icmp eq i64 %indvars.iv27, %18
  %spec.select = select i1 %27, i8 35, i8 46
  %28 = getelementptr inbounds [51 x i8], ptr @str, i64 0, i64 %indvars.iv27
  store i8 %spec.select, ptr %28, align 1
  %indvars.iv.next28 = add nuw nsw i64 %indvars.iv27, 1
  %exitcond31.not = icmp eq i64 %indvars.iv.next28, %wide.trip.count30
  br i1 %exitcond31.not, label %._crit_edge, label %.lr.ph.split.split.us, !llvm.loop !18

._crit_edge20:                                    ; preds = %._crit_edge, %0
  ret i32 0

._crit_edge:                                      ; preds = %.lr.ph.split.split.peel.next, %.lr.ph.split.split.us, %middle.block50, %vec.epilog.middle.block63, %middle.block, %vec.epilog.middle.block, %11, %.lr.ph.split.us.preheader, %.preheader
  %29 = tail call i32 @puts(ptr noundef nonnull dereferenceable(1) @str)
  %30 = add nuw nsw i32 %.01219, 1
  %31 = load i32, ptr @n, align 4, !tbaa !5
  %32 = icmp slt i32 %30, %31
  br i1 %32, label %.preheader, label %._crit_edge20, !llvm.loop !19

.lr.ph.split.split.peel.next:                     ; preds = %.lr.ph.split.split.peel.next.preheader, %.lr.ph.split.split.peel.next
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph.split.split.peel.next ], [ %indvars.iv.ph, %.lr.ph.split.split.peel.next.preheader ]
  %33 = getelementptr inbounds [51 x i8], ptr @str, i64 0, i64 %indvars.iv
  store i8 46, ptr %33, align 1
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph.split.split.peel.next, !llvm.loop !20
}

; Function Attrs: nofree nounwind
declare noundef i32 @__isoc99_scanf(ptr nocapture noundef readonly, ...) local_unnamed_addr #1

; Function Attrs: nofree nounwind
declare noundef i32 @puts(ptr nocapture noundef readonly) local_unnamed_addr #1

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #2

attributes #0 = { mustprogress nofree norecurse nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nocallback nofree nounwind willreturn memory(argmem: write) }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = distinct !{!10, !11, !12, !13, !14}
!11 = !{!"llvm.loop.mustprogress"}
!12 = !{!"llvm.loop.peeled.count", i32 1}
!13 = !{!"llvm.loop.isvectorized", i32 1}
!14 = !{!"llvm.loop.unroll.runtime.disable"}
!15 = distinct !{!15, !11, !12, !13, !14}
!16 = distinct !{!16, !11, !13, !14}
!17 = distinct !{!17, !11, !13, !14}
!18 = distinct !{!18, !11, !14, !13}
!19 = distinct !{!19, !11}
!20 = distinct !{!20, !11, !12, !14, !13}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopFullUnrollPass,LoopIdiomRecognizePass,LoopInstSimplifyPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,MergedLoadStoreMotionPass,PostOrderFunctionAttrsPass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass