; Function Attrs: nounwind readnone uwtable
define dso_local i32 @"?factorial@@YAHH@Z"(i32) local_unnamed_addr #0 {
  %2 = icmp sgt i32 %0, 1
  br i1 %2, label %3, label %79

; <label>:3:                                      ; preds = %1
  %4 = add i32 %0, -1
  %5 = icmp ult i32 %4, 8
  br i1 %5, label %70, label %6

; <label>:6:                                      ; preds = %3
  %7 = and i32 %4, -8
  %8 = sub i32 %0, %7
  %9 = insertelement <4 x i32> undef, i32 %0, i32 0
  %10 = shufflevector <4 x i32> %9, <4 x i32> undef, <4 x i32> zeroinitializer
  %11 = add <4 x i32> %10, <i32 0, i32 -1, i32 -2, i32 -3>
  %12 = add i32 %7, -8
  %13 = lshr exact i32 %12, 3
  %14 = add nuw nsw i32 %13, 1
  %15 = and i32 %14, 3
  %16 = icmp ult i32 %12, 24
  br i1 %16, label %42, label %17

; <label>:17:                                     ; preds = %6
  %18 = sub nsw i32 %14, %15
  br label %19

; <label>:19:                                     ; preds = %19, %17
  %20 = phi <4 x i32> [ %11, %17 ], [ %39, %19 ]
  %21 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %17 ], [ %37, %19 ]
  %22 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %17 ], [ %38, %19 ]
  %23 = phi i32 [ %18, %17 ], [ %40, %19 ]
  %24 = add <4 x i32> %20, <i32 -4, i32 -4, i32 -4, i32 -4>
  %25 = mul nsw <4 x i32> %20, %21
  %26 = mul nsw <4 x i32> %24, %22
  %27 = add <4 x i32> %20, <i32 -8, i32 -8, i32 -8, i32 -8>
  %28 = add <4 x i32> %20, <i32 -12, i32 -12, i32 -12, i32 -12>
  %29 = mul nsw <4 x i32> %27, %25
  %30 = mul nsw <4 x i32> %28, %26
  %31 = add <4 x i32> %20, <i32 -16, i32 -16, i32 -16, i32 -16>
  %32 = add <4 x i32> %20, <i32 -20, i32 -20, i32 -20, i32 -20>
  %33 = mul nsw <4 x i32> %31, %29
  %34 = mul nsw <4 x i32> %32, %30
  %35 = add <4 x i32> %20, <i32 -24, i32 -24, i32 -24, i32 -24>
  %36 = add <4 x i32> %20, <i32 -28, i32 -28, i32 -28, i32 -28>
  %37 = mul nsw <4 x i32> %35, %33
  %38 = mul nsw <4 x i32> %36, %34
  %39 = add <4 x i32> %20, <i32 -32, i32 -32, i32 -32, i32 -32>
  %40 = add i32 %23, -4
  %41 = icmp eq i32 %40, 0
  br i1 %41, label %42, label %19, !llvm.loop !8

; <label>:42:                                     ; preds = %19, %6
  %43 = phi <4 x i32> [ undef, %6 ], [ %37, %19 ]
  %44 = phi <4 x i32> [ undef, %6 ], [ %38, %19 ]
  %45 = phi <4 x i32> [ %11, %6 ], [ %39, %19 ]
  %46 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %6 ], [ %37, %19 ]
  %47 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %6 ], [ %38, %19 ]
  %48 = icmp eq i32 %15, 0
  br i1 %48, label %60, label %49

; <label>:49:                                     ; preds = %42, %49
  %50 = phi <4 x i32> [ %57, %49 ], [ %45, %42 ]
  %51 = phi <4 x i32> [ %55, %49 ], [ %46, %42 ]
  %52 = phi <4 x i32> [ %56, %49 ], [ %47, %42 ]
  %53 = phi i32 [ %58, %49 ], [ %15, %42 ]
  %54 = add <4 x i32> %50, <i32 -4, i32 -4, i32 -4, i32 -4>
  %55 = mul nsw <4 x i32> %50, %51
  %56 = mul nsw <4 x i32> %54, %52
  %57 = add <4 x i32> %50, <i32 -8, i32 -8, i32 -8, i32 -8>
  %58 = add i32 %53, -1
  %59 = icmp eq i32 %58, 0
  br i1 %59, label %60, label %49, !llvm.loop !10

; <label>:60:                                     ; preds = %49, %42
  %61 = phi <4 x i32> [ %43, %42 ], [ %55, %49 ]
  %62 = phi <4 x i32> [ %44, %42 ], [ %56, %49 ]
  %63 = mul <4 x i32> %62, %61
  %64 = shufflevector <4 x i32> %63, <4 x i32> undef, <4 x i32> <i32 2, i32 3, i32 undef, i32 undef>
  %65 = mul <4 x i32> %63, %64
  %66 = shufflevector <4 x i32> %65, <4 x i32> undef, <4 x i32> <i32 1, i32 undef, i32 undef, i32 undef>
  %67 = mul <4 x i32> %65, %66
  %68 = extractelement <4 x i32> %67, i32 0
  %69 = icmp eq i32 %4, %7
  br i1 %69, label %79, label %70

; <label>:70:                                     ; preds = %60, %3
  %71 = phi i32 [ %0, %3 ], [ %8, %60 ]
  %72 = phi i32 [ 1, %3 ], [ %68, %60 ]
  br label %73

; <label>:73:                                     ; preds = %70, %73
  %74 = phi i32 [ %76, %73 ], [ %71, %70 ]
  %75 = phi i32 [ %77, %73 ], [ %72, %70 ]
  %76 = add nsw i32 %74, -1
  %77 = mul nsw i32 %74, %75
  %78 = icmp sgt i32 %76, 1
  br i1 %78, label %73, label %79, !llvm.loop !12

; <label>:79:                                     ; preds = %73, %60, %1
  %80 = phi i32 [ 1, %1 ], [ %68, %60 ], [ %77, %73 ]
  ret i32 %80
}