; LLVM IR from mbheinen/bpa-ipf-tsp :: libgui (reformat)

; 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.emERROR = type { ptr, i64, ptr, ptr, i32, ptr }

@out_buffer = external hidden global [133 x i8], align 16
@err = external hidden global %struct.emERROR, align 8
@.str = external hidden unnamed_addr constant [3 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [28 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local i32 @reformat(ptr noundef %0, ptr noundef %1, ptr noundef %2) #0 {
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca [133 x i8], align 16
  %9 = alloca ptr, align 8
  %10 = alloca [9 x i8], align 1
  %11 = alloca ptr, align 8
  %12 = alloca float, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 133, ptr %8) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #6
  call void @llvm.lifetime.start.p0(i64 9, ptr %10) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #6
  store ptr @out_buffer, ptr getelementptr inbounds (%struct.emERROR, ptr @err, i32 0, i32 2), align 8, !tbaa !9
  store i32 2, ptr getelementptr inbounds (%struct.emERROR, ptr @err, i32 0, i32 4), align 8, !tbaa !13
  %20 = load ptr, ptr %7, align 8, !tbaa !5
  store ptr %20, ptr %11, align 8, !tbaa !5
  %21 = load ptr, ptr %11, align 8, !tbaa !5
  %22 = load i8, ptr %21, align 1, !tbaa !14
  %23 = sext i8 %22 to i32
  %24 = icmp eq i32 %23, 37
  br i1 %24, label %25, label %28

25:                                               ; preds = %3
  %26 = load ptr, ptr %11, align 8, !tbaa !5
  %27 = getelementptr inbounds i8, ptr %26, i32 1
  store ptr %27, ptr %11, align 8, !tbaa !5
  br label %28

28:                                               ; preds = %25, %3
  %29 = load ptr, ptr %11, align 8, !tbaa !5
  %30 = load i8, ptr %29, align 1, !tbaa !14
  %31 = sext i8 %30 to i32
  switch i32 %31, label %599 [
    i32 97, label %32
    i32 105, label %51
    i32 102, label %89
  ]

32:                                               ; preds = %28
  %33 = load ptr, ptr %11, align 8, !tbaa !5
  %34 = getelementptr inbounds i8, ptr %33, i32 1
  store ptr %34, ptr %11, align 8, !tbaa !5
  %35 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %34, ptr noundef @.str, ptr noundef %15) #6
  %36 = load i32, ptr %15, align 4, !tbaa !15
  %37 = icmp sle i32 %36, 0
  br i1 %37, label %38, label %41

38:                                               ; preds = %32
  %39 = load ptr, ptr %7, align 8, !tbaa !5
  %40 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef @out_buffer, ptr noundef @.str.1, ptr noundef %39) #6
  store i32 2, ptr getelementptr inbounds (%struct.emERROR, ptr @err, i32 0, i32 4), align 8, !tbaa !13
  call void @em_show(ptr noundef @err)
  store i32 1, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

41:                                               ; preds = %32
  %42 = load ptr, ptr %6, align 8, !tbaa !5
  %43 = load ptr, ptr %5, align 8, !tbaa !5
  %44 = load i32, ptr %15, align 4, !tbaa !15
  %45 = sext i32 %44 to i64
  %46 = call ptr @strncpy(ptr noundef %42, ptr noundef %43, i64 noundef %45) #6
  %47 = load ptr, ptr %6, align 8, !tbaa !5
  %48 = load i32, ptr %15, align 4, !tbaa !15
  %49 = sext i32 %48 to i64
  %50 = getelementptr inbounds i8, ptr %47, i64 %49
  store i8 0, ptr %50, align 1, !tbaa !14
  store i32 0, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

51:                                               ; preds = %28
  store i32 0, ptr %16, align 4, !tbaa !15
  %52 = load ptr, ptr %11, align 8, !tbaa !5
  %53 = getelementptr inbounds i8, ptr %52, i32 1
  store ptr %53, ptr %11, align 8, !tbaa !5
  %54 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %53, ptr noundef @.str.2, ptr noundef %15, ptr noundef %16) #6
  %55 = load i32, ptr %15, align 4, !tbaa !15
  %56 = icmp sle i32 %55, 0
  br i1 %56, label %67, label %57

57:                                               ; preds = %51
  %58 = load i32, ptr %15, align 4, !tbaa !15
  %59 = icmp sgt i32 %58, 10
  br i1 %59, label %67, label %60

60:                                               ; preds = %57
  %61 = load i32, ptr %15, align 4, !tbaa !15
  %62 = load i32, ptr %16, align 4, !tbaa !15
  %63 = icmp slt i32 %61, %62
  br i1 %63, label %67, label %64

64:                                               ; preds = %60
  %65 = load i32, ptr %16, align 4, !tbaa !15
  %66 = icmp slt i32 %65, 0
  br i1 %66, label %67, label %73

67:                                               ; preds = %64, %60, %57, %51
  %68 = load ptr, ptr %7, align 8, !tbaa !5
  %69 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef @out_buffer, ptr noundef @.str.3, ptr noundef %68) #6
  call void @em_show(ptr noundef @err)
  %70 = load ptr, ptr %6, align 8, !tbaa !5
  %71 = load ptr, ptr %5, align 8, !tbaa !5
  %72 = call ptr @strcpy(ptr noundef %70, ptr noundef %71) #6
  store i32 1, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

73:                                               ; preds = %64
  %74 = load ptr, ptr %6, align 8, !tbaa !5
  %75 = load ptr, ptr %5, align 8, !tbaa !5
  %76 = load i32, ptr %15, align 4, !tbaa !15
  %77 = sext i32 %76 to i64
  %78 = call ptr @strncpy(ptr noundef %74, ptr noundef %75, i64 noundef %77) #6
  %79 = load ptr, ptr %6, align 8, !tbaa !5
  %80 = load i32, ptr %15, align 4, !tbaa !15
  %81 = sext i32 %80 to i64
  %82 = getelementptr inbounds i8, ptr %79, i64 %81
  store i8 0, ptr %82, align 1, !tbaa !14
  %83 = load ptr, ptr %6, align 8, !tbaa !5
  %84 = load ptr, ptr %5, align 8, !tbaa !5
  %85 = call i32 @invalid_char_ck(ptr noundef @.str.4, ptr noundef %83, ptr noundef %84)
  %86 = icmp ne i32 %85, 0
  br i1 %86, label %87, label %88

87:                                               ; preds = %73
  store i32 2, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

88:                                               ; preds = %73
  store i32 0, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

89:                                               ; preds = %28
  %90 = load ptr, ptr %11, align 8, !tbaa !5
  %91 = getelementptr inbounds i8, ptr %90, i32 1
  store ptr %91, ptr %11, align 8, !tbaa !5
  %92 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %91, ptr noundef @.str.2, ptr noundef %15, ptr noundef %16) #6
  %93 = load i32, ptr %15, align 4, !tbaa !15
  %94 = icmp sle i32 %93, 0
  br i1 %94, label %105, label %95

95:                                               ; preds = %89
  %96 = load i32, ptr %15, align 4, !tbaa !15
  %97 = icmp sgt i32 %96, 10
  br i1 %97, label %105, label %98

98:                                               ; preds = %95
  %99 = load i32, ptr %15, align 4, !tbaa !15
  %100 = load i32, ptr %16, align 4, !tbaa !15
  %101 = icmp slt i32 %99, %100
  br i1 %101, label %105, label %102

102:                                              ; preds = %98
  %103 = load i32, ptr %16, align 4, !tbaa !15
  %104 = icmp slt i32 %103, 0
  br i1 %104, label %105, label %111

105:                                              ; preds = %102, %98, %95, %89
  %106 = load ptr, ptr %7, align 8, !tbaa !5
  %107 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef @out_buffer, ptr noundef @.str.5, ptr noundef %106) #6
  call void @em_show(ptr noundef @err)
  %108 = load ptr, ptr %6, align 8, !tbaa !5
  %109 = load ptr, ptr %5, align 8, !tbaa !5
  %110 = call ptr @strcpy(ptr noundef %108, ptr noundef %109) #6
  store i32 1, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

111:                                              ; preds = %102
  %112 = load ptr, ptr %5, align 8, !tbaa !5
  %113 = call i64 @strlen(ptr noundef %112) #7
  %114 = trunc i64 %113 to i32
  store i32 %114, ptr %18, align 4, !tbaa !15
  %115 = load i32, ptr %18, align 4, !tbaa !15
  %116 = icmp sgt i32 %115, 133
  br i1 %116, label %117, label %120

117:                                              ; preds = %111
  %118 = load ptr, ptr %5, align 8, !tbaa !5
  %119 = call i32 (ptr, ...) @printf(ptr noundef @.str.6, i32 noundef 133, ptr noundef %118)
  store i32 132, ptr %18, align 4, !tbaa !15
  br label %120

120:                                              ; preds = %117, %111
  %121 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %122 = load ptr, ptr %5, align 8, !tbaa !5
  %123 = load i32, ptr %18, align 4, !tbaa !15
  %124 = sext i32 %123 to i64
  %125 = call ptr @strncpy(ptr noundef %121, ptr noundef %122, i64 noundef %124) #6
  %126 = load i32, ptr %18, align 4, !tbaa !15
  %127 = sext i32 %126 to i64
  %128 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 %127
  store i8 0, ptr %128, align 1, !tbaa !14
  %129 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %130 = call ptr @strchr(ptr noundef %129, i32 noundef 46) #7
  %131 = icmp eq ptr %130, null
  br i1 %131, label %132, label %169

132:                                              ; preds = %120
  %133 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %134 = load ptr, ptr %5, align 8, !tbaa !5
  %135 = load i32, ptr %15, align 4, !tbaa !15
  %136 = load i32, ptr %16, align 4, !tbaa !15
  %137 = sub nsw i32 %135, %136
  %138 = sext i32 %137 to i64
  %139 = call ptr @strncpy(ptr noundef %133, ptr noundef %134, i64 noundef %138) #6
  %140 = load i32, ptr %15, align 4, !tbaa !15
  %141 = load i32, ptr %16, align 4, !tbaa !15
  %142 = sub nsw i32 %140, %141
  %143 = sext i32 %142 to i64
  %144 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 %143
  %145 = call ptr @strncpy(ptr noundef %144, ptr noundef @.str.7, i64 noundef 1) #6
  %146 = load i32, ptr %16, align 4, !tbaa !15
  %147 = icmp sgt i32 %146, 0
  br i1 %147, label %148, label %164

148:                                              ; preds = %132
  %149 = load i32, ptr %15, align 4, !tbaa !15
  %150 = load i32, ptr %16, align 4, !tbaa !15
  %151 = sub nsw i32 %149, %150
  %152 = add nsw i32 %151, 1
  %153 = sext i32 %152 to i64
  %154 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 %153
  %155 = load ptr, ptr %5, align 8, !tbaa !5
  %156 = load i32, ptr %15, align 4, !tbaa !15
  %157 = load i32, ptr %16, align 4, !tbaa !15
  %158 = sub nsw i32 %156, %157
  %159 = sext i32 %158 to i64
  %160 = getelementptr inbounds i8, ptr %155, i64 %159
  %161 = load i32, ptr %16, align 4, !tbaa !15
  %162 = sext i32 %161 to i64
  %163 = call ptr @strncpy(ptr noundef %154, ptr noundef %160, i64 noundef %162) #6
  br label %164

164:                                              ; preds = %148, %132
  %165 = load i32, ptr %15, align 4, !tbaa !15
  %166 = add nsw i32 %165, 1
  %167 = sext i32 %166 to i64
  %168 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 %167
  store i8 0, ptr %168, align 1, !tbaa !14
  br label %169

169:                                              ; preds = %164, %120
  store float 0.000000e+00, ptr %12, align 4, !tbaa !16
  %170 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %171 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %170, ptr noundef @.str.8, ptr noundef %12) #6
  %172 = load float, ptr %12, align 4, !tbaa !16
  %173 = fpext float %172 to double
  %174 = fcmp oeq double %173, 0.000000e+00
  br i1 %174, label %175, label %191

175:                                              ; preds = %169
  %176 = load ptr, ptr %6, align 8, !tbaa !5
  %177 = load ptr, ptr %5, align 8, !tbaa !5
  %178 = load i32, ptr %15, align 4, !tbaa !15
  %179 = sext i32 %178 to i64
  %180 = call ptr @strncpy(ptr noundef %176, ptr noundef %177, i64 noundef %179) #6
  %181 = load ptr, ptr %6, align 8, !tbaa !5
  %182 = load i32, ptr %15, align 4, !tbaa !15
  %183 = sext i32 %182 to i64
  %184 = getelementptr inbounds i8, ptr %181, i64 %183
  store i8 0, ptr %184, align 1, !tbaa !14
  %185 = load ptr, ptr %6, align 8, !tbaa !5
  %186 = load ptr, ptr %5, align 8, !tbaa !5
  %187 = call i32 @invalid_char_ck(ptr noundef @.str.9, ptr noundef %185, ptr noundef %186)
  %188 = icmp ne i32 %187, 0
  br i1 %188, label %189, label %190

189:                                              ; preds = %175
  store i32 2, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

190:                                              ; preds = %175
  store i32 0, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

191:                                              ; preds = %169
  %192 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %193 = load float, ptr %12, align 4, !tbaa !16
  %194 = fpext float %193 to double
  %195 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %192, ptr noundef @.str.10, double noundef %194) #6
  %196 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %197 = load i8, ptr %196, align 16, !tbaa !14
  %198 = sext i8 %197 to i32
  %199 = icmp eq i32 %198, 32
  br i1 %199, label %200, label %220

200:                                              ; preds = %191
  %201 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  store ptr %201, ptr %9, align 8, !tbaa !5
  br label %202

202:                                              ; preds = %208, %200
  %203 = load ptr, ptr %9, align 8, !tbaa !5
  %204 = load i8, ptr %203, align 1, !tbaa !14
  %205 = sext i8 %204 to i32
  %206 = icmp eq i32 %205, 32
  br i1 %206, label %207, label %211

207:                                              ; preds = %202
  br label %208

208:                                              ; preds = %207
  %209 = load ptr, ptr %9, align 8, !tbaa !5
  %210 = getelementptr inbounds i8, ptr %209, i32 1
  store ptr %210, ptr %9, align 8, !tbaa !5
  br label %202, !llvm.loop !18

211:                                              ; preds = %202
  %212 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %213 = load ptr, ptr %9, align 8, !tbaa !5
  %214 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %215 = ptrtoint ptr %213 to i64
  %216 = ptrtoint ptr %214 to i64
  %217 = sub i64 %215, %216
  %218 = udiv i64 %217, 1
  %219 = trunc i64 %218 to i32
  call void @shift_string(ptr noundef %212, i32 noundef %219, i32 noundef 0)
  br label %220

220:                                              ; preds = %211, %191
  %221 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %222 = load i8, ptr %221, align 16, !tbaa !14
  %223 = sext i8 %222 to i32
  %224 = icmp eq i32 %223, 45
  br i1 %224, label %225, label %232

225:                                              ; preds = %220
  %226 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 1
  %227 = load i8, ptr %226, align 1, !tbaa !14
  %228 = sext i8 %227 to i32
  %229 = icmp eq i32 %228, 48
  br i1 %229, label %230, label %232

230:                                              ; preds = %225
  %231 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  call void @shift_string(ptr noundef %231, i32 noundef 2, i32 noundef 1)
  br label %240

232:                                              ; preds = %225, %220
  %233 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %234 = load i8, ptr %233, align 16, !tbaa !14
  %235 = sext i8 %234 to i32
  %236 = icmp eq i32 %235, 48
  br i1 %236, label %237, label %239

237:                                              ; preds = %232
  %238 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  call void @shift_string(ptr noundef %238, i32 noundef 1, i32 noundef 0)
  br label %239

239:                                              ; preds = %237, %232
  br label %240

240:                                              ; preds = %239, %230
  %241 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  store ptr %241, ptr %9, align 8, !tbaa !5
  br label %242

242:                                              ; preds = %255, %240
  %243 = load ptr, ptr %9, align 8, !tbaa !5
  %244 = load i8, ptr %243, align 1, !tbaa !14
  %245 = sext i8 %244 to i32
  %246 = icmp sgt i32 %245, 0
  br i1 %246, label %247, label %252

247:                                              ; preds = %242
  %248 = load ptr, ptr %9, align 8, !tbaa !5
  %249 = load i8, ptr %248, align 1, !tbaa !14
  %250 = sext i8 %249 to i32
  %251 = icmp ne i32 %250, 46
  br label %252

252:                                              ; preds = %247, %242
  %253 = phi i1 [ false, %242 ], [ %251, %247 ]
  br i1 %253, label %254, label %258

254:                                              ; preds = %252
  br label %255

255:                                              ; preds = %254
  %256 = load ptr, ptr %9, align 8, !tbaa !5
  %257 = getelementptr inbounds i8, ptr %256, i32 1
  store ptr %257, ptr %9, align 8, !tbaa !5
  br label %242, !llvm.loop !20

258:                                              ; preds = %252
  %259 = load ptr, ptr %9, align 8, !tbaa !5
  %260 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %261 = ptrtoint ptr %259 to i64
  %262 = ptrtoint ptr %260 to i64
  %263 = sub i64 %261, %262
  %264 = udiv i64 %263, 1
  %265 = trunc i64 %264 to i32
  store i32 %265, ptr %14, align 4, !tbaa !15
  %266 = load i32, ptr %15, align 4, !tbaa !15
  %267 = load i32, ptr %16, align 4, !tbaa !15
  %268 = sub nsw i32 %266, %267
  %269 = load i32, ptr %14, align 4, !tbaa !15
  %270 = sub nsw i32 %268, %269
  store i32 %270, ptr %17, align 4, !tbaa !15
  %271 = load i32, ptr %17, align 4, !tbaa !15
  %272 = icmp eq i32 %271, 0
  br i1 %272, label %276, label %273

273:                                              ; preds = %258
  %274 = load i32, ptr %17, align 4, !tbaa !15
  %275 = icmp eq i32 %274, 1
  br i1 %275, label %276, label %424

276:                                              ; preds = %273, %258
  %277 = load i32, ptr %16, align 4, !tbaa !15
  %278 = icmp eq i32 %277, 0
  br i1 %278, label %279, label %291

279:                                              ; preds = %276
  %280 = load i32, ptr %15, align 4, !tbaa !15
  %281 = icmp sge i32 %280, 10
  br i1 %281, label %282, label %291

282:                                              ; preds = %279
  %283 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %284 = load i32, ptr %15, align 4, !tbaa !15
  %285 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %283, ptr noundef @.str.11, i32 noundef %284) #6
  %286 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %287 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %288 = load float, ptr %12, align 4, !tbaa !16
  %289 = fpext float %288 to double
  %290 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %286, ptr noundef %287, double noundef %289) #6
  br label %330

291:                                              ; preds = %279, %276
  %292 = load i32, ptr %16, align 4, !tbaa !15
  %293 = icmp eq i32 %292, 0
  br i1 %293, label %294, label %303

294:                                              ; preds = %291
  %295 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %296 = load i32, ptr %15, align 4, !tbaa !15
  %297 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %295, ptr noundef @.str.12, i32 noundef %296) #6
  %298 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %299 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %300 = load float, ptr %12, align 4, !tbaa !16
  %301 = fpext float %300 to double
  %302 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %298, ptr noundef %299, double noundef %301) #6
  br label %329

303:                                              ; preds = %291
  %304 = load i32, ptr %15, align 4, !tbaa !15
  %305 = icmp sge i32 %304, 10
  br i1 %305, label %306, label %317

306:                                              ; preds = %303
  %307 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %308 = load i32, ptr %15, align 4, !tbaa !15
  %309 = add nsw i32 %308, 2
  %310 = load i32, ptr %16, align 4, !tbaa !15
  %311 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %307, ptr noundef @.str.13, i32 noundef %309, i32 noundef %310) #6
  %312 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %313 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %314 = load float, ptr %12, align 4, !tbaa !16
  %315 = fpext float %314 to double
  %316 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %312, ptr noundef %313, double noundef %315) #6
  br label %328

317:                                              ; preds = %303
  %318 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %319 = load i32, ptr %15, align 4, !tbaa !15
  %320 = add nsw i32 %319, 2
  %321 = load i32, ptr %16, align 4, !tbaa !15
  %322 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %318, ptr noundef @.str.14, i32 noundef %320, i32 noundef %321) #6
  %323 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %324 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %325 = load float, ptr %12, align 4, !tbaa !16
  %326 = fpext float %325 to double
  %327 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %323, ptr noundef %324, double noundef %326) #6
  br label %328

328:                                              ; preds = %317, %306
  br label %329

329:                                              ; preds = %328, %294
  br label %330

330:                                              ; preds = %329, %282
  %331 = load i32, ptr %16, align 4, !tbaa !15
  %332 = icmp sgt i32 %331, 0
  br i1 %332, label %333, label %423

333:                                              ; preds = %330
  %334 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %335 = load i8, ptr %334, align 16, !tbaa !14
  %336 = sext i8 %335 to i32
  %337 = icmp eq i32 %336, 32
  br i1 %337, label %338, label %379

338:                                              ; preds = %333
  %339 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  call void @shift_string(ptr noundef %339, i32 noundef 1, i32 noundef 0)
  %340 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  store ptr %340, ptr %9, align 8, !tbaa !5
  br label %341

341:                                              ; preds = %354, %338
  %342 = load ptr, ptr %9, align 8, !tbaa !5
  %343 = load i8, ptr %342, align 1, !tbaa !14
  %344 = sext i8 %343 to i32
  %345 = icmp sgt i32 %344, 0
  br i1 %345, label %346, label %351

346:                                              ; preds = %341
  %347 = load ptr, ptr %9, align 8, !tbaa !5
  %348 = load i8, ptr %347, align 1, !tbaa !14
  %349 = sext i8 %348 to i32
  %350 = icmp ne i32 %349, 46
  br label %351

351:                                              ; preds = %346, %341
  %352 = phi i1 [ false, %341 ], [ %350, %346 ]
  br i1 %352, label %353, label %357

353:                                              ; preds = %351
  br label %354

354:                                              ; preds = %353
  %355 = load ptr, ptr %9, align 8, !tbaa !5
  %356 = getelementptr inbounds i8, ptr %355, i32 1
  store ptr %356, ptr %9, align 8, !tbaa !5
  br label %341, !llvm.loop !21

357:                                              ; preds = %351
  %358 = load ptr, ptr %9, align 8, !tbaa !5
  %359 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %360 = ptrtoint ptr %358 to i64
  %361 = ptrtoint ptr %359 to i64
  %362 = sub i64 %360, %361
  %363 = udiv i64 %362, 1
  %364 = trunc i64 %363 to i32
  store i32 %364, ptr %14, align 4, !tbaa !15
  %365 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %366 = load i32, ptr %14, align 4, !tbaa !15
  %367 = add nsw i32 %366, 1
  %368 = load i32, ptr %14, align 4, !tbaa !15
  call void @shift_string(ptr noundef %365, i32 noundef %367, i32 noundef %368)
  %369 = load i32, ptr %14, align 4, !tbaa !15
  %370 = icmp eq i32 %369, 1
  br i1 %370, label %371, label %378

371:                                              ; preds = %357
  %372 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %373 = load i8, ptr %372, align 16, !tbaa !14
  %374 = sext i8 %373 to i32
  %375 = icmp eq i32 %374, 48
  br i1 %375, label %376, label %378

376:                                              ; preds = %371
  %377 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  store i8 32, ptr %377, align 16, !tbaa !14
  br label %378

378:                                              ; preds = %376, %371, %357
  br label %422

379:                                              ; preds = %333
  %380 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %381 = load i8, ptr %380, align 16, !tbaa !14
  %382 = sext i8 %381 to i32
  %383 = icmp eq i32 %382, 45
  br i1 %383, label %384, label %421

384:                                              ; preds = %379
  %385 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 1
  %386 = load i8, ptr %385, align 1, !tbaa !14
  %387 = sext i8 %386 to i32
  %388 = icmp eq i32 %387, 48
  br i1 %388, label %389, label %391

389:                                              ; preds = %384
  %390 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  call void @shift_string(ptr noundef %390, i32 noundef 2, i32 noundef 1)
  br label %391

391:                                              ; preds = %389, %384
  %392 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  store ptr %392, ptr %9, align 8, !tbaa !5
  br label %393

393:                                              ; preds = %406, %391
  %394 = load ptr, ptr %9, align 8, !tbaa !5
  %395 = load i8, ptr %394, align 1, !tbaa !14
  %396 = sext i8 %395 to i32
  %397 = icmp sgt i32 %396, 0
  br i1 %397, label %398, label %403

398:                                              ; preds = %393
  %399 = load ptr, ptr %9, align 8, !tbaa !5
  %400 = load i8, ptr %399, align 1, !tbaa !14
  %401 = sext i8 %400 to i32
  %402 = icmp ne i32 %401, 46
  br label %403

403:                                              ; preds = %398, %393
  %404 = phi i1 [ false, %393 ], [ %402, %398 ]
  br i1 %404, label %405, label %409

405:                                              ; preds = %403
  br label %406

406:                                              ; preds = %405
  %407 = load ptr, ptr %9, align 8, !tbaa !5
  %408 = getelementptr inbounds i8, ptr %407, i32 1
  store ptr %408, ptr %9, align 8, !tbaa !5
  br label %393, !llvm.loop !22

409:                                              ; preds = %403
  %410 = load ptr, ptr %9, align 8, !tbaa !5
  %411 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %412 = ptrtoint ptr %410 to i64
  %413 = ptrtoint ptr %411 to i64
  %414 = sub i64 %412, %413
  %415 = udiv i64 %414, 1
  %416 = trunc i64 %415 to i32
  store i32 %416, ptr %14, align 4, !tbaa !15
  %417 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %418 = load i32, ptr %14, align 4, !tbaa !15
  %419 = add nsw i32 %418, 1
  %420 = load i32, ptr %14, align 4, !tbaa !15
  call void @shift_string(ptr noundef %417, i32 noundef %419, i32 noundef %420)
  br label %421

421:                                              ; preds = %409, %379
  br label %422

422:                                              ; preds = %421, %378
  br label %423

423:                                              ; preds = %422, %330
  br label %570

424:                                              ; preds = %273
  %425 = load i32, ptr %17, align 4, !tbaa !15
  %426 = icmp sgt i32 %425, 1
  br i1 %426, label %427, label %495

427:                                              ; preds = %424
  %428 = load float, ptr %12, align 4, !tbaa !16
  %429 = fpext float %428 to double
  %430 = call double @llvm.fabs.f64(double %429)
  %431 = fcmp oge double %430, 1.000000e+00
  br i1 %431, label %432, label %453

432:                                              ; preds = %427
  %433 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %434 = load i32, ptr %15, align 4, !tbaa !15
  %435 = add nsw i32 %434, 1
  %436 = load i32, ptr %15, align 4, !tbaa !15
  %437 = load i32, ptr %14, align 4, !tbaa !15
  %438 = sub nsw i32 %436, %437
  %439 = sub nsw i32 %438, 1
  %440 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %433, ptr noundef @.str.14, i32 noundef %435, i32 noundef %439) #6
  %441 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %442 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %443 = load float, ptr %12, align 4, !tbaa !16
  %444 = fpext float %443 to double
  %445 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %441, ptr noundef %442, double noundef %444) #6
  %446 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %447 = load i8, ptr %446, align 16, !tbaa !14
  %448 = sext i8 %447 to i32
  %449 = icmp eq i32 %448, 32
  br i1 %449, label %450, label %452

450:                                              ; preds = %432
  %451 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  call void @shift_string(ptr noundef %451, i32 noundef 1, i32 noundef 0)
  br label %452

452:                                              ; preds = %450, %432
  br label %494

453:                                              ; preds = %427
  %454 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %455 = load i32, ptr %15, align 4, !tbaa !15
  %456 = add nsw i32 %455, 2
  %457 = load i32, ptr %15, align 4, !tbaa !15
  %458 = load i32, ptr %14, align 4, !tbaa !15
  %459 = sub nsw i32 %457, %458
  %460 = sub nsw i32 %459, 1
  %461 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %454, ptr noundef @.str.14, i32 noundef %456, i32 noundef %460) #6
  %462 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %463 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %464 = load float, ptr %12, align 4, !tbaa !16
  %465 = fpext float %464 to double
  %466 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %462, ptr noundef %463, double noundef %465) #6
  %467 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %468 = load i8, ptr %467, align 16, !tbaa !14
  %469 = sext i8 %468 to i32
  %470 = icmp eq i32 %469, 32
  br i1 %470, label %471, label %473

471:                                              ; preds = %453
  %472 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  call void @shift_string(ptr noundef %472, i32 noundef 1, i32 noundef 0)
  br label %473

473:                                              ; preds = %471, %453
  %474 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %475 = load i8, ptr %474, align 16, !tbaa !14
  %476 = sext i8 %475 to i32
  %477 = icmp eq i32 %476, 45
  br i1 %477, label %478, label %485

478:                                              ; preds = %473
  %479 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 1
  %480 = load i8, ptr %479, align 1, !tbaa !14
  %481 = sext i8 %480 to i32
  %482 = icmp eq i32 %481, 48
  br i1 %482, label %483, label %485

483:                                              ; preds = %478
  %484 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  call void @shift_string(ptr noundef %484, i32 noundef 2, i32 noundef 1)
  br label %493

485:                                              ; preds = %478, %473
  %486 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %487 = load i8, ptr %486, align 16, !tbaa !14
  %488 = sext i8 %487 to i32
  %489 = icmp eq i32 %488, 48
  br i1 %489, label %490, label %492

490:                                              ; preds = %485
  %491 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  call void @shift_string(ptr noundef %491, i32 noundef 1, i32 noundef 0)
  br label %492

492:                                              ; preds = %490, %485
  br label %493

493:                                              ; preds = %492, %483
  br label %494

494:                                              ; preds = %493, %452
  br label %569

495:                                              ; preds = %424
  %496 = load i32, ptr %17, align 4, !tbaa !15
  %497 = icmp slt i32 %496, 0
  br i1 %497, label %498, label %568

498:                                              ; preds = %495
  %499 = load i32, ptr %15, align 4, !tbaa !15
  %500 = load i32, ptr %14, align 4, !tbaa !15
  %501 = icmp slt i32 %499, %500
  br i1 %501, label %516, label %502

502:                                              ; preds = %498
  %503 = load i32, ptr %15, align 4, !tbaa !15
  %504 = load i32, ptr %14, align 4, !tbaa !15
  %505 = sub nsw i32 %503, %504
  %506 = icmp eq i32 %505, 0
  br i1 %506, label %507, label %510

507:                                              ; preds = %502
  %508 = load i32, ptr %16, align 4, !tbaa !15
  %509 = icmp ne i32 %508, 0
  br i1 %509, label %516, label %510

510:                                              ; preds = %507, %502
  %511 = load i32, ptr %15, align 4, !tbaa !15
  %512 = load i32, ptr %14, align 4, !tbaa !15
  %513 = sub nsw i32 %511, %512
  %514 = sub nsw i32 %513, 1
  %515 = icmp slt i32 %514, 0
  br i1 %515, label %516, label %531

516:                                              ; preds = %510, %507, %498
  %517 = load float, ptr %12, align 4, !tbaa !16
  %518 = fpext float %517 to double
  %519 = load i32, ptr %15, align 4, !tbaa !15
  %520 = load i32, ptr %16, align 4, !tbaa !15
  %521 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef @out_buffer, ptr noundef @.str.15, double noundef %518, i32 noundef %519, i32 noundef %520) #6
  call void @em_show(ptr noundef @err)
  %522 = load ptr, ptr %6, align 8, !tbaa !5
  %523 = load ptr, ptr %5, align 8, !tbaa !5
  %524 = load i32, ptr %15, align 4, !tbaa !15
  %525 = sext i32 %524 to i64
  %526 = call ptr @strncpy(ptr noundef %522, ptr noundef %523, i64 noundef %525) #6
  %527 = load ptr, ptr %6, align 8, !tbaa !5
  %528 = load i32, ptr %15, align 4, !tbaa !15
  %529 = sext i32 %528 to i64
  %530 = getelementptr inbounds i8, ptr %527, i64 %529
  store i8 0, ptr %530, align 1, !tbaa !14
  store i32 3, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

531:                                              ; preds = %510
  %532 = load i32, ptr %15, align 4, !tbaa !15
  %533 = load i32, ptr %14, align 4, !tbaa !15
  %534 = sub nsw i32 %532, %533
  %535 = sub nsw i32 %534, 2
  %536 = icmp ne i32 %535, 0
  br i1 %536, label %537, label %546

537:                                              ; preds = %531
  %538 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %539 = load i32, ptr %15, align 4, !tbaa !15
  %540 = add nsw i32 %539, 1
  %541 = load i32, ptr %15, align 4, !tbaa !15
  %542 = load i32, ptr %14, align 4, !tbaa !15
  %543 = sub nsw i32 %541, %542
  %544 = sub nsw i32 %543, 2
  %545 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %538, ptr noundef @.str.14, i32 noundef %540, i32 noundef %544) #6
  br label %551

546:                                              ; preds = %531
  %547 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %548 = load i32, ptr %15, align 4, !tbaa !15
  %549 = add nsw i32 %548, 1
  %550 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %547, ptr noundef @.str.16, i32 noundef %549) #6
  br label %551

551:                                              ; preds = %546, %537
  %552 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %553 = getelementptr inbounds [9 x i8], ptr %10, i64 0, i64 0
  %554 = load float, ptr %12, align 4, !tbaa !16
  %555 = fpext float %554 to double
  %556 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %552, ptr noundef %553, double noundef %555) #6
  %557 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %558 = load i8, ptr %557, align 16, !tbaa !14
  %559 = sext i8 %558 to i32
  %560 = icmp eq i32 %559, 32
  br i1 %560, label %561, label %567

561:                                              ; preds = %551
  %562 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %563 = call ptr @strchr(ptr noundef %562, i32 noundef 46) #7
  %564 = icmp ne ptr %563, null
  br i1 %564, label %565, label %567

565:                                              ; preds = %561
  %566 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  call void @shift_string(ptr noundef %566, i32 noundef 1, i32 noundef 0)
  br label %567

567:                                              ; preds = %565, %561, %551
  br label %568

568:                                              ; preds = %567, %495
  br label %569

569:                                              ; preds = %568, %494
  br label %570

570:                                              ; preds = %569, %423
  %571 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %572 = call i64 @strlen(ptr noundef %571) #7
  %573 = trunc i64 %572 to i32
  %574 = load i32, ptr %15, align 4, !tbaa !15
  %575 = icmp slt i32 %573, %574
  br i1 %575, label %576, label %580

576:                                              ; preds = %570
  %577 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %578 = call i64 @strlen(ptr noundef %577) #7
  %579 = trunc i64 %578 to i32
  br label %582

580:                                              ; preds = %570
  %581 = load i32, ptr %15, align 4, !tbaa !15
  br label %582

582:                                              ; preds = %580, %576
  %583 = phi i32 [ %579, %576 ], [ %581, %580 ]
  store i32 %583, ptr %13, align 4, !tbaa !15
  %584 = load ptr, ptr %6, align 8, !tbaa !5
  %585 = getelementptr inbounds [133 x i8], ptr %8, i64 0, i64 0
  %586 = load i32, ptr %15, align 4, !tbaa !15
  %587 = sext i32 %586 to i64
  %588 = call ptr @strncpy(ptr noundef %584, ptr noundef %585, i64 noundef %587) #6
  %589 = load ptr, ptr %6, align 8, !tbaa !5
  %590 = load i32, ptr %15, align 4, !tbaa !15
  %591 = sext i32 %590 to i64
  %592 = getelementptr inbounds i8, ptr %589, i64 %591
  store i8 0, ptr %592, align 1, !tbaa !14
  %593 = load ptr, ptr %6, align 8, !tbaa !5
  %594 = load ptr, ptr %5, align 8, !tbaa !5
  %595 = call i32 @invalid_char_ck(ptr noundef @.str.9, ptr noundef %593, ptr noundef %594)
  %596 = icmp ne i32 %595, 0
  br i1 %596, label %597, label %598

597:                                              ; preds = %582
  store i32 2, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

598:                                              ; preds = %582
  store i32 0, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

599:                                              ; preds = %28
  %600 = load ptr, ptr %7, align 8, !tbaa !5
  %601 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef @out_buffer, ptr noundef @.str.17, ptr noundef %600) #6
  call void @em_show(ptr noundef @err)
  %602 = load ptr, ptr %6, align 8, !tbaa !5
  %603 = load ptr, ptr %5, align 8, !tbaa !5
  %604 = call ptr @strcpy(ptr noundef %602, ptr noundef %603) #6
  store i32 1, ptr %4, align 4
  store i32 1, ptr %19, align 4
  br label %605

605:                                              ; preds = %599, %598, %597, %516, %190, %189, %105, %88, %87, %67, %41, %38
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 9, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 133, ptr %8) #6
  %606 = load i32, ptr %4, align 4
  ret i32 %606
}

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

; Function Attrs: nounwind
declare i32 @__isoc99_sscanf(ptr noundef, ptr noundef, ...) #2

; Function Attrs: nounwind
declare i32 @sprintf(ptr noundef, ptr noundef, ...) #2

declare void @em_show(ptr noundef) #3

; Function Attrs: nounwind
declare ptr @strncpy(ptr noundef, ptr noundef, i64 noundef) #2

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

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

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

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

; Function Attrs: nounwind willreturn memory(read)
declare ptr @strchr(ptr noundef, i32 noundef) #4

declare void @shift_string(ptr noundef, i32 noundef, i32 noundef) #3

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fabs.f64(double) #5

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

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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { "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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { nounwind }
attributes #7 = { 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, !6, i64 16}
!10 = !{!"", !6, i64 0, !11, i64 8, !6, i64 16, !6, i64 24, !12, i64 32, !6, i64 40}
!11 = !{!"long", !7, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!10, !12, i64 32}
!14 = !{!7, !7, i64 0}
!15 = !{!12, !12, i64 0}
!16 = !{!17, !17, i64 0}
!17 = !{!"float", !7, i64 0}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}
!20 = distinct !{!20, !19}
!21 = distinct !{!21, !19}
!22 = distinct !{!22, !19}


; 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.emERROR = type { ptr, i64, ptr, ptr, i32, ptr }

@out_buffer = external hidden global [133 x i8], align 16
@err = external hidden global %struct.emERROR, align 8
@.str = external hidden unnamed_addr constant [3 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [28 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local range(i32 0, 4) i32 @reformat(ptr noundef %0, ptr noundef %1, ptr noundef %2) local_unnamed_addr #0 {
  %4 = alloca [133 x i8], align 16
  %5 = alloca [9 x i8], align 1
  %6 = alloca float, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 133, ptr nonnull %4) #7
  call void @llvm.lifetime.start.p0(i64 9, ptr nonnull %5) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %6) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %7) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %8) #7
  store ptr @out_buffer, ptr getelementptr inbounds (i8, ptr @err, i64 16), align 8, !tbaa !5
  store i32 2, ptr getelementptr inbounds (i8, ptr @err, i64 32), align 8, !tbaa !12
  %9 = load i8, ptr %2, align 1, !tbaa !13
  %10 = icmp eq i8 %9, 37
  %spec.select.idx = zext i1 %10 to i64
  %spec.select = getelementptr inbounds i8, ptr %2, i64 %spec.select.idx
  %11 = load i8, ptr %spec.select, align 1, !tbaa !13
  switch i8 %11, label %239 [
    i8 97, label %12
    i8 105, label %23
    i8 102, label %37
  ]

12:                                               ; preds = %3
  %13 = getelementptr inbounds i8, ptr %spec.select, i64 1
  %14 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %13, ptr noundef nonnull @.str, ptr noundef nonnull %7) #7
  %15 = load i32, ptr %7, align 4, !tbaa !14
  %16 = icmp slt i32 %15, 1
  br i1 %16, label %17, label %19

17:                                               ; preds = %12
  %18 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) @out_buffer, ptr noundef nonnull dereferenceable(1) @.str.1, ptr noundef nonnull %2) #7
  store i32 2, ptr getelementptr inbounds (i8, ptr @err, i64 32), align 8, !tbaa !12
  call void @em_show(ptr noundef nonnull @err) #7
  br label %242

19:                                               ; preds = %12
  %20 = zext nneg i32 %15 to i64
  %21 = call ptr @strncpy(ptr noundef %1, ptr noundef %0, i64 noundef %20) #7
  %22 = getelementptr inbounds i8, ptr %1, i64 %20
  store i8 0, ptr %22, align 1, !tbaa !13
  br label %242

23:                                               ; preds = %3
  store i32 0, ptr %8, align 4, !tbaa !14
  %24 = getelementptr inbounds i8, ptr %spec.select, i64 1
  %25 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %24, ptr noundef nonnull @.str.2, ptr noundef nonnull %7, ptr noundef nonnull %8) #7
  %26 = load i32, ptr %7, align 4
  %27 = add i32 %26, -11
  %or.cond = icmp ult i32 %27, -10
  %28 = load i32, ptr %8, align 4
  %or.cond3 = icmp ugt i32 %28, %26
  %or.cond134 = select i1 %or.cond, i1 true, i1 %or.cond3
  br i1 %or.cond134, label %29, label %32

29:                                               ; preds = %23
  %30 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) @out_buffer, ptr noundef nonnull dereferenceable(1) @.str.3, ptr noundef nonnull %2) #7
  call void @em_show(ptr noundef nonnull @err) #7
  %31 = call ptr @strcpy(ptr noundef nonnull dereferenceable(1) %1, ptr noundef nonnull dereferenceable(1) %0) #7
  br label %242

32:                                               ; preds = %23
  %33 = zext nneg i32 %26 to i64
  %34 = call ptr @strncpy(ptr noundef %1, ptr noundef %0, i64 noundef %33) #7
  %35 = getelementptr inbounds i8, ptr %1, i64 %33
  store i8 0, ptr %35, align 1, !tbaa !13
  %36 = call i32 @invalid_char_ck(ptr noundef nonnull @.str.4, ptr noundef %1, ptr noundef %0)
  %.not133 = icmp eq i32 %36, 0
  %. = select i1 %.not133, i32 0, i32 2
  br label %242

37:                                               ; preds = %3
  %38 = getelementptr inbounds i8, ptr %spec.select, i64 1
  %39 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %38, ptr noundef nonnull @.str.2, ptr noundef nonnull %7, ptr noundef nonnull %8) #7
  %40 = load i32, ptr %7, align 4
  %41 = add i32 %40, -11
  %or.cond5 = icmp ult i32 %41, -10
  %42 = load i32, ptr %8, align 4
  %or.cond7 = icmp ugt i32 %42, %40
  %or.cond135 = select i1 %or.cond5, i1 true, i1 %or.cond7
  br i1 %or.cond135, label %43, label %46

43:                                               ; preds = %37
  %44 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) @out_buffer, ptr noundef nonnull dereferenceable(1) @.str.5, ptr noundef nonnull %2) #7
  call void @em_show(ptr noundef nonnull @err) #7
  %45 = call ptr @strcpy(ptr noundef nonnull dereferenceable(1) %1, ptr noundef nonnull dereferenceable(1) %0) #7
  br label %242

46:                                               ; preds = %37
  %47 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %0) #8
  %48 = trunc i64 %47 to i32
  %49 = icmp sgt i32 %48, 133
  br i1 %49, label %50, label %52

50:                                               ; preds = %46
  %51 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.6, i32 noundef 133, ptr noundef %0)
  br label %52

52:                                               ; preds = %50, %46
  %.0 = phi i64 [ 132, %50 ], [ %47, %46 ]
  %sext = shl i64 %.0, 32
  %53 = ashr exact i64 %sext, 32
  %54 = call ptr @strncpy(ptr noundef nonnull %4, ptr noundef %0, i64 noundef %53) #7
  %55 = getelementptr inbounds [133 x i8], ptr %4, i64 0, i64 %53
  store i8 0, ptr %55, align 1, !tbaa !13
  %56 = call ptr @strchr(ptr noundef nonnull dereferenceable(1) %4, i32 noundef 46) #8
  %57 = icmp eq ptr %56, null
  br i1 %57, label %58, label %77

58:                                               ; preds = %52
  %59 = load i32, ptr %7, align 4, !tbaa !14
  %60 = load i32, ptr %8, align 4, !tbaa !14
  %61 = sub nsw i32 %59, %60
  %62 = sext i32 %61 to i64
  %63 = call ptr @strncpy(ptr noundef nonnull %4, ptr noundef %0, i64 noundef %62) #7
  %64 = getelementptr inbounds [133 x i8], ptr %4, i64 0, i64 %62
  %stxncpy.char0 = load i8, ptr @.str.7, align 1
  store i8 %stxncpy.char0, ptr %64, align 1
  %65 = icmp sgt i32 %60, 0
  br i1 %65, label %66, label %73

66:                                               ; preds = %58
  %67 = add nsw i32 %61, 1
  %68 = sext i32 %67 to i64
  %69 = getelementptr inbounds [133 x i8], ptr %4, i64 0, i64 %68
  %70 = getelementptr inbounds i8, ptr %0, i64 %62
  %71 = zext nneg i32 %60 to i64
  %72 = call ptr @strncpy(ptr noundef nonnull %69, ptr noundef %70, i64 noundef %71) #7
  br label %73

73:                                               ; preds = %66, %58
  %74 = add nsw i32 %59, 1
  %75 = sext i32 %74 to i64
  %76 = getelementptr inbounds [133 x i8], ptr %4, i64 0, i64 %75
  store i8 0, ptr %76, align 1, !tbaa !13
  br label %77

77:                                               ; preds = %73, %52
  store float 0.000000e+00, ptr %6, align 4, !tbaa !15
  %78 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %4, ptr noundef nonnull @.str.8, ptr noundef nonnull %6) #7
  %79 = load float, ptr %6, align 4, !tbaa !15
  %80 = fcmp oeq float %79, 0.000000e+00
  br i1 %80, label %81, label %87

81:                                               ; preds = %77
  %82 = load i32, ptr %7, align 4, !tbaa !14
  %83 = sext i32 %82 to i64
  %84 = call ptr @strncpy(ptr noundef %1, ptr noundef %0, i64 noundef %83) #7
  %85 = getelementptr inbounds i8, ptr %1, i64 %83
  store i8 0, ptr %85, align 1, !tbaa !13
  %86 = call i32 @invalid_char_ck(ptr noundef nonnull @.str.9, ptr noundef %1, ptr noundef %0)
  %.not132 = icmp eq i32 %86, 0
  %.136 = select i1 %.not132, i32 0, i32 2
  br label %242

87:                                               ; preds = %77
  %88 = fpext float %79 to double
  %89 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %4, ptr noundef nonnull dereferenceable(1) @.str.10, double noundef %88) #7
  %90 = load i8, ptr %4, align 16, !tbaa !13
  %91 = icmp eq i8 %90, 32
  br i1 %91, label %.preheader, label %99

.preheader:                                       ; preds = %87, %.preheader
  %.0107145 = phi ptr [ %92, %.preheader ], [ %4, %87 ]
  %92 = getelementptr inbounds i8, ptr %.0107145, i64 1
  %.pr = load i8, ptr %92, align 1, !tbaa !13
  %93 = icmp eq i8 %.pr, 32
  br i1 %93, label %.preheader, label %94, !llvm.loop !17

94:                                               ; preds = %.preheader
  %95 = ptrtoint ptr %92 to i64
  %96 = ptrtoint ptr %4 to i64
  %97 = sub i64 %95, %96
  %98 = trunc i64 %97 to i32
  call void @shift_string(ptr noundef nonnull %4, i32 noundef %98, i32 noundef 0) #7
  %.pr142 = load i8, ptr %4, align 16, !tbaa !13
  br label %99

99:                                               ; preds = %94, %87
  %100 = phi i8 [ %.pr142, %94 ], [ %90, %87 ]
  %101 = icmp eq i8 %100, 45
  %102 = getelementptr inbounds i8, ptr %4, i64 1
  %103 = load i8, ptr %102, align 1
  %104 = icmp eq i8 %103, 48
  %or.cond11 = select i1 %101, i1 %104, i1 false
  br i1 %or.cond11, label %105, label %106

105:                                              ; preds = %99
  call void @shift_string(ptr noundef nonnull %4, i32 noundef 2, i32 noundef 1) #7
  br label %.preheader148

106:                                              ; preds = %99
  %107 = icmp eq i8 %100, 48
  br i1 %107, label %108, label %.preheader148

108:                                              ; preds = %106
  call void @shift_string(ptr noundef nonnull %4, i32 noundef 1, i32 noundef 0) #7
  br label %.preheader148

.preheader148:                                    ; preds = %106, %108, %105
  br label %109

109:                                              ; preds = %.preheader148, %109
  %.1 = phi ptr [ %112, %109 ], [ %4, %.preheader148 ]
  %110 = load i8, ptr %.1, align 1, !tbaa !13
  %111 = icmp slt i8 %110, 1
  %.not = icmp eq i8 %110, 46
  %or.cond137 = or i1 %111, %.not
  %112 = getelementptr inbounds i8, ptr %.1, i64 1
  br i1 %or.cond137, label %.critedge, label %109, !llvm.loop !19

.critedge:                                        ; preds = %109
  %113 = ptrtoint ptr %.1 to i64
  %114 = ptrtoint ptr %4 to i64
  %115 = sub i64 %113, %114
  %116 = trunc i64 %115 to i32
  %117 = load i32, ptr %7, align 4
  %118 = load i32, ptr %8, align 4
  %119 = add i32 %118, %116
  %120 = sub i32 %117, %119
  %121 = icmp eq i32 %117, %119
  %122 = icmp eq i32 %120, 1
  %or.cond13 = or i1 %121, %122
  br i1 %or.cond13, label %123, label %169

123:                                              ; preds = %.critedge
  %124 = icmp eq i32 %118, 0
  %125 = icmp sgt i32 %117, 9
  %or.cond15 = and i1 %125, %124
  br i1 %or.cond15, label %126, label %128

126:                                              ; preds = %123
  %127 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %5, ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef %117) #7
  br label %137

128:                                              ; preds = %123
  br i1 %124, label %129, label %131

129:                                              ; preds = %128
  %130 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %5, ptr noundef nonnull dereferenceable(1) @.str.12, i32 noundef %117) #7
  br label %137

131:                                              ; preds = %128
  %132 = add nsw i32 %117, 2
  br i1 %125, label %133, label %135

133:                                              ; preds = %131
  %134 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %5, ptr noundef nonnull dereferenceable(1) @.str.13, i32 noundef %132, i32 noundef %118) #7
  br label %137

135:                                              ; preds = %131
  %136 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %5, ptr noundef nonnull dereferenceable(1) @.str.14, i32 noundef %132, i32 noundef %118) #7
  br label %137

137:                                              ; preds = %129, %135, %133, %126
  %.sink146 = load float, ptr %6, align 4, !tbaa !15
  %138 = fpext float %.sink146 to double
  %139 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %4, ptr noundef nonnull dereferenceable(1) %5, double noundef %138) #7
  %140 = load i32, ptr %8, align 4, !tbaa !14
  %141 = icmp sgt i32 %140, 0
  br i1 %141, label %142, label %233

142:                                              ; preds = %137
  %143 = load i8, ptr %4, align 16, !tbaa !13
  switch i8 %143, label %233 [
    i8 32, label %144
    i8 45, label %157
  ]

144:                                              ; preds = %142
  call void @shift_string(ptr noundef nonnull %4, i32 noundef 1, i32 noundef 0) #7
  br label %145

145:                                              ; preds = %145, %144
  %.2 = phi ptr [ %4, %144 ], [ %148, %145 ]
  %146 = load i8, ptr %.2, align 1, !tbaa !13
  %147 = icmp slt i8 %146, 1
  %.not130 = icmp eq i8 %146, 46
  %or.cond138 = or i1 %147, %.not130
  %148 = getelementptr inbounds i8, ptr %.2, i64 1
  br i1 %or.cond138, label %.critedge17, label %145, !llvm.loop !20

.critedge17:                                      ; preds = %145
  %149 = ptrtoint ptr %.2 to i64
  %150 = sub i64 %149, %114
  %151 = trunc i64 %150 to i32
  %152 = add nsw i32 %151, 1
  call void @shift_string(ptr noundef nonnull %4, i32 noundef %152, i32 noundef %151) #7
  %153 = icmp eq i32 %151, 1
  %154 = load i8, ptr %4, align 16
  %155 = icmp eq i8 %154, 48
  %or.cond21 = select i1 %153, i1 %155, i1 false
  br i1 %or.cond21, label %156, label %233

156:                                              ; preds = %.critedge17
  store i8 32, ptr %4, align 16, !tbaa !13
  br label %233

157:                                              ; preds = %142
  %158 = load i8, ptr %102, align 1, !tbaa !13
  %159 = icmp eq i8 %158, 48
  br i1 %159, label %160, label %.preheader147

160:                                              ; preds = %157
  call void @shift_string(ptr noundef nonnull %4, i32 noundef 2, i32 noundef 1) #7
  br label %.preheader147

.preheader147:                                    ; preds = %160, %157
  br label %161

161:                                              ; preds = %.preheader147, %161
  %.3 = phi ptr [ %164, %161 ], [ %4, %.preheader147 ]
  %162 = load i8, ptr %.3, align 1, !tbaa !13
  %163 = icmp slt i8 %162, 1
  %.not129 = icmp eq i8 %162, 46
  %or.cond139 = or i1 %163, %.not129
  %164 = getelementptr inbounds i8, ptr %.3, i64 1
  br i1 %or.cond139, label %.critedge23, label %161, !llvm.loop !21

.critedge23:                                      ; preds = %161
  %165 = ptrtoint ptr %.3 to i64
  %166 = sub i64 %165, %114
  %167 = trunc i64 %166 to i32
  %168 = add nsw i32 %167, 1
  call void @shift_string(ptr noundef nonnull %4, i32 noundef %168, i32 noundef %167) #7
  br label %233

169:                                              ; preds = %.critedge
  %170 = icmp sgt i32 %120, 1
  br i1 %170, label %171, label %204

171:                                              ; preds = %169
  %172 = load float, ptr %6, align 4, !tbaa !15
  %173 = call float @llvm.fabs.f32(float %172)
  %174 = fcmp ult float %173, 1.000000e+00
  %175 = xor i32 %116, -1
  %176 = add i32 %117, %175
  br i1 %174, label %186, label %177

177:                                              ; preds = %171
  %178 = add nsw i32 %117, 1
  %179 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %5, ptr noundef nonnull dereferenceable(1) @.str.14, i32 noundef %178, i32 noundef %176) #7
  %180 = load float, ptr %6, align 4, !tbaa !15
  %181 = fpext float %180 to double
  %182 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %4, ptr noundef nonnull dereferenceable(1) %5, double noundef %181) #7
  %183 = load i8, ptr %4, align 16, !tbaa !13
  %184 = icmp eq i8 %183, 32
  br i1 %184, label %185, label %233

185:                                              ; preds = %177
  call void @shift_string(ptr noundef nonnull %4, i32 noundef 1, i32 noundef 0) #7
  br label %233

186:                                              ; preds = %171
  %187 = add nsw i32 %117, 2
  %188 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %5, ptr noundef nonnull dereferenceable(1) @.str.14, i32 noundef %187, i32 noundef %176) #7
  %189 = load float, ptr %6, align 4, !tbaa !15
  %190 = fpext float %189 to double
  %191 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %4, ptr noundef nonnull dereferenceable(1) %5, double noundef %190) #7
  %192 = load i8, ptr %4, align 16, !tbaa !13
  %193 = icmp eq i8 %192, 32
  br i1 %193, label %194, label %195

194:                                              ; preds = %186
  call void @shift_string(ptr noundef nonnull %4, i32 noundef 1, i32 noundef 0) #7
  %.pr143 = load i8, ptr %4, align 16, !tbaa !13
  br label %195

195:                                              ; preds = %194, %186
  %196 = phi i8 [ %.pr143, %194 ], [ %192, %186 ]
  %197 = icmp eq i8 %196, 45
  %198 = load i8, ptr %102, align 1
  %199 = icmp eq i8 %198, 48
  %or.cond27 = select i1 %197, i1 %199, i1 false
  br i1 %or.cond27, label %200, label %201

200:                                              ; preds = %195
  call void @shift_string(ptr noundef nonnull %4, i32 noundef 2, i32 noundef 1) #7
  br label %233

201:                                              ; preds = %195
  %202 = icmp eq i8 %196, 48
  br i1 %202, label %203, label %233

203:                                              ; preds = %201
  call void @shift_string(ptr noundef nonnull %4, i32 noundef 1, i32 noundef 0) #7
  br label %233

204:                                              ; preds = %169
  %205 = icmp slt i32 %117, %116
  br i1 %205, label %209, label %206

206:                                              ; preds = %204
  %207 = sub nsw i32 %117, %116
  %208 = icmp slt i32 %207, 1
  br i1 %208, label %209, label %217

209:                                              ; preds = %206, %204
  %210 = load float, ptr %6, align 4, !tbaa !15
  %211 = fpext float %210 to double
  %212 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) @out_buffer, ptr noundef nonnull dereferenceable(1) @.str.15, double noundef %211, i32 noundef %117, i32 noundef %118) #7
  call void @em_show(ptr noundef nonnull @err) #7
  %213 = load i32, ptr %7, align 4, !tbaa !14
  %214 = sext i32 %213 to i64
  %215 = call ptr @strncpy(ptr noundef %1, ptr noundef %0, i64 noundef %214) #7
  %216 = getelementptr inbounds i8, ptr %1, i64 %214
  store i8 0, ptr %216, align 1, !tbaa !13
  br label %242

217:                                              ; preds = %206
  %218 = add nsw i32 %207, -2
  %.not127 = icmp eq i32 %218, 0
  %219 = add nsw i32 %117, 1
  br i1 %.not127, label %222, label %220

220:                                              ; preds = %217
  %221 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %5, ptr noundef nonnull dereferenceable(1) @.str.14, i32 noundef %219, i32 noundef %218) #7
  br label %224

222:                                              ; preds = %217
  %223 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %5, ptr noundef nonnull dereferenceable(1) @.str.16, i32 noundef %219) #7
  br label %224

224:                                              ; preds = %222, %220
  %225 = load float, ptr %6, align 4, !tbaa !15
  %226 = fpext float %225 to double
  %227 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %4, ptr noundef nonnull dereferenceable(1) %5, double noundef %226) #7
  %228 = load i8, ptr %4, align 16, !tbaa !13
  %229 = icmp eq i8 %228, 32
  br i1 %229, label %230, label %233

230:                                              ; preds = %224
  %231 = call ptr @strchr(ptr noundef nonnull dereferenceable(1) %4, i32 noundef 46) #8
  %.not128 = icmp eq ptr %231, null
  br i1 %.not128, label %233, label %232

232:                                              ; preds = %230
  call void @shift_string(ptr noundef nonnull %4, i32 noundef 1, i32 noundef 0) #7
  br label %233

233:                                              ; preds = %156, %.critedge17, %.critedge23, %137, %232, %230, %224, %185, %177, %201, %203, %200, %142
  %234 = load i32, ptr %7, align 4, !tbaa !14
  %235 = sext i32 %234 to i64
  %236 = call ptr @strncpy(ptr noundef %1, ptr noundef nonnull %4, i64 noundef %235) #7
  %237 = getelementptr inbounds i8, ptr %1, i64 %235
  store i8 0, ptr %237, align 1, !tbaa !13
  %238 = call i32 @invalid_char_ck(ptr noundef nonnull @.str.9, ptr noundef %1, ptr noundef %0)
  %.not131 = icmp eq i32 %238, 0
  %.141 = select i1 %.not131, i32 0, i32 2
  br label %242

239:                                              ; preds = %3
  %240 = tail call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) @out_buffer, ptr noundef nonnull dereferenceable(1) @.str.17, ptr noundef nonnull %2) #7
  tail call void @em_show(ptr noundef nonnull @err) #7
  %241 = tail call ptr @strcpy(ptr noundef nonnull dereferenceable(1) %1, ptr noundef nonnull dereferenceable(1) %0) #7
  br label %242

242:                                              ; preds = %233, %81, %32, %239, %209, %43, %29, %19, %17
  %.0106 = phi i32 [ 1, %239 ], [ 1, %43 ], [ 3, %209 ], [ 1, %29 ], [ 1, %17 ], [ 0, %19 ], [ %., %32 ], [ %.136, %81 ], [ %.141, %233 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %8) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %7) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #7
  call void @llvm.lifetime.end.p0(i64 9, ptr nonnull %5) #7
  call void @llvm.lifetime.end.p0(i64 133, ptr nonnull %4) #7
  ret i32 %.0106
}

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

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

; Function Attrs: nofree nounwind
declare noundef i32 @sprintf(ptr noalias nocapture noundef writeonly, ptr nocapture noundef readonly, ...) local_unnamed_addr #2

declare void @em_show(ptr noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: readwrite)
declare ptr @strncpy(ptr noalias noundef returned writeonly, ptr noalias nocapture noundef readonly, i64 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 #4

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

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

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

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare ptr @strchr(ptr noundef, i32 noundef) local_unnamed_addr #5

declare void @shift_string(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #3

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare float @llvm.fabs.f32(float) #6

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 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { "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: 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 #5 = { 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 #6 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { 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, !7, i64 16}
!6 = !{!"", !7, i64 0, !10, i64 8, !7, i64 16, !7, i64 24, !11, i64 32, !7, i64 40}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"long", !8, i64 0}
!11 = !{!"int", !8, i64 0}
!12 = !{!6, !11, i64 32}
!13 = !{!8, !8, i64 0}
!14 = !{!11, !11, i64 0}
!15 = !{!16, !16, i64 0}
!16 = !{!"float", !8, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = distinct !{!19, !18}
!20 = distinct !{!20, !18}
!21 = distinct !{!21, !18}


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