; LLVM IR from specinfo-ua/UAPKI :: library/uapkif/src/asn1 (OCTET_STRING)

; 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.asn_OCTET_STRING_specifics_s = type { i32, i32, i32 }
%struct.asn_per_constraints_s = type { %struct.asn_per_constraint_s, %struct.asn_per_constraint_s, ptr, ptr }
%struct.asn_per_constraint_s = type { i32, i32, i32, i64, i64 }
%struct.asn_dec_rval_s = type { i32, i64 }
%struct.asn_TYPE_descriptor_s = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, ptr, i32, ptr, ptr, i32, ptr }
%struct.BIT_STRING_s = type { ptr, i32, i32, %struct.asn_struct_ctx_s }
%struct.asn_struct_ctx_s = type { i16, i16, i32, ptr, i64 }

@asn_DEF_OCTET_STRING_specs = external hidden constant %struct.asn_OCTET_STRING_specifics_s, align 4
@asn_DEF_OCTET_STRING_constraints = external hidden constant %struct.asn_per_constraints_s, align 8

; Function Attrs: nounwind uwtable
define dso_local { i32, i64 } @OCTET_STRING_decode_uper(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4) #0 {
  %6 = alloca %struct.asn_dec_rval_s, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca %struct.asn_dec_rval_s, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i64, align 8
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i64, align 8
  %28 = alloca i64, align 8
  %29 = alloca i64, align 8
  %30 = alloca ptr, align 8
  %31 = alloca i32, align 4
  store ptr %0, ptr %7, align 8, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !5
  store ptr %2, ptr %9, align 8, !tbaa !5
  store ptr %3, ptr %10, align 8, !tbaa !5
  store ptr %4, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #9
  %32 = load ptr, ptr %8, align 8, !tbaa !5
  %33 = getelementptr inbounds %struct.asn_TYPE_descriptor_s, ptr %32, i32 0, i32 19
  %34 = load ptr, ptr %33, align 8, !tbaa !9
  %35 = icmp ne ptr %34, null
  br i1 %35, label %36, label %40

36:                                               ; preds = %5
  %37 = load ptr, ptr %8, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct.asn_TYPE_descriptor_s, ptr %37, i32 0, i32 19
  %39 = load ptr, ptr %38, align 8, !tbaa !9
  br label %41

40:                                               ; preds = %5
  br label %41

41:                                               ; preds = %40, %36
  %42 = phi ptr [ %39, %36 ], [ @asn_DEF_OCTET_STRING_specs, %40 ]
  store ptr %42, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #9
  %43 = load ptr, ptr %9, align 8, !tbaa !5
  %44 = icmp ne ptr %43, null
  br i1 %44, label %45, label %47

45:                                               ; preds = %41
  %46 = load ptr, ptr %9, align 8, !tbaa !5
  br label %51

47:                                               ; preds = %41
  %48 = load ptr, ptr %8, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.asn_TYPE_descriptor_s, ptr %48, i32 0, i32 16
  %50 = load ptr, ptr %49, align 8, !tbaa !12
  br label %51

51:                                               ; preds = %47, %45
  %52 = phi ptr [ %46, %45 ], [ %50, %47 ]
  store ptr %52, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr %16) #9
  call void @llvm.memset.p0.i64(ptr align 8 %16, i8 0, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #9
  %53 = load ptr, ptr %10, align 8, !tbaa !5
  %54 = load ptr, ptr %53, align 8, !tbaa !5
  store ptr %54, ptr %17, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #9
  store i64 0, ptr %18, align 8, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #9
  %55 = load ptr, ptr %7, align 8, !tbaa !5
  %56 = load ptr, ptr %13, align 8, !tbaa !5
  %57 = icmp ne ptr %56, null
  br i1 %57, label %58, label %63

58:                                               ; preds = %51
  %59 = load ptr, ptr %13, align 8, !tbaa !5
  %60 = getelementptr inbounds %struct.asn_per_constraints_s, ptr %59, i32 0, i32 0
  store ptr %60, ptr %14, align 8, !tbaa !5
  %61 = load ptr, ptr %13, align 8, !tbaa !5
  %62 = getelementptr inbounds %struct.asn_per_constraints_s, ptr %61, i32 0, i32 1
  store ptr %62, ptr %15, align 8, !tbaa !5
  br label %64

63:                                               ; preds = %51
  store ptr @asn_DEF_OCTET_STRING_constraints, ptr %14, align 8, !tbaa !5
  store ptr getelementptr inbounds (%struct.asn_per_constraints_s, ptr @asn_DEF_OCTET_STRING_constraints, i32 0, i32 1), ptr %15, align 8, !tbaa !5
  br label %64

64:                                               ; preds = %63, %58
  %65 = load ptr, ptr %12, align 8, !tbaa !5
  %66 = getelementptr inbounds %struct.asn_OCTET_STRING_specifics_s, ptr %65, i32 0, i32 2
  %67 = load i32, ptr %66, align 4, !tbaa !15
  switch i32 %67, label %68 [
    i32 0, label %69
    i32 1, label %76
    i32 2, label %77
    i32 3, label %88
    i32 4, label %99
  ]

68:                                               ; preds = %64
  br label %69

69:                                               ; preds = %68, %64
  br label %70

70:                                               ; preds = %69
  %71 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 2, ptr %71, align 8, !tbaa !17
  %72 = load i64, ptr %18, align 8, !tbaa !13
  %73 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %72, ptr %73, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %470

74:                                               ; No predecessors!
  br label %75

75:                                               ; preds = %74
  br label %76

76:                                               ; preds = %75, %64
  store i32 1, ptr %21, align 4, !tbaa !20
  store i32 1, ptr %22, align 4, !tbaa !20
  store i32 0, ptr %20, align 4, !tbaa !20
  br label %110

77:                                               ; preds = %64
  store i32 8, ptr %21, align 4, !tbaa !20
  store i32 8, ptr %22, align 4, !tbaa !20
  %78 = load ptr, ptr %14, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %78, i32 0, i32 0
  %80 = load i32, ptr %79, align 8, !tbaa !21
  %81 = and i32 %80, 2
  %82 = icmp ne i32 %81, 0
  br i1 %82, label %83, label %87

83:                                               ; preds = %77
  %84 = load ptr, ptr %14, align 8, !tbaa !5
  %85 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %84, i32 0, i32 1
  %86 = load i32, ptr %85, align 4, !tbaa !23
  store i32 %86, ptr %21, align 4, !tbaa !20
  br label %87

87:                                               ; preds = %83, %77
  store i32 1, ptr %20, align 4, !tbaa !20
  br label %110

88:                                               ; preds = %64
  store i32 16, ptr %21, align 4, !tbaa !20
  store i32 16, ptr %22, align 4, !tbaa !20
  %89 = load ptr, ptr %14, align 8, !tbaa !5
  %90 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %89, i32 0, i32 0
  %91 = load i32, ptr %90, align 8, !tbaa !21
  %92 = and i32 %91, 2
  %93 = icmp ne i32 %92, 0
  br i1 %93, label %94, label %98

94:                                               ; preds = %88
  %95 = load ptr, ptr %14, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %95, i32 0, i32 1
  %97 = load i32, ptr %96, align 4, !tbaa !23
  store i32 %97, ptr %21, align 4, !tbaa !20
  br label %98

98:                                               ; preds = %94, %88
  store i32 2, ptr %20, align 4, !tbaa !20
  br label %110

99:                                               ; preds = %64
  store i32 32, ptr %21, align 4, !tbaa !20
  store i32 32, ptr %22, align 4, !tbaa !20
  %100 = load ptr, ptr %14, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %100, i32 0, i32 0
  %102 = load i32, ptr %101, align 8, !tbaa !21
  %103 = and i32 %102, 2
  %104 = icmp ne i32 %103, 0
  br i1 %104, label %105, label %109

105:                                              ; preds = %99
  %106 = load ptr, ptr %14, align 8, !tbaa !5
  %107 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %106, i32 0, i32 1
  %108 = load i32, ptr %107, align 4, !tbaa !23
  store i32 %108, ptr %21, align 4, !tbaa !20
  br label %109

109:                                              ; preds = %105, %99
  store i32 4, ptr %20, align 4, !tbaa !20
  br label %110

110:                                              ; preds = %109, %98, %87, %76
  %111 = load ptr, ptr %17, align 8, !tbaa !5
  %112 = icmp ne ptr %111, null
  br i1 %112, label %130, label %113

113:                                              ; preds = %110
  %114 = load ptr, ptr %12, align 8, !tbaa !5
  %115 = getelementptr inbounds %struct.asn_OCTET_STRING_specifics_s, ptr %114, i32 0, i32 0
  %116 = load i32, ptr %115, align 4, !tbaa !24
  %117 = sext i32 %116 to i64
  %118 = call noalias ptr @calloc(i64 noundef 1, i64 noundef %117) #10
  %119 = load ptr, ptr %10, align 8, !tbaa !5
  store ptr %118, ptr %119, align 8, !tbaa !5
  store ptr %118, ptr %17, align 8, !tbaa !5
  %120 = load ptr, ptr %17, align 8, !tbaa !5
  %121 = icmp ne ptr %120, null
  br i1 %121, label %129, label %122

122:                                              ; preds = %113
  br label %123

123:                                              ; preds = %122
  %124 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 2, ptr %124, align 8, !tbaa !17
  %125 = load i64, ptr %18, align 8, !tbaa !13
  %126 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %125, ptr %126, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %470

127:                                              ; No predecessors!
  br label %128

128:                                              ; preds = %127
  br label %129

129:                                              ; preds = %128, %113
  br label %130

130:                                              ; preds = %129, %110
  %131 = load ptr, ptr %15, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %131, i32 0, i32 0
  %133 = load i32, ptr %132, align 8, !tbaa !21
  %134 = and i32 %133, 4
  %135 = icmp ne i32 %134, 0
  br i1 %135, label %136, label %157

136:                                              ; preds = %130
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #9
  %137 = load ptr, ptr %11, align 8, !tbaa !5
  %138 = call i32 @per_get_few_bits(ptr noundef %137, i32 noundef 1)
  store i32 %138, ptr %24, align 4, !tbaa !20
  %139 = load i32, ptr %24, align 4, !tbaa !20
  %140 = icmp slt i32 %139, 0
  br i1 %140, label %141, label %148

141:                                              ; preds = %136
  br label %142

142:                                              ; preds = %141
  %143 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 1, ptr %143, align 8, !tbaa !17
  %144 = load i64, ptr %18, align 8, !tbaa !13
  %145 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %144, ptr %145, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %154

146:                                              ; No predecessors!
  br label %147

147:                                              ; preds = %146
  br label %148

148:                                              ; preds = %147, %136
  %149 = load i32, ptr %24, align 4, !tbaa !20
  %150 = icmp ne i32 %149, 0
  br i1 %150, label %151, label %153

151:                                              ; preds = %148
  store ptr getelementptr inbounds (%struct.asn_per_constraints_s, ptr @asn_DEF_OCTET_STRING_constraints, i32 0, i32 1), ptr %15, align 8, !tbaa !5
  store ptr @asn_DEF_OCTET_STRING_constraints, ptr %14, align 8, !tbaa !5
  %152 = load i32, ptr %22, align 4, !tbaa !20
  store i32 %152, ptr %21, align 4, !tbaa !20
  br label %153

153:                                              ; preds = %151, %148
  store i32 0, ptr %23, align 4
  br label %154

154:                                              ; preds = %153, %142
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #9
  %155 = load i32, ptr %23, align 4
  switch i32 %155, label %470 [
    i32 0, label %156
  ]

156:                                              ; preds = %154
  br label %157

157:                                              ; preds = %156, %130
  %158 = load ptr, ptr %15, align 8, !tbaa !5
  %159 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %158, i32 0, i32 2
  %160 = load i32, ptr %159, align 8, !tbaa !25
  %161 = icmp sge i32 %160, 0
  br i1 %161, label %162, label %212

162:                                              ; preds = %157
  %163 = load ptr, ptr %17, align 8, !tbaa !5
  %164 = getelementptr inbounds %struct.BIT_STRING_s, ptr %163, i32 0, i32 0
  %165 = load ptr, ptr %164, align 8, !tbaa !26
  call void @free(ptr noundef %165) #9
  %166 = load ptr, ptr %17, align 8, !tbaa !5
  %167 = getelementptr inbounds %struct.BIT_STRING_s, ptr %166, i32 0, i32 0
  store ptr null, ptr %167, align 8, !tbaa !26
  %168 = load i32, ptr %20, align 4, !tbaa !20
  %169 = icmp ne i32 %168, 0
  br i1 %169, label %170, label %180

170:                                              ; preds = %162
  %171 = load ptr, ptr %15, align 8, !tbaa !5
  %172 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %171, i32 0, i32 4
  %173 = load i64, ptr %172, align 8, !tbaa !30
  %174 = load i32, ptr %20, align 4, !tbaa !20
  %175 = zext i32 %174 to i64
  %176 = mul nsw i64 %173, %175
  %177 = trunc i64 %176 to i32
  %178 = load ptr, ptr %17, align 8, !tbaa !5
  %179 = getelementptr inbounds %struct.BIT_STRING_s, ptr %178, i32 0, i32 1
  store i32 %177, ptr %179, align 8, !tbaa !31
  br label %189

180:                                              ; preds = %162
  %181 = load ptr, ptr %15, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %181, i32 0, i32 4
  %183 = load i64, ptr %182, align 8, !tbaa !30
  %184 = add nsw i64 %183, 7
  %185 = ashr i64 %184, 3
  %186 = trunc i64 %185 to i32
  %187 = load ptr, ptr %17, align 8, !tbaa !5
  %188 = getelementptr inbounds %struct.BIT_STRING_s, ptr %187, i32 0, i32 1
  store i32 %186, ptr %188, align 8, !tbaa !31
  br label %189

189:                                              ; preds = %180, %170
  %190 = load ptr, ptr %17, align 8, !tbaa !5
  %191 = getelementptr inbounds %struct.BIT_STRING_s, ptr %190, i32 0, i32 1
  %192 = load i32, ptr %191, align 8, !tbaa !31
  %193 = sext i32 %192 to i64
  %194 = add i64 1, %193
  %195 = call noalias ptr @malloc(i64 noundef %194) #11
  %196 = load ptr, ptr %17, align 8, !tbaa !5
  %197 = getelementptr inbounds %struct.BIT_STRING_s, ptr %196, i32 0, i32 0
  store ptr %195, ptr %197, align 8, !tbaa !26
  %198 = load ptr, ptr %17, align 8, !tbaa !5
  %199 = getelementptr inbounds %struct.BIT_STRING_s, ptr %198, i32 0, i32 0
  %200 = load ptr, ptr %199, align 8, !tbaa !26
  %201 = icmp ne ptr %200, null
  br i1 %201, label %211, label %202

202:                                              ; preds = %189
  %203 = load ptr, ptr %17, align 8, !tbaa !5
  %204 = getelementptr inbounds %struct.BIT_STRING_s, ptr %203, i32 0, i32 1
  store i32 0, ptr %204, align 8, !tbaa !31
  br label %205

205:                                              ; preds = %202
  %206 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 2, ptr %206, align 8, !tbaa !17
  %207 = load i64, ptr %18, align 8, !tbaa !13
  %208 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %207, ptr %208, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %470

209:                                              ; No predecessors!
  br label %210

210:                                              ; preds = %209
  br label %211

211:                                              ; preds = %210, %189
  br label %212

212:                                              ; preds = %211, %157
  %213 = load ptr, ptr %15, align 8, !tbaa !5
  %214 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %213, i32 0, i32 2
  %215 = load i32, ptr %214, align 8, !tbaa !25
  %216 = icmp eq i32 %215, 0
  br i1 %216, label %217, label %316

217:                                              ; preds = %212
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #9
  %218 = load i32, ptr %20, align 4, !tbaa !20
  %219 = icmp ne i32 %218, 0
  br i1 %219, label %220, label %248

220:                                              ; preds = %217
  %221 = load ptr, ptr %11, align 8, !tbaa !5
  %222 = load ptr, ptr %17, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct.BIT_STRING_s, ptr %222, i32 0, i32 0
  %224 = load ptr, ptr %223, align 8, !tbaa !26
  %225 = load ptr, ptr %15, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %225, i32 0, i32 4
  %227 = load i64, ptr %226, align 8, !tbaa !30
  %228 = load i32, ptr %20, align 4, !tbaa !20
  %229 = load i32, ptr %21, align 4, !tbaa !20
  %230 = load ptr, ptr %14, align 8, !tbaa !5
  %231 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %230, i32 0, i32 3
  %232 = load i64, ptr %231, align 8, !tbaa !32
  %233 = load ptr, ptr %14, align 8, !tbaa !5
  %234 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %233, i32 0, i32 4
  %235 = load i64, ptr %234, align 8, !tbaa !30
  %236 = load ptr, ptr %13, align 8, !tbaa !5
  %237 = call i32 @OCTET_STRING_per_get_characters(ptr noundef %221, ptr noundef %224, i64 noundef %227, i32 noundef %228, i32 noundef %229, i64 noundef %232, i64 noundef %235, ptr noundef %236)
  store i32 %237, ptr %25, align 4, !tbaa !20
  %238 = load i32, ptr %25, align 4, !tbaa !20
  %239 = icmp sgt i32 %238, 0
  br i1 %239, label %240, label %247

240:                                              ; preds = %220
  br label %241

241:                                              ; preds = %240
  %242 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 2, ptr %242, align 8, !tbaa !17
  %243 = load i64, ptr %18, align 8, !tbaa !13
  %244 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %243, ptr %244, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %313

245:                                              ; No predecessors!
  br label %246

246:                                              ; preds = %245
  br label %247

247:                                              ; preds = %246, %220
  br label %261

248:                                              ; preds = %217
  %249 = load ptr, ptr %11, align 8, !tbaa !5
  %250 = load ptr, ptr %17, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct.BIT_STRING_s, ptr %250, i32 0, i32 0
  %252 = load ptr, ptr %251, align 8, !tbaa !26
  %253 = load i32, ptr %21, align 4, !tbaa !20
  %254 = zext i32 %253 to i64
  %255 = load ptr, ptr %15, align 8, !tbaa !5
  %256 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %255, i32 0, i32 4
  %257 = load i64, ptr %256, align 8, !tbaa !30
  %258 = mul nsw i64 %254, %257
  %259 = trunc i64 %258 to i32
  %260 = call i32 @per_get_many_bits(ptr noundef %249, ptr noundef %252, i32 noundef 0, i32 noundef %259)
  store i32 %260, ptr %25, align 4, !tbaa !20
  br label %261

261:                                              ; preds = %248, %247
  %262 = load i32, ptr %25, align 4, !tbaa !20
  %263 = icmp slt i32 %262, 0
  br i1 %263, label %264, label %271

264:                                              ; preds = %261
  br label %265

265:                                              ; preds = %264
  %266 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 1, ptr %266, align 8, !tbaa !17
  %267 = load i64, ptr %18, align 8, !tbaa !13
  %268 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %267, ptr %268, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %313

269:                                              ; No predecessors!
  br label %270

270:                                              ; preds = %269
  br label %271

271:                                              ; preds = %270, %261
  %272 = load i32, ptr %21, align 4, !tbaa !20
  %273 = zext i32 %272 to i64
  %274 = load ptr, ptr %15, align 8, !tbaa !5
  %275 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %274, i32 0, i32 4
  %276 = load i64, ptr %275, align 8, !tbaa !30
  %277 = mul nsw i64 %273, %276
  %278 = load i64, ptr %18, align 8, !tbaa !13
  %279 = add nsw i64 %278, %277
  store i64 %279, ptr %18, align 8, !tbaa !13
  %280 = load ptr, ptr %17, align 8, !tbaa !5
  %281 = getelementptr inbounds %struct.BIT_STRING_s, ptr %280, i32 0, i32 0
  %282 = load ptr, ptr %281, align 8, !tbaa !26
  %283 = load ptr, ptr %17, align 8, !tbaa !5
  %284 = getelementptr inbounds %struct.BIT_STRING_s, ptr %283, i32 0, i32 1
  %285 = load i32, ptr %284, align 8, !tbaa !31
  %286 = sext i32 %285 to i64
  %287 = getelementptr inbounds i8, ptr %282, i64 %286
  store i8 0, ptr %287, align 1, !tbaa !33
  %288 = load i32, ptr %20, align 4, !tbaa !20
  %289 = icmp eq i32 %288, 0
  br i1 %289, label %290, label %306

290:                                              ; preds = %271
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #9
  %291 = load ptr, ptr %15, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %291, i32 0, i32 4
  %293 = load i64, ptr %292, align 8, !tbaa !30
  %294 = and i64 %293, 7
  %295 = trunc i64 %294 to i32
  store i32 %295, ptr %26, align 4, !tbaa !20
  %296 = load i32, ptr %26, align 4, !tbaa !20
  %297 = icmp ne i32 %296, 0
  br i1 %297, label %298, label %301

298:                                              ; preds = %290
  %299 = load i32, ptr %26, align 4, !tbaa !20
  %300 = sub nsw i32 8, %299
  br label %302

301:                                              ; preds = %290
  br label %302

302:                                              ; preds = %301, %298
  %303 = phi i32 [ %300, %298 ], [ 0, %301 ]
  %304 = load ptr, ptr %17, align 8, !tbaa !5
  %305 = getelementptr inbounds %struct.BIT_STRING_s, ptr %304, i32 0, i32 2
  store i32 %303, ptr %305, align 4, !tbaa !34
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #9
  br label %306

306:                                              ; preds = %302, %271
  br label %307

307:                                              ; preds = %306
  %308 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 0, ptr %308, align 8, !tbaa !17
  %309 = load i64, ptr %18, align 8, !tbaa !13
  %310 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %309, ptr %310, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %313

311:                                              ; No predecessors!
  br label %312

312:                                              ; preds = %311
  store i32 0, ptr %23, align 4
  br label %313

313:                                              ; preds = %312, %307, %265, %241
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #9
  %314 = load i32, ptr %23, align 4
  switch i32 %314, label %470 [
    i32 0, label %315
  ]

315:                                              ; preds = %313
  br label %316

316:                                              ; preds = %315, %212
  %317 = load ptr, ptr %17, align 8, !tbaa !5
  %318 = getelementptr inbounds %struct.BIT_STRING_s, ptr %317, i32 0, i32 1
  store i32 0, ptr %318, align 8, !tbaa !31
  br label %319

319:                                              ; preds = %458, %316
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #9
  %320 = load ptr, ptr %11, align 8, !tbaa !5
  %321 = load ptr, ptr %15, align 8, !tbaa !5
  %322 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %321, i32 0, i32 2
  %323 = load i32, ptr %322, align 8, !tbaa !25
  %324 = call i64 @uper_get_length(ptr noundef %320, i32 noundef %323, ptr noundef %19)
  store i64 %324, ptr %27, align 8, !tbaa !13
  %325 = load i64, ptr %27, align 8, !tbaa !13
  %326 = icmp slt i64 %325, 0
  br i1 %326, label %327, label %334

327:                                              ; preds = %319
  br label %328

328:                                              ; preds = %327
  %329 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 1, ptr %329, align 8, !tbaa !17
  %330 = load i64, ptr %18, align 8, !tbaa !13
  %331 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %330, ptr %331, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %455

332:                                              ; No predecessors!
  br label %333

333:                                              ; preds = %332
  br label %334

334:                                              ; preds = %333, %319
  %335 = load ptr, ptr %15, align 8, !tbaa !5
  %336 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %335, i32 0, i32 3
  %337 = load i64, ptr %336, align 8, !tbaa !32
  %338 = load i64, ptr %27, align 8, !tbaa !13
  %339 = add nsw i64 %338, %337
  store i64 %339, ptr %27, align 8, !tbaa !13
  %340 = load i32, ptr %20, align 4, !tbaa !20
  %341 = icmp ne i32 %340, 0
  br i1 %341, label %342, label %351

342:                                              ; preds = %334
  %343 = load i64, ptr %27, align 8, !tbaa !13
  %344 = load i32, ptr %20, align 4, !tbaa !20
  %345 = zext i32 %344 to i64
  %346 = mul nsw i64 %343, %345
  store i64 %346, ptr %28, align 8, !tbaa !13
  %347 = load i64, ptr %28, align 8, !tbaa !13
  %348 = load i32, ptr %21, align 4, !tbaa !20
  %349 = zext i32 %348 to i64
  %350 = mul nsw i64 %347, %349
  store i64 %350, ptr %29, align 8, !tbaa !13
  br label %367

351:                                              ; preds = %334
  %352 = load i64, ptr %27, align 8, !tbaa !13
  store i64 %352, ptr %29, align 8, !tbaa !13
  %353 = load i64, ptr %29, align 8, !tbaa !13
  %354 = add nsw i64 %353, 7
  %355 = ashr i64 %354, 3
  store i64 %355, ptr %28, align 8, !tbaa !13
  %356 = load i64, ptr %29, align 8, !tbaa !13
  %357 = and i64 %356, 7
  %358 = icmp ne i64 %357, 0
  br i1 %358, label %359, label %366

359:                                              ; preds = %351
  %360 = load i64, ptr %29, align 8, !tbaa !13
  %361 = and i64 %360, 7
  %362 = sub nsw i64 8, %361
  %363 = trunc i64 %362 to i32
  %364 = load ptr, ptr %17, align 8, !tbaa !5
  %365 = getelementptr inbounds %struct.BIT_STRING_s, ptr %364, i32 0, i32 2
  store i32 %363, ptr %365, align 4, !tbaa !34
  br label %366

366:                                              ; preds = %359, %351
  br label %367

367:                                              ; preds = %366, %342
  %368 = load ptr, ptr %17, align 8, !tbaa !5
  %369 = getelementptr inbounds %struct.BIT_STRING_s, ptr %368, i32 0, i32 0
  %370 = load ptr, ptr %369, align 8, !tbaa !26
  %371 = load ptr, ptr %17, align 8, !tbaa !5
  %372 = getelementptr inbounds %struct.BIT_STRING_s, ptr %371, i32 0, i32 1
  %373 = load i32, ptr %372, align 8, !tbaa !31
  %374 = sext i32 %373 to i64
  %375 = load i64, ptr %28, align 8, !tbaa !13
  %376 = add nsw i64 %374, %375
  %377 = add nsw i64 %376, 1
  %378 = call ptr @realloc(ptr noundef %370, i64 noundef %377) #12
  store ptr %378, ptr %30, align 8, !tbaa !5
  %379 = load ptr, ptr %30, align 8, !tbaa !5
  %380 = icmp ne ptr %379, null
  br i1 %380, label %388, label %381

381:                                              ; preds = %367
  br label %382

382:                                              ; preds = %381
  %383 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 2, ptr %383, align 8, !tbaa !17
  %384 = load i64, ptr %18, align 8, !tbaa !13
  %385 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %384, ptr %385, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %455

386:                                              ; No predecessors!
  br label %387

387:                                              ; preds = %386
  br label %388

388:                                              ; preds = %387, %367
  %389 = load ptr, ptr %30, align 8, !tbaa !5
  %390 = load ptr, ptr %17, align 8, !tbaa !5
  %391 = getelementptr inbounds %struct.BIT_STRING_s, ptr %390, i32 0, i32 0
  store ptr %389, ptr %391, align 8, !tbaa !26
  %392 = load i32, ptr %20, align 4, !tbaa !20
  %393 = icmp ne i32 %392, 0
  br i1 %393, label %394, label %425

394:                                              ; preds = %388
  %395 = load ptr, ptr %11, align 8, !tbaa !5
  %396 = load ptr, ptr %17, align 8, !tbaa !5
  %397 = getelementptr inbounds %struct.BIT_STRING_s, ptr %396, i32 0, i32 0
  %398 = load ptr, ptr %397, align 8, !tbaa !26
  %399 = load ptr, ptr %17, align 8, !tbaa !5
  %400 = getelementptr inbounds %struct.BIT_STRING_s, ptr %399, i32 0, i32 1
  %401 = load i32, ptr %400, align 8, !tbaa !31
  %402 = sext i32 %401 to i64
  %403 = getelementptr inbounds i8, ptr %398, i64 %402
  %404 = load i64, ptr %27, align 8, !tbaa !13
  %405 = load i32, ptr %20, align 4, !tbaa !20
  %406 = load i32, ptr %21, align 4, !tbaa !20
  %407 = load ptr, ptr %14, align 8, !tbaa !5
  %408 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %407, i32 0, i32 3
  %409 = load i64, ptr %408, align 8, !tbaa !32
  %410 = load ptr, ptr %14, align 8, !tbaa !5
  %411 = getelementptr inbounds %struct.asn_per_constraint_s, ptr %410, i32 0, i32 4
  %412 = load i64, ptr %411, align 8, !tbaa !30
  %413 = load ptr, ptr %13, align 8, !tbaa !5
  %414 = call i32 @OCTET_STRING_per_get_characters(ptr noundef %395, ptr noundef %403, i64 noundef %404, i32 noundef %405, i32 noundef %406, i64 noundef %409, i64 noundef %412, ptr noundef %413)
  store i32 %414, ptr %31, align 4, !tbaa !20
  %415 = load i32, ptr %31, align 4, !tbaa !20
  %416 = icmp sgt i32 %415, 0
  br i1 %416, label %417, label %424

417:                                              ; preds = %394
  br label %418

418:                                              ; preds = %417
  %419 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 2, ptr %419, align 8, !tbaa !17
  %420 = load i64, ptr %18, align 8, !tbaa !13
  %421 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %420, ptr %421, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %455

422:                                              ; No predecessors!
  br label %423

423:                                              ; preds = %422
  br label %424

424:                                              ; preds = %423, %394
  br label %438

425:                                              ; preds = %388
  %426 = load ptr, ptr %11, align 8, !tbaa !5
  %427 = load ptr, ptr %17, align 8, !tbaa !5
  %428 = getelementptr inbounds %struct.BIT_STRING_s, ptr %427, i32 0, i32 0
  %429 = load ptr, ptr %428, align 8, !tbaa !26
  %430 = load ptr, ptr %17, align 8, !tbaa !5
  %431 = getelementptr inbounds %struct.BIT_STRING_s, ptr %430, i32 0, i32 1
  %432 = load i32, ptr %431, align 8, !tbaa !31
  %433 = sext i32 %432 to i64
  %434 = getelementptr inbounds i8, ptr %429, i64 %433
  %435 = load i64, ptr %29, align 8, !tbaa !13
  %436 = trunc i64 %435 to i32
  %437 = call i32 @per_get_many_bits(ptr noundef %426, ptr noundef %434, i32 noundef 0, i32 noundef %436)
  store i32 %437, ptr %31, align 4, !tbaa !20
  br label %438

438:                                              ; preds = %425, %424
  %439 = load i32, ptr %31, align 4, !tbaa !20
  %440 = icmp slt i32 %439, 0
  br i1 %440, label %441, label %448

441:                                              ; preds = %438
  br label %442

442:                                              ; preds = %441
  %443 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 0
  store i32 1, ptr %443, align 8, !tbaa !17
  %444 = load i64, ptr %18, align 8, !tbaa !13
  %445 = getelementptr inbounds %struct.asn_dec_rval_s, ptr %6, i32 0, i32 1
  store i64 %444, ptr %445, align 8, !tbaa !19
  store i32 1, ptr %23, align 4
  br label %455

446:                                              ; No predecessors!
  br label %447

447:                                              ; preds = %446
  br label %448

448:                                              ; preds = %447, %438
  %449 = load i64, ptr %28, align 8, !tbaa !13
  %450 = trunc i64 %449 to i32
  %451 = load ptr, ptr %17, align 8, !tbaa !5
  %452 = getelementptr inbounds %struct.BIT_STRING_s, ptr %451, i32 0, i32 1
  %453 = load i32, ptr %452, align 8, !tbaa !31
  %454 = add nsw i32 %453, %450
  store i32 %454, ptr %452, align 8, !tbaa !31
  store i32 0, ptr %23, align 4
  br label %455

455:                                              ; preds = %448, %442, %418, %382, %328
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  %456 = load i32, ptr %23, align 4
  switch i32 %456, label %470 [
    i32 0, label %457
  ]

457:                                              ; preds = %455
  br label %458

458:                                              ; preds = %457
  %459 = load i32, ptr %19, align 4, !tbaa !20
  %460 = icmp ne i32 %459, 0
  br i1 %460, label %319, label %461, !llvm.loop !35

461:                                              ; preds = %458
  %462 = load ptr, ptr %17, align 8, !tbaa !5
  %463 = getelementptr inbounds %struct.BIT_STRING_s, ptr %462, i32 0, i32 0
  %464 = load ptr, ptr %463, align 8, !tbaa !26
  %465 = load ptr, ptr %17, align 8, !tbaa !5
  %466 = getelementptr inbounds %struct.BIT_STRING_s, ptr %465, i32 0, i32 1
  %467 = load i32, ptr %466, align 8, !tbaa !31
  %468 = sext i32 %467 to i64
  %469 = getelementptr inbounds i8, ptr %464, i64 %468
  store i8 0, ptr %469, align 1, !tbaa !33
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %6, ptr align 8 %16, i64 16, i1 false), !tbaa.struct !37
  store i32 1, ptr %23, align 4
  br label %470

470:                                              ; preds = %461, %455, %313, %205, %154, %123, %70
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %16) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #9
  %471 = load { i32, i64 }, ptr %6, align 8
  ret { i32, i64 } %471
}

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

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

; 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: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: nounwind allocsize(1)
declare ptr @realloc(ptr noundef, i64 noundef) #4

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #5

declare i32 @per_get_few_bits(ptr noundef, i32 noundef) #6

; Function Attrs: nounwind
declare void @free(ptr noundef) #7

; Function Attrs: nounwind allocsize(0)
declare noalias ptr @malloc(i64 noundef) #8

; Function Attrs: nounwind uwtable
declare hidden i32 @OCTET_STRING_per_get_characters(ptr noundef, ptr noundef, i64 noundef, i32 noundef, i32 noundef, i64 noundef, i64 noundef, ptr noundef) #0

declare i32 @per_get_many_bits(ptr noundef, ptr noundef, i32 noundef, i32 noundef) #6

declare i64 @uper_get_length(ptr noundef, i32 noundef, ptr noundef) #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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nounwind allocsize(0,1) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { nounwind allocsize(1) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #6 = { "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 #7 = { 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 #8 = { nounwind allocsize(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 #9 = { nounwind }
attributes #10 = { nounwind allocsize(0,1) }
attributes #11 = { nounwind allocsize(0) }
attributes #12 = { nounwind allocsize(1) }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !6, i64 152}
!10 = !{!"asn_TYPE_descriptor_s", !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, !11, i64 104, !6, i64 112, !11, i64 120, !6, i64 128, !6, i64 136, !11, i64 144, !6, i64 152}
!11 = !{!"int", !7, i64 0}
!12 = !{!10, !6, i64 128}
!13 = !{!14, !14, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{!16, !11, i64 8}
!16 = !{!"asn_OCTET_STRING_specifics_s", !11, i64 0, !11, i64 4, !11, i64 8}
!17 = !{!18, !11, i64 0}
!18 = !{!"asn_dec_rval_s", !11, i64 0, !14, i64 8}
!19 = !{!18, !14, i64 8}
!20 = !{!11, !11, i64 0}
!21 = !{!22, !11, i64 0}
!22 = !{!"asn_per_constraint_s", !11, i64 0, !11, i64 4, !11, i64 8, !14, i64 16, !14, i64 24}
!23 = !{!22, !11, i64 4}
!24 = !{!16, !11, i64 0}
!25 = !{!22, !11, i64 8}
!26 = !{!27, !6, i64 0}
!27 = !{!"BIT_STRING_s", !6, i64 0, !11, i64 8, !11, i64 12, !28, i64 16}
!28 = !{!"asn_struct_ctx_s", !29, i64 0, !29, i64 2, !11, i64 4, !6, i64 8, !14, i64 16}
!29 = !{!"short", !7, i64 0}
!30 = !{!22, !14, i64 24}
!31 = !{!27, !11, i64 8}
!32 = !{!22, !14, i64 16}
!33 = !{!7, !7, i64 0}
!34 = !{!27, !11, i64 12}
!35 = distinct !{!35, !36}
!36 = !{!"llvm.loop.mustprogress"}
!37 = !{i64 0, i64 4, !20, i64 8, i64 8, !13}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.asn_OCTET_STRING_specifics_s = type { i32, i32, i32 }
%struct.asn_per_constraints_s = type { %struct.asn_per_constraint_s, %struct.asn_per_constraint_s, ptr, ptr }
%struct.asn_per_constraint_s = type { i32, i32, i32, i64, i64 }

@asn_DEF_OCTET_STRING_specs = external hidden local_unnamed_addr constant %struct.asn_OCTET_STRING_specifics_s, align 4
@asn_DEF_OCTET_STRING_constraints = external hidden local_unnamed_addr constant %struct.asn_per_constraints_s, align 8

; Function Attrs: nounwind uwtable
define dso_local { i32, i64 } @OCTET_STRING_decode_uper(ptr nocapture noundef readnone %0, ptr nocapture noundef readonly %1, ptr noundef %2, ptr nocapture noundef %3, ptr noundef %4) local_unnamed_addr #0 {
  %6 = alloca i32, align 4
  %7 = getelementptr inbounds i8, ptr %1, i64 152
  %8 = load ptr, ptr %7, align 8, !tbaa !5
  %.not = icmp eq ptr %8, null
  %spec.select = select i1 %.not, ptr @asn_DEF_OCTET_STRING_specs, ptr %8
  %.not155 = icmp eq ptr %2, null
  br i1 %.not155, label %9, label %12

9:                                                ; preds = %5
  %10 = getelementptr inbounds i8, ptr %1, i64 128
  %11 = load ptr, ptr %10, align 8, !tbaa !11
  br label %12

12:                                               ; preds = %5, %9
  %13 = phi ptr [ %11, %9 ], [ %2, %5 ]
  %14 = load ptr, ptr %3, align 8, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %6) #7
  %.not156 = icmp eq ptr %13, null
  %15 = getelementptr inbounds i8, ptr %13, i64 32
  %.0140 = select i1 %.not156, ptr getelementptr inbounds (i8, ptr @asn_DEF_OCTET_STRING_constraints, i64 32), ptr %15
  %.0127 = select i1 %.not156, ptr @asn_DEF_OCTET_STRING_constraints, ptr %13
  %16 = getelementptr inbounds i8, ptr %spec.select, i64 8
  %17 = load i32, ptr %16, align 4, !tbaa !13
  switch i32 %17, label %.thread175 [
    i32 4, label %24
    i32 1, label %29
    i32 2, label %18
    i32 3, label %21
  ]

18:                                               ; preds = %12
  %19 = load i32, ptr %.0127, align 8, !tbaa !15
  %20 = and i32 %19, 2
  %.not158 = icmp eq i32 %20, 0
  br i1 %.not158, label %29, label %.sink.split

21:                                               ; preds = %12
  %22 = load i32, ptr %.0127, align 8, !tbaa !15
  %23 = and i32 %22, 2
  %.not157 = icmp eq i32 %23, 0
  br i1 %.not157, label %29, label %.sink.split

24:                                               ; preds = %12
  %25 = load i32, ptr %.0127, align 8, !tbaa !15
  %26 = and i32 %25, 2
  %.not159 = icmp eq i32 %26, 0
  br i1 %.not159, label %29, label %.sink.split

.sink.split:                                      ; preds = %24, %21, %18
  %.0136.ph = phi i32 [ 1, %18 ], [ 2, %21 ], [ 4, %24 ]
  %.0131.ph = phi i32 [ 8, %18 ], [ 16, %21 ], [ 32, %24 ]
  %27 = getelementptr inbounds i8, ptr %.0127, i64 4
  %28 = load i32, ptr %27, align 4, !tbaa !18
  br label %29

29:                                               ; preds = %.sink.split, %24, %21, %18, %12
  %.not164 = phi i1 [ true, %12 ], [ false, %18 ], [ false, %21 ], [ false, %24 ], [ false, %.sink.split ]
  %.0136 = phi i32 [ 0, %12 ], [ 1, %18 ], [ 2, %21 ], [ 4, %24 ], [ %.0136.ph, %.sink.split ]
  %.3135 = phi i32 [ %17, %12 ], [ 8, %18 ], [ 16, %21 ], [ 32, %24 ], [ %28, %.sink.split ]
  %.0131 = phi i32 [ %17, %12 ], [ 8, %18 ], [ 16, %21 ], [ 32, %24 ], [ %.0131.ph, %.sink.split ]
  %.not160 = icmp eq ptr %14, null
  br i1 %.not160, label %30, label %34

30:                                               ; preds = %29
  %31 = load i32, ptr %spec.select, align 4, !tbaa !19
  %32 = sext i32 %31 to i64
  %33 = tail call noalias ptr @calloc(i64 noundef 1, i64 noundef %32) #8
  store ptr %33, ptr %3, align 8, !tbaa !12
  %.not161 = icmp eq ptr %33, null
  br i1 %.not161, label %.thread175, label %34

34:                                               ; preds = %30, %29
  %.0139 = phi ptr [ %14, %29 ], [ %33, %30 ]
  %35 = load i32, ptr %.0140, align 8, !tbaa !15
  %36 = and i32 %35, 4
  %.not162 = icmp eq i32 %36, 0
  br i1 %.not162, label %40, label %37

37:                                               ; preds = %34
  %38 = tail call i32 @per_get_few_bits(ptr noundef %4, i32 noundef 1) #7
  %39 = icmp sgt i32 %38, -1
  %.not163 = icmp eq i32 %38, 0
  %.1141 = select i1 %.not163, ptr %.0140, ptr getelementptr inbounds (i8, ptr @asn_DEF_OCTET_STRING_constraints, i64 32)
  %.4 = select i1 %.not163, i32 %.3135, i32 %.0131
  %.1 = select i1 %.not163, ptr %.0127, ptr @asn_DEF_OCTET_STRING_constraints
  br i1 %39, label %40, label %.thread175

40:                                               ; preds = %37, %34
  %.3143 = phi ptr [ %.1141, %37 ], [ %.0140, %34 ]
  %.6 = phi i32 [ %.4, %37 ], [ %.3135, %34 ]
  %.3 = phi ptr [ %.1, %37 ], [ %.0127, %34 ]
  %41 = getelementptr inbounds i8, ptr %.3143, i64 8
  %42 = load i32, ptr %41, align 8, !tbaa !20
  %43 = icmp sgt i32 %42, -1
  br i1 %43, label %44, label %.thread

44:                                               ; preds = %40
  %45 = load ptr, ptr %.0139, align 8, !tbaa !21
  tail call void @free(ptr noundef %45) #7
  %46 = getelementptr inbounds i8, ptr %.3143, i64 24
  %47 = load i64, ptr %46, align 8, !tbaa !25
  %48 = add nsw i64 %47, 7
  %49 = lshr i64 %48, 3
  %50 = trunc i64 %49 to i32
  %51 = trunc i64 %47 to i32
  %52 = mul i32 %.0136, %51
  %.sink = select i1 %.not164, i32 %50, i32 %52
  %53 = getelementptr inbounds i8, ptr %.0139, i64 8
  store i32 %.sink, ptr %53, align 8
  %54 = sext i32 %.sink to i64
  %55 = add nsw i64 %54, 1
  %56 = tail call noalias ptr @malloc(i64 noundef %55) #9
  store ptr %56, ptr %.0139, align 8, !tbaa !21
  %.not165 = icmp eq ptr %56, null
  br i1 %.not165, label %57, label %58

57:                                               ; preds = %44
  store i32 0, ptr %53, align 8, !tbaa !26
  br label %.thread175

58:                                               ; preds = %44
  %.pr = load i32, ptr %41, align 8, !tbaa !20
  %59 = icmp eq i32 %.pr, 0
  br i1 %59, label %60, label %.thread

60:                                               ; preds = %58
  %61 = getelementptr inbounds i8, ptr %.3143, i64 24
  %62 = load i64, ptr %61, align 8, !tbaa !25
  br i1 %.not164, label %70, label %63

63:                                               ; preds = %60
  %64 = getelementptr inbounds i8, ptr %.3, i64 16
  %65 = load i64, ptr %64, align 8, !tbaa !27
  %66 = getelementptr inbounds i8, ptr %.3, i64 24
  %67 = load i64, ptr %66, align 8, !tbaa !25
  %68 = tail call i32 @OCTET_STRING_per_get_characters(ptr noundef %4, ptr noundef nonnull %56, i64 noundef %62, i32 noundef %.0136, i32 noundef %.6, i64 noundef %65, i64 noundef %67, ptr noundef %13)
  %69 = icmp sgt i32 %68, 0
  br i1 %69, label %.thread175, label %.thread172

70:                                               ; preds = %60
  %71 = trunc i64 %62 to i32
  %72 = mul i32 %.6, %71
  %73 = tail call i32 @per_get_many_bits(ptr noundef %4, ptr noundef nonnull %56, i32 noundef 0, i32 noundef %72) #7
  %74 = icmp slt i32 %73, 0
  br i1 %74, label %.thread175, label %83

.thread172:                                       ; preds = %63
  %75 = icmp slt i32 %68, 0
  br i1 %75, label %.thread175, label %.thread174

.thread174:                                       ; preds = %.thread172
  %76 = zext i32 %.6 to i64
  %77 = load i64, ptr %61, align 8, !tbaa !25
  %78 = mul nsw i64 %77, %76
  %79 = load ptr, ptr %.0139, align 8, !tbaa !21
  %80 = load i32, ptr %53, align 8, !tbaa !26
  %81 = sext i32 %80 to i64
  %82 = getelementptr inbounds i8, ptr %79, i64 %81
  store i8 0, ptr %82, align 1, !tbaa !28
  br label %.thread175

83:                                               ; preds = %70
  %84 = zext i32 %.6 to i64
  %85 = load i64, ptr %61, align 8, !tbaa !25
  %86 = mul nsw i64 %85, %84
  %87 = load ptr, ptr %.0139, align 8, !tbaa !21
  %88 = load i32, ptr %53, align 8, !tbaa !26
  %89 = sext i32 %88 to i64
  %90 = getelementptr inbounds i8, ptr %87, i64 %89
  store i8 0, ptr %90, align 1, !tbaa !28
  %91 = load i64, ptr %61, align 8, !tbaa !25
  %92 = trunc i64 %91 to i32
  %93 = and i32 %92, 7
  %.not171 = icmp eq i32 %93, 0
  %94 = sub nuw nsw i32 8, %93
  %95 = select i1 %.not171, i32 0, i32 %94
  %96 = getelementptr inbounds i8, ptr %.0139, i64 12
  store i32 %95, ptr %96, align 4, !tbaa !29
  br label %.thread175

.thread:                                          ; preds = %40, %58
  %97 = getelementptr inbounds i8, ptr %.0139, i64 8
  store i32 0, ptr %97, align 8, !tbaa !26
  %98 = getelementptr inbounds i8, ptr %.3143, i64 16
  %99 = zext nneg i32 %.0136 to i64
  %100 = getelementptr inbounds i8, ptr %.0139, i64 12
  %101 = getelementptr inbounds i8, ptr %.3, i64 16
  %102 = getelementptr inbounds i8, ptr %.3, i64 24
  br i1 %.not164, label %.thread.split.us, label %.thread.split

.thread.split.us:                                 ; preds = %.thread, %129
  %103 = load i32, ptr %41, align 8, !tbaa !20
  %104 = call i64 @uper_get_length(ptr noundef %4, i32 noundef %103, ptr noundef nonnull %6) #7
  %105 = icmp slt i64 %104, 0
  br i1 %105, label %.thread175, label %106

106:                                              ; preds = %.thread.split.us
  %107 = load i64, ptr %98, align 8, !tbaa !27
  %108 = add nsw i64 %107, %104
  %109 = add nsw i64 %108, 7
  %110 = ashr i64 %109, 3
  %111 = and i64 %108, 7
  %.not167.us = icmp eq i64 %111, 0
  br i1 %.not167.us, label %115, label %112

112:                                              ; preds = %106
  %113 = trunc nuw nsw i64 %111 to i32
  %114 = sub nuw nsw i32 8, %113
  store i32 %114, ptr %100, align 4, !tbaa !29
  br label %115

115:                                              ; preds = %112, %106
  %116 = load ptr, ptr %.0139, align 8, !tbaa !21
  %117 = load i32, ptr %97, align 8, !tbaa !26
  %118 = sext i32 %117 to i64
  %119 = add nsw i64 %110, 1
  %120 = add nsw i64 %119, %118
  %121 = call ptr @realloc(ptr noundef %116, i64 noundef %120) #10
  %.not168.us = icmp eq ptr %121, null
  br i1 %.not168.us, label %.thread175, label %122

122:                                              ; preds = %115
  store ptr %121, ptr %.0139, align 8, !tbaa !21
  %123 = load i32, ptr %97, align 8, !tbaa !26
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds i8, ptr %121, i64 %124
  %126 = trunc i64 %108 to i32
  %127 = call i32 @per_get_many_bits(ptr noundef %4, ptr noundef nonnull %125, i32 noundef 0, i32 noundef %126) #7
  %128 = icmp slt i32 %127, 0
  br i1 %128, label %.thread175, label %129

129:                                              ; preds = %122
  %130 = trunc i64 %110 to i32
  %131 = load i32, ptr %97, align 8, !tbaa !26
  %132 = add nsw i32 %131, %130
  store i32 %132, ptr %97, align 8, !tbaa !26
  %133 = load i32, ptr %6, align 4, !tbaa !30
  %.not169.us = icmp eq i32 %133, 0
  br i1 %.not169.us, label %.split.us, label %.thread.split.us, !llvm.loop !31

.thread.split:                                    ; preds = %.thread, %157
  %134 = load i32, ptr %41, align 8, !tbaa !20
  %135 = call i64 @uper_get_length(ptr noundef %4, i32 noundef %134, ptr noundef nonnull %6) #7
  %136 = icmp slt i64 %135, 0
  br i1 %136, label %.thread175, label %137

137:                                              ; preds = %.thread.split
  %138 = load i64, ptr %98, align 8, !tbaa !27
  %139 = add nsw i64 %138, %135
  %140 = mul nsw i64 %139, %99
  %141 = load ptr, ptr %.0139, align 8, !tbaa !21
  %142 = load i32, ptr %97, align 8, !tbaa !26
  %143 = sext i32 %142 to i64
  %144 = add i64 %140, 1
  %145 = add i64 %144, %143
  %146 = call ptr @realloc(ptr noundef %141, i64 noundef %145) #10
  %.not168 = icmp eq ptr %146, null
  br i1 %.not168, label %.thread175, label %147

147:                                              ; preds = %137
  store ptr %146, ptr %.0139, align 8, !tbaa !21
  %148 = load i32, ptr %97, align 8, !tbaa !26
  %149 = sext i32 %148 to i64
  %150 = getelementptr inbounds i8, ptr %146, i64 %149
  %151 = load i64, ptr %101, align 8, !tbaa !27
  %152 = load i64, ptr %102, align 8, !tbaa !25
  %153 = call i32 @OCTET_STRING_per_get_characters(ptr noundef %4, ptr noundef nonnull %150, i64 noundef %139, i32 noundef %.0136, i32 noundef %.6, i64 noundef %151, i64 noundef %152, ptr noundef %13)
  %154 = icmp sgt i32 %153, 0
  br i1 %154, label %.thread175, label %155

155:                                              ; preds = %147
  %156 = icmp slt i32 %153, 0
  br i1 %156, label %.thread175, label %157

157:                                              ; preds = %155
  %158 = trunc i64 %140 to i32
  %159 = load i32, ptr %97, align 8, !tbaa !26
  %160 = add nsw i32 %159, %158
  store i32 %160, ptr %97, align 8, !tbaa !26
  %161 = load i32, ptr %6, align 4, !tbaa !30
  %.not169 = icmp eq i32 %161, 0
  br i1 %.not169, label %.split.us, label %.thread.split, !llvm.loop !31

.split.us:                                        ; preds = %157, %129
  %162 = phi i32 [ %132, %129 ], [ %160, %157 ]
  %163 = load ptr, ptr %.0139, align 8, !tbaa !21
  %164 = sext i32 %162 to i64
  %165 = getelementptr inbounds i8, ptr %163, i64 %164
  store i8 0, ptr %165, align 1, !tbaa !28
  br label %.thread175

.thread175:                                       ; preds = %.thread.split, %137, %147, %155, %122, %115, %.thread.split.us, %.thread174, %.thread172, %63, %70, %83, %30, %12, %37, %.split.us, %57
  %.sroa.0.6 = phi i32 [ 0, %.split.us ], [ 2, %57 ], [ 1, %37 ], [ 2, %12 ], [ 2, %30 ], [ 2, %63 ], [ 1, %70 ], [ 0, %83 ], [ 1, %.thread172 ], [ 0, %.thread174 ], [ 1, %.thread.split.us ], [ 2, %115 ], [ 1, %122 ], [ 1, %.thread.split ], [ 2, %137 ], [ 2, %147 ], [ 1, %155 ]
  %.sroa.13122.6 = phi i64 [ 0, %.split.us ], [ 0, %57 ], [ 0, %37 ], [ 0, %12 ], [ 0, %30 ], [ 0, %63 ], [ 0, %70 ], [ %86, %83 ], [ 0, %.thread172 ], [ %78, %.thread174 ], [ 0, %.thread.split.us ], [ 0, %115 ], [ 0, %122 ], [ 0, %155 ], [ 0, %147 ], [ 0, %137 ], [ 0, %.thread.split ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #7
  %.fca.0.insert = insertvalue { i32, i64 } poison, i32 %.sroa.0.6, 0
  %.fca.1.insert = insertvalue { i32, i64 } %.fca.0.insert, i64 %.sroa.13122.6, 1
  ret { i32, i64 } %.fca.1.insert
}

; 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 nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @calloc(i64 noundef, i64 noundef) local_unnamed_addr #2

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

; Function Attrs: mustprogress nounwind willreturn allockind("realloc") allocsize(1) memory(argmem: readwrite, inaccessiblemem: readwrite)
declare noalias noundef ptr @realloc(ptr allocptr nocapture noundef, i64 noundef) local_unnamed_addr #3

declare i32 @per_get_few_bits(ptr noundef, i32 noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #5

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

; Function Attrs: nounwind uwtable
declare hidden i32 @OCTET_STRING_per_get_characters(ptr noundef, ptr noundef, i64 noundef, i32 noundef, i32 noundef, i64 noundef, i64 noundef, ptr noundef) local_unnamed_addr #0

declare i32 @per_get_many_bits(ptr noundef, ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #4

declare i64 @uper_get_length(ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #4

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 = { mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nounwind willreturn allockind("realloc") allocsize(1) memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { "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 nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nounwind }
attributes #8 = { nounwind allocsize(0,1) }
attributes #9 = { nounwind allocsize(0) }
attributes #10 = { nounwind allocsize(1) }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 152}
!6 = !{!"asn_TYPE_descriptor_s", !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, !7, i64 96, !10, i64 104, !7, i64 112, !10, i64 120, !7, i64 128, !7, i64 136, !10, i64 144, !7, i64 152}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!6, !7, i64 128}
!12 = !{!7, !7, i64 0}
!13 = !{!14, !10, i64 8}
!14 = !{!"asn_OCTET_STRING_specifics_s", !10, i64 0, !10, i64 4, !10, i64 8}
!15 = !{!16, !10, i64 0}
!16 = !{!"asn_per_constraint_s", !10, i64 0, !10, i64 4, !10, i64 8, !17, i64 16, !17, i64 24}
!17 = !{!"long", !8, i64 0}
!18 = !{!16, !10, i64 4}
!19 = !{!14, !10, i64 0}
!20 = !{!16, !10, i64 8}
!21 = !{!22, !7, i64 0}
!22 = !{!"BIT_STRING_s", !7, i64 0, !10, i64 8, !10, i64 12, !23, i64 16}
!23 = !{!"asn_struct_ctx_s", !24, i64 0, !24, i64 2, !10, i64 4, !7, i64 8, !17, i64 16}
!24 = !{!"short", !8, i64 0}
!25 = !{!16, !17, i64 24}
!26 = !{!22, !10, i64 8}
!27 = !{!16, !17, i64 16}
!28 = !{!8, !8, i64 0}
!29 = !{!22, !10, i64 12}
!30 = !{!10, !10, i64 0}
!31 = distinct !{!31, !32}
!32 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: CorrelatedValuePropagationPass,DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,MergedLoadStoreMotionPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass