; LLVM IR from caryll/otfcc :: lib/table/otl/subtables (gsub-reverse)

; 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.__caryll_elementinterface_subtable_gsub_reverse = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.__otfcc_ICoverage = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.otfcc_HandlePackage = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.otfcc_Handle = type { i32, i16, ptr }
%struct.subtable_gsub_reverse = type { i16, i16, ptr, ptr }
%struct.otl_Coverage = type { i16, i32, ptr }

@iSubtable_gsub_reverse = external dso_local constant %struct.__caryll_elementinterface_subtable_gsub_reverse, align 8
@otl_iCoverage = external constant %struct.__otfcc_ICoverage, align 8
@otfcc_iHandle = external constant %struct.otfcc_HandlePackage, align 8

; Function Attrs: nounwind uwtable
define dso_local ptr @otl_read_gsub_reverse(ptr noundef %0, i32 noundef %1, i32 noundef %2, i16 noundef zeroext %3, ptr noundef %4) #0 {
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i16, align 2
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i16, align 2
  %14 = alloca i16, align 2
  %15 = alloca i16, align 2
  %16 = alloca i16, align 2
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i16, align 2
  %21 = alloca i32, align 4
  %22 = alloca i16, align 2
  %23 = alloca %struct.otfcc_Handle, align 8
  store ptr %0, ptr %7, align 8, !tbaa !5
  store i32 %1, ptr %8, align 4, !tbaa !9
  store i32 %2, ptr %9, align 4, !tbaa !9
  store i16 %3, ptr %10, align 2, !tbaa !11
  store ptr %4, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #4
  %24 = load ptr, ptr getelementptr inbounds (%struct.__caryll_elementinterface_subtable_gsub_reverse, ptr @iSubtable_gsub_reverse, i32 0, i32 6), align 8, !tbaa !13
  %25 = call ptr (...) %24()
  store ptr %25, ptr %12, align 8, !tbaa !5
  %26 = load i32, ptr %8, align 4, !tbaa !9
  %27 = load i32, ptr %9, align 4, !tbaa !9
  %28 = add i32 %27, 6
  %29 = icmp ult i32 %26, %28
  br i1 %29, label %30, label %31

30:                                               ; preds = %5
  br label %314

31:                                               ; preds = %5
  %32 = load ptr, ptr %7, align 8, !tbaa !5
  %33 = load i32, ptr %9, align 4, !tbaa !9
  %34 = zext i32 %33 to i64
  %35 = getelementptr inbounds i8, ptr %32, i64 %34
  %36 = getelementptr inbounds i8, ptr %35, i64 4
  %37 = call zeroext i16 @read_16u(ptr noundef %36)
  store i16 %37, ptr %13, align 2, !tbaa !11
  %38 = load i32, ptr %8, align 4, !tbaa !9
  %39 = load i32, ptr %9, align 4, !tbaa !9
  %40 = add i32 %39, 6
  %41 = load i16, ptr %13, align 2, !tbaa !11
  %42 = zext i16 %41 to i32
  %43 = mul nsw i32 %42, 2
  %44 = add i32 %40, %43
  %45 = icmp ult i32 %38, %44
  br i1 %45, label %46, label %47

46:                                               ; preds = %31
  br label %314

47:                                               ; preds = %31
  %48 = load ptr, ptr %7, align 8, !tbaa !5
  %49 = load i32, ptr %9, align 4, !tbaa !9
  %50 = zext i32 %49 to i64
  %51 = getelementptr inbounds i8, ptr %48, i64 %50
  %52 = getelementptr inbounds i8, ptr %51, i64 6
  %53 = load i16, ptr %13, align 2, !tbaa !11
  %54 = zext i16 %53 to i32
  %55 = mul nsw i32 %54, 2
  %56 = sext i32 %55 to i64
  %57 = getelementptr inbounds i8, ptr %52, i64 %56
  %58 = call zeroext i16 @read_16u(ptr noundef %57)
  store i16 %58, ptr %14, align 2, !tbaa !11
  %59 = load i32, ptr %8, align 4, !tbaa !9
  %60 = load i32, ptr %9, align 4, !tbaa !9
  %61 = add i32 %60, 8
  %62 = load i16, ptr %13, align 2, !tbaa !11
  %63 = zext i16 %62 to i32
  %64 = load i16, ptr %14, align 2, !tbaa !11
  %65 = zext i16 %64 to i32
  %66 = add nsw i32 %63, %65
  %67 = mul nsw i32 %66, 2
  %68 = add i32 %61, %67
  %69 = icmp ult i32 %59, %68
  br i1 %69, label %70, label %71

70:                                               ; preds = %47
  br label %314

71:                                               ; preds = %47
  %72 = load ptr, ptr %7, align 8, !tbaa !5
  %73 = load i32, ptr %9, align 4, !tbaa !9
  %74 = zext i32 %73 to i64
  %75 = getelementptr inbounds i8, ptr %72, i64 %74
  %76 = getelementptr inbounds i8, ptr %75, i64 8
  %77 = load i16, ptr %13, align 2, !tbaa !11
  %78 = zext i16 %77 to i32
  %79 = load i16, ptr %14, align 2, !tbaa !11
  %80 = zext i16 %79 to i32
  %81 = add nsw i32 %78, %80
  %82 = mul nsw i32 %81, 2
  %83 = sext i32 %82 to i64
  %84 = getelementptr inbounds i8, ptr %76, i64 %83
  %85 = call zeroext i16 @read_16u(ptr noundef %84)
  store i16 %85, ptr %15, align 2, !tbaa !11
  %86 = load i32, ptr %8, align 4, !tbaa !9
  %87 = load i32, ptr %9, align 4, !tbaa !9
  %88 = add i32 %87, 10
  %89 = load i16, ptr %13, align 2, !tbaa !11
  %90 = zext i16 %89 to i32
  %91 = load i16, ptr %14, align 2, !tbaa !11
  %92 = zext i16 %91 to i32
  %93 = add nsw i32 %90, %92
  %94 = load i16, ptr %15, align 2, !tbaa !11
  %95 = zext i16 %94 to i32
  %96 = add nsw i32 %93, %95
  %97 = mul nsw i32 %96, 2
  %98 = add i32 %88, %97
  %99 = icmp ult i32 %86, %98
  br i1 %99, label %100, label %101

100:                                              ; preds = %71
  br label %314

101:                                              ; preds = %71
  %102 = load i16, ptr %13, align 2, !tbaa !11
  %103 = zext i16 %102 to i32
  %104 = load i16, ptr %14, align 2, !tbaa !11
  %105 = zext i16 %104 to i32
  %106 = add nsw i32 %103, %105
  %107 = add nsw i32 %106, 1
  %108 = trunc i32 %107 to i16
  %109 = load ptr, ptr %12, align 8, !tbaa !5
  %110 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %109, i32 0, i32 0
  store i16 %108, ptr %110, align 8, !tbaa !15
  %111 = load ptr, ptr %12, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %111, i32 0, i32 0
  %113 = load i16, ptr %112, align 8, !tbaa !15
  %114 = zext i16 %113 to i64
  %115 = mul i64 8, %114
  %116 = call ptr @__caryll_allocate_clean(i64 noundef %115, i64 noundef 47)
  %117 = load ptr, ptr %12, align 8, !tbaa !5
  %118 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %117, i32 0, i32 2
  store ptr %116, ptr %118, align 8, !tbaa !17
  %119 = load i16, ptr %13, align 2, !tbaa !11
  %120 = load ptr, ptr %12, align 8, !tbaa !5
  %121 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %120, i32 0, i32 1
  store i16 %119, ptr %121, align 2, !tbaa !18
  call void @llvm.lifetime.start.p0(i64 2, ptr %16) #4
  store i16 0, ptr %16, align 2, !tbaa !11
  br label %122

122:                                              ; preds = %155, %101
  %123 = load i16, ptr %16, align 2, !tbaa !11
  %124 = zext i16 %123 to i32
  %125 = load i16, ptr %13, align 2, !tbaa !11
  %126 = zext i16 %125 to i32
  %127 = icmp slt i32 %124, %126
  br i1 %127, label %129, label %128

128:                                              ; preds = %122
  call void @llvm.lifetime.end.p0(i64 2, ptr %16) #4
  br label %158

129:                                              ; preds = %122
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  %130 = load i32, ptr %9, align 4, !tbaa !9
  %131 = load ptr, ptr %7, align 8, !tbaa !5
  %132 = load i32, ptr %9, align 4, !tbaa !9
  %133 = zext i32 %132 to i64
  %134 = getelementptr inbounds i8, ptr %131, i64 %133
  %135 = getelementptr inbounds i8, ptr %134, i64 6
  %136 = load i16, ptr %16, align 2, !tbaa !11
  %137 = zext i16 %136 to i32
  %138 = mul nsw i32 %137, 2
  %139 = sext i32 %138 to i64
  %140 = getelementptr inbounds i8, ptr %135, i64 %139
  %141 = call zeroext i16 @read_16u(ptr noundef %140)
  %142 = zext i16 %141 to i32
  %143 = add i32 %130, %142
  store i32 %143, ptr %17, align 4, !tbaa !9
  %144 = load ptr, ptr getelementptr inbounds (%struct.__otfcc_ICoverage, ptr @otl_iCoverage, i32 0, i32 9), align 8, !tbaa !19
  %145 = load ptr, ptr %7, align 8, !tbaa !5
  %146 = load i32, ptr %8, align 4, !tbaa !9
  %147 = load i32, ptr %17, align 4, !tbaa !9
  %148 = call ptr %144(ptr noundef %145, i32 noundef %146, i32 noundef %147)
  %149 = load ptr, ptr %12, align 8, !tbaa !5
  %150 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %149, i32 0, i32 2
  %151 = load ptr, ptr %150, align 8, !tbaa !17
  %152 = load i16, ptr %16, align 2, !tbaa !11
  %153 = zext i16 %152 to i64
  %154 = getelementptr inbounds ptr, ptr %151, i64 %153
  store ptr %148, ptr %154, align 8, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  br label %155

155:                                              ; preds = %129
  %156 = load i16, ptr %16, align 2, !tbaa !11
  %157 = add i16 %156, 1
  store i16 %157, ptr %16, align 2, !tbaa !11
  br label %122, !llvm.loop !21

158:                                              ; preds = %128
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #4
  %159 = load i32, ptr %9, align 4, !tbaa !9
  %160 = load ptr, ptr %7, align 8, !tbaa !5
  %161 = load i32, ptr %9, align 4, !tbaa !9
  %162 = zext i32 %161 to i64
  %163 = getelementptr inbounds i8, ptr %160, i64 %162
  %164 = getelementptr inbounds i8, ptr %163, i64 2
  %165 = call zeroext i16 @read_16u(ptr noundef %164)
  %166 = zext i16 %165 to i32
  %167 = add i32 %159, %166
  store i32 %167, ptr %18, align 4, !tbaa !9
  %168 = load ptr, ptr getelementptr inbounds (%struct.__otfcc_ICoverage, ptr @otl_iCoverage, i32 0, i32 9), align 8, !tbaa !19
  %169 = load ptr, ptr %7, align 8, !tbaa !5
  %170 = load i32, ptr %8, align 4, !tbaa !9
  %171 = load i32, ptr %18, align 4, !tbaa !9
  %172 = call ptr %168(ptr noundef %169, i32 noundef %170, i32 noundef %171)
  %173 = load ptr, ptr %12, align 8, !tbaa !5
  %174 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %173, i32 0, i32 2
  %175 = load ptr, ptr %174, align 8, !tbaa !17
  %176 = load ptr, ptr %12, align 8, !tbaa !5
  %177 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %176, i32 0, i32 1
  %178 = load i16, ptr %177, align 2, !tbaa !18
  %179 = zext i16 %178 to i64
  %180 = getelementptr inbounds ptr, ptr %175, i64 %179
  store ptr %172, ptr %180, align 8, !tbaa !5
  %181 = load i16, ptr %15, align 2, !tbaa !11
  %182 = zext i16 %181 to i32
  %183 = load ptr, ptr %12, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %183, i32 0, i32 2
  %185 = load ptr, ptr %184, align 8, !tbaa !17
  %186 = load ptr, ptr %12, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %186, i32 0, i32 1
  %188 = load i16, ptr %187, align 2, !tbaa !18
  %189 = zext i16 %188 to i64
  %190 = getelementptr inbounds ptr, ptr %185, i64 %189
  %191 = load ptr, ptr %190, align 8, !tbaa !5
  %192 = getelementptr inbounds %struct.otl_Coverage, ptr %191, i32 0, i32 0
  %193 = load i16, ptr %192, align 8, !tbaa !23
  %194 = zext i16 %193 to i32
  %195 = icmp ne i32 %182, %194
  br i1 %195, label %196, label %197

196:                                              ; preds = %158
  store i32 2, ptr %19, align 4
  br label %198

197:                                              ; preds = %158
  store i32 0, ptr %19, align 4
  br label %198

198:                                              ; preds = %197, %196
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #4
  %199 = load i32, ptr %19, align 4
  switch i32 %199, label %317 [
    i32 0, label %200
    i32 2, label %314
  ]

200:                                              ; preds = %198
  call void @llvm.lifetime.start.p0(i64 2, ptr %20) #4
  store i16 0, ptr %20, align 2, !tbaa !11
  br label %201

201:                                              ; preds = %244, %200
  %202 = load i16, ptr %20, align 2, !tbaa !11
  %203 = zext i16 %202 to i32
  %204 = load i16, ptr %14, align 2, !tbaa !11
  %205 = zext i16 %204 to i32
  %206 = icmp slt i32 %203, %205
  br i1 %206, label %208, label %207

207:                                              ; preds = %201
  store i32 6, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 2, ptr %20) #4
  br label %247

208:                                              ; preds = %201
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #4
  %209 = load i32, ptr %9, align 4, !tbaa !9
  %210 = load ptr, ptr %7, align 8, !tbaa !5
  %211 = load i32, ptr %9, align 4, !tbaa !9
  %212 = zext i32 %211 to i64
  %213 = getelementptr inbounds i8, ptr %210, i64 %212
  %214 = getelementptr inbounds i8, ptr %213, i64 8
  %215 = load i16, ptr %13, align 2, !tbaa !11
  %216 = zext i16 %215 to i32
  %217 = mul nsw i32 %216, 2
  %218 = sext i32 %217 to i64
  %219 = getelementptr inbounds i8, ptr %214, i64 %218
  %220 = load i16, ptr %20, align 2, !tbaa !11
  %221 = zext i16 %220 to i32
  %222 = mul nsw i32 %221, 2
  %223 = sext i32 %222 to i64
  %224 = getelementptr inbounds i8, ptr %219, i64 %223
  %225 = call zeroext i16 @read_16u(ptr noundef %224)
  %226 = zext i16 %225 to i32
  %227 = add i32 %209, %226
  store i32 %227, ptr %21, align 4, !tbaa !9
  %228 = load ptr, ptr getelementptr inbounds (%struct.__otfcc_ICoverage, ptr @otl_iCoverage, i32 0, i32 9), align 8, !tbaa !19
  %229 = load ptr, ptr %7, align 8, !tbaa !5
  %230 = load i32, ptr %8, align 4, !tbaa !9
  %231 = load i32, ptr %21, align 4, !tbaa !9
  %232 = call ptr %228(ptr noundef %229, i32 noundef %230, i32 noundef %231)
  %233 = load ptr, ptr %12, align 8, !tbaa !5
  %234 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %233, i32 0, i32 2
  %235 = load ptr, ptr %234, align 8, !tbaa !17
  %236 = load i16, ptr %13, align 2, !tbaa !11
  %237 = zext i16 %236 to i32
  %238 = add nsw i32 %237, 1
  %239 = load i16, ptr %20, align 2, !tbaa !11
  %240 = zext i16 %239 to i32
  %241 = add nsw i32 %238, %240
  %242 = sext i32 %241 to i64
  %243 = getelementptr inbounds ptr, ptr %235, i64 %242
  store ptr %232, ptr %243, align 8, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #4
  br label %244

244:                                              ; preds = %208
  %245 = load i16, ptr %20, align 2, !tbaa !11
  %246 = add i16 %245, 1
  store i16 %246, ptr %20, align 2, !tbaa !11
  br label %201, !llvm.loop !25

247:                                              ; preds = %207
  %248 = call ptr @__caryll_allocate_clean(i64 noundef 16, i64 noundef 64)
  %249 = load ptr, ptr %12, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %249, i32 0, i32 3
  store ptr %248, ptr %250, align 8, !tbaa !26
  %251 = load i16, ptr %15, align 2, !tbaa !11
  %252 = load ptr, ptr %12, align 8, !tbaa !5
  %253 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %252, i32 0, i32 3
  %254 = load ptr, ptr %253, align 8, !tbaa !26
  %255 = getelementptr inbounds %struct.otl_Coverage, ptr %254, i32 0, i32 0
  store i16 %251, ptr %255, align 8, !tbaa !23
  %256 = load i16, ptr %15, align 2, !tbaa !11
  %257 = zext i16 %256 to i64
  %258 = mul i64 16, %257
  %259 = call ptr @__caryll_allocate_clean(i64 noundef %258, i64 noundef 66)
  %260 = load ptr, ptr %12, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %260, i32 0, i32 3
  %262 = load ptr, ptr %261, align 8, !tbaa !26
  %263 = getelementptr inbounds %struct.otl_Coverage, ptr %262, i32 0, i32 2
  store ptr %259, ptr %263, align 8, !tbaa !27
  call void @llvm.lifetime.start.p0(i64 2, ptr %22) #4
  store i16 0, ptr %22, align 2, !tbaa !11
  br label %264

264:                                              ; preds = %303, %247
  %265 = load i16, ptr %22, align 2, !tbaa !11
  %266 = zext i16 %265 to i32
  %267 = load i16, ptr %15, align 2, !tbaa !11
  %268 = zext i16 %267 to i32
  %269 = icmp slt i32 %266, %268
  br i1 %269, label %271, label %270

270:                                              ; preds = %264
  store i32 9, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 2, ptr %22) #4
  br label %306

271:                                              ; preds = %264
  %272 = load ptr, ptr %12, align 8, !tbaa !5
  %273 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %272, i32 0, i32 3
  %274 = load ptr, ptr %273, align 8, !tbaa !26
  %275 = getelementptr inbounds %struct.otl_Coverage, ptr %274, i32 0, i32 2
  %276 = load ptr, ptr %275, align 8, !tbaa !27
  %277 = load i16, ptr %22, align 2, !tbaa !11
  %278 = zext i16 %277 to i64
  %279 = getelementptr inbounds %struct.otfcc_Handle, ptr %276, i64 %278
  call void @llvm.lifetime.start.p0(i64 16, ptr %23) #4
  %280 = load ptr, ptr getelementptr inbounds (%struct.otfcc_HandlePackage, ptr @otfcc_iHandle, i32 0, i32 8), align 8, !tbaa !28
  %281 = load ptr, ptr %7, align 8, !tbaa !5
  %282 = load i32, ptr %9, align 4, !tbaa !9
  %283 = zext i32 %282 to i64
  %284 = getelementptr inbounds i8, ptr %281, i64 %283
  %285 = getelementptr inbounds i8, ptr %284, i64 10
  %286 = load i16, ptr %13, align 2, !tbaa !11
  %287 = zext i16 %286 to i32
  %288 = load i16, ptr %14, align 2, !tbaa !11
  %289 = zext i16 %288 to i32
  %290 = add nsw i32 %287, %289
  %291 = load i16, ptr %22, align 2, !tbaa !11
  %292 = zext i16 %291 to i32
  %293 = add nsw i32 %290, %292
  %294 = mul nsw i32 %293, 2
  %295 = sext i32 %294 to i64
  %296 = getelementptr inbounds i8, ptr %285, i64 %295
  %297 = call zeroext i16 @read_16u(ptr noundef %296)
  %298 = call { i64, ptr } %280(i16 noundef zeroext %297)
  %299 = getelementptr inbounds { i64, ptr }, ptr %23, i32 0, i32 0
  %300 = extractvalue { i64, ptr } %298, 0
  store i64 %300, ptr %299, align 8
  %301 = getelementptr inbounds { i64, ptr }, ptr %23, i32 0, i32 1
  %302 = extractvalue { i64, ptr } %298, 1
  store ptr %302, ptr %301, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %279, ptr align 8 %23, i64 16, i1 false), !tbaa.struct !30
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #4
  br label %303

303:                                              ; preds = %271
  %304 = load i16, ptr %22, align 2, !tbaa !11
  %305 = add i16 %304, 1
  store i16 %305, ptr %22, align 2, !tbaa !11
  br label %264, !llvm.loop !31

306:                                              ; preds = %270
  %307 = load ptr, ptr %12, align 8, !tbaa !5
  %308 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %307, i32 0, i32 2
  %309 = load ptr, ptr %308, align 8, !tbaa !17
  %310 = load ptr, ptr %12, align 8, !tbaa !5
  %311 = getelementptr inbounds %struct.subtable_gsub_reverse, ptr %310, i32 0, i32 1
  %312 = load i16, ptr %311, align 2, !tbaa !18
  call void @reverseBacktracks(ptr noundef %309, i16 noundef zeroext %312)
  %313 = load ptr, ptr %12, align 8, !tbaa !5
  store ptr %313, ptr %6, align 8
  store i32 1, ptr %19, align 4
  br label %317

314:                                              ; preds = %198, %100, %70, %46, %30
  %315 = load ptr, ptr getelementptr inbounds (%struct.__caryll_elementinterface_subtable_gsub_reverse, ptr @iSubtable_gsub_reverse, i32 0, i32 7), align 8, !tbaa !32
  %316 = load ptr, ptr %12, align 8, !tbaa !5
  call void %315(ptr noundef %316)
  store ptr null, ptr %6, align 8
  store i32 1, ptr %19, align 4
  br label %317

317:                                              ; preds = %314, %306, %198
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #4
  %318 = load ptr, ptr %6, align 8
  ret ptr %318
}

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i16 @read_16u(ptr noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @__caryll_allocate_clean(i64 noundef, i64 noundef) #2

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #3

; Function Attrs: nounwind uwtable
declare hidden void @reverseBacktracks(ptr noundef, i16 noundef zeroext) #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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { inlinehint nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { 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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"short", !7, i64 0}
!13 = !{!14, !6, i64 48}
!14 = !{!"__caryll_elementinterface_subtable_gsub_reverse", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56}
!15 = !{!16, !12, i64 0}
!16 = !{!"", !12, i64 0, !12, i64 2, !6, i64 8, !6, i64 16}
!17 = !{!16, !6, i64 8}
!18 = !{!16, !12, i64 2}
!19 = !{!20, !6, i64 72}
!20 = !{!"__otfcc_ICoverage", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !6, i64 120}
!21 = distinct !{!21, !22}
!22 = !{!"llvm.loop.mustprogress"}
!23 = !{!24, !12, i64 0}
!24 = !{!"", !12, i64 0, !10, i64 4, !6, i64 8}
!25 = distinct !{!25, !22}
!26 = !{!16, !6, i64 16}
!27 = !{!24, !6, i64 8}
!28 = !{!29, !6, i64 64}
!29 = !{!"otfcc_HandlePackage", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88}
!30 = !{i64 0, i64 4, !9, i64 4, i64 2, !11, i64 8, i64 8, !5}
!31 = distinct !{!31, !22}
!32 = !{!14, !6, i64 56}


; 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.__caryll_elementinterface_subtable_gsub_reverse = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.__otfcc_ICoverage = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.otfcc_HandlePackage = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.otfcc_Handle = type { i32, i16, ptr }

@iSubtable_gsub_reverse = external dso_local local_unnamed_addr constant %struct.__caryll_elementinterface_subtable_gsub_reverse, align 8
@otl_iCoverage = external local_unnamed_addr constant %struct.__otfcc_ICoverage, align 8
@otfcc_iHandle = external local_unnamed_addr constant %struct.otfcc_HandlePackage, align 8

; Function Attrs: nounwind uwtable
define dso_local ptr @otl_read_gsub_reverse(ptr noundef %0, i32 noundef %1, i32 noundef %2, i16 noundef zeroext %3, ptr nocapture noundef readnone %4) local_unnamed_addr #0 {
  %6 = load ptr, ptr getelementptr inbounds (i8, ptr @iSubtable_gsub_reverse, i64 48), align 8, !tbaa !5
  %7 = tail call ptr (...) %6() #2
  %8 = add i32 %2, 6
  %9 = icmp ugt i32 %8, %1
  br i1 %9, label %109, label %10

10:                                               ; preds = %5
  %11 = zext i32 %2 to i64
  %12 = getelementptr inbounds i8, ptr %0, i64 %11
  %13 = getelementptr inbounds i8, ptr %12, i64 4
  %14 = tail call zeroext i16 @read_16u(ptr noundef nonnull %13)
  %15 = zext i16 %14 to i32
  %16 = shl nuw nsw i32 %15, 1
  %17 = add i32 %16, %8
  %18 = icmp ugt i32 %17, %1
  br i1 %18, label %109, label %19

19:                                               ; preds = %10
  %20 = getelementptr inbounds i8, ptr %12, i64 6
  %21 = zext nneg i32 %16 to i64
  %22 = getelementptr inbounds i8, ptr %20, i64 %21
  %23 = tail call zeroext i16 @read_16u(ptr noundef nonnull %22)
  %24 = add i32 %2, 8
  %25 = zext i16 %23 to i32
  %26 = add nuw nsw i32 %25, %15
  %27 = shl nuw nsw i32 %26, 1
  %28 = add i32 %24, %27
  %29 = icmp ugt i32 %28, %1
  br i1 %29, label %109, label %30

30:                                               ; preds = %19
  %31 = getelementptr inbounds i8, ptr %12, i64 8
  %32 = zext nneg i32 %27 to i64
  %33 = getelementptr inbounds i8, ptr %31, i64 %32
  %34 = tail call zeroext i16 @read_16u(ptr noundef nonnull %33)
  %35 = add i32 %2, 10
  %36 = zext i16 %34 to i32
  %37 = add nuw nsw i32 %26, %36
  %38 = shl nuw nsw i32 %37, 1
  %39 = add i32 %35, %38
  %40 = icmp ugt i32 %39, %1
  br i1 %40, label %109, label %41

41:                                               ; preds = %30
  %42 = trunc i32 %26 to i16
  %43 = add i16 %42, 1
  store i16 %43, ptr %7, align 8, !tbaa !10
  %44 = zext i16 %43 to i64
  %45 = shl nuw nsw i64 %44, 3
  %46 = tail call ptr @__caryll_allocate_clean(i64 noundef %45, i64 noundef 47)
  %47 = getelementptr inbounds i8, ptr %7, i64 8
  store ptr %46, ptr %47, align 8, !tbaa !13
  %48 = getelementptr inbounds i8, ptr %7, i64 2
  store i16 %14, ptr %48, align 2, !tbaa !14
  %.not105 = icmp eq i16 %14, 0
  %.pre = load ptr, ptr getelementptr inbounds (i8, ptr @otl_iCoverage, i64 72), align 8
  br i1 %.not105, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %41
  %wide.trip.count = zext i16 %14 to i64
  br label %64

._crit_edge:                                      ; preds = %64, %41
  %49 = getelementptr inbounds i8, ptr %12, i64 2
  %50 = tail call zeroext i16 @read_16u(ptr noundef nonnull %49)
  %51 = zext i16 %50 to i32
  %52 = add i32 %51, %2
  %53 = tail call ptr %.pre(ptr noundef %0, i32 noundef %1, i32 noundef %52) #2
  %54 = load ptr, ptr %47, align 8, !tbaa !13
  %55 = load i16, ptr %48, align 2, !tbaa !14
  %56 = zext i16 %55 to i64
  %57 = getelementptr inbounds ptr, ptr %54, i64 %56
  store ptr %53, ptr %57, align 8, !tbaa !15
  %58 = load ptr, ptr %47, align 8, !tbaa !13
  %59 = getelementptr inbounds ptr, ptr %58, i64 %56
  %60 = load ptr, ptr %59, align 8, !tbaa !15
  %61 = load i16, ptr %60, align 8, !tbaa !16
  %.not = icmp eq i16 %34, %61
  br i1 %.not, label %.preheader, label %109

.preheader:                                       ; preds = %._crit_edge
  %.not106 = icmp eq i16 %23, 0
  br i1 %.not106, label %._crit_edge100, label %.lr.ph99

.lr.ph99:                                         ; preds = %.preheader
  %62 = getelementptr inbounds i8, ptr %31, i64 %21
  %wide.trip.count114 = zext i16 %23 to i64
  %63 = zext i16 %14 to i64
  br label %82

64:                                               ; preds = %.lr.ph, %64
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %64 ]
  %65 = shl nuw nsw i64 %indvars.iv, 1
  %66 = getelementptr inbounds i8, ptr %20, i64 %65
  %67 = tail call zeroext i16 @read_16u(ptr noundef nonnull %66)
  %68 = zext i16 %67 to i32
  %69 = add i32 %68, %2
  %70 = tail call ptr %.pre(ptr noundef %0, i32 noundef %1, i32 noundef %69) #2
  %71 = load ptr, ptr %47, align 8, !tbaa !13
  %72 = getelementptr inbounds ptr, ptr %71, i64 %indvars.iv
  store ptr %70, ptr %72, align 8, !tbaa !15
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %64, !llvm.loop !19

._crit_edge100:                                   ; preds = %82, %.preheader
  %73 = tail call ptr @__caryll_allocate_clean(i64 noundef 16, i64 noundef 64)
  %74 = getelementptr inbounds i8, ptr %7, i64 16
  store ptr %73, ptr %74, align 8, !tbaa !21
  store i16 %34, ptr %73, align 8, !tbaa !16
  %75 = zext i16 %34 to i64
  %76 = shl nuw nsw i64 %75, 4
  %77 = tail call ptr @__caryll_allocate_clean(i64 noundef %76, i64 noundef 66)
  %78 = load ptr, ptr %74, align 8, !tbaa !21
  %79 = getelementptr inbounds i8, ptr %78, i64 8
  store ptr %77, ptr %79, align 8, !tbaa !22
  %.not107 = icmp eq i16 %34, 0
  br i1 %.not107, label %._crit_edge104, label %.lr.ph103

.lr.ph103:                                        ; preds = %._crit_edge100
  %80 = load ptr, ptr getelementptr inbounds (i8, ptr @otfcc_iHandle, i64 64), align 8, !tbaa !23
  %81 = getelementptr inbounds i8, ptr %12, i64 10
  br label %95

82:                                               ; preds = %.lr.ph99, %82
  %indvars.iv111 = phi i64 [ 0, %.lr.ph99 ], [ %indvars.iv.next112, %82 ]
  %83 = shl nuw nsw i64 %indvars.iv111, 1
  %84 = getelementptr inbounds i8, ptr %62, i64 %83
  %85 = tail call zeroext i16 @read_16u(ptr noundef nonnull %84)
  %86 = zext i16 %85 to i32
  %87 = add i32 %86, %2
  %88 = tail call ptr %.pre(ptr noundef %0, i32 noundef %1, i32 noundef %87) #2
  %89 = load ptr, ptr %47, align 8, !tbaa !13
  %90 = getelementptr inbounds ptr, ptr %89, i64 %indvars.iv111
  %91 = getelementptr inbounds ptr, ptr %90, i64 %63
  %92 = getelementptr inbounds i8, ptr %91, i64 8
  store ptr %88, ptr %92, align 8, !tbaa !15
  %indvars.iv.next112 = add nuw nsw i64 %indvars.iv111, 1
  %exitcond115.not = icmp eq i64 %indvars.iv.next112, %wide.trip.count114
  br i1 %exitcond115.not, label %._crit_edge100, label %82, !llvm.loop !25

._crit_edge104:                                   ; preds = %95, %._crit_edge100
  %93 = load ptr, ptr %47, align 8, !tbaa !13
  %94 = load i16, ptr %48, align 2, !tbaa !14
  tail call void @reverseBacktracks(ptr noundef %93, i16 noundef zeroext %94)
  br label %111

95:                                               ; preds = %.lr.ph103, %95
  %indvars.iv116 = phi i64 [ 0, %.lr.ph103 ], [ %indvars.iv.next117, %95 ]
  %96 = trunc nuw i64 %indvars.iv116 to i32
  %97 = load ptr, ptr %74, align 8, !tbaa !21
  %98 = getelementptr inbounds i8, ptr %97, i64 8
  %99 = load ptr, ptr %98, align 8, !tbaa !22
  %100 = getelementptr inbounds %struct.otfcc_Handle, ptr %99, i64 %indvars.iv116
  %101 = add nuw nsw i32 %26, %96
  %102 = shl nuw nsw i32 %101, 1
  %103 = zext nneg i32 %102 to i64
  %104 = getelementptr inbounds i8, ptr %81, i64 %103
  %105 = tail call zeroext i16 @read_16u(ptr noundef nonnull %104)
  %106 = tail call { i64, ptr } %80(i16 noundef zeroext %105) #2
  %107 = extractvalue { i64, ptr } %106, 0
  %108 = extractvalue { i64, ptr } %106, 1
  store i64 %107, ptr %100, align 8
  %.sroa.4.0..sroa_idx = getelementptr inbounds i8, ptr %100, i64 8
  store ptr %108, ptr %.sroa.4.0..sroa_idx, align 8, !tbaa !15
  %indvars.iv.next117 = add nuw nsw i64 %indvars.iv116, 1
  %exitcond120.not = icmp eq i64 %indvars.iv.next117, %75
  br i1 %exitcond120.not, label %._crit_edge104, label %95, !llvm.loop !26

109:                                              ; preds = %._crit_edge, %30, %19, %10, %5
  %110 = load ptr, ptr getelementptr inbounds (i8, ptr @iSubtable_gsub_reverse, i64 56), align 8, !tbaa !27
  tail call void %110(ptr noundef %7) #2
  br label %111

111:                                              ; preds = %109, %._crit_edge104
  %.0 = phi ptr [ null, %109 ], [ %7, %._crit_edge104 ]
  ret ptr %.0
}

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i16 @read_16u(ptr noundef) local_unnamed_addr #1

; Function Attrs: inlinehint nounwind uwtable
declare hidden ptr @__caryll_allocate_clean(i64 noundef, i64 noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare hidden void @reverseBacktracks(ptr noundef, i16 noundef zeroext) local_unnamed_addr #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 = { inlinehint nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind }

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


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