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

; 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._FactList = type { ptr, ptr }
%struct._TokenList = type { ptr, ptr }

@gnum_constants = external global i32, align 4
@gconstants = external global [2000 x ptr], align 16
@gnum_types = external global i32, align 4
@gtype_names = external global [50 x ptr], align 16
@gtype_size = external global [50 x i32], align 16
@gtype_consts = external global [50 x [2000 x i32]], align 16
@gnum_predicates = external global i32, align 4
@gpredicates = external global [50 x ptr], align 16
@garity = external global [50 x i32], align 16
@gpredicates_args_type = external global [50 x [5 x i32]], align 16
@gnum_functions = external global i32, align 4
@gfunctions = external global [50 x ptr], align 16
@gf_arity = external global [50 x i32], align 16
@gfunctions_args_type = external global [50 x [5 x i32]], align 16
@.str.17 = external hidden unnamed_addr constant [22 x i8], align 1
@gis_member = external global [2000 x [50 x i8]], align 16
@gorig_constant_list = external global ptr, align 8
@.str.18 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [2 x i8], align 1
@gpredicates_and_types = external global ptr, align 8
@.str.22 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [58 x i8], align 1
@gaxiom_added = external global [50 x i8], align 16
@.str.26 = external hidden unnamed_addr constant [11 x i8], align 1
@gfunctions_and_types = external global ptr, align 8
@.str.27 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [59 x i8], align 1

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

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

9:                                                ; preds = %17, %0
  %10 = load i32, ptr %7, align 4, !tbaa !9
  %11 = icmp slt i32 %10, 2000
  br i1 %11, label %12, label %20

12:                                               ; preds = %9
  %13 = load i32, ptr %7, align 4, !tbaa !9
  %14 = sext i32 %13 to i64
  %15 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %14
  %16 = getelementptr inbounds [50 x i8], ptr %15, i64 0, i64 0
  store i8 0, ptr %16, align 2, !tbaa !11
  br label %17

17:                                               ; preds = %12
  %18 = load i32, ptr %7, align 4, !tbaa !9
  %19 = add nsw i32 %18, 1
  store i32 %19, ptr %7, align 4, !tbaa !9
  br label %9, !llvm.loop !12

20:                                               ; preds = %9
  store i32 1, ptr @gnum_types, align 4, !tbaa !9
  %21 = load ptr, ptr @gorig_constant_list, align 8, !tbaa !5
  store ptr %21, ptr %1, align 8, !tbaa !5
  br label %22

22:                                               ; preds = %179, %20
  %23 = load ptr, ptr %1, align 8, !tbaa !5
  %24 = icmp ne ptr %23, null
  br i1 %24, label %25, label %183

25:                                               ; preds = %22
  %26 = load ptr, ptr %1, align 8, !tbaa !5
  %27 = getelementptr inbounds %struct._FactList, ptr %26, i32 0, i32 0
  %28 = load ptr, ptr %27, align 8, !tbaa !14
  %29 = getelementptr inbounds %struct._TokenList, ptr %28, i32 0, i32 1
  %30 = load ptr, ptr %29, align 8, !tbaa !16
  %31 = getelementptr inbounds %struct._TokenList, ptr %30, i32 0, i32 0
  %32 = load ptr, ptr %31, align 8, !tbaa !18
  %33 = call i32 @position_in_types_table(ptr noundef %32)
  store i32 %33, ptr %4, align 4, !tbaa !9
  %34 = icmp eq i32 %33, -1
  br i1 %34, label %35, label %86

35:                                               ; preds = %25
  %36 = load i32, ptr @gnum_types, align 4, !tbaa !9
  %37 = icmp eq i32 %36, 50
  br i1 %37, label %38, label %40

38:                                               ; preds = %35
  %39 = call i32 (ptr, ...) @printf(ptr noundef @.str.18, i32 noundef 50)
  call void @exit(i32 noundef 1) #7
  unreachable

40:                                               ; preds = %35
  %41 = load ptr, ptr %1, align 8, !tbaa !5
  %42 = getelementptr inbounds %struct._FactList, ptr %41, i32 0, i32 0
  %43 = load ptr, ptr %42, align 8, !tbaa !14
  %44 = getelementptr inbounds %struct._TokenList, ptr %43, i32 0, i32 1
  %45 = load ptr, ptr %44, align 8, !tbaa !16
  %46 = getelementptr inbounds %struct._TokenList, ptr %45, i32 0, i32 0
  %47 = load ptr, ptr %46, align 8, !tbaa !18
  %48 = call i64 @strlen(ptr noundef %47) #8
  %49 = add i64 %48, 1
  %50 = trunc i64 %49 to i32
  %51 = call ptr @new_Token(i32 noundef %50)
  %52 = load i32, ptr @gnum_types, align 4, !tbaa !9
  %53 = sext i32 %52 to i64
  %54 = getelementptr inbounds [50 x ptr], ptr @gtype_names, i64 0, i64 %53
  store ptr %51, ptr %54, align 8, !tbaa !5
  %55 = load i32, ptr @gnum_types, align 4, !tbaa !9
  %56 = sext i32 %55 to i64
  %57 = getelementptr inbounds [50 x ptr], ptr @gtype_names, i64 0, i64 %56
  %58 = load ptr, ptr %57, align 8, !tbaa !5
  %59 = load ptr, ptr %1, align 8, !tbaa !5
  %60 = getelementptr inbounds %struct._FactList, ptr %59, i32 0, i32 0
  %61 = load ptr, ptr %60, align 8, !tbaa !14
  %62 = getelementptr inbounds %struct._TokenList, ptr %61, i32 0, i32 1
  %63 = load ptr, ptr %62, align 8, !tbaa !16
  %64 = getelementptr inbounds %struct._TokenList, ptr %63, i32 0, i32 0
  %65 = load ptr, ptr %64, align 8, !tbaa !18
  %66 = call ptr @strcpy(ptr noundef %58, ptr noundef %65) #6
  %67 = load i32, ptr @gnum_types, align 4, !tbaa !9
  %68 = sext i32 %67 to i64
  %69 = getelementptr inbounds [50 x i32], ptr @gtype_size, i64 0, i64 %68
  store i32 0, ptr %69, align 4, !tbaa !9
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %70

70:                                               ; preds = %80, %40
  %71 = load i32, ptr %7, align 4, !tbaa !9
  %72 = icmp slt i32 %71, 2000
  br i1 %72, label %73, label %83

73:                                               ; preds = %70
  %74 = load i32, ptr %7, align 4, !tbaa !9
  %75 = sext i32 %74 to i64
  %76 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %75
  %77 = load i32, ptr @gnum_types, align 4, !tbaa !9
  %78 = sext i32 %77 to i64
  %79 = getelementptr inbounds [50 x i8], ptr %76, i64 0, i64 %78
  store i8 0, ptr %79, align 1, !tbaa !11
  br label %80

80:                                               ; preds = %73
  %81 = load i32, ptr %7, align 4, !tbaa !9
  %82 = add nsw i32 %81, 1
  store i32 %82, ptr %7, align 4, !tbaa !9
  br label %70, !llvm.loop !19

83:                                               ; preds = %70
  %84 = load i32, ptr @gnum_types, align 4, !tbaa !9
  %85 = add nsw i32 %84, 1
  store i32 %85, ptr @gnum_types, align 4, !tbaa !9
  store i32 %84, ptr %4, align 4, !tbaa !9
  br label %86

86:                                               ; preds = %83, %25
  %87 = load ptr, ptr %1, align 8, !tbaa !5
  %88 = getelementptr inbounds %struct._FactList, ptr %87, i32 0, i32 0
  %89 = load ptr, ptr %88, align 8, !tbaa !14
  %90 = getelementptr inbounds %struct._TokenList, ptr %89, i32 0, i32 0
  %91 = load ptr, ptr %90, align 8, !tbaa !18
  %92 = call i32 @position_in_constants_table(ptr noundef %91)
  store i32 %92, ptr %5, align 4, !tbaa !9
  %93 = icmp eq i32 %92, -1
  br i1 %93, label %94, label %139

94:                                               ; preds = %86
  %95 = load i32, ptr @gnum_constants, align 4, !tbaa !9
  %96 = icmp eq i32 %95, 2000
  br i1 %96, label %97, label %99

97:                                               ; preds = %94
  %98 = call i32 (ptr, ...) @printf(ptr noundef @.str.19, i32 noundef 2000)
  call void @exit(i32 noundef 1) #7
  unreachable

99:                                               ; preds = %94
  %100 = load ptr, ptr %1, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct._FactList, ptr %100, i32 0, i32 0
  %102 = load ptr, ptr %101, align 8, !tbaa !14
  %103 = getelementptr inbounds %struct._TokenList, ptr %102, i32 0, i32 0
  %104 = load ptr, ptr %103, align 8, !tbaa !18
  %105 = call i64 @strlen(ptr noundef %104) #8
  %106 = add i64 %105, 1
  %107 = trunc i64 %106 to i32
  %108 = call ptr @new_Token(i32 noundef %107)
  %109 = load i32, ptr @gnum_constants, align 4, !tbaa !9
  %110 = sext i32 %109 to i64
  %111 = getelementptr inbounds [2000 x ptr], ptr @gconstants, i64 0, i64 %110
  store ptr %108, ptr %111, align 8, !tbaa !5
  %112 = load i32, ptr @gnum_constants, align 4, !tbaa !9
  %113 = sext i32 %112 to i64
  %114 = getelementptr inbounds [2000 x ptr], ptr @gconstants, i64 0, i64 %113
  %115 = load ptr, ptr %114, align 8, !tbaa !5
  %116 = load ptr, ptr %1, align 8, !tbaa !5
  %117 = getelementptr inbounds %struct._FactList, ptr %116, i32 0, i32 0
  %118 = load ptr, ptr %117, align 8, !tbaa !14
  %119 = getelementptr inbounds %struct._TokenList, ptr %118, i32 0, i32 0
  %120 = load ptr, ptr %119, align 8, !tbaa !18
  %121 = call ptr @strcpy(ptr noundef %115, ptr noundef %120) #6
  %122 = load i32, ptr @gnum_constants, align 4, !tbaa !9
  %123 = add nsw i32 %122, 1
  store i32 %123, ptr @gnum_constants, align 4, !tbaa !9
  store i32 %122, ptr %5, align 4, !tbaa !9
  %124 = load i32, ptr @gtype_size, align 16, !tbaa !9
  %125 = icmp eq i32 %124, 2000
  br i1 %125, label %126, label %129

126:                                              ; preds = %99
  %127 = load ptr, ptr @gtype_names, align 16, !tbaa !5
  %128 = call i32 (ptr, ...) @printf(ptr noundef @.str.20, ptr noundef %127, i32 noundef 2000)
  call void @exit(i32 noundef 1) #7
  unreachable

129:                                              ; preds = %99
  %130 = load i32, ptr %5, align 4, !tbaa !9
  %131 = load i32, ptr @gtype_size, align 16, !tbaa !9
  %132 = add nsw i32 %131, 1
  store i32 %132, ptr @gtype_size, align 16, !tbaa !9
  %133 = sext i32 %131 to i64
  %134 = getelementptr inbounds [2000 x i32], ptr @gtype_consts, i64 0, i64 %133
  store i32 %130, ptr %134, align 4, !tbaa !9
  %135 = load i32, ptr %5, align 4, !tbaa !9
  %136 = sext i32 %135 to i64
  %137 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %136
  %138 = getelementptr inbounds [50 x i8], ptr %137, i64 0, i64 0
  store i8 1, ptr %138, align 2, !tbaa !11
  br label %139

139:                                              ; preds = %129, %86
  %140 = load i32, ptr %5, align 4, !tbaa !9
  %141 = sext i32 %140 to i64
  %142 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %141
  %143 = load i32, ptr %4, align 4, !tbaa !9
  %144 = sext i32 %143 to i64
  %145 = getelementptr inbounds [50 x i8], ptr %142, i64 0, i64 %144
  %146 = load i8, ptr %145, align 1, !tbaa !11
  %147 = icmp ne i8 %146, 0
  br i1 %147, label %178, label %148

148:                                              ; preds = %139
  %149 = load i32, ptr %4, align 4, !tbaa !9
  %150 = sext i32 %149 to i64
  %151 = getelementptr inbounds [50 x i32], ptr @gtype_size, i64 0, i64 %150
  %152 = load i32, ptr %151, align 4, !tbaa !9
  %153 = icmp eq i32 %152, 2000
  br i1 %153, label %154, label %160

154:                                              ; preds = %148
  %155 = load i32, ptr %4, align 4, !tbaa !9
  %156 = sext i32 %155 to i64
  %157 = getelementptr inbounds [50 x ptr], ptr @gtype_names, i64 0, i64 %156
  %158 = load ptr, ptr %157, align 8, !tbaa !5
  %159 = call i32 (ptr, ...) @printf(ptr noundef @.str.20, ptr noundef %158, i32 noundef 2000)
  call void @exit(i32 noundef 1) #7
  unreachable

160:                                              ; preds = %148
  %161 = load i32, ptr %5, align 4, !tbaa !9
  %162 = load i32, ptr %4, align 4, !tbaa !9
  %163 = sext i32 %162 to i64
  %164 = getelementptr inbounds [50 x [2000 x i32]], ptr @gtype_consts, i64 0, i64 %163
  %165 = load i32, ptr %4, align 4, !tbaa !9
  %166 = sext i32 %165 to i64
  %167 = getelementptr inbounds [50 x i32], ptr @gtype_size, i64 0, i64 %166
  %168 = load i32, ptr %167, align 4, !tbaa !9
  %169 = add nsw i32 %168, 1
  store i32 %169, ptr %167, align 4, !tbaa !9
  %170 = sext i32 %168 to i64
  %171 = getelementptr inbounds [2000 x i32], ptr %164, i64 0, i64 %170
  store i32 %161, ptr %171, align 4, !tbaa !9
  %172 = load i32, ptr %5, align 4, !tbaa !9
  %173 = sext i32 %172 to i64
  %174 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %173
  %175 = load i32, ptr %4, align 4, !tbaa !9
  %176 = sext i32 %175 to i64
  %177 = getelementptr inbounds [50 x i8], ptr %174, i64 0, i64 %176
  store i8 1, ptr %177, align 1, !tbaa !11
  br label %178

178:                                              ; preds = %160, %139
  br label %179

179:                                              ; preds = %178
  %180 = load ptr, ptr %1, align 8, !tbaa !5
  %181 = getelementptr inbounds %struct._FactList, ptr %180, i32 0, i32 1
  %182 = load ptr, ptr %181, align 8, !tbaa !20
  store ptr %182, ptr %1, align 8, !tbaa !5
  br label %22, !llvm.loop !21

183:                                              ; preds = %22
  %184 = call ptr @new_Token(i32 noundef 5)
  store ptr %184, ptr @gpredicates, align 16, !tbaa !5
  store ptr @.str.21, ptr @gpredicates, align 16, !tbaa !5
  store i32 0, ptr @gpredicates_args_type, align 16, !tbaa !9
  store i32 0, ptr getelementptr inbounds ([5 x i32], ptr @gpredicates_args_type, i64 0, i64 1), align 4, !tbaa !9
  store i32 2, ptr @garity, align 16, !tbaa !9
  store i32 1, ptr @gnum_predicates, align 4, !tbaa !9
  %185 = load ptr, ptr @gpredicates_and_types, align 8, !tbaa !5
  store ptr %185, ptr %1, align 8, !tbaa !5
  br label %186

186:                                              ; preds = %288, %183
  %187 = load ptr, ptr %1, align 8, !tbaa !5
  %188 = icmp ne ptr %187, null
  br i1 %188, label %189, label %292

189:                                              ; preds = %186
  %190 = load ptr, ptr %1, align 8, !tbaa !5
  %191 = getelementptr inbounds %struct._FactList, ptr %190, i32 0, i32 0
  %192 = load ptr, ptr %191, align 8, !tbaa !14
  %193 = getelementptr inbounds %struct._TokenList, ptr %192, i32 0, i32 0
  %194 = load ptr, ptr %193, align 8, !tbaa !18
  %195 = call i32 @position_in_predicates_table(ptr noundef %194)
  store i32 %195, ptr %3, align 4, !tbaa !9
  %196 = icmp ne i32 %195, -1
  br i1 %196, label %197, label %204

197:                                              ; preds = %189
  %198 = load ptr, ptr %1, align 8, !tbaa !5
  %199 = getelementptr inbounds %struct._FactList, ptr %198, i32 0, i32 0
  %200 = load ptr, ptr %199, align 8, !tbaa !14
  %201 = getelementptr inbounds %struct._TokenList, ptr %200, i32 0, i32 0
  %202 = load ptr, ptr %201, align 8, !tbaa !18
  %203 = call i32 (ptr, ...) @printf(ptr noundef @.str.22, ptr noundef %202)
  call void @exit(i32 noundef 1) #7
  unreachable

204:                                              ; preds = %189
  %205 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %206 = icmp eq i32 %205, 50
  br i1 %206, label %207, label %209

207:                                              ; preds = %204
  %208 = call i32 (ptr, ...) @printf(ptr noundef @.str.23, i32 noundef 50)
  call void @exit(i32 noundef 1) #7
  unreachable

209:                                              ; preds = %204
  %210 = load ptr, ptr %1, align 8, !tbaa !5
  %211 = getelementptr inbounds %struct._FactList, ptr %210, i32 0, i32 0
  %212 = load ptr, ptr %211, align 8, !tbaa !14
  %213 = getelementptr inbounds %struct._TokenList, ptr %212, i32 0, i32 0
  %214 = load ptr, ptr %213, align 8, !tbaa !18
  %215 = call i64 @strlen(ptr noundef %214) #8
  %216 = add i64 %215, 1
  %217 = trunc i64 %216 to i32
  %218 = call ptr @new_Token(i32 noundef %217)
  %219 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %220 = sext i32 %219 to i64
  %221 = getelementptr inbounds [50 x ptr], ptr @gpredicates, i64 0, i64 %220
  store ptr %218, ptr %221, align 8, !tbaa !5
  %222 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %223 = sext i32 %222 to i64
  %224 = getelementptr inbounds [50 x ptr], ptr @gpredicates, i64 0, i64 %223
  %225 = load ptr, ptr %224, align 8, !tbaa !5
  %226 = load ptr, ptr %1, align 8, !tbaa !5
  %227 = getelementptr inbounds %struct._FactList, ptr %226, i32 0, i32 0
  %228 = load ptr, ptr %227, align 8, !tbaa !14
  %229 = getelementptr inbounds %struct._TokenList, ptr %228, i32 0, i32 0
  %230 = load ptr, ptr %229, align 8, !tbaa !18
  %231 = call ptr @strcpy(ptr noundef %225, ptr noundef %230) #6
  store i32 0, ptr %6, align 4, !tbaa !9
  %232 = load ptr, ptr %1, align 8, !tbaa !5
  %233 = getelementptr inbounds %struct._FactList, ptr %232, i32 0, i32 0
  %234 = load ptr, ptr %233, align 8, !tbaa !14
  %235 = getelementptr inbounds %struct._TokenList, ptr %234, i32 0, i32 1
  %236 = load ptr, ptr %235, align 8, !tbaa !16
  store ptr %236, ptr %2, align 8, !tbaa !5
  br label %237

237:                                              ; preds = %274, %209
  %238 = load ptr, ptr %2, align 8, !tbaa !5
  %239 = icmp ne ptr %238, null
  br i1 %239, label %240, label %278

240:                                              ; preds = %237
  %241 = load ptr, ptr %2, align 8, !tbaa !5
  %242 = getelementptr inbounds %struct._TokenList, ptr %241, i32 0, i32 0
  %243 = load ptr, ptr %242, align 8, !tbaa !18
  %244 = call i32 @position_in_types_table(ptr noundef %243)
  store i32 %244, ptr %4, align 4, !tbaa !9
  %245 = icmp eq i32 %244, -1
  br i1 %245, label %246, label %256

246:                                              ; preds = %240
  %247 = load ptr, ptr %1, align 8, !tbaa !5
  %248 = getelementptr inbounds %struct._FactList, ptr %247, i32 0, i32 0
  %249 = load ptr, ptr %248, align 8, !tbaa !14
  %250 = getelementptr inbounds %struct._TokenList, ptr %249, i32 0, i32 0
  %251 = load ptr, ptr %250, align 8, !tbaa !18
  %252 = load ptr, ptr %2, align 8, !tbaa !5
  %253 = getelementptr inbounds %struct._TokenList, ptr %252, i32 0, i32 0
  %254 = load ptr, ptr %253, align 8, !tbaa !18
  %255 = call i32 (ptr, ...) @printf(ptr noundef @.str.24, ptr noundef %251, ptr noundef %254)
  call void @exit(i32 noundef 1) #7
  unreachable

256:                                              ; preds = %240
  %257 = load i32, ptr %6, align 4, !tbaa !9
  %258 = icmp eq i32 %257, 5
  br i1 %258, label %259, label %265

259:                                              ; preds = %256
  %260 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %261 = sext i32 %260 to i64
  %262 = getelementptr inbounds [50 x ptr], ptr @gpredicates, i64 0, i64 %261
  %263 = load ptr, ptr %262, align 8, !tbaa !5
  %264 = call i32 (ptr, ...) @printf(ptr noundef @.str.25, ptr noundef %263, i32 noundef 5)
  call void @exit(i32 noundef 1) #7
  unreachable

265:                                              ; preds = %256
  %266 = load i32, ptr %4, align 4, !tbaa !9
  %267 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %268 = sext i32 %267 to i64
  %269 = getelementptr inbounds [50 x [5 x i32]], ptr @gpredicates_args_type, i64 0, i64 %268
  %270 = load i32, ptr %6, align 4, !tbaa !9
  %271 = add nsw i32 %270, 1
  store i32 %271, ptr %6, align 4, !tbaa !9
  %272 = sext i32 %270 to i64
  %273 = getelementptr inbounds [5 x i32], ptr %269, i64 0, i64 %272
  store i32 %266, ptr %273, align 4, !tbaa !9
  br label %274

274:                                              ; preds = %265
  %275 = load ptr, ptr %2, align 8, !tbaa !5
  %276 = getelementptr inbounds %struct._TokenList, ptr %275, i32 0, i32 1
  %277 = load ptr, ptr %276, align 8, !tbaa !16
  store ptr %277, ptr %2, align 8, !tbaa !5
  br label %237, !llvm.loop !22

278:                                              ; preds = %237
  %279 = load i32, ptr %6, align 4, !tbaa !9
  %280 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %281 = sext i32 %280 to i64
  %282 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %281
  store i32 %279, ptr %282, align 4, !tbaa !9
  %283 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %284 = sext i32 %283 to i64
  %285 = getelementptr inbounds [50 x i8], ptr @gaxiom_added, i64 0, i64 %284
  store i8 0, ptr %285, align 1, !tbaa !11
  %286 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %287 = add nsw i32 %286, 1
  store i32 %287, ptr @gnum_predicates, align 4, !tbaa !9
  br label %288

288:                                              ; preds = %278
  %289 = load ptr, ptr %1, align 8, !tbaa !5
  %290 = getelementptr inbounds %struct._FactList, ptr %289, i32 0, i32 1
  %291 = load ptr, ptr %290, align 8, !tbaa !20
  store ptr %291, ptr %1, align 8, !tbaa !5
  br label %186, !llvm.loop !23

292:                                              ; preds = %186
  %293 = call ptr @new_Token(i32 noundef 20)
  store ptr %293, ptr @gfunctions, align 16, !tbaa !5
  store ptr @.str.26, ptr @gfunctions, align 16, !tbaa !5
  store i32 0, ptr @gf_arity, align 16, !tbaa !9
  store i32 1, ptr @gnum_functions, align 4, !tbaa !9
  %294 = load ptr, ptr @gfunctions_and_types, align 8, !tbaa !5
  store ptr %294, ptr %1, align 8, !tbaa !5
  br label %295

295:                                              ; preds = %393, %292
  %296 = load ptr, ptr %1, align 8, !tbaa !5
  %297 = icmp ne ptr %296, null
  br i1 %297, label %298, label %397

298:                                              ; preds = %295
  %299 = load ptr, ptr %1, align 8, !tbaa !5
  %300 = getelementptr inbounds %struct._FactList, ptr %299, i32 0, i32 0
  %301 = load ptr, ptr %300, align 8, !tbaa !14
  %302 = getelementptr inbounds %struct._TokenList, ptr %301, i32 0, i32 0
  %303 = load ptr, ptr %302, align 8, !tbaa !18
  %304 = call i32 @position_in_functions_table(ptr noundef %303)
  store i32 %304, ptr %3, align 4, !tbaa !9
  %305 = icmp ne i32 %304, -1
  br i1 %305, label %306, label %313

306:                                              ; preds = %298
  %307 = load ptr, ptr %1, align 8, !tbaa !5
  %308 = getelementptr inbounds %struct._FactList, ptr %307, i32 0, i32 0
  %309 = load ptr, ptr %308, align 8, !tbaa !14
  %310 = getelementptr inbounds %struct._TokenList, ptr %309, i32 0, i32 0
  %311 = load ptr, ptr %310, align 8, !tbaa !18
  %312 = call i32 (ptr, ...) @printf(ptr noundef @.str.27, ptr noundef %311)
  call void @exit(i32 noundef 1) #7
  unreachable

313:                                              ; preds = %298
  %314 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %315 = icmp eq i32 %314, 50
  br i1 %315, label %316, label %318

316:                                              ; preds = %313
  %317 = call i32 (ptr, ...) @printf(ptr noundef @.str.28, i32 noundef 50)
  call void @exit(i32 noundef 1) #7
  unreachable

318:                                              ; preds = %313
  %319 = load ptr, ptr %1, align 8, !tbaa !5
  %320 = getelementptr inbounds %struct._FactList, ptr %319, i32 0, i32 0
  %321 = load ptr, ptr %320, align 8, !tbaa !14
  %322 = getelementptr inbounds %struct._TokenList, ptr %321, i32 0, i32 0
  %323 = load ptr, ptr %322, align 8, !tbaa !18
  %324 = call i64 @strlen(ptr noundef %323) #8
  %325 = add i64 %324, 1
  %326 = trunc i64 %325 to i32
  %327 = call ptr @new_Token(i32 noundef %326)
  %328 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %329 = sext i32 %328 to i64
  %330 = getelementptr inbounds [50 x ptr], ptr @gfunctions, i64 0, i64 %329
  store ptr %327, ptr %330, align 8, !tbaa !5
  %331 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %332 = sext i32 %331 to i64
  %333 = getelementptr inbounds [50 x ptr], ptr @gfunctions, i64 0, i64 %332
  %334 = load ptr, ptr %333, align 8, !tbaa !5
  %335 = load ptr, ptr %1, align 8, !tbaa !5
  %336 = getelementptr inbounds %struct._FactList, ptr %335, i32 0, i32 0
  %337 = load ptr, ptr %336, align 8, !tbaa !14
  %338 = getelementptr inbounds %struct._TokenList, ptr %337, i32 0, i32 0
  %339 = load ptr, ptr %338, align 8, !tbaa !18
  %340 = call ptr @strcpy(ptr noundef %334, ptr noundef %339) #6
  store i32 0, ptr %6, align 4, !tbaa !9
  %341 = load ptr, ptr %1, align 8, !tbaa !5
  %342 = getelementptr inbounds %struct._FactList, ptr %341, i32 0, i32 0
  %343 = load ptr, ptr %342, align 8, !tbaa !14
  %344 = getelementptr inbounds %struct._TokenList, ptr %343, i32 0, i32 1
  %345 = load ptr, ptr %344, align 8, !tbaa !16
  store ptr %345, ptr %2, align 8, !tbaa !5
  br label %346

346:                                              ; preds = %383, %318
  %347 = load ptr, ptr %2, align 8, !tbaa !5
  %348 = icmp ne ptr %347, null
  br i1 %348, label %349, label %387

349:                                              ; preds = %346
  %350 = load ptr, ptr %2, align 8, !tbaa !5
  %351 = getelementptr inbounds %struct._TokenList, ptr %350, i32 0, i32 0
  %352 = load ptr, ptr %351, align 8, !tbaa !18
  %353 = call i32 @position_in_types_table(ptr noundef %352)
  store i32 %353, ptr %4, align 4, !tbaa !9
  %354 = icmp eq i32 %353, -1
  br i1 %354, label %355, label %365

355:                                              ; preds = %349
  %356 = load ptr, ptr %1, align 8, !tbaa !5
  %357 = getelementptr inbounds %struct._FactList, ptr %356, i32 0, i32 0
  %358 = load ptr, ptr %357, align 8, !tbaa !14
  %359 = getelementptr inbounds %struct._TokenList, ptr %358, i32 0, i32 0
  %360 = load ptr, ptr %359, align 8, !tbaa !18
  %361 = load ptr, ptr %2, align 8, !tbaa !5
  %362 = getelementptr inbounds %struct._TokenList, ptr %361, i32 0, i32 0
  %363 = load ptr, ptr %362, align 8, !tbaa !18
  %364 = call i32 (ptr, ...) @printf(ptr noundef @.str.29, ptr noundef %360, ptr noundef %363)
  call void @exit(i32 noundef 1) #7
  unreachable

365:                                              ; preds = %349
  %366 = load i32, ptr %6, align 4, !tbaa !9
  %367 = icmp eq i32 %366, 5
  br i1 %367, label %368, label %374

368:                                              ; preds = %365
  %369 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %370 = sext i32 %369 to i64
  %371 = getelementptr inbounds [50 x ptr], ptr @gfunctions, i64 0, i64 %370
  %372 = load ptr, ptr %371, align 8, !tbaa !5
  %373 = call i32 (ptr, ...) @printf(ptr noundef @.str.25, ptr noundef %372, i32 noundef 5)
  call void @exit(i32 noundef 1) #7
  unreachable

374:                                              ; preds = %365
  %375 = load i32, ptr %4, align 4, !tbaa !9
  %376 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %377 = sext i32 %376 to i64
  %378 = getelementptr inbounds [50 x [5 x i32]], ptr @gfunctions_args_type, i64 0, i64 %377
  %379 = load i32, ptr %6, align 4, !tbaa !9
  %380 = add nsw i32 %379, 1
  store i32 %380, ptr %6, align 4, !tbaa !9
  %381 = sext i32 %379 to i64
  %382 = getelementptr inbounds [5 x i32], ptr %378, i64 0, i64 %381
  store i32 %375, ptr %382, align 4, !tbaa !9
  br label %383

383:                                              ; preds = %374
  %384 = load ptr, ptr %2, align 8, !tbaa !5
  %385 = getelementptr inbounds %struct._TokenList, ptr %384, i32 0, i32 1
  %386 = load ptr, ptr %385, align 8, !tbaa !16
  store ptr %386, ptr %2, align 8, !tbaa !5
  br label %346, !llvm.loop !24

387:                                              ; preds = %346
  %388 = load i32, ptr %6, align 4, !tbaa !9
  %389 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %390 = add nsw i32 %389, 1
  store i32 %390, ptr @gnum_functions, align 4, !tbaa !9
  %391 = sext i32 %389 to i64
  %392 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %391
  store i32 %388, ptr %392, align 4, !tbaa !9
  br label %393

393:                                              ; preds = %387
  %394 = load ptr, ptr %1, align 8, !tbaa !5
  %395 = getelementptr inbounds %struct._FactList, ptr %394, i32 0, i32 1
  %396 = load ptr, ptr %395, align 8, !tbaa !20
  store ptr %396, ptr %1, align 8, !tbaa !5
  br label %295, !llvm.loop !25

397:                                              ; preds = %295
  %398 = load ptr, ptr @gorig_constant_list, align 8, !tbaa !5
  call void @free_FactList(ptr noundef %398)
  %399 = load ptr, ptr @gpredicates_and_types, align 8, !tbaa !5
  call void @free_FactList(ptr noundef %399)
  %400 = load ptr, ptr @gfunctions_and_types, align 8, !tbaa !5
  call void @free_FactList(ptr noundef %400)
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %2) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %1) #6
  ret void
}

declare i32 @printf(ptr noundef, ...) #2

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

declare ptr @new_Token(i32 noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @position_in_types_table(ptr noundef) #1

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) #3

; Function Attrs: nounwind willreturn memory(read)
declare i64 @strlen(ptr noundef) #4

; Function Attrs: nounwind
declare ptr @strcpy(ptr noundef, ptr noundef) #5

; Function Attrs: nounwind uwtable
declare dso_local i32 @position_in_constants_table(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local i32 @position_in_predicates_table(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local i32 @position_in_functions_table(ptr noundef) #1

declare void @free_FactList(ptr noundef) #2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 = { "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 = { noreturn 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 #4 = { nounwind willreturn memory(read) "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 #5 = { 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 #6 = { nounwind }
attributes #7 = { noreturn nounwind }
attributes #8 = { nounwind willreturn memory(read) }

!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 = !{!7, !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = !{!15, !6, i64 0}
!15 = !{!"_FactList", !6, i64 0, !6, i64 8}
!16 = !{!17, !6, i64 8}
!17 = !{!"_TokenList", !6, i64 0, !6, i64 8}
!18 = !{!17, !6, i64 0}
!19 = distinct !{!19, !13}
!20 = !{!15, !6, i64 8}
!21 = distinct !{!21, !13}
!22 = distinct !{!22, !13}
!23 = distinct !{!23, !13}
!24 = distinct !{!24, !13}
!25 = distinct !{!25, !13}


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

@gnum_constants = external local_unnamed_addr global i32, align 4
@gconstants = external local_unnamed_addr global [2000 x ptr], align 16
@gnum_types = external local_unnamed_addr global i32, align 4
@gtype_names = external local_unnamed_addr global [50 x ptr], align 16
@gtype_size = external local_unnamed_addr global [50 x i32], align 16
@gtype_consts = external local_unnamed_addr global [50 x [2000 x i32]], align 16
@gnum_predicates = external local_unnamed_addr global i32, align 4
@gpredicates = external local_unnamed_addr global [50 x ptr], align 16
@garity = external local_unnamed_addr global [50 x i32], align 16
@gpredicates_args_type = external local_unnamed_addr global [50 x [5 x i32]], align 16
@gnum_functions = external local_unnamed_addr global i32, align 4
@gfunctions = external local_unnamed_addr global [50 x ptr], align 16
@gf_arity = external local_unnamed_addr global [50 x i32], align 16
@gfunctions_args_type = external local_unnamed_addr global [50 x [5 x i32]], align 16
@.str.17 = external hidden unnamed_addr constant [22 x i8], align 1
@gis_member = external local_unnamed_addr global [2000 x [50 x i8]], align 16
@gorig_constant_list = external local_unnamed_addr global ptr, align 8
@.str.18 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [2 x i8], align 1
@gpredicates_and_types = external local_unnamed_addr global ptr, align 8
@.str.22 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [58 x i8], align 1
@gaxiom_added = external local_unnamed_addr global [50 x i8], align 16
@.str.26 = external hidden unnamed_addr constant [11 x i8], align 1
@gfunctions_and_types = external local_unnamed_addr global ptr, align 8
@.str.27 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [59 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @collect_all_strings() local_unnamed_addr #0 {
  %1 = tail call ptr @new_Token(i32 noundef 50) #6
  store ptr @.str.17, ptr @gtype_names, align 16, !tbaa !5
  store i32 0, ptr @gtype_size, align 16, !tbaa !9
  br label %2

2:                                                ; preds = %2, %0
  %indvars.iv = phi i64 [ 0, %0 ], [ %indvars.iv.next.4, %2 ]
  %3 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %indvars.iv
  store i8 0, ptr %3, align 2, !tbaa !11
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %4 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %indvars.iv.next
  store i8 0, ptr %4, align 2, !tbaa !11
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %5 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %indvars.iv.next.1
  store i8 0, ptr %5, align 2, !tbaa !11
  %indvars.iv.next.2 = add nuw nsw i64 %indvars.iv, 3
  %6 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %indvars.iv.next.2
  store i8 0, ptr %6, align 2, !tbaa !11
  %indvars.iv.next.3 = add nuw nsw i64 %indvars.iv, 4
  %7 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %indvars.iv.next.3
  store i8 0, ptr %7, align 2, !tbaa !11
  %indvars.iv.next.4 = add nuw nsw i64 %indvars.iv, 5
  %exitcond.not.4 = icmp eq i64 %indvars.iv.next.4, 2000
  br i1 %exitcond.not.4, label %8, label %2, !llvm.loop !12

8:                                                ; preds = %2
  store i32 1, ptr @gnum_types, align 4, !tbaa !9
  %.06296 = load ptr, ptr @gorig_constant_list, align 8, !tbaa !5
  %.not97 = icmp eq ptr %.06296, null
  br i1 %.not97, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %8, %100
  %.06298 = phi ptr [ %.062, %100 ], [ %.06296, %8 ]
  %9 = load ptr, ptr %.06298, align 8, !tbaa !14
  %10 = getelementptr inbounds i8, ptr %9, i64 8
  %11 = load ptr, ptr %10, align 8, !tbaa !16
  %12 = load ptr, ptr %11, align 8, !tbaa !18
  %13 = tail call i32 @position_in_types_table(ptr noundef %12)
  %14 = icmp eq i32 %13, -1
  br i1 %14, label %15, label %48

15:                                               ; preds = %.lr.ph
  %16 = load i32, ptr @gnum_types, align 4, !tbaa !9
  %17 = icmp eq i32 %16, 50
  br i1 %17, label %18, label %20

18:                                               ; preds = %15
  %19 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.18, i32 noundef 50)
  tail call void @exit(i32 noundef 1) #7
  unreachable

20:                                               ; preds = %15
  %21 = load ptr, ptr %.06298, align 8, !tbaa !14
  %22 = getelementptr inbounds i8, ptr %21, i64 8
  %23 = load ptr, ptr %22, align 8, !tbaa !16
  %24 = load ptr, ptr %23, align 8, !tbaa !18
  %25 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %24) #8
  %26 = trunc i64 %25 to i32
  %27 = add i32 %26, 1
  %28 = tail call ptr @new_Token(i32 noundef %27) #6
  %29 = load i32, ptr @gnum_types, align 4, !tbaa !9
  %30 = sext i32 %29 to i64
  %31 = getelementptr inbounds [50 x ptr], ptr @gtype_names, i64 0, i64 %30
  store ptr %28, ptr %31, align 8, !tbaa !5
  %32 = load ptr, ptr %.06298, align 8, !tbaa !14
  %33 = getelementptr inbounds i8, ptr %32, i64 8
  %34 = load ptr, ptr %33, align 8, !tbaa !16
  %35 = load ptr, ptr %34, align 8, !tbaa !18
  %36 = tail call ptr @strcpy(ptr noundef nonnull dereferenceable(1) %28, ptr noundef nonnull dereferenceable(1) %35) #6
  %37 = load i32, ptr @gnum_types, align 4, !tbaa !9
  %38 = sext i32 %37 to i64
  %39 = getelementptr inbounds [50 x i32], ptr @gtype_size, i64 0, i64 %38
  store i32 0, ptr %39, align 4, !tbaa !9
  br label %40

40:                                               ; preds = %40, %20
  %indvars.iv144 = phi i64 [ 0, %20 ], [ %indvars.iv.next145.4, %40 ]
  %41 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %indvars.iv144, i64 %38
  store i8 0, ptr %41, align 1, !tbaa !11
  %indvars.iv.next145 = add nuw nsw i64 %indvars.iv144, 1
  %42 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %indvars.iv.next145, i64 %38
  store i8 0, ptr %42, align 1, !tbaa !11
  %indvars.iv.next145.1 = add nuw nsw i64 %indvars.iv144, 2
  %43 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %indvars.iv.next145.1, i64 %38
  store i8 0, ptr %43, align 1, !tbaa !11
  %indvars.iv.next145.2 = add nuw nsw i64 %indvars.iv144, 3
  %44 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %indvars.iv.next145.2, i64 %38
  store i8 0, ptr %44, align 1, !tbaa !11
  %indvars.iv.next145.3 = add nuw nsw i64 %indvars.iv144, 4
  %45 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %indvars.iv.next145.3, i64 %38
  store i8 0, ptr %45, align 1, !tbaa !11
  %indvars.iv.next145.4 = add nuw nsw i64 %indvars.iv144, 5
  %exitcond147.not.4 = icmp eq i64 %indvars.iv.next145.4, 2000
  br i1 %exitcond147.not.4, label %46, label %40, !llvm.loop !19

46:                                               ; preds = %40
  %47 = add nsw i32 %37, 1
  store i32 %47, ptr @gnum_types, align 4, !tbaa !9
  br label %48

48:                                               ; preds = %46, %.lr.ph
  %.059 = phi i32 [ %37, %46 ], [ %13, %.lr.ph ]
  %49 = load ptr, ptr %.06298, align 8, !tbaa !14
  %50 = load ptr, ptr %49, align 8, !tbaa !18
  %51 = tail call i32 @position_in_constants_table(ptr noundef %50)
  %52 = icmp eq i32 %51, -1
  br i1 %52, label %53, label %._crit_edge155

._crit_edge155:                                   ; preds = %48
  %.pre156 = sext i32 %51 to i64
  br label %84

53:                                               ; preds = %48
  %54 = load i32, ptr @gnum_constants, align 4, !tbaa !9
  %55 = icmp eq i32 %54, 2000
  br i1 %55, label %56, label %58

56:                                               ; preds = %53
  %57 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 2000)
  tail call void @exit(i32 noundef 1) #7
  unreachable

58:                                               ; preds = %53
  %59 = load ptr, ptr %.06298, align 8, !tbaa !14
  %60 = load ptr, ptr %59, align 8, !tbaa !18
  %61 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %60) #8
  %62 = trunc i64 %61 to i32
  %63 = add i32 %62, 1
  %64 = tail call ptr @new_Token(i32 noundef %63) #6
  %65 = load i32, ptr @gnum_constants, align 4, !tbaa !9
  %66 = sext i32 %65 to i64
  %67 = getelementptr inbounds [2000 x ptr], ptr @gconstants, i64 0, i64 %66
  store ptr %64, ptr %67, align 8, !tbaa !5
  %68 = load ptr, ptr %.06298, align 8, !tbaa !14
  %69 = load ptr, ptr %68, align 8, !tbaa !18
  %70 = tail call ptr @strcpy(ptr noundef nonnull dereferenceable(1) %64, ptr noundef nonnull dereferenceable(1) %69) #6
  %71 = load i32, ptr @gnum_constants, align 4, !tbaa !9
  %72 = add nsw i32 %71, 1
  store i32 %72, ptr @gnum_constants, align 4, !tbaa !9
  %73 = load i32, ptr @gtype_size, align 16, !tbaa !9
  %74 = icmp eq i32 %73, 2000
  br i1 %74, label %75, label %78

75:                                               ; preds = %58
  %76 = load ptr, ptr @gtype_names, align 16, !tbaa !5
  %77 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.20, ptr noundef %76, i32 noundef 2000)
  tail call void @exit(i32 noundef 1) #7
  unreachable

78:                                               ; preds = %58
  %79 = add nsw i32 %73, 1
  store i32 %79, ptr @gtype_size, align 16, !tbaa !9
  %80 = sext i32 %73 to i64
  %81 = getelementptr inbounds [2000 x i32], ptr @gtype_consts, i64 0, i64 %80
  store i32 %71, ptr %81, align 4, !tbaa !9
  %82 = sext i32 %71 to i64
  %83 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %82
  store i8 1, ptr %83, align 2, !tbaa !11
  br label %84

84:                                               ; preds = %._crit_edge155, %78
  %.pre-phi = phi i64 [ %.pre156, %._crit_edge155 ], [ %82, %78 ]
  %.058 = phi i32 [ %51, %._crit_edge155 ], [ %71, %78 ]
  %85 = sext i32 %.059 to i64
  %86 = getelementptr inbounds [2000 x [50 x i8]], ptr @gis_member, i64 0, i64 %.pre-phi, i64 %85
  %87 = load i8, ptr %86, align 1, !tbaa !11
  %.not77 = icmp eq i8 %87, 0
  br i1 %.not77, label %88, label %100

88:                                               ; preds = %84
  %89 = getelementptr inbounds [50 x i32], ptr @gtype_size, i64 0, i64 %85
  %90 = load i32, ptr %89, align 4, !tbaa !9
  %91 = icmp eq i32 %90, 2000
  br i1 %91, label %92, label %96

92:                                               ; preds = %88
  %93 = getelementptr inbounds [50 x ptr], ptr @gtype_names, i64 0, i64 %85
  %94 = load ptr, ptr %93, align 8, !tbaa !5
  %95 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.20, ptr noundef %94, i32 noundef 2000)
  tail call void @exit(i32 noundef 1) #7
  unreachable

96:                                               ; preds = %88
  %97 = add nsw i32 %90, 1
  store i32 %97, ptr %89, align 4, !tbaa !9
  %98 = sext i32 %90 to i64
  %99 = getelementptr inbounds [50 x [2000 x i32]], ptr @gtype_consts, i64 0, i64 %85, i64 %98
  store i32 %.058, ptr %99, align 4, !tbaa !9
  store i8 1, ptr %86, align 1, !tbaa !11
  br label %100

100:                                              ; preds = %84, %96
  %101 = getelementptr inbounds i8, ptr %.06298, i64 8
  %.062 = load ptr, ptr %101, align 8, !tbaa !5
  %.not = icmp eq ptr %.062, null
  br i1 %.not, label %._crit_edge, label %.lr.ph, !llvm.loop !20

._crit_edge:                                      ; preds = %100, %8
  %102 = tail call ptr @new_Token(i32 noundef 5) #6
  store ptr @.str.21, ptr @gpredicates, align 16, !tbaa !5
  store i32 0, ptr @gpredicates_args_type, align 16, !tbaa !9
  store i32 0, ptr getelementptr inbounds (i8, ptr @gpredicates_args_type, i64 4), align 4, !tbaa !9
  store i32 2, ptr @garity, align 16, !tbaa !9
  store i32 1, ptr @gnum_predicates, align 4, !tbaa !9
  %.163107 = load ptr, ptr @gpredicates_and_types, align 8, !tbaa !5
  %.not70108 = icmp eq ptr %.163107, null
  br i1 %.not70108, label %._crit_edge112, label %.lr.ph111

.lr.ph111:                                        ; preds = %._crit_edge, %._crit_edge106
  %.163109 = phi ptr [ %.163, %._crit_edge106 ], [ %.163107, %._crit_edge ]
  %103 = load ptr, ptr %.163109, align 8, !tbaa !14
  %104 = load ptr, ptr %103, align 8, !tbaa !18
  %105 = tail call i32 @position_in_predicates_table(ptr noundef %104)
  %.not74 = icmp eq i32 %105, -1
  br i1 %.not74, label %110, label %106

106:                                              ; preds = %.lr.ph111
  %107 = load ptr, ptr %.163109, align 8, !tbaa !14
  %108 = load ptr, ptr %107, align 8, !tbaa !18
  %109 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.22, ptr noundef %108)
  tail call void @exit(i32 noundef 1) #7
  unreachable

110:                                              ; preds = %.lr.ph111
  %111 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %112 = icmp eq i32 %111, 50
  br i1 %112, label %113, label %115

113:                                              ; preds = %110
  %114 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.23, i32 noundef 50)
  tail call void @exit(i32 noundef 1) #7
  unreachable

115:                                              ; preds = %110
  %116 = load ptr, ptr %.163109, align 8, !tbaa !14
  %117 = load ptr, ptr %116, align 8, !tbaa !18
  %118 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %117) #8
  %119 = trunc i64 %118 to i32
  %120 = add i32 %119, 1
  %121 = tail call ptr @new_Token(i32 noundef %120) #6
  %122 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %123 = sext i32 %122 to i64
  %124 = getelementptr inbounds [50 x ptr], ptr @gpredicates, i64 0, i64 %123
  store ptr %121, ptr %124, align 8, !tbaa !5
  %125 = load ptr, ptr %.163109, align 8, !tbaa !14
  %126 = load ptr, ptr %125, align 8, !tbaa !18
  %127 = tail call ptr @strcpy(ptr noundef nonnull dereferenceable(1) %121, ptr noundef nonnull dereferenceable(1) %126) #6
  %128 = load ptr, ptr %.163109, align 8, !tbaa !14
  %.060.in99 = getelementptr inbounds i8, ptr %128, i64 8
  %.060100 = load ptr, ptr %.060.in99, align 8, !tbaa !16
  %.not75101 = icmp eq ptr %.060100, null
  br i1 %.not75101, label %.._crit_edge106_crit_edge, label %.lr.ph105.preheader

.._crit_edge106_crit_edge:                        ; preds = %115
  %.pre = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  br label %._crit_edge106

.lr.ph105.preheader:                              ; preds = %115
  %129 = load ptr, ptr %.060100, align 8, !tbaa !18
  %130 = tail call i32 @position_in_types_table(ptr noundef %129)
  %131 = icmp eq i32 %130, -1
  br i1 %131, label %.loopexit157, label %136

.loopexit157:                                     ; preds = %.lr.ph105.4, %.lr.ph105.3, %.lr.ph105.2, %.lr.ph105.1, %.lr.ph105.preheader, %.lr.ph105.5
  %.060103.lcssa = phi ptr [ %.060.4, %.lr.ph105.5 ], [ %.060.3, %.lr.ph105.4 ], [ %.060.2, %.lr.ph105.3 ], [ %.060.1, %.lr.ph105.2 ], [ %.060, %.lr.ph105.1 ], [ %.060100, %.lr.ph105.preheader ]
  %132 = load ptr, ptr %.163109, align 8, !tbaa !14
  %133 = load ptr, ptr %132, align 8, !tbaa !18
  %134 = load ptr, ptr %.060103.lcssa, align 8, !tbaa !18
  %135 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.24, ptr noundef %133, ptr noundef %134)
  tail call void @exit(i32 noundef 1) #7
  unreachable

136:                                              ; preds = %.lr.ph105.preheader
  %137 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %138 = sext i32 %137 to i64
  %139 = getelementptr inbounds [50 x [5 x i32]], ptr @gpredicates_args_type, i64 0, i64 %138, i64 0
  store i32 %130, ptr %139, align 4, !tbaa !9
  %.060.in = getelementptr inbounds i8, ptr %.060100, i64 8
  %.060 = load ptr, ptr %.060.in, align 8, !tbaa !16
  %.not75 = icmp eq ptr %.060, null
  br i1 %.not75, label %._crit_edge106, label %.lr.ph105.1, !llvm.loop !21

140:                                              ; preds = %.lr.ph105.5
  %141 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %142 = sext i32 %141 to i64
  %143 = getelementptr inbounds [50 x ptr], ptr @gpredicates, i64 0, i64 %142
  %144 = load ptr, ptr %143, align 8, !tbaa !5
  %145 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.25, ptr noundef %144, i32 noundef 5)
  tail call void @exit(i32 noundef 1) #7
  unreachable

.lr.ph105.1:                                      ; preds = %136
  %146 = load ptr, ptr %.060, align 8, !tbaa !18
  %147 = tail call i32 @position_in_types_table(ptr noundef %146)
  %148 = icmp eq i32 %147, -1
  br i1 %148, label %.loopexit157, label %149

149:                                              ; preds = %.lr.ph105.1
  %150 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %151 = sext i32 %150 to i64
  %152 = getelementptr inbounds [50 x [5 x i32]], ptr @gpredicates_args_type, i64 0, i64 %151, i64 1
  store i32 %147, ptr %152, align 4, !tbaa !9
  %.060.in.1 = getelementptr inbounds i8, ptr %.060, i64 8
  %.060.1 = load ptr, ptr %.060.in.1, align 8, !tbaa !16
  %.not75.1 = icmp eq ptr %.060.1, null
  br i1 %.not75.1, label %._crit_edge106, label %.lr.ph105.2, !llvm.loop !21

.lr.ph105.2:                                      ; preds = %149
  %153 = load ptr, ptr %.060.1, align 8, !tbaa !18
  %154 = tail call i32 @position_in_types_table(ptr noundef %153)
  %155 = icmp eq i32 %154, -1
  br i1 %155, label %.loopexit157, label %156

156:                                              ; preds = %.lr.ph105.2
  %157 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %158 = sext i32 %157 to i64
  %159 = getelementptr inbounds [50 x [5 x i32]], ptr @gpredicates_args_type, i64 0, i64 %158, i64 2
  store i32 %154, ptr %159, align 4, !tbaa !9
  %.060.in.2 = getelementptr inbounds i8, ptr %.060.1, i64 8
  %.060.2 = load ptr, ptr %.060.in.2, align 8, !tbaa !16
  %.not75.2 = icmp eq ptr %.060.2, null
  br i1 %.not75.2, label %._crit_edge106, label %.lr.ph105.3, !llvm.loop !21

.lr.ph105.3:                                      ; preds = %156
  %160 = load ptr, ptr %.060.2, align 8, !tbaa !18
  %161 = tail call i32 @position_in_types_table(ptr noundef %160)
  %162 = icmp eq i32 %161, -1
  br i1 %162, label %.loopexit157, label %163

163:                                              ; preds = %.lr.ph105.3
  %164 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %165 = sext i32 %164 to i64
  %166 = getelementptr inbounds [50 x [5 x i32]], ptr @gpredicates_args_type, i64 0, i64 %165, i64 3
  store i32 %161, ptr %166, align 4, !tbaa !9
  %.060.in.3 = getelementptr inbounds i8, ptr %.060.2, i64 8
  %.060.3 = load ptr, ptr %.060.in.3, align 8, !tbaa !16
  %.not75.3 = icmp eq ptr %.060.3, null
  br i1 %.not75.3, label %._crit_edge106, label %.lr.ph105.4, !llvm.loop !21

.lr.ph105.4:                                      ; preds = %163
  %167 = load ptr, ptr %.060.3, align 8, !tbaa !18
  %168 = tail call i32 @position_in_types_table(ptr noundef %167)
  %169 = icmp eq i32 %168, -1
  br i1 %169, label %.loopexit157, label %170

170:                                              ; preds = %.lr.ph105.4
  %171 = load i32, ptr @gnum_predicates, align 4, !tbaa !9
  %172 = sext i32 %171 to i64
  %173 = getelementptr inbounds [50 x [5 x i32]], ptr @gpredicates_args_type, i64 0, i64 %172, i64 4
  store i32 %168, ptr %173, align 4, !tbaa !9
  %.060.in.4 = getelementptr inbounds i8, ptr %.060.3, i64 8
  %.060.4 = load ptr, ptr %.060.in.4, align 8, !tbaa !16
  %.not75.4 = icmp eq ptr %.060.4, null
  br i1 %.not75.4, label %._crit_edge106, label %.lr.ph105.5, !llvm.loop !21

.lr.ph105.5:                                      ; preds = %170
  %174 = load ptr, ptr %.060.4, align 8, !tbaa !18
  %175 = tail call i32 @position_in_types_table(ptr noundef %174)
  %176 = icmp eq i32 %175, -1
  br i1 %176, label %.loopexit157, label %140

._crit_edge106:                                   ; preds = %136, %149, %156, %163, %170, %.._crit_edge106_crit_edge
  %177 = phi i32 [ %.pre, %.._crit_edge106_crit_edge ], [ %137, %136 ], [ %150, %149 ], [ %157, %156 ], [ %164, %163 ], [ %171, %170 ]
  %.056.lcssa = phi i32 [ 0, %.._crit_edge106_crit_edge ], [ 1, %136 ], [ 2, %149 ], [ 3, %156 ], [ 4, %163 ], [ 5, %170 ]
  %178 = sext i32 %177 to i64
  %179 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %178
  store i32 %.056.lcssa, ptr %179, align 4, !tbaa !9
  %180 = getelementptr inbounds [50 x i8], ptr @gaxiom_added, i64 0, i64 %178
  store i8 0, ptr %180, align 1, !tbaa !11
  %181 = add nsw i32 %177, 1
  store i32 %181, ptr @gnum_predicates, align 4, !tbaa !9
  %182 = getelementptr inbounds i8, ptr %.163109, i64 8
  %.163 = load ptr, ptr %182, align 8, !tbaa !5
  %.not70 = icmp eq ptr %.163, null
  br i1 %.not70, label %._crit_edge112, label %.lr.ph111, !llvm.loop !22

._crit_edge112:                                   ; preds = %._crit_edge106, %._crit_edge
  %183 = tail call ptr @new_Token(i32 noundef 20) #6
  store ptr @.str.26, ptr @gfunctions, align 16, !tbaa !5
  store i32 0, ptr @gf_arity, align 16, !tbaa !9
  store i32 1, ptr @gnum_functions, align 4, !tbaa !9
  %.2122 = load ptr, ptr @gfunctions_and_types, align 8, !tbaa !5
  %.not71123 = icmp eq ptr %.2122, null
  br i1 %.not71123, label %._crit_edge127, label %.lr.ph126

.lr.ph126:                                        ; preds = %._crit_edge112, %._crit_edge120
  %.2124 = phi ptr [ %.2, %._crit_edge120 ], [ %.2122, %._crit_edge112 ]
  %184 = load ptr, ptr %.2124, align 8, !tbaa !14
  %185 = load ptr, ptr %184, align 8, !tbaa !18
  %186 = tail call i32 @position_in_functions_table(ptr noundef %185)
  %.not72 = icmp eq i32 %186, -1
  br i1 %.not72, label %191, label %187

187:                                              ; preds = %.lr.ph126
  %188 = load ptr, ptr %.2124, align 8, !tbaa !14
  %189 = load ptr, ptr %188, align 8, !tbaa !18
  %190 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.27, ptr noundef %189)
  tail call void @exit(i32 noundef 1) #7
  unreachable

191:                                              ; preds = %.lr.ph126
  %192 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %193 = icmp eq i32 %192, 50
  br i1 %193, label %194, label %196

194:                                              ; preds = %191
  %195 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.28, i32 noundef 50)
  tail call void @exit(i32 noundef 1) #7
  unreachable

196:                                              ; preds = %191
  %197 = load ptr, ptr %.2124, align 8, !tbaa !14
  %198 = load ptr, ptr %197, align 8, !tbaa !18
  %199 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %198) #8
  %200 = trunc i64 %199 to i32
  %201 = add i32 %200, 1
  %202 = tail call ptr @new_Token(i32 noundef %201) #6
  %203 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %204 = sext i32 %203 to i64
  %205 = getelementptr inbounds [50 x ptr], ptr @gfunctions, i64 0, i64 %204
  store ptr %202, ptr %205, align 8, !tbaa !5
  %206 = load ptr, ptr %.2124, align 8, !tbaa !14
  %207 = load ptr, ptr %206, align 8, !tbaa !18
  %208 = tail call ptr @strcpy(ptr noundef nonnull dereferenceable(1) %202, ptr noundef nonnull dereferenceable(1) %207) #6
  %209 = load ptr, ptr %.2124, align 8, !tbaa !14
  %.161.in113 = getelementptr inbounds i8, ptr %209, i64 8
  %.161114 = load ptr, ptr %.161.in113, align 8, !tbaa !16
  %.not73115 = icmp eq ptr %.161114, null
  br i1 %.not73115, label %.._crit_edge120_crit_edge, label %.lr.ph119.preheader

.._crit_edge120_crit_edge:                        ; preds = %196
  %.pre154 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  br label %._crit_edge120

.lr.ph119.preheader:                              ; preds = %196
  %210 = load ptr, ptr %.161114, align 8, !tbaa !18
  %211 = tail call i32 @position_in_types_table(ptr noundef %210)
  %212 = icmp eq i32 %211, -1
  br i1 %212, label %.loopexit, label %217

.loopexit:                                        ; preds = %.lr.ph119.4, %.lr.ph119.3, %.lr.ph119.2, %.lr.ph119.1, %.lr.ph119.preheader, %.lr.ph119.5
  %.161117.lcssa = phi ptr [ %.161.4, %.lr.ph119.5 ], [ %.161.3, %.lr.ph119.4 ], [ %.161.2, %.lr.ph119.3 ], [ %.161.1, %.lr.ph119.2 ], [ %.161, %.lr.ph119.1 ], [ %.161114, %.lr.ph119.preheader ]
  %213 = load ptr, ptr %.2124, align 8, !tbaa !14
  %214 = load ptr, ptr %213, align 8, !tbaa !18
  %215 = load ptr, ptr %.161117.lcssa, align 8, !tbaa !18
  %216 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.29, ptr noundef %214, ptr noundef %215)
  tail call void @exit(i32 noundef 1) #7
  unreachable

217:                                              ; preds = %.lr.ph119.preheader
  %218 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %219 = sext i32 %218 to i64
  %220 = getelementptr inbounds [50 x [5 x i32]], ptr @gfunctions_args_type, i64 0, i64 %219, i64 0
  store i32 %211, ptr %220, align 4, !tbaa !9
  %.161.in = getelementptr inbounds i8, ptr %.161114, i64 8
  %.161 = load ptr, ptr %.161.in, align 8, !tbaa !16
  %.not73 = icmp eq ptr %.161, null
  br i1 %.not73, label %._crit_edge120, label %.lr.ph119.1, !llvm.loop !23

221:                                              ; preds = %.lr.ph119.5
  %222 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %223 = sext i32 %222 to i64
  %224 = getelementptr inbounds [50 x ptr], ptr @gfunctions, i64 0, i64 %223
  %225 = load ptr, ptr %224, align 8, !tbaa !5
  %226 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.25, ptr noundef %225, i32 noundef 5)
  tail call void @exit(i32 noundef 1) #7
  unreachable

.lr.ph119.1:                                      ; preds = %217
  %227 = load ptr, ptr %.161, align 8, !tbaa !18
  %228 = tail call i32 @position_in_types_table(ptr noundef %227)
  %229 = icmp eq i32 %228, -1
  br i1 %229, label %.loopexit, label %230

230:                                              ; preds = %.lr.ph119.1
  %231 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %232 = sext i32 %231 to i64
  %233 = getelementptr inbounds [50 x [5 x i32]], ptr @gfunctions_args_type, i64 0, i64 %232, i64 1
  store i32 %228, ptr %233, align 4, !tbaa !9
  %.161.in.1 = getelementptr inbounds i8, ptr %.161, i64 8
  %.161.1 = load ptr, ptr %.161.in.1, align 8, !tbaa !16
  %.not73.1 = icmp eq ptr %.161.1, null
  br i1 %.not73.1, label %._crit_edge120, label %.lr.ph119.2, !llvm.loop !23

.lr.ph119.2:                                      ; preds = %230
  %234 = load ptr, ptr %.161.1, align 8, !tbaa !18
  %235 = tail call i32 @position_in_types_table(ptr noundef %234)
  %236 = icmp eq i32 %235, -1
  br i1 %236, label %.loopexit, label %237

237:                                              ; preds = %.lr.ph119.2
  %238 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %239 = sext i32 %238 to i64
  %240 = getelementptr inbounds [50 x [5 x i32]], ptr @gfunctions_args_type, i64 0, i64 %239, i64 2
  store i32 %235, ptr %240, align 4, !tbaa !9
  %.161.in.2 = getelementptr inbounds i8, ptr %.161.1, i64 8
  %.161.2 = load ptr, ptr %.161.in.2, align 8, !tbaa !16
  %.not73.2 = icmp eq ptr %.161.2, null
  br i1 %.not73.2, label %._crit_edge120, label %.lr.ph119.3, !llvm.loop !23

.lr.ph119.3:                                      ; preds = %237
  %241 = load ptr, ptr %.161.2, align 8, !tbaa !18
  %242 = tail call i32 @position_in_types_table(ptr noundef %241)
  %243 = icmp eq i32 %242, -1
  br i1 %243, label %.loopexit, label %244

244:                                              ; preds = %.lr.ph119.3
  %245 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %246 = sext i32 %245 to i64
  %247 = getelementptr inbounds [50 x [5 x i32]], ptr @gfunctions_args_type, i64 0, i64 %246, i64 3
  store i32 %242, ptr %247, align 4, !tbaa !9
  %.161.in.3 = getelementptr inbounds i8, ptr %.161.2, i64 8
  %.161.3 = load ptr, ptr %.161.in.3, align 8, !tbaa !16
  %.not73.3 = icmp eq ptr %.161.3, null
  br i1 %.not73.3, label %._crit_edge120, label %.lr.ph119.4, !llvm.loop !23

.lr.ph119.4:                                      ; preds = %244
  %248 = load ptr, ptr %.161.3, align 8, !tbaa !18
  %249 = tail call i32 @position_in_types_table(ptr noundef %248)
  %250 = icmp eq i32 %249, -1
  br i1 %250, label %.loopexit, label %251

251:                                              ; preds = %.lr.ph119.4
  %252 = load i32, ptr @gnum_functions, align 4, !tbaa !9
  %253 = sext i32 %252 to i64
  %254 = getelementptr inbounds [50 x [5 x i32]], ptr @gfunctions_args_type, i64 0, i64 %253, i64 4
  store i32 %249, ptr %254, align 4, !tbaa !9
  %.161.in.4 = getelementptr inbounds i8, ptr %.161.3, i64 8
  %.161.4 = load ptr, ptr %.161.in.4, align 8, !tbaa !16
  %.not73.4 = icmp eq ptr %.161.4, null
  br i1 %.not73.4, label %._crit_edge120, label %.lr.ph119.5, !llvm.loop !23

.lr.ph119.5:                                      ; preds = %251
  %255 = load ptr, ptr %.161.4, align 8, !tbaa !18
  %256 = tail call i32 @position_in_types_table(ptr noundef %255)
  %257 = icmp eq i32 %256, -1
  br i1 %257, label %.loopexit, label %221

._crit_edge120:                                   ; preds = %217, %230, %237, %244, %251, %.._crit_edge120_crit_edge
  %258 = phi i32 [ %.pre154, %.._crit_edge120_crit_edge ], [ %218, %217 ], [ %231, %230 ], [ %238, %237 ], [ %245, %244 ], [ %252, %251 ]
  %.157.lcssa = phi i32 [ 0, %.._crit_edge120_crit_edge ], [ 1, %217 ], [ 2, %230 ], [ 3, %237 ], [ 4, %244 ], [ 5, %251 ]
  %259 = add nsw i32 %258, 1
  store i32 %259, ptr @gnum_functions, align 4, !tbaa !9
  %260 = sext i32 %258 to i64
  %261 = getelementptr inbounds [50 x i32], ptr @gf_arity, i64 0, i64 %260
  store i32 %.157.lcssa, ptr %261, align 4, !tbaa !9
  %262 = getelementptr inbounds i8, ptr %.2124, i64 8
  %.2 = load ptr, ptr %262, align 8, !tbaa !5
  %.not71 = icmp eq ptr %.2, null
  br i1 %.not71, label %._crit_edge127, label %.lr.ph126, !llvm.loop !24

._crit_edge127:                                   ; preds = %._crit_edge120, %._crit_edge112
  %263 = load ptr, ptr @gorig_constant_list, align 8, !tbaa !5
  tail call void @free_FactList(ptr noundef %263) #6
  %264 = load ptr, ptr @gpredicates_and_types, align 8, !tbaa !5
  tail call void @free_FactList(ptr noundef %264) #6
  %265 = load ptr, ptr @gfunctions_and_types, align 8, !tbaa !5
  tail call void @free_FactList(ptr noundef %265) #6
  ret void
}

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

declare ptr @new_Token(i32 noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @position_in_types_table(ptr noundef) local_unnamed_addr #0

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i64 @strlen(ptr nocapture noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: readwrite)
declare ptr @strcpy(ptr noalias noundef returned writeonly, ptr noalias nocapture noundef readonly) local_unnamed_addr #5

; Function Attrs: nounwind uwtable
declare dso_local i32 @position_in_constants_table(ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @position_in_predicates_table(ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local i32 @position_in_functions_table(ptr noundef) local_unnamed_addr #0

declare void @free_FactList(ptr noundef) local_unnamed_addr #2

attributes #0 = { 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 = { "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 = { noreturn 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 #4 = { mustprogress nofree nounwind willreturn memory(argmem: read) "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 #5 = { mustprogress nofree nounwind willreturn memory(argmem: readwrite) "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 #6 = { nounwind }
attributes #7 = { noreturn nounwind }
attributes #8 = { nounwind willreturn memory(read) }

!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 = !{!7, !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = !{!15, !6, i64 0}
!15 = !{!"_FactList", !6, i64 0, !6, i64 8}
!16 = !{!17, !6, i64 8}
!17 = !{!"_TokenList", !6, i64 0, !6, i64 8}
!18 = !{!17, !6, i64 0}
!19 = distinct !{!19, !13}
!20 = distinct !{!20, !13}
!21 = distinct !{!21, !13}
!22 = distinct !{!22, !13}
!23 = distinct !{!23, !13}
!24 = distinct !{!24, !13}


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