; LLVM IR from freakout42/macrocalc :: mc/mex (search)

; 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.WINDOW = type { ptr, ptr, ptr, ptr, i32, ptr, i32, i32, i32, i32, i32, i32 }
%struct.LINE = type { ptr, ptr, i16, i16, [32768 x i8] }
%struct.BUFFER = type { ptr, ptr, i32, ptr, i32, ptr, i32, i32, [128 x i8], [128 x i8] }

@pat = external global [0 x i8], align 1
@casesens = external global i32, align 4
@curwp = external global ptr, align 8
@curbp = external global ptr, align 8
@.str.1 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [15 x i8], align 1

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

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

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

declare void @mlerase(...) #2

declare void @mlwrite(ptr noundef, ...) #2

; Function Attrs: nounwind uwtable
define dso_local i32 @backsearch(i32 noundef %0, i32 noundef %1) #0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca [129 x i32], align 16
  %18 = alloca i32, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  store ptr null, ptr %12, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  store i32 0, ptr %13, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  call void @llvm.lifetime.start.p0(i64 516, ptr %17) #3
  %19 = call i32 @readpattern(ptr noundef @.str.2)
  store i32 %19, ptr %10, align 4, !tbaa !5
  %20 = icmp eq i32 %19, 2
  br i1 %20, label %21, label %22

21:                                               ; preds = %2
  store i32 2, ptr %3, align 4
  store i32 1, ptr %18, align 4
  br label %293

22:                                               ; preds = %2
  %23 = load i32, ptr @casesens, align 4, !tbaa !5
  store i32 %23, ptr %10, align 4, !tbaa !5
  store i32 0, ptr %9, align 4, !tbaa !5
  br label %24

24:                                               ; preds = %76, %22
  %25 = load i32, ptr %9, align 4, !tbaa !5
  %26 = sext i32 %25 to i64
  %27 = getelementptr inbounds [0 x i8], ptr @pat, i64 0, i64 %26
  %28 = load i8, ptr %27, align 1, !tbaa !11
  %29 = sext i8 %28 to i32
  %30 = icmp ne i32 %29, 0
  br i1 %30, label %31, label %79

31:                                               ; preds = %24
  %32 = load i32, ptr %10, align 4, !tbaa !5
  %33 = icmp ne i32 %32, 0
  br i1 %33, label %34, label %40

34:                                               ; preds = %31
  %35 = load i32, ptr %9, align 4, !tbaa !5
  %36 = sext i32 %35 to i64
  %37 = getelementptr inbounds [0 x i8], ptr @pat, i64 0, i64 %36
  %38 = load i8, ptr %37, align 1, !tbaa !11
  %39 = sext i8 %38 to i32
  br label %69

40:                                               ; preds = %31
  %41 = load i32, ptr %9, align 4, !tbaa !5
  %42 = sext i32 %41 to i64
  %43 = getelementptr inbounds [0 x i8], ptr @pat, i64 0, i64 %42
  %44 = load i8, ptr %43, align 1, !tbaa !11
  %45 = sext i8 %44 to i32
  %46 = icmp sge i32 %45, 97
  br i1 %46, label %47, label %61

47:                                               ; preds = %40
  %48 = load i32, ptr %9, align 4, !tbaa !5
  %49 = sext i32 %48 to i64
  %50 = getelementptr inbounds [0 x i8], ptr @pat, i64 0, i64 %49
  %51 = load i8, ptr %50, align 1, !tbaa !11
  %52 = sext i8 %51 to i32
  %53 = icmp sle i32 %52, 122
  br i1 %53, label %54, label %61

54:                                               ; preds = %47
  %55 = load i32, ptr %9, align 4, !tbaa !5
  %56 = sext i32 %55 to i64
  %57 = getelementptr inbounds [0 x i8], ptr @pat, i64 0, i64 %56
  %58 = load i8, ptr %57, align 1, !tbaa !11
  %59 = sext i8 %58 to i32
  %60 = sub nsw i32 %59, 32
  br label %67

61:                                               ; preds = %47, %40
  %62 = load i32, ptr %9, align 4, !tbaa !5
  %63 = sext i32 %62 to i64
  %64 = getelementptr inbounds [0 x i8], ptr @pat, i64 0, i64 %63
  %65 = load i8, ptr %64, align 1, !tbaa !11
  %66 = sext i8 %65 to i32
  br label %67

67:                                               ; preds = %61, %54
  %68 = phi i32 [ %60, %54 ], [ %66, %61 ]
  br label %69

69:                                               ; preds = %67, %34
  %70 = phi i32 [ %39, %34 ], [ %68, %67 ]
  %71 = and i32 %70, 255
  %72 = load i32, ptr %9, align 4, !tbaa !5
  %73 = add nsw i32 %72, 1
  %74 = sext i32 %73 to i64
  %75 = getelementptr inbounds [129 x i32], ptr %17, i64 0, i64 %74
  store i32 %71, ptr %75, align 4, !tbaa !5
  br label %76

76:                                               ; preds = %69
  %77 = load i32, ptr %9, align 4, !tbaa !5
  %78 = add nsw i32 %77, 1
  store i32 %78, ptr %9, align 4, !tbaa !5
  br label %24, !llvm.loop !12

79:                                               ; preds = %24
  %80 = load i32, ptr %9, align 4, !tbaa !5
  %81 = add nsw i32 %80, 1
  %82 = sext i32 %81 to i64
  %83 = getelementptr inbounds [129 x i32], ptr %17, i64 0, i64 %82
  store i32 0, ptr %83, align 4, !tbaa !5
  %84 = getelementptr inbounds [129 x i32], ptr %17, i64 0, i64 0
  store i32 0, ptr %84, align 16, !tbaa !5
  %85 = load ptr, ptr @curwp, align 8, !tbaa !9
  %86 = getelementptr inbounds %struct.WINDOW, ptr %85, i32 0, i32 3
  %87 = load ptr, ptr %86, align 8, !tbaa !14
  store ptr %87, ptr %6, align 8, !tbaa !9
  %88 = load ptr, ptr @curwp, align 8, !tbaa !9
  %89 = getelementptr inbounds %struct.WINDOW, ptr %88, i32 0, i32 4
  %90 = load i32, ptr %89, align 8, !tbaa !16
  store i32 %90, ptr %8, align 4, !tbaa !5
  %91 = getelementptr inbounds [129 x i32], ptr %17, i64 0, i64 0
  %92 = getelementptr inbounds i32, ptr %91, i64 1
  store ptr %92, ptr %16, align 8, !tbaa !9
  %93 = getelementptr inbounds [129 x i32], ptr %17, i64 0, i64 0
  store ptr %93, ptr %15, align 8, !tbaa !9
  br label %94

94:                                               ; preds = %99, %79
  %95 = load ptr, ptr %15, align 8, !tbaa !9
  %96 = getelementptr inbounds i32, ptr %95, i64 1
  %97 = load i32, ptr %96, align 4, !tbaa !5
  %98 = icmp ne i32 %97, 0
  br i1 %98, label %99, label %102

99:                                               ; preds = %94
  %100 = load ptr, ptr %15, align 8, !tbaa !9
  %101 = getelementptr inbounds i32, ptr %100, i32 1
  store ptr %101, ptr %15, align 8, !tbaa !9
  br label %94, !llvm.loop !17

102:                                              ; preds = %94
  %103 = load ptr, ptr %15, align 8, !tbaa !9
  store ptr %103, ptr %7, align 8, !tbaa !9
  store i32 0, ptr %11, align 4, !tbaa !5
  store i32 0, ptr %14, align 4, !tbaa !5
  br label %104

104:                                              ; preds = %275, %255, %166, %155, %102
  %105 = load i32, ptr %8, align 4, !tbaa !5
  %106 = add nsw i32 %105, -1
  store i32 %106, ptr %8, align 4, !tbaa !5
  %107 = icmp slt i32 %106, 0
  br i1 %107, label %108, label %124

108:                                              ; preds = %104
  %109 = load ptr, ptr %6, align 8, !tbaa !9
  %110 = getelementptr inbounds %struct.LINE, ptr %109, i32 0, i32 1
  %111 = load ptr, ptr %110, align 8, !tbaa !18
  store ptr %111, ptr %6, align 8, !tbaa !9
  %112 = load ptr, ptr %6, align 8, !tbaa !9
  %113 = load ptr, ptr @curbp, align 8, !tbaa !9
  %114 = getelementptr inbounds %struct.BUFFER, ptr %113, i32 0, i32 5
  %115 = load ptr, ptr %114, align 8, !tbaa !21
  %116 = icmp eq ptr %112, %115
  br i1 %116, label %117, label %118

117:                                              ; preds = %108
  store i32 0, ptr %11, align 4, !tbaa !5
  br label %276

118:                                              ; preds = %108
  %119 = load ptr, ptr %6, align 8, !tbaa !9
  %120 = getelementptr inbounds %struct.LINE, ptr %119, i32 0, i32 3
  %121 = load i16, ptr %120, align 2, !tbaa !23
  %122 = sext i16 %121 to i32
  %123 = and i32 65535, %122
  store i32 %123, ptr %8, align 4, !tbaa !5
  store i32 10, ptr %9, align 4, !tbaa !5
  br label %133

124:                                              ; preds = %104
  %125 = load ptr, ptr %6, align 8, !tbaa !9
  %126 = getelementptr inbounds %struct.LINE, ptr %125, i32 0, i32 4
  %127 = load i32, ptr %8, align 4, !tbaa !5
  %128 = sext i32 %127 to i64
  %129 = getelementptr inbounds [32768 x i8], ptr %126, i64 0, i64 %128
  %130 = load i8, ptr %129, align 1, !tbaa !11
  %131 = sext i8 %130 to i32
  %132 = and i32 %131, 255
  store i32 %132, ptr %9, align 4, !tbaa !5
  br label %133

133:                                              ; preds = %124, %118
  %134 = load ptr, ptr %7, align 8, !tbaa !9
  %135 = getelementptr inbounds i32, ptr %134, i64 -1
  %136 = load i32, ptr %135, align 4, !tbaa !5
  %137 = icmp eq i32 %136, 255
  br i1 %137, label %138, label %139

138:                                              ; preds = %133
  store i32 1, ptr %14, align 4, !tbaa !5
  br label %139

139:                                              ; preds = %138, %133
  %140 = load ptr, ptr %7, align 8, !tbaa !9
  %141 = load i32, ptr %140, align 4, !tbaa !5
  %142 = icmp eq i32 %141, 13
  br i1 %142, label %143, label %187

143:                                              ; preds = %139
  %144 = load i32, ptr %14, align 4, !tbaa !5
  %145 = icmp ne i32 %144, 0
  br i1 %145, label %146, label %157

146:                                              ; preds = %143
  %147 = load i32, ptr %9, align 4, !tbaa !5
  %148 = icmp ne i32 %147, 32
  br i1 %148, label %149, label %156

149:                                              ; preds = %146
  %150 = load i32, ptr %9, align 4, !tbaa !5
  %151 = icmp ne i32 %150, 9
  br i1 %151, label %152, label %156

152:                                              ; preds = %149
  %153 = load i32, ptr %9, align 4, !tbaa !5
  %154 = icmp ne i32 %153, 10
  br i1 %154, label %155, label %156

155:                                              ; preds = %152
  br label %104

156:                                              ; preds = %152, %149, %146
  br label %168

157:                                              ; preds = %143
  %158 = load i32, ptr %9, align 4, !tbaa !5
  %159 = icmp eq i32 %158, 32
  br i1 %159, label %166, label %160

160:                                              ; preds = %157
  %161 = load i32, ptr %9, align 4, !tbaa !5
  %162 = icmp eq i32 %161, 9
  br i1 %162, label %166, label %163

163:                                              ; preds = %160
  %164 = load i32, ptr %9, align 4, !tbaa !5
  %165 = icmp eq i32 %164, 10
  br i1 %165, label %166, label %167

166:                                              ; preds = %163, %160, %157
  br label %104

167:                                              ; preds = %163
  br label %168

168:                                              ; preds = %167, %156
  %169 = load i32, ptr %14, align 4, !tbaa !5
  %170 = icmp ne i32 %169, 0
  br i1 %170, label %171, label %174

171:                                              ; preds = %168
  %172 = load ptr, ptr %7, align 8, !tbaa !9
  %173 = getelementptr inbounds i32, ptr %172, i32 -1
  store ptr %173, ptr %7, align 8, !tbaa !9
  store i32 0, ptr %14, align 4, !tbaa !5
  br label %174

174:                                              ; preds = %171, %168
  %175 = load ptr, ptr %7, align 8, !tbaa !9
  %176 = getelementptr inbounds i32, ptr %175, i32 -1
  store ptr %176, ptr %7, align 8, !tbaa !9
  %177 = load ptr, ptr %16, align 8, !tbaa !9
  %178 = icmp ult ptr %176, %177
  br i1 %178, label %179, label %186

179:                                              ; preds = %174
  store i32 1, ptr %11, align 4, !tbaa !5
  %180 = load i32, ptr %9, align 4, !tbaa !5
  %181 = icmp ne i32 %180, 10
  br i1 %181, label %182, label %185

182:                                              ; preds = %179
  %183 = load i32, ptr %8, align 4, !tbaa !5
  %184 = add nsw i32 %183, 1
  store i32 %184, ptr %8, align 4, !tbaa !5
  br label %185

185:                                              ; preds = %182, %179
  br label %276

186:                                              ; preds = %174
  br label %187

187:                                              ; preds = %186, %139
  %188 = load i32, ptr %14, align 4, !tbaa !5
  %189 = icmp ne i32 %188, 0
  br i1 %189, label %218, label %190

190:                                              ; preds = %187
  %191 = load ptr, ptr %7, align 8, !tbaa !9
  %192 = load i32, ptr %191, align 4, !tbaa !5
  %193 = icmp eq i32 %192, 31
  br i1 %193, label %218, label %194

194:                                              ; preds = %190
  %195 = load i32, ptr %10, align 4, !tbaa !5
  %196 = icmp ne i32 %195, 0
  br i1 %196, label %197, label %202

197:                                              ; preds = %194
  %198 = load i32, ptr %9, align 4, !tbaa !5
  %199 = load ptr, ptr %7, align 8, !tbaa !9
  %200 = load i32, ptr %199, align 4, !tbaa !5
  %201 = icmp eq i32 %198, %200
  br i1 %201, label %218, label %249

202:                                              ; preds = %194
  %203 = load i32, ptr %9, align 4, !tbaa !5
  %204 = icmp sge i32 %203, 97
  br i1 %204, label %205, label %211

205:                                              ; preds = %202
  %206 = load i32, ptr %9, align 4, !tbaa !5
  %207 = icmp sle i32 %206, 122
  br i1 %207, label %208, label %211

208:                                              ; preds = %205
  %209 = load i32, ptr %9, align 4, !tbaa !5
  %210 = sub nsw i32 %209, 32
  br label %213

211:                                              ; preds = %205, %202
  %212 = load i32, ptr %9, align 4, !tbaa !5
  br label %213

213:                                              ; preds = %211, %208
  %214 = phi i32 [ %210, %208 ], [ %212, %211 ]
  %215 = load ptr, ptr %7, align 8, !tbaa !9
  %216 = load i32, ptr %215, align 4, !tbaa !5
  %217 = icmp eq i32 %214, %216
  br i1 %217, label %218, label %249

218:                                              ; preds = %213, %197, %190, %187
  %219 = load i32, ptr %14, align 4, !tbaa !5
  %220 = icmp ne i32 %219, 0
  br i1 %220, label %221, label %257

221:                                              ; preds = %218
  %222 = load ptr, ptr %7, align 8, !tbaa !9
  %223 = load i32, ptr %222, align 4, !tbaa !5
  %224 = icmp eq i32 %223, 31
  br i1 %224, label %249, label %225

225:                                              ; preds = %221
  %226 = load i32, ptr %10, align 4, !tbaa !5
  %227 = icmp ne i32 %226, 0
  br i1 %227, label %228, label %233

228:                                              ; preds = %225
  %229 = load i32, ptr %9, align 4, !tbaa !5
  %230 = load ptr, ptr %7, align 8, !tbaa !9
  %231 = load i32, ptr %230, align 4, !tbaa !5
  %232 = icmp eq i32 %229, %231
  br i1 %232, label %249, label %257

233:                                              ; preds = %225
  %234 = load i32, ptr %9, align 4, !tbaa !5
  %235 = icmp sge i32 %234, 97
  br i1 %235, label %236, label %242

236:                                              ; preds = %233
  %237 = load i32, ptr %9, align 4, !tbaa !5
  %238 = icmp sle i32 %237, 122
  br i1 %238, label %239, label %242

239:                                              ; preds = %236
  %240 = load i32, ptr %9, align 4, !tbaa !5
  %241 = sub nsw i32 %240, 32
  br label %244

242:                                              ; preds = %236, %233
  %243 = load i32, ptr %9, align 4, !tbaa !5
  br label %244

244:                                              ; preds = %242, %239
  %245 = phi i32 [ %241, %239 ], [ %243, %242 ]
  %246 = load ptr, ptr %7, align 8, !tbaa !9
  %247 = load i32, ptr %246, align 4, !tbaa !5
  %248 = icmp eq i32 %245, %247
  br i1 %248, label %249, label %257

249:                                              ; preds = %244, %228, %221, %213, %197
  %250 = load i32, ptr %11, align 4, !tbaa !5
  %251 = icmp ne i32 %250, 0
  br i1 %251, label %252, label %255

252:                                              ; preds = %249
  store i32 0, ptr %11, align 4, !tbaa !5
  %253 = load ptr, ptr %12, align 8, !tbaa !9
  store ptr %253, ptr %6, align 8, !tbaa !9
  %254 = load i32, ptr %13, align 4, !tbaa !5
  store i32 %254, ptr %8, align 4, !tbaa !5
  br label %255

255:                                              ; preds = %252, %249
  %256 = load ptr, ptr %15, align 8, !tbaa !9
  store ptr %256, ptr %7, align 8, !tbaa !9
  store i32 0, ptr %14, align 4, !tbaa !5
  br label %104

257:                                              ; preds = %244, %228, %218
  %258 = load i32, ptr %11, align 4, !tbaa !5
  %259 = icmp ne i32 %258, 0
  br i1 %259, label %263, label %260

260:                                              ; preds = %257
  store i32 1, ptr %11, align 4, !tbaa !5
  %261 = load ptr, ptr %6, align 8, !tbaa !9
  store ptr %261, ptr %12, align 8, !tbaa !9
  %262 = load i32, ptr %8, align 4, !tbaa !5
  store i32 %262, ptr %13, align 4, !tbaa !5
  br label %263

263:                                              ; preds = %260, %257
  %264 = load i32, ptr %14, align 4, !tbaa !5
  %265 = icmp ne i32 %264, 0
  br i1 %265, label %266, label %269

266:                                              ; preds = %263
  %267 = load ptr, ptr %7, align 8, !tbaa !9
  %268 = getelementptr inbounds i32, ptr %267, i32 -1
  store ptr %268, ptr %7, align 8, !tbaa !9
  store i32 0, ptr %14, align 4, !tbaa !5
  br label %269

269:                                              ; preds = %266, %263
  %270 = load ptr, ptr %7, align 8, !tbaa !9
  %271 = getelementptr inbounds i32, ptr %270, i32 -1
  store ptr %271, ptr %7, align 8, !tbaa !9
  %272 = load ptr, ptr %16, align 8, !tbaa !9
  %273 = icmp ult ptr %271, %272
  br i1 %273, label %274, label %275

274:                                              ; preds = %269
  br label %276

275:                                              ; preds = %269
  br label %104

276:                                              ; preds = %274, %185, %117
  %277 = load i32, ptr %11, align 4, !tbaa !5
  %278 = icmp ne i32 %277, 0
  br i1 %278, label %279, label %290

279:                                              ; preds = %276
  %280 = load ptr, ptr %6, align 8, !tbaa !9
  %281 = load ptr, ptr @curwp, align 8, !tbaa !9
  %282 = getelementptr inbounds %struct.WINDOW, ptr %281, i32 0, i32 3
  store ptr %280, ptr %282, align 8, !tbaa !14
  %283 = load i32, ptr %8, align 4, !tbaa !5
  %284 = load ptr, ptr @curwp, align 8, !tbaa !9
  %285 = getelementptr inbounds %struct.WINDOW, ptr %284, i32 0, i32 4
  store i32 %283, ptr %285, align 8, !tbaa !16
  %286 = load ptr, ptr @curwp, align 8, !tbaa !9
  %287 = getelementptr inbounds %struct.WINDOW, ptr %286, i32 0, i32 11
  %288 = load i32, ptr %287, align 4, !tbaa !24
  %289 = or i32 %288, 2
  store i32 %289, ptr %287, align 4, !tbaa !24
  call void (...) @mlerase()
  br label %291

290:                                              ; preds = %276
  call void (ptr, ...) @mlwrite(ptr noundef @.str.1)
  br label %291

291:                                              ; preds = %290, %279
  %292 = load i32, ptr %11, align 4, !tbaa !5
  store i32 %292, ptr %3, align 4
  store i32 1, ptr %18, align 4
  br label %293

293:                                              ; preds = %291, %21
  call void @llvm.lifetime.end.p0(i64 516, ptr %17) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #3
  %294 = load i32, ptr %3, align 4
  ret i32 %294
}

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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!7, !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = !{!15, !10, i64 24}
!15 = !{!"WINDOW", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !6, i64 32, !10, i64 40, !6, i64 48, !6, i64 52, !6, i64 56, !6, i64 60, !6, i64 64, !6, i64 68}
!16 = !{!15, !6, i64 32}
!17 = distinct !{!17, !13}
!18 = !{!19, !10, i64 8}
!19 = !{!"LINE", !10, i64 0, !10, i64 8, !20, i64 16, !20, i64 18, !7, i64 20}
!20 = !{!"short", !7, i64 0}
!21 = !{!22, !10, i64 40}
!22 = !{!"BUFFER", !10, i64 0, !10, i64 8, !6, i64 16, !10, i64 24, !6, i64 32, !10, i64 40, !6, i64 48, !6, i64 52, !7, i64 56, !7, i64 184}
!23 = !{!19, !20, i64 18}
!24 = !{!15, !6, i64 68}


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

@pat = external local_unnamed_addr global [0 x i8], align 1
@casesens = external local_unnamed_addr global i32, align 4
@curwp = external local_unnamed_addr global ptr, align 8
@curbp = external local_unnamed_addr global ptr, align 8
@.str.1 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [15 x i8], align 1

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

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

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

declare void @mlerase(...) local_unnamed_addr #2

declare void @mlwrite(ptr noundef, ...) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local range(i32 0, 3) i32 @backsearch(i32 noundef %0, i32 noundef %1) local_unnamed_addr #0 {
  %3 = alloca [129 x i32], align 16
  call void @llvm.lifetime.start.p0(i64 516, ptr nonnull %3) #3
  %4 = tail call i32 @readpattern(ptr noundef nonnull @.str.2)
  %5 = icmp eq i32 %4, 2
  br i1 %5, label %96, label %6

6:                                                ; preds = %2
  %7 = load i32, ptr @casesens, align 4, !tbaa !5
  %.fr = freeze i32 %7
  %8 = load i8, ptr @pat, align 1, !tbaa !9
  %.not169 = icmp eq i8 %8, 0
  br i1 %.not169, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %6
  %9 = zext i8 %8 to i32
  %.not126 = icmp eq i32 %.fr, 0
  br i1 %.not126, label %.lr.ph.split.us, label %.lr.ph.split

.lr.ph.split.us:                                  ; preds = %.lr.ph, %.lr.ph.split.us
  %indvars.iv188 = phi i64 [ %indvars.iv.next189, %.lr.ph.split.us ], [ 0, %.lr.ph ]
  %10 = phi i32 [ %18, %.lr.ph.split.us ], [ %9, %.lr.ph ]
  %11 = phi i8 [ %17, %.lr.ph.split.us ], [ %8, %.lr.ph ]
  %12 = add i8 %11, -97
  %or.cond.us = icmp ult i8 %12, 26
  %13 = add nuw nsw i32 %10, 224
  %spec.select153.us = select i1 %or.cond.us, i32 %13, i32 %10
  %14 = and i32 %spec.select153.us, 255
  %indvars.iv.next189 = add nuw nsw i64 %indvars.iv188, 1
  %15 = getelementptr inbounds [129 x i32], ptr %3, i64 0, i64 %indvars.iv.next189
  store i32 %14, ptr %15, align 4, !tbaa !5
  %16 = getelementptr inbounds [0 x i8], ptr @pat, i64 0, i64 %indvars.iv.next189
  %17 = load i8, ptr %16, align 1, !tbaa !9
  %18 = zext i8 %17 to i32
  %.not.us = icmp eq i8 %17, 0
  br i1 %.not.us, label %._crit_edge, label %.lr.ph.split.us, !llvm.loop !10

.lr.ph.split:                                     ; preds = %.lr.ph, %.lr.ph.split
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph.split ], [ 0, %.lr.ph ]
  %19 = phi i32 [ %23, %.lr.ph.split ], [ %9, %.lr.ph ]
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %20 = getelementptr inbounds [129 x i32], ptr %3, i64 0, i64 %indvars.iv.next
  store i32 %19, ptr %20, align 4, !tbaa !5
  %21 = getelementptr inbounds [0 x i8], ptr @pat, i64 0, i64 %indvars.iv.next
  %22 = load i8, ptr %21, align 1, !tbaa !9
  %23 = zext i8 %22 to i32
  %.not = icmp eq i8 %22, 0
  br i1 %.not, label %._crit_edge, label %.lr.ph.split, !llvm.loop !10

._crit_edge:                                      ; preds = %.lr.ph.split, %.lr.ph.split.us, %6
  %.090.lcssa = phi i64 [ 0, %6 ], [ %indvars.iv.next189, %.lr.ph.split.us ], [ %indvars.iv.next, %.lr.ph.split ]
  %24 = add i64 %.090.lcssa, 1
  %25 = and i64 %24, 4294967295
  %26 = getelementptr inbounds [129 x i32], ptr %3, i64 0, i64 %25
  store i32 0, ptr %26, align 4, !tbaa !5
  store i32 0, ptr %3, align 16, !tbaa !5
  %27 = load ptr, ptr @curwp, align 8, !tbaa !12
  %28 = getelementptr inbounds i8, ptr %27, i64 24
  %29 = load ptr, ptr %28, align 8, !tbaa !14
  %30 = getelementptr inbounds i8, ptr %27, i64 32
  %31 = load i32, ptr %30, align 8, !tbaa !16
  br label %32

32:                                               ; preds = %32, %._crit_edge
  %.080.idx = phi i64 [ 0, %._crit_edge ], [ %.080.add, %32 ]
  %.080.add = add nuw nsw i64 %.080.idx, 4
  %.ptr117 = getelementptr inbounds i8, ptr %3, i64 %.080.add
  %33 = load i32, ptr %.ptr117, align 4, !tbaa !5
  %.not113 = icmp eq i32 %33, 0
  br i1 %.not113, label %.preheader, label %32, !llvm.loop !17

.preheader:                                       ; preds = %32
  %34 = load ptr, ptr @curbp, align 8
  %35 = getelementptr inbounds i8, ptr %34, i64 40
  %.not121 = icmp eq i32 %.fr, 0
  br label %.outer.outer

.outer.outer:                                     ; preds = %89, %.preheader
  %.0100.ph.ph = phi ptr [ %.1101, %89 ], [ %29, %.preheader ]
  %.096.idx.ph.ph = phi i64 [ %.399.add, %89 ], [ %.080.idx, %.preheader ]
  %.092.ph.ph = phi i32 [ %.193, %89 ], [ %31, %.preheader ]
  %.086.ph.ph = phi i32 [ 1, %89 ], [ 0, %.preheader ]
  %.084.ph.ph = phi ptr [ %spec.select131198, %89 ], [ null, %.preheader ]
  %.082.ph.ph = phi i32 [ %spec.select132200, %89 ], [ 0, %.preheader ]
  br label %.outer

.outer:                                           ; preds = %.outer.outer, %86
  %.0100.ph = phi ptr [ %spec.select129, %86 ], [ %.0100.ph.ph, %.outer.outer ]
  %.096.idx.ph = phi i64 [ %.080.idx, %86 ], [ %.096.idx.ph.ph, %.outer.outer ]
  %.092.ph = phi i32 [ %spec.select130, %86 ], [ %.092.ph.ph, %.outer.outer ]
  %.086.ph = phi i32 [ 0, %86 ], [ %.086.ph.ph, %.outer.outer ]
  %.096.ptr = getelementptr inbounds i8, ptr %3, i64 %.096.idx.ph
  %.096.add = add nsw i64 %.096.idx.ph, -4
  %.ptr115 = getelementptr inbounds i8, ptr %3, i64 %.096.add
  br label %.backedge

.backedge:                                        ; preds = %.backedge.backedge, %.outer
  %.0100 = phi ptr [ %.0100.ph, %.outer ], [ %.1101, %.backedge.backedge ]
  %.092 = phi i32 [ %.092.ph, %.outer ], [ %.193, %.backedge.backedge ]
  %.not114242 = phi i1 [ true, %.outer ], [ %.not114, %.backedge.backedge ]
  %36 = icmp slt i32 %.092, 1
  br i1 %36, label %37, label %46

37:                                               ; preds = %.backedge
  %38 = getelementptr inbounds i8, ptr %.0100, i64 8
  %39 = load ptr, ptr %38, align 8, !tbaa !18
  %40 = load ptr, ptr %35, align 8, !tbaa !21
  %41 = icmp eq ptr %39, %40
  br i1 %41, label %95, label %42

42:                                               ; preds = %37
  %43 = getelementptr inbounds i8, ptr %39, i64 18
  %44 = load i16, ptr %43, align 2, !tbaa !23
  %45 = zext i16 %44 to i32
  br label %53

46:                                               ; preds = %.backedge
  %47 = add nsw i32 %.092, -1
  %48 = getelementptr inbounds i8, ptr %.0100, i64 20
  %49 = zext nneg i32 %47 to i64
  %50 = getelementptr inbounds [32768 x i8], ptr %48, i64 0, i64 %49
  %51 = load i8, ptr %50, align 1, !tbaa !9
  %52 = zext i8 %51 to i32
  br label %53

53:                                               ; preds = %46, %42
  %.1101 = phi ptr [ %39, %42 ], [ %.0100, %46 ]
  %.193 = phi i32 [ %45, %42 ], [ %47, %46 ]
  %.191 = phi i32 [ 10, %42 ], [ %52, %46 ]
  %54 = load i32, ptr %.ptr115, align 4, !tbaa !5
  %55 = icmp ne i32 %54, 255
  %56 = load i32, ptr %.096.ptr, align 4, !tbaa !5
  %57 = icmp eq i32 %56, 13
  %.not114 = and i1 %55, %.not114242
  br i1 %57, label %58, label %65

58:                                               ; preds = %53
  %trunc154 = trunc nuw i32 %.191 to i8
  br i1 %.not114, label %60, label %59

59:                                               ; preds = %58
  switch i8 %trunc154, label %.backedge.backedge [
    i8 32, label %61
    i8 10, label %61
    i8 9, label %61
  ]

.backedge.backedge:                               ; preds = %59, %60, %60, %60
  br label %.backedge

60:                                               ; preds = %58
  switch i8 %trunc154, label %61 [
    i8 32, label %.backedge.backedge
    i8 10, label %.backedge.backedge
    i8 9, label %.backedge.backedge
  ]

61:                                               ; preds = %60, %59, %59, %59
  %spec.select127 = phi i64 [ %.096.idx.ph, %60 ], [ %.096.add, %59 ], [ %.096.add, %59 ], [ %.096.add, %59 ]
  %62 = icmp slt i64 %spec.select127, 8
  br i1 %62, label %63, label %.thread

.thread:                                          ; preds = %61
  %.197.add = add nsw i64 %spec.select127, -4
  %.298.ptr135 = getelementptr inbounds i8, ptr %3, i64 %.197.add
  %.pr = load i32, ptr %.298.ptr135, align 4, !tbaa !5
  br label %66

63:                                               ; preds = %61
  %.not124 = icmp ne i32 %.191, 10
  %64 = zext i1 %.not124 to i32
  %spec.select128 = add nuw nsw i32 %.193, %64
  br label %.loopexit

65:                                               ; preds = %53
  br i1 %.not114, label %66, label %.critedge

66:                                               ; preds = %.thread, %65
  %67 = phi i32 [ %.pr, %.thread ], [ %56, %65 ]
  %.298.idx139 = phi i64 [ %.197.add, %.thread ], [ %.096.idx.ph, %65 ]
  %68 = icmp eq i32 %67, 31
  br i1 %68, label %88, label %69

69:                                               ; preds = %66
  br i1 %.not121, label %72, label %70

70:                                               ; preds = %69
  %71 = icmp eq i32 %.191, %67
  br i1 %71, label %88, label %86

72:                                               ; preds = %69
  %73 = add nsw i32 %.191, -97
  %or.cond9 = icmp ult i32 %73, 26
  %74 = add nsw i32 %.191, -32
  %75 = select i1 %or.cond9, i32 %74, i32 %.191
  %76 = icmp eq i32 %75, %67
  br i1 %76, label %88, label %86

.critedge:                                        ; preds = %65
  %77 = icmp eq i32 %56, 31
  br i1 %77, label %86, label %78

78:                                               ; preds = %.critedge
  br i1 %.not121, label %81, label %79

79:                                               ; preds = %78
  %80 = icmp eq i32 %.191, %56
  br i1 %80, label %86, label %87

81:                                               ; preds = %78
  %82 = add nsw i32 %.191, -97
  %or.cond11 = icmp ult i32 %82, 26
  %83 = add nsw i32 %.191, -32
  %84 = select i1 %or.cond11, i32 %83, i32 %.191
  %85 = icmp eq i32 %84, %56
  br i1 %85, label %86, label %87

86:                                               ; preds = %81, %79, %.critedge, %72, %70
  %.not123 = icmp eq i32 %.086.ph, 0
  %spec.select129 = select i1 %.not123, ptr %.1101, ptr %.084.ph.ph
  %spec.select130 = select i1 %.not123, i32 %.193, i32 %.082.ph.ph
  br label %.outer

87:                                               ; preds = %81, %79
  %.not122 = icmp eq i32 %.086.ph, 0
  %spec.select131 = select i1 %.not122, ptr %.1101, ptr %.084.ph.ph
  %spec.select132 = select i1 %.not122, i32 %.193, i32 %.082.ph.ph
  %.298.add = add nsw i64 %.096.idx.ph, -4
  br label %89

88:                                               ; preds = %72, %70, %66
  %.not122193 = icmp eq i32 %.086.ph, 0
  %spec.select131194 = select i1 %.not122193, ptr %.1101, ptr %.084.ph.ph
  %spec.select132195 = select i1 %.not122193, i32 %.193, i32 %.082.ph.ph
  br label %89

89:                                               ; preds = %87, %88
  %spec.select132200 = phi i32 [ %spec.select132195, %88 ], [ %spec.select132, %87 ]
  %spec.select131198 = phi ptr [ %spec.select131194, %88 ], [ %spec.select131, %87 ]
  %90 = phi i64 [ %.298.idx139, %88 ], [ %.298.add, %87 ]
  %.399.add = add nsw i64 %90, -4
  %91 = icmp slt i64 %90, 8
  br i1 %91, label %.loopexit, label %.outer.outer

.loopexit:                                        ; preds = %89, %63
  %.395.ph = phi i32 [ %spec.select128, %63 ], [ %.193, %89 ]
  store ptr %.1101, ptr %28, align 8, !tbaa !14
  store i32 %.395.ph, ptr %30, align 8, !tbaa !16
  %92 = getelementptr inbounds i8, ptr %27, i64 68
  %93 = load i32, ptr %92, align 4, !tbaa !24
  %94 = or i32 %93, 2
  store i32 %94, ptr %92, align 4, !tbaa !24
  tail call void (...) @mlerase() #3
  br label %96

95:                                               ; preds = %37
  tail call void (ptr, ...) @mlwrite(ptr noundef nonnull @.str.1) #3
  br label %96

96:                                               ; preds = %.loopexit, %95, %2
  %.0 = phi i32 [ 2, %2 ], [ 0, %95 ], [ 1, %.loopexit ]
  call void @llvm.lifetime.end.p0(i64 516, ptr nonnull %3) #3
  ret i32 %.0
}

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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = distinct !{!10, !11}
!11 = !{!"llvm.loop.mustprogress"}
!12 = !{!13, !13, i64 0}
!13 = !{!"any pointer", !7, i64 0}
!14 = !{!15, !13, i64 24}
!15 = !{!"WINDOW", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24, !6, i64 32, !13, i64 40, !6, i64 48, !6, i64 52, !6, i64 56, !6, i64 60, !6, i64 64, !6, i64 68}
!16 = !{!15, !6, i64 32}
!17 = distinct !{!17, !11}
!18 = !{!19, !13, i64 8}
!19 = !{!"LINE", !13, i64 0, !13, i64 8, !20, i64 16, !20, i64 18, !7, i64 20}
!20 = !{!"short", !7, i64 0}
!21 = !{!22, !13, i64 40}
!22 = !{!"BUFFER", !13, i64 0, !13, i64 8, !6, i64 16, !13, i64 24, !6, i64 32, !13, i64 40, !6, i64 48, !6, i64 52, !7, i64 56, !7, i64 184}
!23 = !{!19, !20, i64 18}
!24 = !{!15, !6, i64 68}


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