; LLVM IR from apple/turicreate :: deps/src/libsodium-0.7.1/src/libsodium/crypto_verify/64/ref (verify_64)

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

; Function Attrs: nounwind uwtable
define dso_local i32 @crypto_verify_64(ptr noundef %0, ptr noundef %1) #0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #2
  store i32 0, ptr %5, align 4, !tbaa !9
  %6 = load ptr, ptr %3, align 8, !tbaa !5
  %7 = getelementptr inbounds i8, ptr %6, i64 0
  %8 = load i8, ptr %7, align 1, !tbaa !11
  %9 = zext i8 %8 to i32
  %10 = load ptr, ptr %4, align 8, !tbaa !5
  %11 = getelementptr inbounds i8, ptr %10, i64 0
  %12 = load i8, ptr %11, align 1, !tbaa !11
  %13 = zext i8 %12 to i32
  %14 = xor i32 %9, %13
  %15 = load i32, ptr %5, align 4, !tbaa !9
  %16 = or i32 %15, %14
  store i32 %16, ptr %5, align 4, !tbaa !9
  %17 = load ptr, ptr %3, align 8, !tbaa !5
  %18 = getelementptr inbounds i8, ptr %17, i64 1
  %19 = load i8, ptr %18, align 1, !tbaa !11
  %20 = zext i8 %19 to i32
  %21 = load ptr, ptr %4, align 8, !tbaa !5
  %22 = getelementptr inbounds i8, ptr %21, i64 1
  %23 = load i8, ptr %22, align 1, !tbaa !11
  %24 = zext i8 %23 to i32
  %25 = xor i32 %20, %24
  %26 = load i32, ptr %5, align 4, !tbaa !9
  %27 = or i32 %26, %25
  store i32 %27, ptr %5, align 4, !tbaa !9
  %28 = load ptr, ptr %3, align 8, !tbaa !5
  %29 = getelementptr inbounds i8, ptr %28, i64 2
  %30 = load i8, ptr %29, align 1, !tbaa !11
  %31 = zext i8 %30 to i32
  %32 = load ptr, ptr %4, align 8, !tbaa !5
  %33 = getelementptr inbounds i8, ptr %32, i64 2
  %34 = load i8, ptr %33, align 1, !tbaa !11
  %35 = zext i8 %34 to i32
  %36 = xor i32 %31, %35
  %37 = load i32, ptr %5, align 4, !tbaa !9
  %38 = or i32 %37, %36
  store i32 %38, ptr %5, align 4, !tbaa !9
  %39 = load ptr, ptr %3, align 8, !tbaa !5
  %40 = getelementptr inbounds i8, ptr %39, i64 3
  %41 = load i8, ptr %40, align 1, !tbaa !11
  %42 = zext i8 %41 to i32
  %43 = load ptr, ptr %4, align 8, !tbaa !5
  %44 = getelementptr inbounds i8, ptr %43, i64 3
  %45 = load i8, ptr %44, align 1, !tbaa !11
  %46 = zext i8 %45 to i32
  %47 = xor i32 %42, %46
  %48 = load i32, ptr %5, align 4, !tbaa !9
  %49 = or i32 %48, %47
  store i32 %49, ptr %5, align 4, !tbaa !9
  %50 = load ptr, ptr %3, align 8, !tbaa !5
  %51 = getelementptr inbounds i8, ptr %50, i64 4
  %52 = load i8, ptr %51, align 1, !tbaa !11
  %53 = zext i8 %52 to i32
  %54 = load ptr, ptr %4, align 8, !tbaa !5
  %55 = getelementptr inbounds i8, ptr %54, i64 4
  %56 = load i8, ptr %55, align 1, !tbaa !11
  %57 = zext i8 %56 to i32
  %58 = xor i32 %53, %57
  %59 = load i32, ptr %5, align 4, !tbaa !9
  %60 = or i32 %59, %58
  store i32 %60, ptr %5, align 4, !tbaa !9
  %61 = load ptr, ptr %3, align 8, !tbaa !5
  %62 = getelementptr inbounds i8, ptr %61, i64 5
  %63 = load i8, ptr %62, align 1, !tbaa !11
  %64 = zext i8 %63 to i32
  %65 = load ptr, ptr %4, align 8, !tbaa !5
  %66 = getelementptr inbounds i8, ptr %65, i64 5
  %67 = load i8, ptr %66, align 1, !tbaa !11
  %68 = zext i8 %67 to i32
  %69 = xor i32 %64, %68
  %70 = load i32, ptr %5, align 4, !tbaa !9
  %71 = or i32 %70, %69
  store i32 %71, ptr %5, align 4, !tbaa !9
  %72 = load ptr, ptr %3, align 8, !tbaa !5
  %73 = getelementptr inbounds i8, ptr %72, i64 6
  %74 = load i8, ptr %73, align 1, !tbaa !11
  %75 = zext i8 %74 to i32
  %76 = load ptr, ptr %4, align 8, !tbaa !5
  %77 = getelementptr inbounds i8, ptr %76, i64 6
  %78 = load i8, ptr %77, align 1, !tbaa !11
  %79 = zext i8 %78 to i32
  %80 = xor i32 %75, %79
  %81 = load i32, ptr %5, align 4, !tbaa !9
  %82 = or i32 %81, %80
  store i32 %82, ptr %5, align 4, !tbaa !9
  %83 = load ptr, ptr %3, align 8, !tbaa !5
  %84 = getelementptr inbounds i8, ptr %83, i64 7
  %85 = load i8, ptr %84, align 1, !tbaa !11
  %86 = zext i8 %85 to i32
  %87 = load ptr, ptr %4, align 8, !tbaa !5
  %88 = getelementptr inbounds i8, ptr %87, i64 7
  %89 = load i8, ptr %88, align 1, !tbaa !11
  %90 = zext i8 %89 to i32
  %91 = xor i32 %86, %90
  %92 = load i32, ptr %5, align 4, !tbaa !9
  %93 = or i32 %92, %91
  store i32 %93, ptr %5, align 4, !tbaa !9
  %94 = load ptr, ptr %3, align 8, !tbaa !5
  %95 = getelementptr inbounds i8, ptr %94, i64 8
  %96 = load i8, ptr %95, align 1, !tbaa !11
  %97 = zext i8 %96 to i32
  %98 = load ptr, ptr %4, align 8, !tbaa !5
  %99 = getelementptr inbounds i8, ptr %98, i64 8
  %100 = load i8, ptr %99, align 1, !tbaa !11
  %101 = zext i8 %100 to i32
  %102 = xor i32 %97, %101
  %103 = load i32, ptr %5, align 4, !tbaa !9
  %104 = or i32 %103, %102
  store i32 %104, ptr %5, align 4, !tbaa !9
  %105 = load ptr, ptr %3, align 8, !tbaa !5
  %106 = getelementptr inbounds i8, ptr %105, i64 9
  %107 = load i8, ptr %106, align 1, !tbaa !11
  %108 = zext i8 %107 to i32
  %109 = load ptr, ptr %4, align 8, !tbaa !5
  %110 = getelementptr inbounds i8, ptr %109, i64 9
  %111 = load i8, ptr %110, align 1, !tbaa !11
  %112 = zext i8 %111 to i32
  %113 = xor i32 %108, %112
  %114 = load i32, ptr %5, align 4, !tbaa !9
  %115 = or i32 %114, %113
  store i32 %115, ptr %5, align 4, !tbaa !9
  %116 = load ptr, ptr %3, align 8, !tbaa !5
  %117 = getelementptr inbounds i8, ptr %116, i64 10
  %118 = load i8, ptr %117, align 1, !tbaa !11
  %119 = zext i8 %118 to i32
  %120 = load ptr, ptr %4, align 8, !tbaa !5
  %121 = getelementptr inbounds i8, ptr %120, i64 10
  %122 = load i8, ptr %121, align 1, !tbaa !11
  %123 = zext i8 %122 to i32
  %124 = xor i32 %119, %123
  %125 = load i32, ptr %5, align 4, !tbaa !9
  %126 = or i32 %125, %124
  store i32 %126, ptr %5, align 4, !tbaa !9
  %127 = load ptr, ptr %3, align 8, !tbaa !5
  %128 = getelementptr inbounds i8, ptr %127, i64 11
  %129 = load i8, ptr %128, align 1, !tbaa !11
  %130 = zext i8 %129 to i32
  %131 = load ptr, ptr %4, align 8, !tbaa !5
  %132 = getelementptr inbounds i8, ptr %131, i64 11
  %133 = load i8, ptr %132, align 1, !tbaa !11
  %134 = zext i8 %133 to i32
  %135 = xor i32 %130, %134
  %136 = load i32, ptr %5, align 4, !tbaa !9
  %137 = or i32 %136, %135
  store i32 %137, ptr %5, align 4, !tbaa !9
  %138 = load ptr, ptr %3, align 8, !tbaa !5
  %139 = getelementptr inbounds i8, ptr %138, i64 12
  %140 = load i8, ptr %139, align 1, !tbaa !11
  %141 = zext i8 %140 to i32
  %142 = load ptr, ptr %4, align 8, !tbaa !5
  %143 = getelementptr inbounds i8, ptr %142, i64 12
  %144 = load i8, ptr %143, align 1, !tbaa !11
  %145 = zext i8 %144 to i32
  %146 = xor i32 %141, %145
  %147 = load i32, ptr %5, align 4, !tbaa !9
  %148 = or i32 %147, %146
  store i32 %148, ptr %5, align 4, !tbaa !9
  %149 = load ptr, ptr %3, align 8, !tbaa !5
  %150 = getelementptr inbounds i8, ptr %149, i64 13
  %151 = load i8, ptr %150, align 1, !tbaa !11
  %152 = zext i8 %151 to i32
  %153 = load ptr, ptr %4, align 8, !tbaa !5
  %154 = getelementptr inbounds i8, ptr %153, i64 13
  %155 = load i8, ptr %154, align 1, !tbaa !11
  %156 = zext i8 %155 to i32
  %157 = xor i32 %152, %156
  %158 = load i32, ptr %5, align 4, !tbaa !9
  %159 = or i32 %158, %157
  store i32 %159, ptr %5, align 4, !tbaa !9
  %160 = load ptr, ptr %3, align 8, !tbaa !5
  %161 = getelementptr inbounds i8, ptr %160, i64 14
  %162 = load i8, ptr %161, align 1, !tbaa !11
  %163 = zext i8 %162 to i32
  %164 = load ptr, ptr %4, align 8, !tbaa !5
  %165 = getelementptr inbounds i8, ptr %164, i64 14
  %166 = load i8, ptr %165, align 1, !tbaa !11
  %167 = zext i8 %166 to i32
  %168 = xor i32 %163, %167
  %169 = load i32, ptr %5, align 4, !tbaa !9
  %170 = or i32 %169, %168
  store i32 %170, ptr %5, align 4, !tbaa !9
  %171 = load ptr, ptr %3, align 8, !tbaa !5
  %172 = getelementptr inbounds i8, ptr %171, i64 15
  %173 = load i8, ptr %172, align 1, !tbaa !11
  %174 = zext i8 %173 to i32
  %175 = load ptr, ptr %4, align 8, !tbaa !5
  %176 = getelementptr inbounds i8, ptr %175, i64 15
  %177 = load i8, ptr %176, align 1, !tbaa !11
  %178 = zext i8 %177 to i32
  %179 = xor i32 %174, %178
  %180 = load i32, ptr %5, align 4, !tbaa !9
  %181 = or i32 %180, %179
  store i32 %181, ptr %5, align 4, !tbaa !9
  %182 = load ptr, ptr %3, align 8, !tbaa !5
  %183 = getelementptr inbounds i8, ptr %182, i64 16
  %184 = load i8, ptr %183, align 1, !tbaa !11
  %185 = zext i8 %184 to i32
  %186 = load ptr, ptr %4, align 8, !tbaa !5
  %187 = getelementptr inbounds i8, ptr %186, i64 16
  %188 = load i8, ptr %187, align 1, !tbaa !11
  %189 = zext i8 %188 to i32
  %190 = xor i32 %185, %189
  %191 = load i32, ptr %5, align 4, !tbaa !9
  %192 = or i32 %191, %190
  store i32 %192, ptr %5, align 4, !tbaa !9
  %193 = load ptr, ptr %3, align 8, !tbaa !5
  %194 = getelementptr inbounds i8, ptr %193, i64 17
  %195 = load i8, ptr %194, align 1, !tbaa !11
  %196 = zext i8 %195 to i32
  %197 = load ptr, ptr %4, align 8, !tbaa !5
  %198 = getelementptr inbounds i8, ptr %197, i64 17
  %199 = load i8, ptr %198, align 1, !tbaa !11
  %200 = zext i8 %199 to i32
  %201 = xor i32 %196, %200
  %202 = load i32, ptr %5, align 4, !tbaa !9
  %203 = or i32 %202, %201
  store i32 %203, ptr %5, align 4, !tbaa !9
  %204 = load ptr, ptr %3, align 8, !tbaa !5
  %205 = getelementptr inbounds i8, ptr %204, i64 18
  %206 = load i8, ptr %205, align 1, !tbaa !11
  %207 = zext i8 %206 to i32
  %208 = load ptr, ptr %4, align 8, !tbaa !5
  %209 = getelementptr inbounds i8, ptr %208, i64 18
  %210 = load i8, ptr %209, align 1, !tbaa !11
  %211 = zext i8 %210 to i32
  %212 = xor i32 %207, %211
  %213 = load i32, ptr %5, align 4, !tbaa !9
  %214 = or i32 %213, %212
  store i32 %214, ptr %5, align 4, !tbaa !9
  %215 = load ptr, ptr %3, align 8, !tbaa !5
  %216 = getelementptr inbounds i8, ptr %215, i64 19
  %217 = load i8, ptr %216, align 1, !tbaa !11
  %218 = zext i8 %217 to i32
  %219 = load ptr, ptr %4, align 8, !tbaa !5
  %220 = getelementptr inbounds i8, ptr %219, i64 19
  %221 = load i8, ptr %220, align 1, !tbaa !11
  %222 = zext i8 %221 to i32
  %223 = xor i32 %218, %222
  %224 = load i32, ptr %5, align 4, !tbaa !9
  %225 = or i32 %224, %223
  store i32 %225, ptr %5, align 4, !tbaa !9
  %226 = load ptr, ptr %3, align 8, !tbaa !5
  %227 = getelementptr inbounds i8, ptr %226, i64 20
  %228 = load i8, ptr %227, align 1, !tbaa !11
  %229 = zext i8 %228 to i32
  %230 = load ptr, ptr %4, align 8, !tbaa !5
  %231 = getelementptr inbounds i8, ptr %230, i64 20
  %232 = load i8, ptr %231, align 1, !tbaa !11
  %233 = zext i8 %232 to i32
  %234 = xor i32 %229, %233
  %235 = load i32, ptr %5, align 4, !tbaa !9
  %236 = or i32 %235, %234
  store i32 %236, ptr %5, align 4, !tbaa !9
  %237 = load ptr, ptr %3, align 8, !tbaa !5
  %238 = getelementptr inbounds i8, ptr %237, i64 21
  %239 = load i8, ptr %238, align 1, !tbaa !11
  %240 = zext i8 %239 to i32
  %241 = load ptr, ptr %4, align 8, !tbaa !5
  %242 = getelementptr inbounds i8, ptr %241, i64 21
  %243 = load i8, ptr %242, align 1, !tbaa !11
  %244 = zext i8 %243 to i32
  %245 = xor i32 %240, %244
  %246 = load i32, ptr %5, align 4, !tbaa !9
  %247 = or i32 %246, %245
  store i32 %247, ptr %5, align 4, !tbaa !9
  %248 = load ptr, ptr %3, align 8, !tbaa !5
  %249 = getelementptr inbounds i8, ptr %248, i64 22
  %250 = load i8, ptr %249, align 1, !tbaa !11
  %251 = zext i8 %250 to i32
  %252 = load ptr, ptr %4, align 8, !tbaa !5
  %253 = getelementptr inbounds i8, ptr %252, i64 22
  %254 = load i8, ptr %253, align 1, !tbaa !11
  %255 = zext i8 %254 to i32
  %256 = xor i32 %251, %255
  %257 = load i32, ptr %5, align 4, !tbaa !9
  %258 = or i32 %257, %256
  store i32 %258, ptr %5, align 4, !tbaa !9
  %259 = load ptr, ptr %3, align 8, !tbaa !5
  %260 = getelementptr inbounds i8, ptr %259, i64 23
  %261 = load i8, ptr %260, align 1, !tbaa !11
  %262 = zext i8 %261 to i32
  %263 = load ptr, ptr %4, align 8, !tbaa !5
  %264 = getelementptr inbounds i8, ptr %263, i64 23
  %265 = load i8, ptr %264, align 1, !tbaa !11
  %266 = zext i8 %265 to i32
  %267 = xor i32 %262, %266
  %268 = load i32, ptr %5, align 4, !tbaa !9
  %269 = or i32 %268, %267
  store i32 %269, ptr %5, align 4, !tbaa !9
  %270 = load ptr, ptr %3, align 8, !tbaa !5
  %271 = getelementptr inbounds i8, ptr %270, i64 24
  %272 = load i8, ptr %271, align 1, !tbaa !11
  %273 = zext i8 %272 to i32
  %274 = load ptr, ptr %4, align 8, !tbaa !5
  %275 = getelementptr inbounds i8, ptr %274, i64 24
  %276 = load i8, ptr %275, align 1, !tbaa !11
  %277 = zext i8 %276 to i32
  %278 = xor i32 %273, %277
  %279 = load i32, ptr %5, align 4, !tbaa !9
  %280 = or i32 %279, %278
  store i32 %280, ptr %5, align 4, !tbaa !9
  %281 = load ptr, ptr %3, align 8, !tbaa !5
  %282 = getelementptr inbounds i8, ptr %281, i64 25
  %283 = load i8, ptr %282, align 1, !tbaa !11
  %284 = zext i8 %283 to i32
  %285 = load ptr, ptr %4, align 8, !tbaa !5
  %286 = getelementptr inbounds i8, ptr %285, i64 25
  %287 = load i8, ptr %286, align 1, !tbaa !11
  %288 = zext i8 %287 to i32
  %289 = xor i32 %284, %288
  %290 = load i32, ptr %5, align 4, !tbaa !9
  %291 = or i32 %290, %289
  store i32 %291, ptr %5, align 4, !tbaa !9
  %292 = load ptr, ptr %3, align 8, !tbaa !5
  %293 = getelementptr inbounds i8, ptr %292, i64 26
  %294 = load i8, ptr %293, align 1, !tbaa !11
  %295 = zext i8 %294 to i32
  %296 = load ptr, ptr %4, align 8, !tbaa !5
  %297 = getelementptr inbounds i8, ptr %296, i64 26
  %298 = load i8, ptr %297, align 1, !tbaa !11
  %299 = zext i8 %298 to i32
  %300 = xor i32 %295, %299
  %301 = load i32, ptr %5, align 4, !tbaa !9
  %302 = or i32 %301, %300
  store i32 %302, ptr %5, align 4, !tbaa !9
  %303 = load ptr, ptr %3, align 8, !tbaa !5
  %304 = getelementptr inbounds i8, ptr %303, i64 27
  %305 = load i8, ptr %304, align 1, !tbaa !11
  %306 = zext i8 %305 to i32
  %307 = load ptr, ptr %4, align 8, !tbaa !5
  %308 = getelementptr inbounds i8, ptr %307, i64 27
  %309 = load i8, ptr %308, align 1, !tbaa !11
  %310 = zext i8 %309 to i32
  %311 = xor i32 %306, %310
  %312 = load i32, ptr %5, align 4, !tbaa !9
  %313 = or i32 %312, %311
  store i32 %313, ptr %5, align 4, !tbaa !9
  %314 = load ptr, ptr %3, align 8, !tbaa !5
  %315 = getelementptr inbounds i8, ptr %314, i64 28
  %316 = load i8, ptr %315, align 1, !tbaa !11
  %317 = zext i8 %316 to i32
  %318 = load ptr, ptr %4, align 8, !tbaa !5
  %319 = getelementptr inbounds i8, ptr %318, i64 28
  %320 = load i8, ptr %319, align 1, !tbaa !11
  %321 = zext i8 %320 to i32
  %322 = xor i32 %317, %321
  %323 = load i32, ptr %5, align 4, !tbaa !9
  %324 = or i32 %323, %322
  store i32 %324, ptr %5, align 4, !tbaa !9
  %325 = load ptr, ptr %3, align 8, !tbaa !5
  %326 = getelementptr inbounds i8, ptr %325, i64 29
  %327 = load i8, ptr %326, align 1, !tbaa !11
  %328 = zext i8 %327 to i32
  %329 = load ptr, ptr %4, align 8, !tbaa !5
  %330 = getelementptr inbounds i8, ptr %329, i64 29
  %331 = load i8, ptr %330, align 1, !tbaa !11
  %332 = zext i8 %331 to i32
  %333 = xor i32 %328, %332
  %334 = load i32, ptr %5, align 4, !tbaa !9
  %335 = or i32 %334, %333
  store i32 %335, ptr %5, align 4, !tbaa !9
  %336 = load ptr, ptr %3, align 8, !tbaa !5
  %337 = getelementptr inbounds i8, ptr %336, i64 30
  %338 = load i8, ptr %337, align 1, !tbaa !11
  %339 = zext i8 %338 to i32
  %340 = load ptr, ptr %4, align 8, !tbaa !5
  %341 = getelementptr inbounds i8, ptr %340, i64 30
  %342 = load i8, ptr %341, align 1, !tbaa !11
  %343 = zext i8 %342 to i32
  %344 = xor i32 %339, %343
  %345 = load i32, ptr %5, align 4, !tbaa !9
  %346 = or i32 %345, %344
  store i32 %346, ptr %5, align 4, !tbaa !9
  %347 = load ptr, ptr %3, align 8, !tbaa !5
  %348 = getelementptr inbounds i8, ptr %347, i64 31
  %349 = load i8, ptr %348, align 1, !tbaa !11
  %350 = zext i8 %349 to i32
  %351 = load ptr, ptr %4, align 8, !tbaa !5
  %352 = getelementptr inbounds i8, ptr %351, i64 31
  %353 = load i8, ptr %352, align 1, !tbaa !11
  %354 = zext i8 %353 to i32
  %355 = xor i32 %350, %354
  %356 = load i32, ptr %5, align 4, !tbaa !9
  %357 = or i32 %356, %355
  store i32 %357, ptr %5, align 4, !tbaa !9
  %358 = load ptr, ptr %3, align 8, !tbaa !5
  %359 = getelementptr inbounds i8, ptr %358, i64 32
  %360 = load i8, ptr %359, align 1, !tbaa !11
  %361 = zext i8 %360 to i32
  %362 = load ptr, ptr %4, align 8, !tbaa !5
  %363 = getelementptr inbounds i8, ptr %362, i64 32
  %364 = load i8, ptr %363, align 1, !tbaa !11
  %365 = zext i8 %364 to i32
  %366 = xor i32 %361, %365
  %367 = load i32, ptr %5, align 4, !tbaa !9
  %368 = or i32 %367, %366
  store i32 %368, ptr %5, align 4, !tbaa !9
  %369 = load ptr, ptr %3, align 8, !tbaa !5
  %370 = getelementptr inbounds i8, ptr %369, i64 33
  %371 = load i8, ptr %370, align 1, !tbaa !11
  %372 = zext i8 %371 to i32
  %373 = load ptr, ptr %4, align 8, !tbaa !5
  %374 = getelementptr inbounds i8, ptr %373, i64 33
  %375 = load i8, ptr %374, align 1, !tbaa !11
  %376 = zext i8 %375 to i32
  %377 = xor i32 %372, %376
  %378 = load i32, ptr %5, align 4, !tbaa !9
  %379 = or i32 %378, %377
  store i32 %379, ptr %5, align 4, !tbaa !9
  %380 = load ptr, ptr %3, align 8, !tbaa !5
  %381 = getelementptr inbounds i8, ptr %380, i64 34
  %382 = load i8, ptr %381, align 1, !tbaa !11
  %383 = zext i8 %382 to i32
  %384 = load ptr, ptr %4, align 8, !tbaa !5
  %385 = getelementptr inbounds i8, ptr %384, i64 34
  %386 = load i8, ptr %385, align 1, !tbaa !11
  %387 = zext i8 %386 to i32
  %388 = xor i32 %383, %387
  %389 = load i32, ptr %5, align 4, !tbaa !9
  %390 = or i32 %389, %388
  store i32 %390, ptr %5, align 4, !tbaa !9
  %391 = load ptr, ptr %3, align 8, !tbaa !5
  %392 = getelementptr inbounds i8, ptr %391, i64 35
  %393 = load i8, ptr %392, align 1, !tbaa !11
  %394 = zext i8 %393 to i32
  %395 = load ptr, ptr %4, align 8, !tbaa !5
  %396 = getelementptr inbounds i8, ptr %395, i64 35
  %397 = load i8, ptr %396, align 1, !tbaa !11
  %398 = zext i8 %397 to i32
  %399 = xor i32 %394, %398
  %400 = load i32, ptr %5, align 4, !tbaa !9
  %401 = or i32 %400, %399
  store i32 %401, ptr %5, align 4, !tbaa !9
  %402 = load ptr, ptr %3, align 8, !tbaa !5
  %403 = getelementptr inbounds i8, ptr %402, i64 36
  %404 = load i8, ptr %403, align 1, !tbaa !11
  %405 = zext i8 %404 to i32
  %406 = load ptr, ptr %4, align 8, !tbaa !5
  %407 = getelementptr inbounds i8, ptr %406, i64 36
  %408 = load i8, ptr %407, align 1, !tbaa !11
  %409 = zext i8 %408 to i32
  %410 = xor i32 %405, %409
  %411 = load i32, ptr %5, align 4, !tbaa !9
  %412 = or i32 %411, %410
  store i32 %412, ptr %5, align 4, !tbaa !9
  %413 = load ptr, ptr %3, align 8, !tbaa !5
  %414 = getelementptr inbounds i8, ptr %413, i64 37
  %415 = load i8, ptr %414, align 1, !tbaa !11
  %416 = zext i8 %415 to i32
  %417 = load ptr, ptr %4, align 8, !tbaa !5
  %418 = getelementptr inbounds i8, ptr %417, i64 37
  %419 = load i8, ptr %418, align 1, !tbaa !11
  %420 = zext i8 %419 to i32
  %421 = xor i32 %416, %420
  %422 = load i32, ptr %5, align 4, !tbaa !9
  %423 = or i32 %422, %421
  store i32 %423, ptr %5, align 4, !tbaa !9
  %424 = load ptr, ptr %3, align 8, !tbaa !5
  %425 = getelementptr inbounds i8, ptr %424, i64 38
  %426 = load i8, ptr %425, align 1, !tbaa !11
  %427 = zext i8 %426 to i32
  %428 = load ptr, ptr %4, align 8, !tbaa !5
  %429 = getelementptr inbounds i8, ptr %428, i64 38
  %430 = load i8, ptr %429, align 1, !tbaa !11
  %431 = zext i8 %430 to i32
  %432 = xor i32 %427, %431
  %433 = load i32, ptr %5, align 4, !tbaa !9
  %434 = or i32 %433, %432
  store i32 %434, ptr %5, align 4, !tbaa !9
  %435 = load ptr, ptr %3, align 8, !tbaa !5
  %436 = getelementptr inbounds i8, ptr %435, i64 39
  %437 = load i8, ptr %436, align 1, !tbaa !11
  %438 = zext i8 %437 to i32
  %439 = load ptr, ptr %4, align 8, !tbaa !5
  %440 = getelementptr inbounds i8, ptr %439, i64 39
  %441 = load i8, ptr %440, align 1, !tbaa !11
  %442 = zext i8 %441 to i32
  %443 = xor i32 %438, %442
  %444 = load i32, ptr %5, align 4, !tbaa !9
  %445 = or i32 %444, %443
  store i32 %445, ptr %5, align 4, !tbaa !9
  %446 = load ptr, ptr %3, align 8, !tbaa !5
  %447 = getelementptr inbounds i8, ptr %446, i64 40
  %448 = load i8, ptr %447, align 1, !tbaa !11
  %449 = zext i8 %448 to i32
  %450 = load ptr, ptr %4, align 8, !tbaa !5
  %451 = getelementptr inbounds i8, ptr %450, i64 40
  %452 = load i8, ptr %451, align 1, !tbaa !11
  %453 = zext i8 %452 to i32
  %454 = xor i32 %449, %453
  %455 = load i32, ptr %5, align 4, !tbaa !9
  %456 = or i32 %455, %454
  store i32 %456, ptr %5, align 4, !tbaa !9
  %457 = load ptr, ptr %3, align 8, !tbaa !5
  %458 = getelementptr inbounds i8, ptr %457, i64 41
  %459 = load i8, ptr %458, align 1, !tbaa !11
  %460 = zext i8 %459 to i32
  %461 = load ptr, ptr %4, align 8, !tbaa !5
  %462 = getelementptr inbounds i8, ptr %461, i64 41
  %463 = load i8, ptr %462, align 1, !tbaa !11
  %464 = zext i8 %463 to i32
  %465 = xor i32 %460, %464
  %466 = load i32, ptr %5, align 4, !tbaa !9
  %467 = or i32 %466, %465
  store i32 %467, ptr %5, align 4, !tbaa !9
  %468 = load ptr, ptr %3, align 8, !tbaa !5
  %469 = getelementptr inbounds i8, ptr %468, i64 42
  %470 = load i8, ptr %469, align 1, !tbaa !11
  %471 = zext i8 %470 to i32
  %472 = load ptr, ptr %4, align 8, !tbaa !5
  %473 = getelementptr inbounds i8, ptr %472, i64 42
  %474 = load i8, ptr %473, align 1, !tbaa !11
  %475 = zext i8 %474 to i32
  %476 = xor i32 %471, %475
  %477 = load i32, ptr %5, align 4, !tbaa !9
  %478 = or i32 %477, %476
  store i32 %478, ptr %5, align 4, !tbaa !9
  %479 = load ptr, ptr %3, align 8, !tbaa !5
  %480 = getelementptr inbounds i8, ptr %479, i64 43
  %481 = load i8, ptr %480, align 1, !tbaa !11
  %482 = zext i8 %481 to i32
  %483 = load ptr, ptr %4, align 8, !tbaa !5
  %484 = getelementptr inbounds i8, ptr %483, i64 43
  %485 = load i8, ptr %484, align 1, !tbaa !11
  %486 = zext i8 %485 to i32
  %487 = xor i32 %482, %486
  %488 = load i32, ptr %5, align 4, !tbaa !9
  %489 = or i32 %488, %487
  store i32 %489, ptr %5, align 4, !tbaa !9
  %490 = load ptr, ptr %3, align 8, !tbaa !5
  %491 = getelementptr inbounds i8, ptr %490, i64 44
  %492 = load i8, ptr %491, align 1, !tbaa !11
  %493 = zext i8 %492 to i32
  %494 = load ptr, ptr %4, align 8, !tbaa !5
  %495 = getelementptr inbounds i8, ptr %494, i64 44
  %496 = load i8, ptr %495, align 1, !tbaa !11
  %497 = zext i8 %496 to i32
  %498 = xor i32 %493, %497
  %499 = load i32, ptr %5, align 4, !tbaa !9
  %500 = or i32 %499, %498
  store i32 %500, ptr %5, align 4, !tbaa !9
  %501 = load ptr, ptr %3, align 8, !tbaa !5
  %502 = getelementptr inbounds i8, ptr %501, i64 45
  %503 = load i8, ptr %502, align 1, !tbaa !11
  %504 = zext i8 %503 to i32
  %505 = load ptr, ptr %4, align 8, !tbaa !5
  %506 = getelementptr inbounds i8, ptr %505, i64 45
  %507 = load i8, ptr %506, align 1, !tbaa !11
  %508 = zext i8 %507 to i32
  %509 = xor i32 %504, %508
  %510 = load i32, ptr %5, align 4, !tbaa !9
  %511 = or i32 %510, %509
  store i32 %511, ptr %5, align 4, !tbaa !9
  %512 = load ptr, ptr %3, align 8, !tbaa !5
  %513 = getelementptr inbounds i8, ptr %512, i64 46
  %514 = load i8, ptr %513, align 1, !tbaa !11
  %515 = zext i8 %514 to i32
  %516 = load ptr, ptr %4, align 8, !tbaa !5
  %517 = getelementptr inbounds i8, ptr %516, i64 46
  %518 = load i8, ptr %517, align 1, !tbaa !11
  %519 = zext i8 %518 to i32
  %520 = xor i32 %515, %519
  %521 = load i32, ptr %5, align 4, !tbaa !9
  %522 = or i32 %521, %520
  store i32 %522, ptr %5, align 4, !tbaa !9
  %523 = load ptr, ptr %3, align 8, !tbaa !5
  %524 = getelementptr inbounds i8, ptr %523, i64 47
  %525 = load i8, ptr %524, align 1, !tbaa !11
  %526 = zext i8 %525 to i32
  %527 = load ptr, ptr %4, align 8, !tbaa !5
  %528 = getelementptr inbounds i8, ptr %527, i64 47
  %529 = load i8, ptr %528, align 1, !tbaa !11
  %530 = zext i8 %529 to i32
  %531 = xor i32 %526, %530
  %532 = load i32, ptr %5, align 4, !tbaa !9
  %533 = or i32 %532, %531
  store i32 %533, ptr %5, align 4, !tbaa !9
  %534 = load ptr, ptr %3, align 8, !tbaa !5
  %535 = getelementptr inbounds i8, ptr %534, i64 48
  %536 = load i8, ptr %535, align 1, !tbaa !11
  %537 = zext i8 %536 to i32
  %538 = load ptr, ptr %4, align 8, !tbaa !5
  %539 = getelementptr inbounds i8, ptr %538, i64 48
  %540 = load i8, ptr %539, align 1, !tbaa !11
  %541 = zext i8 %540 to i32
  %542 = xor i32 %537, %541
  %543 = load i32, ptr %5, align 4, !tbaa !9
  %544 = or i32 %543, %542
  store i32 %544, ptr %5, align 4, !tbaa !9
  %545 = load ptr, ptr %3, align 8, !tbaa !5
  %546 = getelementptr inbounds i8, ptr %545, i64 49
  %547 = load i8, ptr %546, align 1, !tbaa !11
  %548 = zext i8 %547 to i32
  %549 = load ptr, ptr %4, align 8, !tbaa !5
  %550 = getelementptr inbounds i8, ptr %549, i64 49
  %551 = load i8, ptr %550, align 1, !tbaa !11
  %552 = zext i8 %551 to i32
  %553 = xor i32 %548, %552
  %554 = load i32, ptr %5, align 4, !tbaa !9
  %555 = or i32 %554, %553
  store i32 %555, ptr %5, align 4, !tbaa !9
  %556 = load ptr, ptr %3, align 8, !tbaa !5
  %557 = getelementptr inbounds i8, ptr %556, i64 50
  %558 = load i8, ptr %557, align 1, !tbaa !11
  %559 = zext i8 %558 to i32
  %560 = load ptr, ptr %4, align 8, !tbaa !5
  %561 = getelementptr inbounds i8, ptr %560, i64 50
  %562 = load i8, ptr %561, align 1, !tbaa !11
  %563 = zext i8 %562 to i32
  %564 = xor i32 %559, %563
  %565 = load i32, ptr %5, align 4, !tbaa !9
  %566 = or i32 %565, %564
  store i32 %566, ptr %5, align 4, !tbaa !9
  %567 = load ptr, ptr %3, align 8, !tbaa !5
  %568 = getelementptr inbounds i8, ptr %567, i64 51
  %569 = load i8, ptr %568, align 1, !tbaa !11
  %570 = zext i8 %569 to i32
  %571 = load ptr, ptr %4, align 8, !tbaa !5
  %572 = getelementptr inbounds i8, ptr %571, i64 51
  %573 = load i8, ptr %572, align 1, !tbaa !11
  %574 = zext i8 %573 to i32
  %575 = xor i32 %570, %574
  %576 = load i32, ptr %5, align 4, !tbaa !9
  %577 = or i32 %576, %575
  store i32 %577, ptr %5, align 4, !tbaa !9
  %578 = load ptr, ptr %3, align 8, !tbaa !5
  %579 = getelementptr inbounds i8, ptr %578, i64 52
  %580 = load i8, ptr %579, align 1, !tbaa !11
  %581 = zext i8 %580 to i32
  %582 = load ptr, ptr %4, align 8, !tbaa !5
  %583 = getelementptr inbounds i8, ptr %582, i64 52
  %584 = load i8, ptr %583, align 1, !tbaa !11
  %585 = zext i8 %584 to i32
  %586 = xor i32 %581, %585
  %587 = load i32, ptr %5, align 4, !tbaa !9
  %588 = or i32 %587, %586
  store i32 %588, ptr %5, align 4, !tbaa !9
  %589 = load ptr, ptr %3, align 8, !tbaa !5
  %590 = getelementptr inbounds i8, ptr %589, i64 53
  %591 = load i8, ptr %590, align 1, !tbaa !11
  %592 = zext i8 %591 to i32
  %593 = load ptr, ptr %4, align 8, !tbaa !5
  %594 = getelementptr inbounds i8, ptr %593, i64 53
  %595 = load i8, ptr %594, align 1, !tbaa !11
  %596 = zext i8 %595 to i32
  %597 = xor i32 %592, %596
  %598 = load i32, ptr %5, align 4, !tbaa !9
  %599 = or i32 %598, %597
  store i32 %599, ptr %5, align 4, !tbaa !9
  %600 = load ptr, ptr %3, align 8, !tbaa !5
  %601 = getelementptr inbounds i8, ptr %600, i64 54
  %602 = load i8, ptr %601, align 1, !tbaa !11
  %603 = zext i8 %602 to i32
  %604 = load ptr, ptr %4, align 8, !tbaa !5
  %605 = getelementptr inbounds i8, ptr %604, i64 54
  %606 = load i8, ptr %605, align 1, !tbaa !11
  %607 = zext i8 %606 to i32
  %608 = xor i32 %603, %607
  %609 = load i32, ptr %5, align 4, !tbaa !9
  %610 = or i32 %609, %608
  store i32 %610, ptr %5, align 4, !tbaa !9
  %611 = load ptr, ptr %3, align 8, !tbaa !5
  %612 = getelementptr inbounds i8, ptr %611, i64 55
  %613 = load i8, ptr %612, align 1, !tbaa !11
  %614 = zext i8 %613 to i32
  %615 = load ptr, ptr %4, align 8, !tbaa !5
  %616 = getelementptr inbounds i8, ptr %615, i64 55
  %617 = load i8, ptr %616, align 1, !tbaa !11
  %618 = zext i8 %617 to i32
  %619 = xor i32 %614, %618
  %620 = load i32, ptr %5, align 4, !tbaa !9
  %621 = or i32 %620, %619
  store i32 %621, ptr %5, align 4, !tbaa !9
  %622 = load ptr, ptr %3, align 8, !tbaa !5
  %623 = getelementptr inbounds i8, ptr %622, i64 56
  %624 = load i8, ptr %623, align 1, !tbaa !11
  %625 = zext i8 %624 to i32
  %626 = load ptr, ptr %4, align 8, !tbaa !5
  %627 = getelementptr inbounds i8, ptr %626, i64 56
  %628 = load i8, ptr %627, align 1, !tbaa !11
  %629 = zext i8 %628 to i32
  %630 = xor i32 %625, %629
  %631 = load i32, ptr %5, align 4, !tbaa !9
  %632 = or i32 %631, %630
  store i32 %632, ptr %5, align 4, !tbaa !9
  %633 = load ptr, ptr %3, align 8, !tbaa !5
  %634 = getelementptr inbounds i8, ptr %633, i64 57
  %635 = load i8, ptr %634, align 1, !tbaa !11
  %636 = zext i8 %635 to i32
  %637 = load ptr, ptr %4, align 8, !tbaa !5
  %638 = getelementptr inbounds i8, ptr %637, i64 57
  %639 = load i8, ptr %638, align 1, !tbaa !11
  %640 = zext i8 %639 to i32
  %641 = xor i32 %636, %640
  %642 = load i32, ptr %5, align 4, !tbaa !9
  %643 = or i32 %642, %641
  store i32 %643, ptr %5, align 4, !tbaa !9
  %644 = load ptr, ptr %3, align 8, !tbaa !5
  %645 = getelementptr inbounds i8, ptr %644, i64 58
  %646 = load i8, ptr %645, align 1, !tbaa !11
  %647 = zext i8 %646 to i32
  %648 = load ptr, ptr %4, align 8, !tbaa !5
  %649 = getelementptr inbounds i8, ptr %648, i64 58
  %650 = load i8, ptr %649, align 1, !tbaa !11
  %651 = zext i8 %650 to i32
  %652 = xor i32 %647, %651
  %653 = load i32, ptr %5, align 4, !tbaa !9
  %654 = or i32 %653, %652
  store i32 %654, ptr %5, align 4, !tbaa !9
  %655 = load ptr, ptr %3, align 8, !tbaa !5
  %656 = getelementptr inbounds i8, ptr %655, i64 59
  %657 = load i8, ptr %656, align 1, !tbaa !11
  %658 = zext i8 %657 to i32
  %659 = load ptr, ptr %4, align 8, !tbaa !5
  %660 = getelementptr inbounds i8, ptr %659, i64 59
  %661 = load i8, ptr %660, align 1, !tbaa !11
  %662 = zext i8 %661 to i32
  %663 = xor i32 %658, %662
  %664 = load i32, ptr %5, align 4, !tbaa !9
  %665 = or i32 %664, %663
  store i32 %665, ptr %5, align 4, !tbaa !9
  %666 = load ptr, ptr %3, align 8, !tbaa !5
  %667 = getelementptr inbounds i8, ptr %666, i64 60
  %668 = load i8, ptr %667, align 1, !tbaa !11
  %669 = zext i8 %668 to i32
  %670 = load ptr, ptr %4, align 8, !tbaa !5
  %671 = getelementptr inbounds i8, ptr %670, i64 60
  %672 = load i8, ptr %671, align 1, !tbaa !11
  %673 = zext i8 %672 to i32
  %674 = xor i32 %669, %673
  %675 = load i32, ptr %5, align 4, !tbaa !9
  %676 = or i32 %675, %674
  store i32 %676, ptr %5, align 4, !tbaa !9
  %677 = load ptr, ptr %3, align 8, !tbaa !5
  %678 = getelementptr inbounds i8, ptr %677, i64 61
  %679 = load i8, ptr %678, align 1, !tbaa !11
  %680 = zext i8 %679 to i32
  %681 = load ptr, ptr %4, align 8, !tbaa !5
  %682 = getelementptr inbounds i8, ptr %681, i64 61
  %683 = load i8, ptr %682, align 1, !tbaa !11
  %684 = zext i8 %683 to i32
  %685 = xor i32 %680, %684
  %686 = load i32, ptr %5, align 4, !tbaa !9
  %687 = or i32 %686, %685
  store i32 %687, ptr %5, align 4, !tbaa !9
  %688 = load ptr, ptr %3, align 8, !tbaa !5
  %689 = getelementptr inbounds i8, ptr %688, i64 62
  %690 = load i8, ptr %689, align 1, !tbaa !11
  %691 = zext i8 %690 to i32
  %692 = load ptr, ptr %4, align 8, !tbaa !5
  %693 = getelementptr inbounds i8, ptr %692, i64 62
  %694 = load i8, ptr %693, align 1, !tbaa !11
  %695 = zext i8 %694 to i32
  %696 = xor i32 %691, %695
  %697 = load i32, ptr %5, align 4, !tbaa !9
  %698 = or i32 %697, %696
  store i32 %698, ptr %5, align 4, !tbaa !9
  %699 = load ptr, ptr %3, align 8, !tbaa !5
  %700 = getelementptr inbounds i8, ptr %699, i64 63
  %701 = load i8, ptr %700, align 1, !tbaa !11
  %702 = zext i8 %701 to i32
  %703 = load ptr, ptr %4, align 8, !tbaa !5
  %704 = getelementptr inbounds i8, ptr %703, i64 63
  %705 = load i8, ptr %704, align 1, !tbaa !11
  %706 = zext i8 %705 to i32
  %707 = xor i32 %702, %706
  %708 = load i32, ptr %5, align 4, !tbaa !9
  %709 = or i32 %708, %707
  store i32 %709, ptr %5, align 4, !tbaa !9
  %710 = load i32, ptr %5, align 4, !tbaa !9
  %711 = sub i32 %710, 1
  %712 = lshr i32 %711, 8
  %713 = and i32 1, %712
  %714 = sub i32 %713, 1
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #2
  ret i32 %714
}

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

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

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 }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!7, !7, i64 0}


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

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read) uwtable
define dso_local range(i32 -1, 1) i32 @crypto_verify_64(ptr noundef readonly %0, ptr noundef readonly %1) local_unnamed_addr #0 {
  %3 = load <64 x i8>, ptr %0, align 1, !tbaa !5
  %4 = load <64 x i8>, ptr %1, align 1, !tbaa !5
  %5 = xor <64 x i8> %4, %3
  %6 = tail call i8 @llvm.vector.reduce.or.v64i8(<64 x i8> %5)
  %7 = zext i8 %6 to i32
  %8 = add nuw nsw i32 %7, 511
  %9 = lshr i32 %8, 8
  %10 = and i32 %9, 1
  %11 = add nsw i32 %10, -1
  ret i32 %11
}

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i8 @llvm.vector.reduce.or.v64i8(<64 x i8>) #1

attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read) 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 speculatable willreturn memory(none) }

!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 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,PostOrderFunctionAttrsPass,ReassociatePass,SLPVectorizerPass,SROAPass,TailCallElimPass