; LLVM IR from rweather/lightweight-crypto :: src/combined (internal-forkskinny)

; 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.forkskinny_128_384_state_t = type { [4 x i32], [4 x i32], [4 x i32], [4 x i32] }

@RC = external hidden constant [87 x i8], align 16

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

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

; Function Attrs: nounwind uwtable
define dso_local void @forkskinny_128_384_inv_rounds(ptr noundef %0, i32 noundef %1, i32 noundef %2) #1 {
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i8, align 1
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %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 i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !9
  store i32 %2, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #2
  call void @llvm.lifetime.start.p0(i64 1, ptr %12) #2
  %33 = load ptr, ptr %4, align 8, !tbaa !5
  %34 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %33, i32 0, i32 3
  %35 = getelementptr inbounds [4 x i32], ptr %34, i64 0, i64 0
  %36 = load i32, ptr %35, align 4, !tbaa !9
  store i32 %36, ptr %7, align 4, !tbaa !9
  %37 = load ptr, ptr %4, align 8, !tbaa !5
  %38 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %37, i32 0, i32 3
  %39 = getelementptr inbounds [4 x i32], ptr %38, i64 0, i64 1
  %40 = load i32, ptr %39, align 4, !tbaa !9
  store i32 %40, ptr %8, align 4, !tbaa !9
  %41 = load ptr, ptr %4, align 8, !tbaa !5
  %42 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %41, i32 0, i32 3
  %43 = getelementptr inbounds [4 x i32], ptr %42, i64 0, i64 2
  %44 = load i32, ptr %43, align 4, !tbaa !9
  store i32 %44, ptr %9, align 4, !tbaa !9
  %45 = load ptr, ptr %4, align 8, !tbaa !5
  %46 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %45, i32 0, i32 3
  %47 = getelementptr inbounds [4 x i32], ptr %46, i64 0, i64 3
  %48 = load i32, ptr %47, align 4, !tbaa !9
  store i32 %48, ptr %10, align 4, !tbaa !9
  br label %49

49:                                               ; preds = %771, %3
  %50 = load i32, ptr %5, align 4, !tbaa !9
  %51 = load i32, ptr %6, align 4, !tbaa !9
  %52 = icmp ugt i32 %50, %51
  br i1 %52, label %53, label %772

53:                                               ; preds = %49
  br label %54

54:                                               ; preds = %53
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #2
  %55 = load ptr, ptr %4, align 8, !tbaa !5
  %56 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %55, i32 0, i32 1
  %57 = getelementptr inbounds [4 x i32], ptr %56, i64 0, i64 0
  %58 = load i32, ptr %57, align 4, !tbaa !9
  store i32 %58, ptr %13, align 4, !tbaa !9
  %59 = load i32, ptr %13, align 4, !tbaa !9
  %60 = lshr i32 %59, 1
  %61 = and i32 %60, 2139062143
  %62 = load i32, ptr %13, align 4, !tbaa !9
  %63 = shl i32 %62, 7
  %64 = load i32, ptr %13, align 4, !tbaa !9
  %65 = shl i32 %64, 1
  %66 = xor i32 %63, %65
  %67 = and i32 %66, -2139062144
  %68 = xor i32 %61, %67
  %69 = load ptr, ptr %4, align 8, !tbaa !5
  %70 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %69, i32 0, i32 1
  %71 = getelementptr inbounds [4 x i32], ptr %70, i64 0, i64 0
  store i32 %68, ptr %71, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #2
  br label %72

72:                                               ; preds = %54
  br label %73

73:                                               ; preds = %72
  br label %74

74:                                               ; preds = %73
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #2
  %75 = load ptr, ptr %4, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %75, i32 0, i32 1
  %77 = getelementptr inbounds [4 x i32], ptr %76, i64 0, i64 1
  %78 = load i32, ptr %77, align 4, !tbaa !9
  store i32 %78, ptr %14, align 4, !tbaa !9
  %79 = load i32, ptr %14, align 4, !tbaa !9
  %80 = lshr i32 %79, 1
  %81 = and i32 %80, 2139062143
  %82 = load i32, ptr %14, align 4, !tbaa !9
  %83 = shl i32 %82, 7
  %84 = load i32, ptr %14, align 4, !tbaa !9
  %85 = shl i32 %84, 1
  %86 = xor i32 %83, %85
  %87 = and i32 %86, -2139062144
  %88 = xor i32 %81, %87
  %89 = load ptr, ptr %4, align 8, !tbaa !5
  %90 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %89, i32 0, i32 1
  %91 = getelementptr inbounds [4 x i32], ptr %90, i64 0, i64 1
  store i32 %88, ptr %91, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #2
  br label %92

92:                                               ; preds = %74
  br label %93

93:                                               ; preds = %92
  br label %94

94:                                               ; preds = %93
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #2
  %95 = load ptr, ptr %4, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %95, i32 0, i32 2
  %97 = getelementptr inbounds [4 x i32], ptr %96, i64 0, i64 0
  %98 = load i32, ptr %97, align 4, !tbaa !9
  store i32 %98, ptr %15, align 4, !tbaa !9
  %99 = load i32, ptr %15, align 4, !tbaa !9
  %100 = shl i32 %99, 1
  %101 = and i32 %100, -16843010
  %102 = load i32, ptr %15, align 4, !tbaa !9
  %103 = lshr i32 %102, 7
  %104 = load i32, ptr %15, align 4, !tbaa !9
  %105 = lshr i32 %104, 5
  %106 = xor i32 %103, %105
  %107 = and i32 %106, 16843009
  %108 = xor i32 %101, %107
  %109 = load ptr, ptr %4, align 8, !tbaa !5
  %110 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %109, i32 0, i32 2
  %111 = getelementptr inbounds [4 x i32], ptr %110, i64 0, i64 0
  store i32 %108, ptr %111, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #2
  br label %112

112:                                              ; preds = %94
  br label %113

113:                                              ; preds = %112
  br label %114

114:                                              ; preds = %113
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #2
  %115 = load ptr, ptr %4, align 8, !tbaa !5
  %116 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %115, i32 0, i32 2
  %117 = getelementptr inbounds [4 x i32], ptr %116, i64 0, i64 1
  %118 = load i32, ptr %117, align 4, !tbaa !9
  store i32 %118, ptr %16, align 4, !tbaa !9
  %119 = load i32, ptr %16, align 4, !tbaa !9
  %120 = shl i32 %119, 1
  %121 = and i32 %120, -16843010
  %122 = load i32, ptr %16, align 4, !tbaa !9
  %123 = lshr i32 %122, 7
  %124 = load i32, ptr %16, align 4, !tbaa !9
  %125 = lshr i32 %124, 5
  %126 = xor i32 %123, %125
  %127 = and i32 %126, 16843009
  %128 = xor i32 %121, %127
  %129 = load ptr, ptr %4, align 8, !tbaa !5
  %130 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %129, i32 0, i32 2
  %131 = getelementptr inbounds [4 x i32], ptr %130, i64 0, i64 1
  store i32 %128, ptr %131, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #2
  br label %132

132:                                              ; preds = %114
  br label %133

133:                                              ; preds = %132
  br label %134

134:                                              ; preds = %133
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #2
  %135 = load ptr, ptr %4, align 8, !tbaa !5
  %136 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %135, i32 0, i32 0
  %137 = getelementptr inbounds [4 x i32], ptr %136, i64 0, i64 0
  %138 = load i32, ptr %137, align 4, !tbaa !9
  store i32 %138, ptr %17, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #2
  %139 = load ptr, ptr %4, align 8, !tbaa !5
  %140 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %139, i32 0, i32 0
  %141 = getelementptr inbounds [4 x i32], ptr %140, i64 0, i64 1
  %142 = load i32, ptr %141, align 4, !tbaa !9
  store i32 %142, ptr %18, align 4, !tbaa !9
  %143 = load ptr, ptr %4, align 8, !tbaa !5
  %144 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %143, i32 0, i32 0
  %145 = getelementptr inbounds [4 x i32], ptr %144, i64 0, i64 2
  %146 = load i32, ptr %145, align 4, !tbaa !9
  %147 = load ptr, ptr %4, align 8, !tbaa !5
  %148 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %147, i32 0, i32 0
  %149 = getelementptr inbounds [4 x i32], ptr %148, i64 0, i64 0
  store i32 %146, ptr %149, align 4, !tbaa !9
  %150 = load ptr, ptr %4, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %150, i32 0, i32 0
  %152 = getelementptr inbounds [4 x i32], ptr %151, i64 0, i64 3
  %153 = load i32, ptr %152, align 4, !tbaa !9
  %154 = load ptr, ptr %4, align 8, !tbaa !5
  %155 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %154, i32 0, i32 0
  %156 = getelementptr inbounds [4 x i32], ptr %155, i64 0, i64 1
  store i32 %153, ptr %156, align 4, !tbaa !9
  %157 = load i32, ptr %17, align 4, !tbaa !9
  %158 = lshr i32 %157, 16
  %159 = and i32 %158, 255
  %160 = load i32, ptr %17, align 4, !tbaa !9
  %161 = shl i32 %160, 8
  %162 = and i32 %161, 65280
  %163 = or i32 %159, %162
  %164 = load i32, ptr %18, align 4, !tbaa !9
  %165 = shl i32 %164, 16
  %166 = and i32 %165, 16711680
  %167 = or i32 %163, %166
  %168 = load i32, ptr %18, align 4, !tbaa !9
  %169 = and i32 %168, -16777216
  %170 = or i32 %167, %169
  %171 = load ptr, ptr %4, align 8, !tbaa !5
  %172 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %171, i32 0, i32 0
  %173 = getelementptr inbounds [4 x i32], ptr %172, i64 0, i64 2
  store i32 %170, ptr %173, align 4, !tbaa !9
  %174 = load i32, ptr %17, align 4, !tbaa !9
  %175 = lshr i32 %174, 16
  %176 = and i32 %175, 65280
  %177 = load i32, ptr %17, align 4, !tbaa !9
  %178 = shl i32 %177, 16
  %179 = and i32 %178, -16777216
  %180 = or i32 %176, %179
  %181 = load i32, ptr %18, align 4, !tbaa !9
  %182 = lshr i32 %181, 16
  %183 = and i32 %182, 255
  %184 = or i32 %180, %183
  %185 = load i32, ptr %18, align 4, !tbaa !9
  %186 = shl i32 %185, 8
  %187 = and i32 %186, 16711680
  %188 = or i32 %184, %187
  %189 = load ptr, ptr %4, align 8, !tbaa !5
  %190 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %189, i32 0, i32 0
  %191 = getelementptr inbounds [4 x i32], ptr %190, i64 0, i64 3
  store i32 %188, ptr %191, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #2
  br label %192

192:                                              ; preds = %134
  br label %193

193:                                              ; preds = %192
  br label %194

194:                                              ; preds = %193
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #2
  %195 = load ptr, ptr %4, align 8, !tbaa !5
  %196 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %195, i32 0, i32 1
  %197 = getelementptr inbounds [4 x i32], ptr %196, i64 0, i64 0
  %198 = load i32, ptr %197, align 4, !tbaa !9
  store i32 %198, ptr %19, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #2
  %199 = load ptr, ptr %4, align 8, !tbaa !5
  %200 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %199, i32 0, i32 1
  %201 = getelementptr inbounds [4 x i32], ptr %200, i64 0, i64 1
  %202 = load i32, ptr %201, align 4, !tbaa !9
  store i32 %202, ptr %20, align 4, !tbaa !9
  %203 = load ptr, ptr %4, align 8, !tbaa !5
  %204 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %203, i32 0, i32 1
  %205 = getelementptr inbounds [4 x i32], ptr %204, i64 0, i64 2
  %206 = load i32, ptr %205, align 4, !tbaa !9
  %207 = load ptr, ptr %4, align 8, !tbaa !5
  %208 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %207, i32 0, i32 1
  %209 = getelementptr inbounds [4 x i32], ptr %208, i64 0, i64 0
  store i32 %206, ptr %209, align 4, !tbaa !9
  %210 = load ptr, ptr %4, align 8, !tbaa !5
  %211 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %210, i32 0, i32 1
  %212 = getelementptr inbounds [4 x i32], ptr %211, i64 0, i64 3
  %213 = load i32, ptr %212, align 4, !tbaa !9
  %214 = load ptr, ptr %4, align 8, !tbaa !5
  %215 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %214, i32 0, i32 1
  %216 = getelementptr inbounds [4 x i32], ptr %215, i64 0, i64 1
  store i32 %213, ptr %216, align 4, !tbaa !9
  %217 = load i32, ptr %19, align 4, !tbaa !9
  %218 = lshr i32 %217, 16
  %219 = and i32 %218, 255
  %220 = load i32, ptr %19, align 4, !tbaa !9
  %221 = shl i32 %220, 8
  %222 = and i32 %221, 65280
  %223 = or i32 %219, %222
  %224 = load i32, ptr %20, align 4, !tbaa !9
  %225 = shl i32 %224, 16
  %226 = and i32 %225, 16711680
  %227 = or i32 %223, %226
  %228 = load i32, ptr %20, align 4, !tbaa !9
  %229 = and i32 %228, -16777216
  %230 = or i32 %227, %229
  %231 = load ptr, ptr %4, align 8, !tbaa !5
  %232 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %231, i32 0, i32 1
  %233 = getelementptr inbounds [4 x i32], ptr %232, i64 0, i64 2
  store i32 %230, ptr %233, align 4, !tbaa !9
  %234 = load i32, ptr %19, align 4, !tbaa !9
  %235 = lshr i32 %234, 16
  %236 = and i32 %235, 65280
  %237 = load i32, ptr %19, align 4, !tbaa !9
  %238 = shl i32 %237, 16
  %239 = and i32 %238, -16777216
  %240 = or i32 %236, %239
  %241 = load i32, ptr %20, align 4, !tbaa !9
  %242 = lshr i32 %241, 16
  %243 = and i32 %242, 255
  %244 = or i32 %240, %243
  %245 = load i32, ptr %20, align 4, !tbaa !9
  %246 = shl i32 %245, 8
  %247 = and i32 %246, 16711680
  %248 = or i32 %244, %247
  %249 = load ptr, ptr %4, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %249, i32 0, i32 1
  %251 = getelementptr inbounds [4 x i32], ptr %250, i64 0, i64 3
  store i32 %248, ptr %251, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #2
  br label %252

252:                                              ; preds = %194
  br label %253

253:                                              ; preds = %252
  br label %254

254:                                              ; preds = %253
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #2
  %255 = load ptr, ptr %4, align 8, !tbaa !5
  %256 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %255, i32 0, i32 2
  %257 = getelementptr inbounds [4 x i32], ptr %256, i64 0, i64 0
  %258 = load i32, ptr %257, align 4, !tbaa !9
  store i32 %258, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #2
  %259 = load ptr, ptr %4, align 8, !tbaa !5
  %260 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %259, i32 0, i32 2
  %261 = getelementptr inbounds [4 x i32], ptr %260, i64 0, i64 1
  %262 = load i32, ptr %261, align 4, !tbaa !9
  store i32 %262, ptr %22, align 4, !tbaa !9
  %263 = load ptr, ptr %4, align 8, !tbaa !5
  %264 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %263, i32 0, i32 2
  %265 = getelementptr inbounds [4 x i32], ptr %264, i64 0, i64 2
  %266 = load i32, ptr %265, align 4, !tbaa !9
  %267 = load ptr, ptr %4, align 8, !tbaa !5
  %268 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %267, i32 0, i32 2
  %269 = getelementptr inbounds [4 x i32], ptr %268, i64 0, i64 0
  store i32 %266, ptr %269, align 4, !tbaa !9
  %270 = load ptr, ptr %4, align 8, !tbaa !5
  %271 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %270, i32 0, i32 2
  %272 = getelementptr inbounds [4 x i32], ptr %271, i64 0, i64 3
  %273 = load i32, ptr %272, align 4, !tbaa !9
  %274 = load ptr, ptr %4, align 8, !tbaa !5
  %275 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %274, i32 0, i32 2
  %276 = getelementptr inbounds [4 x i32], ptr %275, i64 0, i64 1
  store i32 %273, ptr %276, align 4, !tbaa !9
  %277 = load i32, ptr %21, align 4, !tbaa !9
  %278 = lshr i32 %277, 16
  %279 = and i32 %278, 255
  %280 = load i32, ptr %21, align 4, !tbaa !9
  %281 = shl i32 %280, 8
  %282 = and i32 %281, 65280
  %283 = or i32 %279, %282
  %284 = load i32, ptr %22, align 4, !tbaa !9
  %285 = shl i32 %284, 16
  %286 = and i32 %285, 16711680
  %287 = or i32 %283, %286
  %288 = load i32, ptr %22, align 4, !tbaa !9
  %289 = and i32 %288, -16777216
  %290 = or i32 %287, %289
  %291 = load ptr, ptr %4, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %291, i32 0, i32 2
  %293 = getelementptr inbounds [4 x i32], ptr %292, i64 0, i64 2
  store i32 %290, ptr %293, align 4, !tbaa !9
  %294 = load i32, ptr %21, align 4, !tbaa !9
  %295 = lshr i32 %294, 16
  %296 = and i32 %295, 65280
  %297 = load i32, ptr %21, align 4, !tbaa !9
  %298 = shl i32 %297, 16
  %299 = and i32 %298, -16777216
  %300 = or i32 %296, %299
  %301 = load i32, ptr %22, align 4, !tbaa !9
  %302 = lshr i32 %301, 16
  %303 = and i32 %302, 255
  %304 = or i32 %300, %303
  %305 = load i32, ptr %22, align 4, !tbaa !9
  %306 = shl i32 %305, 8
  %307 = and i32 %306, 16711680
  %308 = or i32 %304, %307
  %309 = load ptr, ptr %4, align 8, !tbaa !5
  %310 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %309, i32 0, i32 2
  %311 = getelementptr inbounds [4 x i32], ptr %310, i64 0, i64 3
  store i32 %308, ptr %311, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #2
  br label %312

312:                                              ; preds = %254
  br label %313

313:                                              ; preds = %312
  %314 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %314, ptr %11, align 4, !tbaa !9
  %315 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %315, ptr %7, align 4, !tbaa !9
  %316 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %316, ptr %8, align 4, !tbaa !9
  %317 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %317, ptr %9, align 4, !tbaa !9
  %318 = load i32, ptr %11, align 4, !tbaa !9
  %319 = load i32, ptr %9, align 4, !tbaa !9
  %320 = xor i32 %318, %319
  store i32 %320, ptr %10, align 4, !tbaa !9
  %321 = load i32, ptr %7, align 4, !tbaa !9
  %322 = load i32, ptr %9, align 4, !tbaa !9
  %323 = xor i32 %322, %321
  store i32 %323, ptr %9, align 4, !tbaa !9
  %324 = load i32, ptr %9, align 4, !tbaa !9
  %325 = load i32, ptr %8, align 4, !tbaa !9
  %326 = xor i32 %325, %324
  store i32 %326, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #2
  %327 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %327, ptr %23, align 4, !tbaa !9
  %328 = load i32, ptr %23, align 4, !tbaa !9
  %329 = lshr i32 %328, 8
  %330 = load i32, ptr %23, align 4, !tbaa !9
  %331 = shl i32 %330, 24
  %332 = or i32 %329, %331
  store i32 %332, ptr %24, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #2
  %333 = load i32, ptr %24, align 4, !tbaa !9
  store i32 %333, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #2
  %334 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %334, ptr %25, align 4, !tbaa !9
  %335 = load i32, ptr %25, align 4, !tbaa !9
  %336 = lshr i32 %335, 16
  %337 = load i32, ptr %25, align 4, !tbaa !9
  %338 = shl i32 %337, 16
  %339 = or i32 %336, %338
  store i32 %339, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #2
  %340 = load i32, ptr %26, align 4, !tbaa !9
  store i32 %340, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #2
  %341 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %341, ptr %27, align 4, !tbaa !9
  %342 = load i32, ptr %27, align 4, !tbaa !9
  %343 = lshr i32 %342, 24
  %344 = load i32, ptr %27, align 4, !tbaa !9
  %345 = shl i32 %344, 8
  %346 = or i32 %343, %345
  store i32 %346, ptr %28, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #2
  %347 = load i32, ptr %28, align 4, !tbaa !9
  store i32 %347, ptr %10, align 4, !tbaa !9
  %348 = load i32, ptr %5, align 4, !tbaa !9
  %349 = add i32 %348, -1
  store i32 %349, ptr %5, align 4, !tbaa !9
  %350 = zext i32 %349 to i64
  %351 = getelementptr inbounds [87 x i8], ptr @RC, i64 0, i64 %350
  %352 = load i8, ptr %351, align 1, !tbaa !11
  store i8 %352, ptr %12, align 1, !tbaa !11
  %353 = load ptr, ptr %4, align 8, !tbaa !5
  %354 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %353, i32 0, i32 0
  %355 = getelementptr inbounds [4 x i32], ptr %354, i64 0, i64 0
  %356 = load i32, ptr %355, align 4, !tbaa !9
  %357 = load ptr, ptr %4, align 8, !tbaa !5
  %358 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %357, i32 0, i32 1
  %359 = getelementptr inbounds [4 x i32], ptr %358, i64 0, i64 0
  %360 = load i32, ptr %359, align 4, !tbaa !9
  %361 = xor i32 %356, %360
  %362 = load ptr, ptr %4, align 8, !tbaa !5
  %363 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %362, i32 0, i32 2
  %364 = getelementptr inbounds [4 x i32], ptr %363, i64 0, i64 0
  %365 = load i32, ptr %364, align 4, !tbaa !9
  %366 = xor i32 %361, %365
  %367 = load i8, ptr %12, align 1, !tbaa !11
  %368 = zext i8 %367 to i32
  %369 = and i32 %368, 15
  %370 = xor i32 %366, %369
  %371 = xor i32 %370, 131072
  %372 = load i32, ptr %7, align 4, !tbaa !9
  %373 = xor i32 %372, %371
  store i32 %373, ptr %7, align 4, !tbaa !9
  %374 = load ptr, ptr %4, align 8, !tbaa !5
  %375 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %374, i32 0, i32 0
  %376 = getelementptr inbounds [4 x i32], ptr %375, i64 0, i64 1
  %377 = load i32, ptr %376, align 4, !tbaa !9
  %378 = load ptr, ptr %4, align 8, !tbaa !5
  %379 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %378, i32 0, i32 1
  %380 = getelementptr inbounds [4 x i32], ptr %379, i64 0, i64 1
  %381 = load i32, ptr %380, align 4, !tbaa !9
  %382 = xor i32 %377, %381
  %383 = load ptr, ptr %4, align 8, !tbaa !5
  %384 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %383, i32 0, i32 2
  %385 = getelementptr inbounds [4 x i32], ptr %384, i64 0, i64 1
  %386 = load i32, ptr %385, align 4, !tbaa !9
  %387 = xor i32 %382, %386
  %388 = load i8, ptr %12, align 1, !tbaa !11
  %389 = zext i8 %388 to i32
  %390 = ashr i32 %389, 4
  %391 = xor i32 %387, %390
  %392 = load i32, ptr %8, align 4, !tbaa !9
  %393 = xor i32 %392, %391
  store i32 %393, ptr %8, align 4, !tbaa !9
  %394 = load i32, ptr %9, align 4, !tbaa !9
  %395 = xor i32 %394, 2
  store i32 %395, ptr %9, align 4, !tbaa !9
  br label %396

396:                                              ; preds = %313
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #2
  %397 = load i32, ptr %7, align 4, !tbaa !9
  %398 = xor i32 %397, -1
  store i32 %398, ptr %7, align 4, !tbaa !9
  %399 = load i32, ptr %7, align 4, !tbaa !9
  %400 = lshr i32 %399, 1
  %401 = load i32, ptr %7, align 4, !tbaa !9
  %402 = lshr i32 %401, 3
  %403 = and i32 %400, %402
  %404 = and i32 %403, 16843009
  store i32 %404, ptr %29, align 4, !tbaa !9
  %405 = load i32, ptr %7, align 4, !tbaa !9
  %406 = lshr i32 %405, 2
  %407 = load i32, ptr %7, align 4, !tbaa !9
  %408 = lshr i32 %407, 3
  %409 = and i32 %406, %408
  %410 = and i32 %409, 269488144
  %411 = load i32, ptr %29, align 4, !tbaa !9
  %412 = xor i32 %410, %411
  %413 = load i32, ptr %7, align 4, !tbaa !9
  %414 = xor i32 %413, %412
  store i32 %414, ptr %7, align 4, !tbaa !9
  %415 = load i32, ptr %7, align 4, !tbaa !9
  %416 = lshr i32 %415, 6
  %417 = load i32, ptr %7, align 4, !tbaa !9
  %418 = lshr i32 %417, 1
  %419 = and i32 %416, %418
  %420 = and i32 %419, 33686018
  store i32 %420, ptr %29, align 4, !tbaa !9
  %421 = load i32, ptr %7, align 4, !tbaa !9
  %422 = lshr i32 %421, 1
  %423 = load i32, ptr %7, align 4, !tbaa !9
  %424 = lshr i32 %423, 2
  %425 = and i32 %422, %424
  %426 = and i32 %425, 134744072
  %427 = load i32, ptr %29, align 4, !tbaa !9
  %428 = xor i32 %426, %427
  %429 = load i32, ptr %7, align 4, !tbaa !9
  %430 = xor i32 %429, %428
  store i32 %430, ptr %7, align 4, !tbaa !9
  %431 = load i32, ptr %7, align 4, !tbaa !9
  %432 = shl i32 %431, 2
  %433 = load i32, ptr %7, align 4, !tbaa !9
  %434 = shl i32 %433, 1
  %435 = and i32 %432, %434
  %436 = and i32 %435, -2139062144
  store i32 %436, ptr %29, align 4, !tbaa !9
  %437 = load i32, ptr %7, align 4, !tbaa !9
  %438 = lshr i32 %437, 1
  %439 = load i32, ptr %7, align 4, !tbaa !9
  %440 = shl i32 %439, 2
  %441 = and i32 %438, %440
  %442 = and i32 %441, 67372036
  %443 = load i32, ptr %29, align 4, !tbaa !9
  %444 = xor i32 %442, %443
  %445 = load i32, ptr %7, align 4, !tbaa !9
  %446 = xor i32 %445, %444
  store i32 %446, ptr %7, align 4, !tbaa !9
  %447 = load i32, ptr %7, align 4, !tbaa !9
  %448 = shl i32 %447, 5
  %449 = load i32, ptr %7, align 4, !tbaa !9
  %450 = shl i32 %449, 1
  %451 = and i32 %448, %450
  %452 = and i32 %451, 538976288
  store i32 %452, ptr %29, align 4, !tbaa !9
  %453 = load i32, ptr %7, align 4, !tbaa !9
  %454 = shl i32 %453, 4
  %455 = load i32, ptr %7, align 4, !tbaa !9
  %456 = shl i32 %455, 5
  %457 = and i32 %454, %456
  %458 = and i32 %457, 1077952576
  %459 = load i32, ptr %29, align 4, !tbaa !9
  %460 = xor i32 %458, %459
  %461 = load i32, ptr %7, align 4, !tbaa !9
  %462 = xor i32 %461, %460
  store i32 %462, ptr %7, align 4, !tbaa !9
  %463 = load i32, ptr %7, align 4, !tbaa !9
  %464 = xor i32 %463, -1
  store i32 %464, ptr %7, align 4, !tbaa !9
  %465 = load i32, ptr %7, align 4, !tbaa !9
  %466 = and i32 %465, 16843009
  %467 = shl i32 %466, 2
  %468 = load i32, ptr %7, align 4, !tbaa !9
  %469 = and i32 %468, 67372036
  %470 = shl i32 %469, 4
  %471 = or i32 %467, %470
  %472 = load i32, ptr %7, align 4, !tbaa !9
  %473 = and i32 %472, 33686018
  %474 = shl i32 %473, 6
  %475 = or i32 %471, %474
  %476 = load i32, ptr %7, align 4, !tbaa !9
  %477 = and i32 %476, 538976288
  %478 = lshr i32 %477, 5
  %479 = or i32 %475, %478
  %480 = load i32, ptr %7, align 4, !tbaa !9
  %481 = and i32 %480, -926365496
  %482 = lshr i32 %481, 2
  %483 = or i32 %479, %482
  %484 = load i32, ptr %7, align 4, !tbaa !9
  %485 = and i32 %484, 269488144
  %486 = lshr i32 %485, 1
  %487 = or i32 %483, %486
  store i32 %487, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #2
  br label %488

488:                                              ; preds = %396
  br label %489

489:                                              ; preds = %488
  br label %490

490:                                              ; preds = %489
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #2
  %491 = load i32, ptr %8, align 4, !tbaa !9
  %492 = xor i32 %491, -1
  store i32 %492, ptr %8, align 4, !tbaa !9
  %493 = load i32, ptr %8, align 4, !tbaa !9
  %494 = lshr i32 %493, 1
  %495 = load i32, ptr %8, align 4, !tbaa !9
  %496 = lshr i32 %495, 3
  %497 = and i32 %494, %496
  %498 = and i32 %497, 16843009
  store i32 %498, ptr %30, align 4, !tbaa !9
  %499 = load i32, ptr %8, align 4, !tbaa !9
  %500 = lshr i32 %499, 2
  %501 = load i32, ptr %8, align 4, !tbaa !9
  %502 = lshr i32 %501, 3
  %503 = and i32 %500, %502
  %504 = and i32 %503, 269488144
  %505 = load i32, ptr %30, align 4, !tbaa !9
  %506 = xor i32 %504, %505
  %507 = load i32, ptr %8, align 4, !tbaa !9
  %508 = xor i32 %507, %506
  store i32 %508, ptr %8, align 4, !tbaa !9
  %509 = load i32, ptr %8, align 4, !tbaa !9
  %510 = lshr i32 %509, 6
  %511 = load i32, ptr %8, align 4, !tbaa !9
  %512 = lshr i32 %511, 1
  %513 = and i32 %510, %512
  %514 = and i32 %513, 33686018
  store i32 %514, ptr %30, align 4, !tbaa !9
  %515 = load i32, ptr %8, align 4, !tbaa !9
  %516 = lshr i32 %515, 1
  %517 = load i32, ptr %8, align 4, !tbaa !9
  %518 = lshr i32 %517, 2
  %519 = and i32 %516, %518
  %520 = and i32 %519, 134744072
  %521 = load i32, ptr %30, align 4, !tbaa !9
  %522 = xor i32 %520, %521
  %523 = load i32, ptr %8, align 4, !tbaa !9
  %524 = xor i32 %523, %522
  store i32 %524, ptr %8, align 4, !tbaa !9
  %525 = load i32, ptr %8, align 4, !tbaa !9
  %526 = shl i32 %525, 2
  %527 = load i32, ptr %8, align 4, !tbaa !9
  %528 = shl i32 %527, 1
  %529 = and i32 %526, %528
  %530 = and i32 %529, -2139062144
  store i32 %530, ptr %30, align 4, !tbaa !9
  %531 = load i32, ptr %8, align 4, !tbaa !9
  %532 = lshr i32 %531, 1
  %533 = load i32, ptr %8, align 4, !tbaa !9
  %534 = shl i32 %533, 2
  %535 = and i32 %532, %534
  %536 = and i32 %535, 67372036
  %537 = load i32, ptr %30, align 4, !tbaa !9
  %538 = xor i32 %536, %537
  %539 = load i32, ptr %8, align 4, !tbaa !9
  %540 = xor i32 %539, %538
  store i32 %540, ptr %8, align 4, !tbaa !9
  %541 = load i32, ptr %8, align 4, !tbaa !9
  %542 = shl i32 %541, 5
  %543 = load i32, ptr %8, align 4, !tbaa !9
  %544 = shl i32 %543, 1
  %545 = and i32 %542, %544
  %546 = and i32 %545, 538976288
  store i32 %546, ptr %30, align 4, !tbaa !9
  %547 = load i32, ptr %8, align 4, !tbaa !9
  %548 = shl i32 %547, 4
  %549 = load i32, ptr %8, align 4, !tbaa !9
  %550 = shl i32 %549, 5
  %551 = and i32 %548, %550
  %552 = and i32 %551, 1077952576
  %553 = load i32, ptr %30, align 4, !tbaa !9
  %554 = xor i32 %552, %553
  %555 = load i32, ptr %8, align 4, !tbaa !9
  %556 = xor i32 %555, %554
  store i32 %556, ptr %8, align 4, !tbaa !9
  %557 = load i32, ptr %8, align 4, !tbaa !9
  %558 = xor i32 %557, -1
  store i32 %558, ptr %8, align 4, !tbaa !9
  %559 = load i32, ptr %8, align 4, !tbaa !9
  %560 = and i32 %559, 16843009
  %561 = shl i32 %560, 2
  %562 = load i32, ptr %8, align 4, !tbaa !9
  %563 = and i32 %562, 67372036
  %564 = shl i32 %563, 4
  %565 = or i32 %561, %564
  %566 = load i32, ptr %8, align 4, !tbaa !9
  %567 = and i32 %566, 33686018
  %568 = shl i32 %567, 6
  %569 = or i32 %565, %568
  %570 = load i32, ptr %8, align 4, !tbaa !9
  %571 = and i32 %570, 538976288
  %572 = lshr i32 %571, 5
  %573 = or i32 %569, %572
  %574 = load i32, ptr %8, align 4, !tbaa !9
  %575 = and i32 %574, -926365496
  %576 = lshr i32 %575, 2
  %577 = or i32 %573, %576
  %578 = load i32, ptr %8, align 4, !tbaa !9
  %579 = and i32 %578, 269488144
  %580 = lshr i32 %579, 1
  %581 = or i32 %577, %580
  store i32 %581, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #2
  br label %582

582:                                              ; preds = %490
  br label %583

583:                                              ; preds = %582
  br label %584

584:                                              ; preds = %583
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #2
  %585 = load i32, ptr %9, align 4, !tbaa !9
  %586 = xor i32 %585, -1
  store i32 %586, ptr %9, align 4, !tbaa !9
  %587 = load i32, ptr %9, align 4, !tbaa !9
  %588 = lshr i32 %587, 1
  %589 = load i32, ptr %9, align 4, !tbaa !9
  %590 = lshr i32 %589, 3
  %591 = and i32 %588, %590
  %592 = and i32 %591, 16843009
  store i32 %592, ptr %31, align 4, !tbaa !9
  %593 = load i32, ptr %9, align 4, !tbaa !9
  %594 = lshr i32 %593, 2
  %595 = load i32, ptr %9, align 4, !tbaa !9
  %596 = lshr i32 %595, 3
  %597 = and i32 %594, %596
  %598 = and i32 %597, 269488144
  %599 = load i32, ptr %31, align 4, !tbaa !9
  %600 = xor i32 %598, %599
  %601 = load i32, ptr %9, align 4, !tbaa !9
  %602 = xor i32 %601, %600
  store i32 %602, ptr %9, align 4, !tbaa !9
  %603 = load i32, ptr %9, align 4, !tbaa !9
  %604 = lshr i32 %603, 6
  %605 = load i32, ptr %9, align 4, !tbaa !9
  %606 = lshr i32 %605, 1
  %607 = and i32 %604, %606
  %608 = and i32 %607, 33686018
  store i32 %608, ptr %31, align 4, !tbaa !9
  %609 = load i32, ptr %9, align 4, !tbaa !9
  %610 = lshr i32 %609, 1
  %611 = load i32, ptr %9, align 4, !tbaa !9
  %612 = lshr i32 %611, 2
  %613 = and i32 %610, %612
  %614 = and i32 %613, 134744072
  %615 = load i32, ptr %31, align 4, !tbaa !9
  %616 = xor i32 %614, %615
  %617 = load i32, ptr %9, align 4, !tbaa !9
  %618 = xor i32 %617, %616
  store i32 %618, ptr %9, align 4, !tbaa !9
  %619 = load i32, ptr %9, align 4, !tbaa !9
  %620 = shl i32 %619, 2
  %621 = load i32, ptr %9, align 4, !tbaa !9
  %622 = shl i32 %621, 1
  %623 = and i32 %620, %622
  %624 = and i32 %623, -2139062144
  store i32 %624, ptr %31, align 4, !tbaa !9
  %625 = load i32, ptr %9, align 4, !tbaa !9
  %626 = lshr i32 %625, 1
  %627 = load i32, ptr %9, align 4, !tbaa !9
  %628 = shl i32 %627, 2
  %629 = and i32 %626, %628
  %630 = and i32 %629, 67372036
  %631 = load i32, ptr %31, align 4, !tbaa !9
  %632 = xor i32 %630, %631
  %633 = load i32, ptr %9, align 4, !tbaa !9
  %634 = xor i32 %633, %632
  store i32 %634, ptr %9, align 4, !tbaa !9
  %635 = load i32, ptr %9, align 4, !tbaa !9
  %636 = shl i32 %635, 5
  %637 = load i32, ptr %9, align 4, !tbaa !9
  %638 = shl i32 %637, 1
  %639 = and i32 %636, %638
  %640 = and i32 %639, 538976288
  store i32 %640, ptr %31, align 4, !tbaa !9
  %641 = load i32, ptr %9, align 4, !tbaa !9
  %642 = shl i32 %641, 4
  %643 = load i32, ptr %9, align 4, !tbaa !9
  %644 = shl i32 %643, 5
  %645 = and i32 %642, %644
  %646 = and i32 %645, 1077952576
  %647 = load i32, ptr %31, align 4, !tbaa !9
  %648 = xor i32 %646, %647
  %649 = load i32, ptr %9, align 4, !tbaa !9
  %650 = xor i32 %649, %648
  store i32 %650, ptr %9, align 4, !tbaa !9
  %651 = load i32, ptr %9, align 4, !tbaa !9
  %652 = xor i32 %651, -1
  store i32 %652, ptr %9, align 4, !tbaa !9
  %653 = load i32, ptr %9, align 4, !tbaa !9
  %654 = and i32 %653, 16843009
  %655 = shl i32 %654, 2
  %656 = load i32, ptr %9, align 4, !tbaa !9
  %657 = and i32 %656, 67372036
  %658 = shl i32 %657, 4
  %659 = or i32 %655, %658
  %660 = load i32, ptr %9, align 4, !tbaa !9
  %661 = and i32 %660, 33686018
  %662 = shl i32 %661, 6
  %663 = or i32 %659, %662
  %664 = load i32, ptr %9, align 4, !tbaa !9
  %665 = and i32 %664, 538976288
  %666 = lshr i32 %665, 5
  %667 = or i32 %663, %666
  %668 = load i32, ptr %9, align 4, !tbaa !9
  %669 = and i32 %668, -926365496
  %670 = lshr i32 %669, 2
  %671 = or i32 %667, %670
  %672 = load i32, ptr %9, align 4, !tbaa !9
  %673 = and i32 %672, 269488144
  %674 = lshr i32 %673, 1
  %675 = or i32 %671, %674
  store i32 %675, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #2
  br label %676

676:                                              ; preds = %584
  br label %677

677:                                              ; preds = %676
  br label %678

678:                                              ; preds = %677
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #2
  %679 = load i32, ptr %10, align 4, !tbaa !9
  %680 = xor i32 %679, -1
  store i32 %680, ptr %10, align 4, !tbaa !9
  %681 = load i32, ptr %10, align 4, !tbaa !9
  %682 = lshr i32 %681, 1
  %683 = load i32, ptr %10, align 4, !tbaa !9
  %684 = lshr i32 %683, 3
  %685 = and i32 %682, %684
  %686 = and i32 %685, 16843009
  store i32 %686, ptr %32, align 4, !tbaa !9
  %687 = load i32, ptr %10, align 4, !tbaa !9
  %688 = lshr i32 %687, 2
  %689 = load i32, ptr %10, align 4, !tbaa !9
  %690 = lshr i32 %689, 3
  %691 = and i32 %688, %690
  %692 = and i32 %691, 269488144
  %693 = load i32, ptr %32, align 4, !tbaa !9
  %694 = xor i32 %692, %693
  %695 = load i32, ptr %10, align 4, !tbaa !9
  %696 = xor i32 %695, %694
  store i32 %696, ptr %10, align 4, !tbaa !9
  %697 = load i32, ptr %10, align 4, !tbaa !9
  %698 = lshr i32 %697, 6
  %699 = load i32, ptr %10, align 4, !tbaa !9
  %700 = lshr i32 %699, 1
  %701 = and i32 %698, %700
  %702 = and i32 %701, 33686018
  store i32 %702, ptr %32, align 4, !tbaa !9
  %703 = load i32, ptr %10, align 4, !tbaa !9
  %704 = lshr i32 %703, 1
  %705 = load i32, ptr %10, align 4, !tbaa !9
  %706 = lshr i32 %705, 2
  %707 = and i32 %704, %706
  %708 = and i32 %707, 134744072
  %709 = load i32, ptr %32, align 4, !tbaa !9
  %710 = xor i32 %708, %709
  %711 = load i32, ptr %10, align 4, !tbaa !9
  %712 = xor i32 %711, %710
  store i32 %712, ptr %10, align 4, !tbaa !9
  %713 = load i32, ptr %10, align 4, !tbaa !9
  %714 = shl i32 %713, 2
  %715 = load i32, ptr %10, align 4, !tbaa !9
  %716 = shl i32 %715, 1
  %717 = and i32 %714, %716
  %718 = and i32 %717, -2139062144
  store i32 %718, ptr %32, align 4, !tbaa !9
  %719 = load i32, ptr %10, align 4, !tbaa !9
  %720 = lshr i32 %719, 1
  %721 = load i32, ptr %10, align 4, !tbaa !9
  %722 = shl i32 %721, 2
  %723 = and i32 %720, %722
  %724 = and i32 %723, 67372036
  %725 = load i32, ptr %32, align 4, !tbaa !9
  %726 = xor i32 %724, %725
  %727 = load i32, ptr %10, align 4, !tbaa !9
  %728 = xor i32 %727, %726
  store i32 %728, ptr %10, align 4, !tbaa !9
  %729 = load i32, ptr %10, align 4, !tbaa !9
  %730 = shl i32 %729, 5
  %731 = load i32, ptr %10, align 4, !tbaa !9
  %732 = shl i32 %731, 1
  %733 = and i32 %730, %732
  %734 = and i32 %733, 538976288
  store i32 %734, ptr %32, align 4, !tbaa !9
  %735 = load i32, ptr %10, align 4, !tbaa !9
  %736 = shl i32 %735, 4
  %737 = load i32, ptr %10, align 4, !tbaa !9
  %738 = shl i32 %737, 5
  %739 = and i32 %736, %738
  %740 = and i32 %739, 1077952576
  %741 = load i32, ptr %32, align 4, !tbaa !9
  %742 = xor i32 %740, %741
  %743 = load i32, ptr %10, align 4, !tbaa !9
  %744 = xor i32 %743, %742
  store i32 %744, ptr %10, align 4, !tbaa !9
  %745 = load i32, ptr %10, align 4, !tbaa !9
  %746 = xor i32 %745, -1
  store i32 %746, ptr %10, align 4, !tbaa !9
  %747 = load i32, ptr %10, align 4, !tbaa !9
  %748 = and i32 %747, 16843009
  %749 = shl i32 %748, 2
  %750 = load i32, ptr %10, align 4, !tbaa !9
  %751 = and i32 %750, 67372036
  %752 = shl i32 %751, 4
  %753 = or i32 %749, %752
  %754 = load i32, ptr %10, align 4, !tbaa !9
  %755 = and i32 %754, 33686018
  %756 = shl i32 %755, 6
  %757 = or i32 %753, %756
  %758 = load i32, ptr %10, align 4, !tbaa !9
  %759 = and i32 %758, 538976288
  %760 = lshr i32 %759, 5
  %761 = or i32 %757, %760
  %762 = load i32, ptr %10, align 4, !tbaa !9
  %763 = and i32 %762, -926365496
  %764 = lshr i32 %763, 2
  %765 = or i32 %761, %764
  %766 = load i32, ptr %10, align 4, !tbaa !9
  %767 = and i32 %766, 269488144
  %768 = lshr i32 %767, 1
  %769 = or i32 %765, %768
  store i32 %769, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #2
  br label %770

770:                                              ; preds = %678
  br label %771

771:                                              ; preds = %770
  br label %49, !llvm.loop !12

772:                                              ; preds = %49
  %773 = load i32, ptr %7, align 4, !tbaa !9
  %774 = load ptr, ptr %4, align 8, !tbaa !5
  %775 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %774, i32 0, i32 3
  %776 = getelementptr inbounds [4 x i32], ptr %775, i64 0, i64 0
  store i32 %773, ptr %776, align 4, !tbaa !9
  %777 = load i32, ptr %8, align 4, !tbaa !9
  %778 = load ptr, ptr %4, align 8, !tbaa !5
  %779 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %778, i32 0, i32 3
  %780 = getelementptr inbounds [4 x i32], ptr %779, i64 0, i64 1
  store i32 %777, ptr %780, align 4, !tbaa !9
  %781 = load i32, ptr %9, align 4, !tbaa !9
  %782 = load ptr, ptr %4, align 8, !tbaa !5
  %783 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %782, i32 0, i32 3
  %784 = getelementptr inbounds [4 x i32], ptr %783, i64 0, i64 2
  store i32 %781, ptr %784, align 4, !tbaa !9
  %785 = load i32, ptr %10, align 4, !tbaa !9
  %786 = load ptr, ptr %4, align 8, !tbaa !5
  %787 = getelementptr inbounds %struct.forkskinny_128_384_state_t, ptr %786, i32 0, i32 3
  %788 = getelementptr inbounds [4 x i32], ptr %787, i64 0, i64 3
  store i32 %785, ptr %788, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #2
  ret void
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !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}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}


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

@RC = external hidden local_unnamed_addr constant [87 x i8], align 16

; Function Attrs: nofree norecurse nosync nounwind memory(argmem: readwrite) uwtable
define dso_local void @forkskinny_128_384_inv_rounds(ptr nocapture noundef %0, i32 noundef %1, i32 noundef %2) local_unnamed_addr #0 {
  %4 = getelementptr inbounds i8, ptr %0, i64 48
  %5 = load <4 x i32>, ptr %4, align 4, !tbaa !5
  %6 = icmp ugt i32 %1, %2
  br i1 %6, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %3
  %7 = getelementptr inbounds i8, ptr %0, i64 16
  %8 = getelementptr inbounds i8, ptr %0, i64 20
  %9 = getelementptr inbounds i8, ptr %0, i64 32
  %10 = getelementptr inbounds i8, ptr %0, i64 36
  %11 = getelementptr inbounds i8, ptr %0, i64 4
  %12 = getelementptr inbounds i8, ptr %0, i64 8
  %13 = getelementptr inbounds i8, ptr %0, i64 12
  %14 = getelementptr inbounds i8, ptr %0, i64 24
  %15 = getelementptr inbounds i8, ptr %0, i64 28
  %16 = getelementptr inbounds i8, ptr %0, i64 40
  %17 = getelementptr inbounds i8, ptr %0, i64 44
  %.promoted = load i32, ptr %7, align 4, !tbaa !5
  %.promoted255 = load i32, ptr %8, align 4, !tbaa !5
  %.promoted256 = load i32, ptr %9, align 4, !tbaa !5
  %.promoted257 = load i32, ptr %10, align 4, !tbaa !5
  %.promoted258 = load i32, ptr %0, align 4, !tbaa !5
  %.promoted259 = load i32, ptr %11, align 4, !tbaa !5
  %.promoted260 = load i32, ptr %12, align 4, !tbaa !5
  %.promoted261 = load i32, ptr %13, align 4, !tbaa !5
  %.promoted262 = load i32, ptr %14, align 4, !tbaa !5
  %.promoted263 = load i32, ptr %15, align 4, !tbaa !5
  %.promoted264 = load i32, ptr %16, align 4, !tbaa !5
  %.promoted265 = load i32, ptr %17, align 4, !tbaa !5
  %18 = zext i32 %1 to i64
  %19 = zext i32 %2 to i64
  br label %20

20:                                               ; preds = %.lr.ph, %20
  %indvars.iv = phi i64 [ %18, %.lr.ph ], [ %131, %20 ]
  %21 = phi i32 [ %.promoted265, %.lr.ph ], [ %121, %20 ]
  %22 = phi i32 [ %.promoted264, %.lr.ph ], [ %111, %20 ]
  %23 = phi i32 [ %.promoted263, %.lr.ph ], [ %101, %20 ]
  %24 = phi i32 [ %.promoted262, %.lr.ph ], [ %91, %20 ]
  %25 = phi i32 [ %.promoted261, %.lr.ph ], [ %81, %20 ]
  %26 = phi i32 [ %.promoted260, %.lr.ph ], [ %71, %20 ]
  %27 = phi i32 [ %.promoted259, %.lr.ph ], [ %25, %20 ]
  %28 = phi i32 [ %.promoted258, %.lr.ph ], [ %26, %20 ]
  %29 = phi i32 [ %.promoted257, %.lr.ph ], [ %21, %20 ]
  %30 = phi i32 [ %.promoted256, %.lr.ph ], [ %22, %20 ]
  %31 = phi i32 [ %.promoted255, %.lr.ph ], [ %23, %20 ]
  %32 = phi i32 [ %.promoted, %.lr.ph ], [ %24, %20 ]
  %33 = phi <4 x i32> [ %5, %.lr.ph ], [ %201, %20 ]
  %34 = lshr i32 %32, 1
  %35 = and i32 %34, 2139062143
  %36 = shl i32 %32, 7
  %37 = shl i32 %32, 1
  %38 = xor i32 %36, %37
  %39 = and i32 %38, -2139062144
  %40 = or disjoint i32 %39, %35
  %41 = lshr i32 %31, 1
  %42 = and i32 %41, 2139062143
  %43 = shl i32 %31, 7
  %44 = shl i32 %31, 1
  %45 = xor i32 %43, %44
  %46 = and i32 %45, -2139062144
  %47 = or disjoint i32 %46, %42
  %48 = shl i32 %30, 1
  %49 = and i32 %48, -16843010
  %50 = lshr i32 %30, 7
  %51 = lshr i32 %30, 5
  %52 = xor i32 %50, %51
  %53 = and i32 %52, 16843009
  %54 = or disjoint i32 %53, %49
  %55 = shl i32 %29, 1
  %56 = and i32 %55, -16843010
  %57 = lshr i32 %29, 7
  %58 = lshr i32 %29, 5
  %59 = xor i32 %57, %58
  %60 = and i32 %59, 16843009
  %61 = or disjoint i32 %60, %56
  store i32 %26, ptr %0, align 4, !tbaa !5
  store i32 %25, ptr %11, align 4, !tbaa !5
  %62 = lshr i32 %28, 16
  %63 = and i32 %62, 255
  %64 = shl i32 %28, 8
  %65 = and i32 %64, 65280
  %66 = or disjoint i32 %63, %65
  %67 = shl i32 %27, 16
  %68 = and i32 %67, 16711680
  %69 = and i32 %27, -16777216
  %70 = or disjoint i32 %66, %69
  %71 = or disjoint i32 %70, %68
  store i32 %71, ptr %12, align 4, !tbaa !5
  %72 = and i32 %62, 65280
  %73 = shl i32 %28, 16
  %74 = and i32 %73, -16777216
  %75 = or disjoint i32 %72, %74
  %76 = lshr i32 %27, 16
  %77 = and i32 %76, 255
  %78 = or disjoint i32 %75, %77
  %79 = shl i32 %27, 8
  %80 = and i32 %79, 16711680
  %81 = or disjoint i32 %78, %80
  store i32 %81, ptr %13, align 4, !tbaa !5
  store i32 %24, ptr %7, align 4, !tbaa !5
  store i32 %23, ptr %8, align 4, !tbaa !5
  %82 = lshr i32 %40, 16
  %83 = and i32 %82, 255
  %84 = shl i32 %40, 8
  %85 = and i32 %84, 65280
  %86 = or disjoint i32 %83, %85
  %87 = shl i32 %47, 16
  %88 = and i32 %87, 16711680
  %89 = and i32 %47, -16777216
  %90 = or disjoint i32 %86, %89
  %91 = or disjoint i32 %90, %88
  store i32 %91, ptr %14, align 4, !tbaa !5
  %92 = and i32 %82, 65280
  %93 = shl i32 %40, 16
  %94 = and i32 %93, -16777216
  %95 = or disjoint i32 %92, %94
  %96 = lshr i32 %47, 16
  %97 = and i32 %96, 255
  %98 = or disjoint i32 %95, %97
  %99 = shl i32 %47, 8
  %100 = and i32 %99, 16711680
  %101 = or disjoint i32 %98, %100
  store i32 %101, ptr %15, align 4, !tbaa !5
  store i32 %22, ptr %9, align 4, !tbaa !5
  store i32 %21, ptr %10, align 4, !tbaa !5
  %102 = lshr i32 %54, 16
  %103 = and i32 %102, 255
  %104 = shl i32 %54, 8
  %105 = and i32 %104, 65280
  %106 = or disjoint i32 %103, %105
  %107 = shl i32 %61, 16
  %108 = and i32 %107, 16711680
  %109 = and i32 %61, -16777216
  %110 = or disjoint i32 %106, %109
  %111 = or disjoint i32 %110, %108
  store i32 %111, ptr %16, align 4, !tbaa !5
  %112 = and i32 %102, 65280
  %113 = shl i32 %54, 16
  %114 = and i32 %113, -16777216
  %115 = or disjoint i32 %112, %114
  %116 = lshr i32 %61, 16
  %117 = and i32 %116, 255
  %118 = or disjoint i32 %115, %117
  %119 = shl i32 %61, 8
  %120 = and i32 %119, 16711680
  %121 = or disjoint i32 %118, %120
  store i32 %121, ptr %17, align 4, !tbaa !5
  %122 = extractelement <4 x i32> %33, i64 1
  %123 = extractelement <4 x i32> %33, i64 2
  %124 = shufflevector <4 x i32> %33, <4 x i32> poison, <2 x i32> <i32 0, i32 1>
  %125 = shufflevector <4 x i32> %33, <4 x i32> poison, <2 x i32> <i32 3, i32 3>
  %126 = xor <2 x i32> %124, %125
  %127 = extractelement <2 x i32> %126, i64 1
  %128 = xor i32 %127, %123
  %129 = tail call i32 @llvm.fshl.i32(i32 %128, i32 %128, i32 24)
  %130 = tail call <2 x i32> @llvm.fshl.v2i32(<2 x i32> %126, <2 x i32> %126, <2 x i32> <i32 8, i32 16>)
  %131 = add nsw i64 %indvars.iv, -1
  %132 = getelementptr inbounds [87 x i8], ptr @RC, i64 0, i64 %131
  %133 = load i8, ptr %132, align 1, !tbaa !9
  %134 = zext i8 %133 to i32
  %135 = and i32 %134, 15
  %136 = lshr i32 %134, 4
  %137 = xor i32 %135, %122
  %138 = xor i32 %137, %26
  %139 = xor i32 %138, %24
  %140 = xor i32 %139, %22
  %141 = xor i32 %129, %136
  %142 = xor i32 %141, %25
  %143 = xor i32 %142, %23
  %144 = xor i32 %143, %21
  %145 = insertelement <4 x i32> poison, i32 %140, i64 0
  %146 = insertelement <4 x i32> %145, i32 %144, i64 1
  %147 = shufflevector <2 x i32> %130, <2 x i32> poison, <4 x i32> <i32 1, i32 0, i32 poison, i32 poison>
  %148 = shufflevector <4 x i32> %146, <4 x i32> %147, <4 x i32> <i32 0, i32 1, i32 4, i32 5>
  %149 = xor <4 x i32> %148, <i32 -131073, i32 -1, i32 -3, i32 -1>
  %150 = lshr <4 x i32> %149, <i32 1, i32 1, i32 1, i32 1>
  %151 = lshr <4 x i32> %149, <i32 3, i32 3, i32 3, i32 3>
  %152 = and <4 x i32> %151, <i32 16843009, i32 16843009, i32 16843009, i32 16843009>
  %153 = and <4 x i32> %152, %150
  %154 = lshr <4 x i32> %149, <i32 2, i32 2, i32 2, i32 2>
  %155 = and <4 x i32> %151, <i32 269488144, i32 269488144, i32 269488144, i32 269488144>
  %156 = and <4 x i32> %155, %154
  %157 = or disjoint <4 x i32> %156, %153
  %158 = xor <4 x i32> %157, %149
  %159 = lshr <4 x i32> %149, <i32 6, i32 6, i32 6, i32 6>
  %160 = lshr <4 x i32> %158, <i32 1, i32 1, i32 1, i32 1>
  %161 = and <4 x i32> %159, <i32 33686018, i32 33686018, i32 33686018, i32 33686018>
  %162 = and <4 x i32> %154, <i32 134744072, i32 134744072, i32 134744072, i32 134744072>
  %163 = or disjoint <4 x i32> %162, %161
  %164 = and <4 x i32> %163, %160
  %165 = xor <4 x i32> %164, %158
  %166 = shl <4 x i32> %165, <i32 2, i32 2, i32 2, i32 2>
  %167 = shl <4 x i32> %149, <i32 1, i32 1, i32 1, i32 1>
  %168 = and <4 x i32> %167, <i32 -2139062144, i32 -2139062144, i32 -2139062144, i32 -2139062144>
  %169 = and <4 x i32> %168, %166
  %170 = lshr <4 x i32> %165, <i32 1, i32 1, i32 1, i32 1>
  %171 = and <4 x i32> %166, <i32 67372036, i32 67372036, i32 67372036, i32 67372036>
  %172 = and <4 x i32> %171, %170
  %173 = or disjoint <4 x i32> %172, %169
  %174 = shl <4 x i32> %158, <i32 1, i32 1, i32 1, i32 1>
  %175 = and <4 x i32> %174, <i32 538976288, i32 538976288, i32 538976288, i32 538976288>
  %176 = xor <4 x i32> %173, %165
  %177 = shl <4 x i32> %176, <i32 5, i32 5, i32 5, i32 5>
  %178 = and <4 x i32> %175, %177
  %179 = shl <4 x i32> %176, <i32 4, i32 4, i32 4, i32 4>
  %180 = and <4 x i32> %177, <i32 1077952576, i32 1077952576, i32 1077952576, i32 1077952576>
  %181 = and <4 x i32> %180, %179
  %182 = or disjoint <4 x i32> %181, %178
  %183 = xor <4 x i32> %176, %182
  %184 = xor <4 x i32> %183, <i32 -1, i32 -1, i32 -1, i32 -1>
  %185 = shl <4 x i32> %184, <i32 4, i32 2, i32 4, i32 2>
  %186 = and <4 x i32> %185, <i32 1077952576, i32 67372036, i32 1077952576, i32 67372036>
  %187 = shl <4 x i32> %184, <i32 2, i32 4, i32 2, i32 4>
  %188 = and <4 x i32> %187, <i32 67372036, i32 1077952576, i32 67372036, i32 1077952576>
  %189 = or disjoint <4 x i32> %186, %188
  %190 = shl <4 x i32> %184, <i32 6, i32 6, i32 6, i32 6>
  %191 = and <4 x i32> %190, <i32 -2139062144, i32 -2139062144, i32 -2139062144, i32 -2139062144>
  %192 = or disjoint <4 x i32> %189, %191
  %193 = lshr <4 x i32> %184, <i32 5, i32 5, i32 5, i32 5>
  %194 = and <4 x i32> %193, <i32 16843009, i32 16843009, i32 16843009, i32 16843009>
  %195 = or disjoint <4 x i32> %192, %194
  %196 = lshr <4 x i32> %184, <i32 2, i32 2, i32 2, i32 2>
  %197 = and <4 x i32> %196, <i32 842150450, i32 842150450, i32 842150450, i32 842150450>
  %198 = or disjoint <4 x i32> %195, %197
  %199 = lshr <4 x i32> %184, <i32 1, i32 1, i32 1, i32 1>
  %200 = and <4 x i32> %199, <i32 134744072, i32 134744072, i32 134744072, i32 134744072>
  %201 = or disjoint <4 x i32> %198, %200
  %.wide = icmp ugt i64 %131, %19
  br i1 %.wide, label %20, label %._crit_edge, !llvm.loop !10

._crit_edge:                                      ; preds = %20, %3
  %202 = phi <4 x i32> [ %5, %3 ], [ %201, %20 ]
  store <4 x i32> %202, ptr %4, align 4, !tbaa !5
  ret void
}

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.fshl.i32(i32, i32, i32) #1

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare <2 x i32> @llvm.fshl.v2i32(<2 x i32>, <2 x i32>, <2 x i32>) #1

attributes #0 = { nofree norecurse nosync nounwind memory(argmem: readwrite) 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = distinct !{!10, !11}
!11 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass