; LLVM IR from askforalfred/alfred :: gen/ff_planner (inst_hard)

; 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"

%struct._Literal = type { i8, %struct._Fact, ptr, ptr }
%struct._Fact = type { i32, [5 x i32] }
%struct._PseudoActionEffect = type { ptr, i32, ptr, i32, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, ptr }

@garity = external global [50 x i32], align 16
@linst_table = external dso_local global [15 x i32], align 16

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

; Function Attrs: nounwind allocsize(0,1)
declare noalias ptr @calloc(i64 noundef, i64 noundef) #1

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

; Function Attrs: nounwind uwtable
define dso_local void @make_instantiate_literals(ptr noundef %0, ptr noundef %1) #2 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #3
  store i32 0, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #3
  store i32 0, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  %9 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %9, ptr %8, align 8, !tbaa !5
  br label %10

10:                                               ; preds = %25, %2
  %11 = load ptr, ptr %8, align 8, !tbaa !5
  %12 = icmp ne ptr %11, null
  br i1 %12, label %13, label %29

13:                                               ; preds = %10
  %14 = load ptr, ptr %8, align 8, !tbaa !5
  %15 = getelementptr inbounds %struct._Literal, ptr %14, i32 0, i32 0
  %16 = load i8, ptr %15, align 8, !tbaa !11
  %17 = icmp ne i8 %16, 0
  br i1 %17, label %18, label %21

18:                                               ; preds = %13
  %19 = load i32, ptr %6, align 4, !tbaa !9
  %20 = add nsw i32 %19, 1
  store i32 %20, ptr %6, align 4, !tbaa !9
  br label %24

21:                                               ; preds = %13
  %22 = load i32, ptr %5, align 4, !tbaa !9
  %23 = add nsw i32 %22, 1
  store i32 %23, ptr %5, align 4, !tbaa !9
  br label %24

24:                                               ; preds = %21, %18
  br label %25

25:                                               ; preds = %24
  %26 = load ptr, ptr %8, align 8, !tbaa !5
  %27 = getelementptr inbounds %struct._Literal, ptr %26, i32 0, i32 2
  %28 = load ptr, ptr %27, align 8, !tbaa !14
  store ptr %28, ptr %8, align 8, !tbaa !5
  br label %10, !llvm.loop !15

29:                                               ; preds = %10
  %30 = load i32, ptr %5, align 4, !tbaa !9
  %31 = sext i32 %30 to i64
  %32 = call noalias ptr @calloc(i64 noundef %31, i64 noundef 24) #4
  %33 = load ptr, ptr %3, align 8, !tbaa !5
  %34 = getelementptr inbounds %struct._PseudoActionEffect, ptr %33, i32 0, i32 2
  store ptr %32, ptr %34, align 8, !tbaa !17
  %35 = load i32, ptr %6, align 4, !tbaa !9
  %36 = sext i32 %35 to i64
  %37 = call noalias ptr @calloc(i64 noundef %36, i64 noundef 24) #4
  %38 = load ptr, ptr %3, align 8, !tbaa !5
  %39 = getelementptr inbounds %struct._PseudoActionEffect, ptr %38, i32 0, i32 4
  store ptr %37, ptr %39, align 8, !tbaa !19
  %40 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %40, ptr %8, align 8, !tbaa !5
  br label %41

41:                                               ; preds = %202, %29
  %42 = load ptr, ptr %8, align 8, !tbaa !5
  %43 = icmp ne ptr %42, null
  br i1 %43, label %44, label %206

44:                                               ; preds = %41
  %45 = load ptr, ptr %8, align 8, !tbaa !5
  %46 = getelementptr inbounds %struct._Literal, ptr %45, i32 0, i32 0
  %47 = load i8, ptr %46, align 8, !tbaa !11
  %48 = icmp ne i8 %47, 0
  br i1 %48, label %49, label %125

49:                                               ; preds = %44
  %50 = load ptr, ptr %8, align 8, !tbaa !5
  %51 = getelementptr inbounds %struct._Literal, ptr %50, i32 0, i32 1
  %52 = getelementptr inbounds %struct._Fact, ptr %51, i32 0, i32 0
  %53 = load i32, ptr %52, align 4, !tbaa !20
  %54 = load ptr, ptr %3, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct._PseudoActionEffect, ptr %54, i32 0, i32 4
  %56 = load ptr, ptr %55, align 8, !tbaa !19
  %57 = load ptr, ptr %3, align 8, !tbaa !5
  %58 = getelementptr inbounds %struct._PseudoActionEffect, ptr %57, i32 0, i32 5
  %59 = load i32, ptr %58, align 8, !tbaa !21
  %60 = sext i32 %59 to i64
  %61 = getelementptr inbounds %struct._Fact, ptr %56, i64 %60
  %62 = getelementptr inbounds %struct._Fact, ptr %61, i32 0, i32 0
  store i32 %53, ptr %62, align 4, !tbaa !22
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %63

63:                                               ; preds = %117, %49
  %64 = load i32, ptr %7, align 4, !tbaa !9
  %65 = load ptr, ptr %8, align 8, !tbaa !5
  %66 = getelementptr inbounds %struct._Literal, ptr %65, i32 0, i32 1
  %67 = getelementptr inbounds %struct._Fact, ptr %66, i32 0, i32 0
  %68 = load i32, ptr %67, align 4, !tbaa !20
  %69 = sext i32 %68 to i64
  %70 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %69
  %71 = load i32, ptr %70, align 4, !tbaa !9
  %72 = icmp slt i32 %64, %71
  br i1 %72, label %73, label %120

73:                                               ; preds = %63
  %74 = load ptr, ptr %8, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct._Literal, ptr %74, i32 0, i32 1
  %76 = getelementptr inbounds %struct._Fact, ptr %75, i32 0, i32 1
  %77 = load i32, ptr %7, align 4, !tbaa !9
  %78 = sext i32 %77 to i64
  %79 = getelementptr inbounds [5 x i32], ptr %76, i64 0, i64 %78
  %80 = load i32, ptr %79, align 4, !tbaa !9
  %81 = icmp slt i32 %80, 0
  br i1 %81, label %82, label %95

82:                                               ; preds = %73
  %83 = load ptr, ptr %8, align 8, !tbaa !5
  %84 = getelementptr inbounds %struct._Literal, ptr %83, i32 0, i32 1
  %85 = getelementptr inbounds %struct._Fact, ptr %84, i32 0, i32 1
  %86 = load i32, ptr %7, align 4, !tbaa !9
  %87 = sext i32 %86 to i64
  %88 = getelementptr inbounds [5 x i32], ptr %85, i64 0, i64 %87
  %89 = load i32, ptr %88, align 4, !tbaa !9
  %90 = add nsw i32 %89, 1
  %91 = mul nsw i32 %90, -1
  %92 = sext i32 %91 to i64
  %93 = getelementptr inbounds [15 x i32], ptr @linst_table, i64 0, i64 %92
  %94 = load i32, ptr %93, align 4, !tbaa !9
  br label %103

95:                                               ; preds = %73
  %96 = load ptr, ptr %8, align 8, !tbaa !5
  %97 = getelementptr inbounds %struct._Literal, ptr %96, i32 0, i32 1
  %98 = getelementptr inbounds %struct._Fact, ptr %97, i32 0, i32 1
  %99 = load i32, ptr %7, align 4, !tbaa !9
  %100 = sext i32 %99 to i64
  %101 = getelementptr inbounds [5 x i32], ptr %98, i64 0, i64 %100
  %102 = load i32, ptr %101, align 4, !tbaa !9
  br label %103

103:                                              ; preds = %95, %82
  %104 = phi i32 [ %94, %82 ], [ %102, %95 ]
  %105 = load ptr, ptr %3, align 8, !tbaa !5
  %106 = getelementptr inbounds %struct._PseudoActionEffect, ptr %105, i32 0, i32 4
  %107 = load ptr, ptr %106, align 8, !tbaa !19
  %108 = load ptr, ptr %3, align 8, !tbaa !5
  %109 = getelementptr inbounds %struct._PseudoActionEffect, ptr %108, i32 0, i32 5
  %110 = load i32, ptr %109, align 8, !tbaa !21
  %111 = sext i32 %110 to i64
  %112 = getelementptr inbounds %struct._Fact, ptr %107, i64 %111
  %113 = getelementptr inbounds %struct._Fact, ptr %112, i32 0, i32 1
  %114 = load i32, ptr %7, align 4, !tbaa !9
  %115 = sext i32 %114 to i64
  %116 = getelementptr inbounds [5 x i32], ptr %113, i64 0, i64 %115
  store i32 %104, ptr %116, align 4, !tbaa !9
  br label %117

117:                                              ; preds = %103
  %118 = load i32, ptr %7, align 4, !tbaa !9
  %119 = add nsw i32 %118, 1
  store i32 %119, ptr %7, align 4, !tbaa !9
  br label %63, !llvm.loop !23

120:                                              ; preds = %63
  %121 = load ptr, ptr %3, align 8, !tbaa !5
  %122 = getelementptr inbounds %struct._PseudoActionEffect, ptr %121, i32 0, i32 5
  %123 = load i32, ptr %122, align 8, !tbaa !21
  %124 = add nsw i32 %123, 1
  store i32 %124, ptr %122, align 8, !tbaa !21
  br label %201

125:                                              ; preds = %44
  %126 = load ptr, ptr %8, align 8, !tbaa !5
  %127 = getelementptr inbounds %struct._Literal, ptr %126, i32 0, i32 1
  %128 = getelementptr inbounds %struct._Fact, ptr %127, i32 0, i32 0
  %129 = load i32, ptr %128, align 4, !tbaa !20
  %130 = load ptr, ptr %3, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct._PseudoActionEffect, ptr %130, i32 0, i32 2
  %132 = load ptr, ptr %131, align 8, !tbaa !17
  %133 = load ptr, ptr %3, align 8, !tbaa !5
  %134 = getelementptr inbounds %struct._PseudoActionEffect, ptr %133, i32 0, i32 3
  %135 = load i32, ptr %134, align 8, !tbaa !24
  %136 = sext i32 %135 to i64
  %137 = getelementptr inbounds %struct._Fact, ptr %132, i64 %136
  %138 = getelementptr inbounds %struct._Fact, ptr %137, i32 0, i32 0
  store i32 %129, ptr %138, align 4, !tbaa !22
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %139

139:                                              ; preds = %193, %125
  %140 = load i32, ptr %7, align 4, !tbaa !9
  %141 = load ptr, ptr %8, align 8, !tbaa !5
  %142 = getelementptr inbounds %struct._Literal, ptr %141, i32 0, i32 1
  %143 = getelementptr inbounds %struct._Fact, ptr %142, i32 0, i32 0
  %144 = load i32, ptr %143, align 4, !tbaa !20
  %145 = sext i32 %144 to i64
  %146 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %145
  %147 = load i32, ptr %146, align 4, !tbaa !9
  %148 = icmp slt i32 %140, %147
  br i1 %148, label %149, label %196

149:                                              ; preds = %139
  %150 = load ptr, ptr %8, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct._Literal, ptr %150, i32 0, i32 1
  %152 = getelementptr inbounds %struct._Fact, ptr %151, i32 0, i32 1
  %153 = load i32, ptr %7, align 4, !tbaa !9
  %154 = sext i32 %153 to i64
  %155 = getelementptr inbounds [5 x i32], ptr %152, i64 0, i64 %154
  %156 = load i32, ptr %155, align 4, !tbaa !9
  %157 = icmp slt i32 %156, 0
  br i1 %157, label %158, label %171

158:                                              ; preds = %149
  %159 = load ptr, ptr %8, align 8, !tbaa !5
  %160 = getelementptr inbounds %struct._Literal, ptr %159, i32 0, i32 1
  %161 = getelementptr inbounds %struct._Fact, ptr %160, i32 0, i32 1
  %162 = load i32, ptr %7, align 4, !tbaa !9
  %163 = sext i32 %162 to i64
  %164 = getelementptr inbounds [5 x i32], ptr %161, i64 0, i64 %163
  %165 = load i32, ptr %164, align 4, !tbaa !9
  %166 = add nsw i32 %165, 1
  %167 = mul nsw i32 %166, -1
  %168 = sext i32 %167 to i64
  %169 = getelementptr inbounds [15 x i32], ptr @linst_table, i64 0, i64 %168
  %170 = load i32, ptr %169, align 4, !tbaa !9
  br label %179

171:                                              ; preds = %149
  %172 = load ptr, ptr %8, align 8, !tbaa !5
  %173 = getelementptr inbounds %struct._Literal, ptr %172, i32 0, i32 1
  %174 = getelementptr inbounds %struct._Fact, ptr %173, i32 0, i32 1
  %175 = load i32, ptr %7, align 4, !tbaa !9
  %176 = sext i32 %175 to i64
  %177 = getelementptr inbounds [5 x i32], ptr %174, i64 0, i64 %176
  %178 = load i32, ptr %177, align 4, !tbaa !9
  br label %179

179:                                              ; preds = %171, %158
  %180 = phi i32 [ %170, %158 ], [ %178, %171 ]
  %181 = load ptr, ptr %3, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct._PseudoActionEffect, ptr %181, i32 0, i32 2
  %183 = load ptr, ptr %182, align 8, !tbaa !17
  %184 = load ptr, ptr %3, align 8, !tbaa !5
  %185 = getelementptr inbounds %struct._PseudoActionEffect, ptr %184, i32 0, i32 3
  %186 = load i32, ptr %185, align 8, !tbaa !24
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds %struct._Fact, ptr %183, i64 %187
  %189 = getelementptr inbounds %struct._Fact, ptr %188, i32 0, i32 1
  %190 = load i32, ptr %7, align 4, !tbaa !9
  %191 = sext i32 %190 to i64
  %192 = getelementptr inbounds [5 x i32], ptr %189, i64 0, i64 %191
  store i32 %180, ptr %192, align 4, !tbaa !9
  br label %193

193:                                              ; preds = %179
  %194 = load i32, ptr %7, align 4, !tbaa !9
  %195 = add nsw i32 %194, 1
  store i32 %195, ptr %7, align 4, !tbaa !9
  br label %139, !llvm.loop !25

196:                                              ; preds = %139
  %197 = load ptr, ptr %3, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct._PseudoActionEffect, ptr %197, i32 0, i32 3
  %199 = load i32, ptr %198, align 8, !tbaa !24
  %200 = add nsw i32 %199, 1
  store i32 %200, ptr %198, align 8, !tbaa !24
  br label %201

201:                                              ; preds = %196, %120
  br label %202

202:                                              ; preds = %201
  %203 = load ptr, ptr %8, align 8, !tbaa !5
  %204 = getelementptr inbounds %struct._Literal, ptr %203, i32 0, i32 2
  %205 = load ptr, ptr %204, align 8, !tbaa !14
  store ptr %205, ptr %8, align 8, !tbaa !5
  br label %41, !llvm.loop !26

206:                                              ; preds = %41
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #3
  ret void
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind allocsize(0,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 = { 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 #3 = { nounwind }
attributes #4 = { nounwind allocsize(0,1) }

!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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !7, i64 0}
!12 = !{!"_Literal", !7, i64 0, !13, i64 4, !6, i64 32, !6, i64 40}
!13 = !{!"_Fact", !10, i64 0, !7, i64 4}
!14 = !{!12, !6, i64 32}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = !{!18, !6, i64 16}
!18 = !{!"_PseudoActionEffect", !6, i64 0, !10, i64 8, !6, i64 16, !10, i64 24, !6, i64 32, !10, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !10, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !10, i64 104, !6, i64 112}
!19 = !{!18, !6, i64 32}
!20 = !{!12, !10, i64 4}
!21 = !{!18, !10, i64 40}
!22 = !{!13, !10, i64 0}
!23 = distinct !{!23, !16}
!24 = !{!18, !10, i64 24}
!25 = distinct !{!25, !16}
!26 = distinct !{!26, !16}


; 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"

%struct._Fact = type { i32, [5 x i32] }

@garity = external local_unnamed_addr global [50 x i32], align 16
@linst_table = external dso_local local_unnamed_addr global [15 x i32], align 16

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

; Function Attrs: nofree nounwind uwtable
define dso_local void @make_instantiate_literals(ptr nocapture noundef %0, ptr noundef readonly %1) local_unnamed_addr #1 {
  %.not58 = icmp eq ptr %1, null
  br i1 %.not58, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %2, %.lr.ph
  %.061 = phi ptr [ %7, %.lr.ph ], [ %1, %2 ]
  %.04760 = phi i32 [ %.148, %.lr.ph ], [ 0, %2 ]
  %.04959 = phi i32 [ %.150, %.lr.ph ], [ 0, %2 ]
  %3 = load i8, ptr %.061, align 8, !tbaa !5
  %.not57 = icmp eq i8 %3, 0
  %4 = zext i1 %.not57 to i32
  %.150 = add nuw nsw i32 %.04959, %4
  %not..not57 = xor i1 %.not57, true
  %5 = zext i1 %not..not57 to i32
  %.148 = add nuw nsw i32 %.04760, %5
  %6 = getelementptr inbounds i8, ptr %.061, i64 32
  %7 = load ptr, ptr %6, align 8, !tbaa !12
  %.not = icmp eq ptr %7, null
  br i1 %.not, label %._crit_edge.loopexit, label %.lr.ph, !llvm.loop !13

._crit_edge.loopexit:                             ; preds = %.lr.ph
  %8 = zext nneg i32 %.150 to i64
  %9 = zext nneg i32 %.148 to i64
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %2
  %.049.lcssa = phi i64 [ 0, %2 ], [ %8, %._crit_edge.loopexit ]
  %.047.lcssa = phi i64 [ 0, %2 ], [ %9, %._crit_edge.loopexit ]
  %10 = tail call noalias ptr @calloc(i64 noundef %.049.lcssa, i64 noundef 24) #2
  %11 = getelementptr inbounds i8, ptr %0, i64 16
  store ptr %10, ptr %11, align 8, !tbaa !15
  %12 = tail call noalias ptr @calloc(i64 noundef %.047.lcssa, i64 noundef 24) #2
  %13 = getelementptr inbounds i8, ptr %0, i64 32
  store ptr %12, ptr %13, align 8, !tbaa !17
  br i1 %.not58, label %._crit_edge76, label %.lr.ph75

.lr.ph75:                                         ; preds = %._crit_edge
  %14 = getelementptr inbounds i8, ptr %0, i64 40
  %15 = getelementptr inbounds i8, ptr %0, i64 24
  br label %16

16:                                               ; preds = %.lr.ph75, %._crit_edge66
  %.172 = phi ptr [ %1, %.lr.ph75 ], [ %74, %._crit_edge66 ]
  %17 = load i8, ptr %.172, align 8, !tbaa !5
  %.not56 = icmp eq i8 %17, 0
  %18 = getelementptr inbounds i8, ptr %.172, i64 4
  %19 = load i32, ptr %18, align 4, !tbaa !18
  %20 = sext i32 %19 to i64
  %21 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %20
  br i1 %.not56, label %47, label %22

22:                                               ; preds = %16
  %23 = load i32, ptr %14, align 8, !tbaa !19
  %24 = sext i32 %23 to i64
  %25 = getelementptr inbounds %struct._Fact, ptr %12, i64 %24
  store i32 %19, ptr %25, align 4, !tbaa !20
  %26 = load i32, ptr %21, align 4, !tbaa !21
  %27 = icmp sgt i32 %26, 0
  br i1 %27, label %.lr.ph65, label %._crit_edge66

.lr.ph65:                                         ; preds = %22
  %28 = getelementptr inbounds i8, ptr %.172, i64 8
  br label %29

29:                                               ; preds = %.lr.ph65, %38
  %indvars.iv = phi i64 [ 0, %.lr.ph65 ], [ %indvars.iv.next, %38 ]
  %30 = getelementptr inbounds [5 x i32], ptr %28, i64 0, i64 %indvars.iv
  %31 = load i32, ptr %30, align 4, !tbaa !21
  %32 = icmp slt i32 %31, 0
  br i1 %32, label %33, label %38

33:                                               ; preds = %29
  %34 = xor i32 %31, -1
  %35 = zext nneg i32 %34 to i64
  %36 = getelementptr inbounds [15 x i32], ptr @linst_table, i64 0, i64 %35
  %37 = load i32, ptr %36, align 4, !tbaa !21
  br label %38

38:                                               ; preds = %29, %33
  %39 = phi i32 [ %37, %33 ], [ %31, %29 ]
  %40 = getelementptr inbounds %struct._Fact, ptr %12, i64 %24, i32 1, i64 %indvars.iv
  store i32 %39, ptr %40, align 4, !tbaa !21
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %41 = load i32, ptr %18, align 4, !tbaa !18
  %42 = sext i32 %41 to i64
  %43 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %42
  %44 = load i32, ptr %43, align 4, !tbaa !21
  %45 = sext i32 %44 to i64
  %46 = icmp slt i64 %indvars.iv.next, %45
  br i1 %46, label %29, label %._crit_edge66, !llvm.loop !22

47:                                               ; preds = %16
  %48 = load i32, ptr %15, align 8, !tbaa !23
  %49 = sext i32 %48 to i64
  %50 = getelementptr inbounds %struct._Fact, ptr %10, i64 %49
  store i32 %19, ptr %50, align 4, !tbaa !20
  %51 = load i32, ptr %21, align 4, !tbaa !21
  %52 = icmp sgt i32 %51, 0
  br i1 %52, label %.lr.ph69, label %._crit_edge66

.lr.ph69:                                         ; preds = %47
  %53 = getelementptr inbounds i8, ptr %.172, i64 8
  br label %54

54:                                               ; preds = %.lr.ph69, %63
  %indvars.iv78 = phi i64 [ 0, %.lr.ph69 ], [ %indvars.iv.next79, %63 ]
  %55 = getelementptr inbounds [5 x i32], ptr %53, i64 0, i64 %indvars.iv78
  %56 = load i32, ptr %55, align 4, !tbaa !21
  %57 = icmp slt i32 %56, 0
  br i1 %57, label %58, label %63

58:                                               ; preds = %54
  %59 = xor i32 %56, -1
  %60 = zext nneg i32 %59 to i64
  %61 = getelementptr inbounds [15 x i32], ptr @linst_table, i64 0, i64 %60
  %62 = load i32, ptr %61, align 4, !tbaa !21
  br label %63

63:                                               ; preds = %54, %58
  %64 = phi i32 [ %62, %58 ], [ %56, %54 ]
  %65 = getelementptr inbounds %struct._Fact, ptr %10, i64 %49, i32 1, i64 %indvars.iv78
  store i32 %64, ptr %65, align 4, !tbaa !21
  %indvars.iv.next79 = add nuw nsw i64 %indvars.iv78, 1
  %66 = load i32, ptr %18, align 4, !tbaa !18
  %67 = sext i32 %66 to i64
  %68 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %67
  %69 = load i32, ptr %68, align 4, !tbaa !21
  %70 = sext i32 %69 to i64
  %71 = icmp slt i64 %indvars.iv.next79, %70
  br i1 %71, label %54, label %._crit_edge66, !llvm.loop !24

._crit_edge66:                                    ; preds = %38, %63, %47, %22
  %.sink82 = phi i32 [ %23, %22 ], [ %48, %47 ], [ %48, %63 ], [ %23, %38 ]
  %.sink81 = phi ptr [ %14, %22 ], [ %15, %47 ], [ %15, %63 ], [ %14, %38 ]
  %72 = add nsw i32 %.sink82, 1
  store i32 %72, ptr %.sink81, align 8, !tbaa !21
  %73 = getelementptr inbounds i8, ptr %.172, i64 32
  %74 = load ptr, ptr %73, align 8, !tbaa !12
  %.not55 = icmp eq ptr %74, null
  br i1 %.not55, label %._crit_edge76, label %16, !llvm.loop !25

._crit_edge76:                                    ; preds = %._crit_edge66, %._crit_edge
  ret void
}

attributes #0 = { mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "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 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 #2 = { nounwind allocsize(0,1) }

!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, !7, i64 0}
!6 = !{!"_Literal", !7, i64 0, !9, i64 4, !11, i64 32, !11, i64 40}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!"_Fact", !10, i64 0, !7, i64 4}
!10 = !{!"int", !7, i64 0}
!11 = !{!"any pointer", !7, i64 0}
!12 = !{!6, !11, i64 32}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = !{!16, !11, i64 16}
!16 = !{!"_PseudoActionEffect", !11, i64 0, !10, i64 8, !11, i64 16, !10, i64 24, !11, i64 32, !10, i64 40, !11, i64 48, !11, i64 56, !11, i64 64, !10, i64 72, !11, i64 80, !11, i64 88, !11, i64 96, !10, i64 104, !11, i64 112}
!17 = !{!16, !11, i64 32}
!18 = !{!6, !10, i64 4}
!19 = !{!16, !10, i64 40}
!20 = !{!9, !10, i64 0}
!21 = !{!10, !10, i64 0}
!22 = distinct !{!22, !14}
!23 = !{!16, !10, i64 24}
!24 = distinct !{!24, !14}
!25 = distinct !{!25, !14}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass