#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef scalar_t__ uint8_t;
typedef int uint32_t;

/* Variables and functions */
void fiat_p224_from_bytes(uint32_t out1[7], const uint8_t arg1[28]) {
  uint32_t x1;
  uint32_t x2;
  uint32_t x3;
  uint8_t x4;
  uint32_t x5;
  uint32_t x6;
  uint32_t x7;
  uint8_t x8;
  uint32_t x9;
  uint32_t x10;
  uint32_t x11;
  uint8_t x12;
  uint32_t x13;
  uint32_t x14;
  uint32_t x15;
  uint8_t x16;
  uint32_t x17;
  uint32_t x18;
  uint32_t x19;
  uint8_t x20;
  uint32_t x21;
  uint32_t x22;
  uint32_t x23;
  uint8_t x24;
  uint32_t x25;
  uint32_t x26;
  uint32_t x27;
  uint8_t x28;
  uint32_t x29;
  uint32_t x30;
  uint32_t x31;
  uint32_t x32;
  uint32_t x33;
  uint32_t x34;
  uint32_t x35;
  uint32_t x36;
  uint32_t x37;
  uint32_t x38;
  uint32_t x39;
  uint32_t x40;
  uint32_t x41;
  uint32_t x42;
  uint32_t x43;
  uint32_t x44;
  uint32_t x45;
  uint32_t x46;
  uint32_t x47;
  uint32_t x48;
  uint32_t x49;
  x1 = ((uint32_t)(arg1[27]) << 24);
  x2 = ((uint32_t)(arg1[26]) << 16);
  x3 = ((uint32_t)(arg1[25]) << 8);
  x4 = (arg1[24]);
  x5 = ((uint32_t)(arg1[23]) << 24);
  x6 = ((uint32_t)(arg1[22]) << 16);
  x7 = ((uint32_t)(arg1[21]) << 8);
  x8 = (arg1[20]);
  x9 = ((uint32_t)(arg1[19]) << 24);
  x10 = ((uint32_t)(arg1[18]) << 16);
  x11 = ((uint32_t)(arg1[17]) << 8);
  x12 = (arg1[16]);
  x13 = ((uint32_t)(arg1[15]) << 24);
  x14 = ((uint32_t)(arg1[14]) << 16);
  x15 = ((uint32_t)(arg1[13]) << 8);
  x16 = (arg1[12]);
  x17 = ((uint32_t)(arg1[11]) << 24);
  x18 = ((uint32_t)(arg1[10]) << 16);
  x19 = ((uint32_t)(arg1[9]) << 8);
  x20 = (arg1[8]);
  x21 = ((uint32_t)(arg1[7]) << 24);
  x22 = ((uint32_t)(arg1[6]) << 16);
  x23 = ((uint32_t)(arg1[5]) << 8);
  x24 = (arg1[4]);
  x25 = ((uint32_t)(arg1[3]) << 24);
  x26 = ((uint32_t)(arg1[2]) << 16);
  x27 = ((uint32_t)(arg1[1]) << 8);
  x28 = (arg1[0]);
  x29 = (x27 + (uint32_t)x28);
  x30 = (x26 + x29);
  x31 = (x25 + x30);
  x32 = (x23 + (uint32_t)x24);
  x33 = (x22 + x32);
  x34 = (x21 + x33);
  x35 = (x19 + (uint32_t)x20);
  x36 = (x18 + x35);
  x37 = (x17 + x36);
  x38 = (x15 + (uint32_t)x16);
  x39 = (x14 + x38);
  x40 = (x13 + x39);
  x41 = (x11 + (uint32_t)x12);
  x42 = (x10 + x41);
  x43 = (x9 + x42);
  x44 = (x7 + (uint32_t)x8);
  x45 = (x6 + x44);
  x46 = (x5 + x45);
  x47 = (x3 + (uint32_t)x4);
  x48 = (x2 + x47);
  x49 = (x1 + x48);
  out1[0] = x31;
  out1[1] = x34;
  out1[2] = x37;
  out1[3] = x40;
  out1[4] = x43;
  out1[5] = x46;
  out1[6] = x49;
}


x86 assembly (clang, -O0):
<fiat_p224_from_bytes>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    0xd8(%rax),%rax
shl    $0x18,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    0xd0(%rax),%rax
shl    $0x10,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    0xc8(%rax),%rax
shl    $0x8,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    0xc0(%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    0xb8(%rax),%rax
shl    $0x18,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    0xb0(%rax),%rax
shl    $0x10,%eax
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    0xa8(%rax),%rax
shl    $0x8,%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
mov    0xa0(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    0x98(%rax),%rax
shl    $0x18,%eax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rax
mov    0x90(%rax),%rax
shl    $0x10,%eax
mov    %eax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
mov    0x88(%rax),%rax
shl    $0x8,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x80(%rax),%rax
mov    %rax,-0x58(%rbp)
mov    -0x10(%rbp),%rax
mov    0x78(%rax),%rax
shl    $0x18,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x70(%rax),%rax
shl    $0x10,%eax
mov    %eax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
mov    0x68(%rax),%rax
shl    $0x8,%eax
mov    %eax,-0x64(%rbp)
mov    -0x10(%rbp),%rax
mov    0x60(%rax),%rax
mov    %rax,-0x70(%rbp)
mov    -0x10(%rbp),%rax
mov    0x58(%rax),%rax
shl    $0x18,%eax
mov    %eax,-0x74(%rbp)
mov    -0x10(%rbp),%rax
mov    0x50(%rax),%rax
shl    $0x10,%eax
mov    %eax,-0x78(%rbp)
mov    -0x10(%rbp),%rax
mov    0x48(%rax),%rax
shl    $0x8,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x40(%rax),%rax
mov    %rax,-0x88(%rbp)
mov    -0x10(%rbp),%rax
mov    0x38(%rax),%rax
shl    $0x18,%eax
mov    %eax,-0x8c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x30(%rax),%rax
shl    $0x10,%eax
mov    %eax,-0x90(%rbp)
mov    -0x10(%rbp),%rax
mov    0x28(%rax),%rax
shl    $0x8,%eax
mov    %eax,-0x94(%rbp)
mov    -0x10(%rbp),%rax
mov    0x20(%rax),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%rax
shl    $0x18,%eax
mov    %eax,-0xa4(%rbp)
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
shl    $0x10,%eax
mov    %eax,-0xa8(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
shl    $0x8,%eax
mov    %eax,-0xac(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0xb8(%rbp)
mov    -0xac(%rbp),%eax
mov    -0xb8(%rbp),%rcx
add    %ecx,%eax
mov    %eax,-0xbc(%rbp)
mov    -0xa8(%rbp),%eax
add    -0xbc(%rbp),%eax
mov    %eax,-0xc0(%rbp)
mov    -0xa4(%rbp),%eax
add    -0xc0(%rbp),%eax
mov    %eax,-0xc4(%rbp)
mov    -0x94(%rbp),%eax
mov    -0xa0(%rbp),%rcx
add    %ecx,%eax
mov    %eax,-0xc8(%rbp)
mov    -0x90(%rbp),%eax
add    -0xc8(%rbp),%eax
mov    %eax,-0xcc(%rbp)
mov    -0x8c(%rbp),%eax
add    -0xcc(%rbp),%eax
mov    %eax,-0xd0(%rbp)
mov    -0x7c(%rbp),%eax
mov    -0x88(%rbp),%rcx
add    %ecx,%eax
mov    %eax,-0xd4(%rbp)
mov    -0x78(%rbp),%eax
add    -0xd4(%rbp),%eax
mov    %eax,-0xd8(%rbp)
mov    -0x74(%rbp),%eax
add    -0xd8(%rbp),%eax
mov    %eax,-0xdc(%rbp)
mov    -0x64(%rbp),%eax
mov    -0x70(%rbp),%rcx
add    %ecx,%eax
mov    %eax,-0xe0(%rbp)
mov    -0x60(%rbp),%eax
add    -0xe0(%rbp),%eax
mov    %eax,-0xe4(%rbp)
mov    -0x5c(%rbp),%eax
add    -0xe4(%rbp),%eax
mov    %eax,-0xe8(%rbp)
mov    -0x4c(%rbp),%eax
mov    -0x58(%rbp),%rcx
add    %ecx,%eax
mov    %eax,-0xec(%rbp)
mov    -0x48(%rbp),%eax
add    -0xec(%rbp),%eax
mov    %eax,-0xf0(%rbp)
mov    -0x44(%rbp),%eax
add    -0xf0(%rbp),%eax
mov    %eax,-0xf4(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x40(%rbp),%rcx
add    %ecx,%eax
mov    %eax,-0xf8(%rbp)
mov    -0x30(%rbp),%eax
add    -0xf8(%rbp),%eax
mov    %eax,-0xfc(%rbp)
mov    -0x2c(%rbp),%eax
add    -0xfc(%rbp),%eax
mov    %eax,-0x100(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x28(%rbp),%rcx
add    %ecx,%eax
mov    %eax,-0x104(%rbp)
mov    -0x18(%rbp),%eax
add    -0x104(%rbp),%eax
mov    %eax,-0x108(%rbp)
mov    -0x14(%rbp),%eax
add    -0x108(%rbp),%eax
mov    %eax,-0x10c(%rbp)
mov    -0xc4(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0xd0(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0xdc(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x8(%rax)
mov    -0xe8(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0xc(%rax)
mov    -0xf4(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x10(%rax)
mov    -0x100(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x14(%rax)
mov    -0x10c(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x18(%rax)
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fiat_p224_from_bytes>:
push   %rbx
mov    0xd8(%rsi),%eax
shl    $0x18,%eax
mov    0xd0(%rsi),%r8d
shl    $0x10,%r8d
add    %eax,%r8d
mov    0xb8(%rsi),%eax
shl    $0x18,%eax
mov    0xb0(%rsi),%r9d
shl    $0x10,%r9d
add    %eax,%r9d
mov    0x98(%rsi),%eax
shl    $0x18,%eax
mov    0x90(%rsi),%r10d
shl    $0x10,%r10d
add    %eax,%r10d
mov    0x78(%rsi),%eax
shl    $0x18,%eax
mov    0x70(%rsi),%r11d
shl    $0x10,%r11d
add    %eax,%r11d
mov    0x58(%rsi),%eax
shl    $0x18,%eax
mov    0x50(%rsi),%ecx
shl    $0x10,%ecx
add    %eax,%ecx
mov    0x38(%rsi),%eax
shl    $0x18,%eax
mov    0x30(%rsi),%edx
shl    $0x10,%edx
add    %eax,%edx
mov    0x18(%rsi),%ebx
shl    $0x18,%ebx
mov    0x10(%rsi),%eax
shl    $0x10,%eax
add    %ebx,%eax
mov    0x8(%rsi),%ebx
shl    $0x8,%ebx
add    (%rsi),%eax
add    %ebx,%eax
mov    0x28(%rsi),%ebx
shl    $0x8,%ebx
add    0x20(%rsi),%edx
add    %ebx,%edx
mov    0x48(%rsi),%ebx
shl    $0x8,%ebx
add    0x40(%rsi),%ecx
add    %ebx,%ecx
mov    0x68(%rsi),%ebx
add    0x60(%rsi),%r11d
shl    $0x8,%ebx
add    %ebx,%r11d
mov    0x88(%rsi),%ebx
shl    $0x8,%ebx
add    0x80(%rsi),%r10d
add    %ebx,%r10d
mov    0xa8(%rsi),%ebx
shl    $0x8,%ebx
add    0xa0(%rsi),%r9d
add    %ebx,%r9d
add    0xc0(%rsi),%r8d
mov    0xc8(%rsi),%esi
shl    $0x8,%esi
add    %esi,%r8d
mov    %eax,(%rdi)
mov    %edx,0x4(%rdi)
mov    %ecx,0x8(%rdi)
mov    %r11d,0xc(%rdi)
mov    %r10d,0x10(%rdi)
mov    %r9d,0x14(%rdi)
mov    %r8d,0x18(%rdi)
pop    %rbx
ret

LLVM IR (-O0):
define void @fiat_p224_from_bytes(i32* %0, i64* %1) {
%3 = alloca i32*
%4 = alloca i64*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i64
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i64
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i64
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i64
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i64
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i64
%29 = alloca i32
%30 = alloca i32
%31 = alloca i32
%32 = alloca i64
%33 = alloca i32
%34 = alloca i32
%35 = alloca i32
%36 = alloca i32
%37 = alloca i32
%38 = alloca i32
%39 = alloca i32
%40 = alloca i32
%41 = alloca i32
%42 = alloca i32
%43 = alloca i32
%44 = alloca i32
%45 = alloca i32
%46 = alloca i32
%47 = alloca i32
%48 = alloca i32
%49 = alloca i32
%50 = alloca i32
%51 = alloca i32
%52 = alloca i32
%53 = alloca i32
store i32* %0, i32** %3
store i64* %1, i64** %4
%54 = load i64*, i64** %4
%55 = getelementptr inbounds i64, i64* %54, i64 27
%56 = load i64, i64* %55
%57 = trunc i64 %56 to i32
%58 = shl i32 %57, 24
store i32 %58, i32* %5
%59 = load i64*, i64** %4
%60 = getelementptr inbounds i64, i64* %59, i64 26
%61 = load i64, i64* %60
%62 = trunc i64 %61 to i32
%63 = shl i32 %62, 16
store i32 %63, i32* %6
%64 = load i64*, i64** %4
%65 = getelementptr inbounds i64, i64* %64, i64 25
%66 = load i64, i64* %65
%67 = trunc i64 %66 to i32
%68 = shl i32 %67, 8
store i32 %68, i32* %7
%69 = load i64*, i64** %4
%70 = getelementptr inbounds i64, i64* %69, i64 24
%71 = load i64, i64* %70
store i64 %71, i64* %8
%72 = load i64*, i64** %4
%73 = getelementptr inbounds i64, i64* %72, i64 23
%74 = load i64, i64* %73
%75 = trunc i64 %74 to i32
%76 = shl i32 %75, 24
store i32 %76, i32* %9
%77 = load i64*, i64** %4
%78 = getelementptr inbounds i64, i64* %77, i64 22
%79 = load i64, i64* %78
%80 = trunc i64 %79 to i32
%81 = shl i32 %80, 16
store i32 %81, i32* %10
%82 = load i64*, i64** %4
%83 = getelementptr inbounds i64, i64* %82, i64 21
%84 = load i64, i64* %83
%85 = trunc i64 %84 to i32
%86 = shl i32 %85, 8
store i32 %86, i32* %11
%87 = load i64*, i64** %4
%88 = getelementptr inbounds i64, i64* %87, i64 20
%89 = load i64, i64* %88
store i64 %89, i64* %12
%90 = load i64*, i64** %4
%91 = getelementptr inbounds i64, i64* %90, i64 19
%92 = load i64, i64* %91
%93 = trunc i64 %92 to i32
%94 = shl i32 %93, 24
store i32 %94, i32* %13
%95 = load i64*, i64** %4
%96 = getelementptr inbounds i64, i64* %95, i64 18
%97 = load i64, i64* %96
%98 = trunc i64 %97 to i32
%99 = shl i32 %98, 16
store i32 %99, i32* %14
%100 = load i64*, i64** %4
%101 = getelementptr inbounds i64, i64* %100, i64 17
%102 = load i64, i64* %101
%103 = trunc i64 %102 to i32
%104 = shl i32 %103, 8
store i32 %104, i32* %15
%105 = load i64*, i64** %4
%106 = getelementptr inbounds i64, i64* %105, i64 16
%107 = load i64, i64* %106
store i64 %107, i64* %16
%108 = load i64*, i64** %4
%109 = getelementptr inbounds i64, i64* %108, i64 15
%110 = load i64, i64* %109
%111 = trunc i64 %110 to i32
%112 = shl i32 %111, 24
store i32 %112, i32* %17
%113 = load i64*, i64** %4
%114 = getelementptr inbounds i64, i64* %113, i64 14
%115 = load i64, i64* %114
%116 = trunc i64 %115 to i32
%117 = shl i32 %116, 16
store i32 %117, i32* %18
%118 = load i64*, i64** %4
%119 = getelementptr inbounds i64, i64* %118, i64 13
%120 = load i64, i64* %119
%121 = trunc i64 %120 to i32
%122 = shl i32 %121, 8
store i32 %122, i32* %19
%123 = load i64*, i64** %4
%124 = getelementptr inbounds i64, i64* %123, i64 12
%125 = load i64, i64* %124
store i64 %125, i64* %20
%126 = load i64*, i64** %4
%127 = getelementptr inbounds i64, i64* %126, i64 11
%128 = load i64, i64* %127
%129 = trunc i64 %128 to i32
%130 = shl i32 %129, 24
store i32 %130, i32* %21
%131 = load i64*, i64** %4
%132 = getelementptr inbounds i64, i64* %131, i64 10
%133 = load i64, i64* %132
%134 = trunc i64 %133 to i32
%135 = shl i32 %134, 16
store i32 %135, i32* %22
%136 = load i64*, i64** %4
%137 = getelementptr inbounds i64, i64* %136, i64 9
%138 = load i64, i64* %137
%139 = trunc i64 %138 to i32
%140 = shl i32 %139, 8
store i32 %140, i32* %23
%141 = load i64*, i64** %4
%142 = getelementptr inbounds i64, i64* %141, i64 8
%143 = load i64, i64* %142
store i64 %143, i64* %24
%144 = load i64*, i64** %4
%145 = getelementptr inbounds i64, i64* %144, i64 7
%146 = load i64, i64* %145
%147 = trunc i64 %146 to i32
%148 = shl i32 %147, 24
store i32 %148, i32* %25
%149 = load i64*, i64** %4
%150 = getelementptr inbounds i64, i64* %149, i64 6
%151 = load i64, i64* %150
%152 = trunc i64 %151 to i32
%153 = shl i32 %152, 16
store i32 %153, i32* %26
%154 = load i64*, i64** %4
%155 = getelementptr inbounds i64, i64* %154, i64 5
%156 = load i64, i64* %155
%157 = trunc i64 %156 to i32
%158 = shl i32 %157, 8
store i32 %158, i32* %27
%159 = load i64*, i64** %4
%160 = getelementptr inbounds i64, i64* %159, i64 4
%161 = load i64, i64* %160
store i64 %161, i64* %28
%162 = load i64*, i64** %4
%163 = getelementptr inbounds i64, i64* %162, i64 3
%164 = load i64, i64* %163
%165 = trunc i64 %164 to i32
%166 = shl i32 %165, 24
store i32 %166, i32* %29
%167 = load i64*, i64** %4
%168 = getelementptr inbounds i64, i64* %167, i64 2
%169 = load i64, i64* %168
%170 = trunc i64 %169 to i32
%171 = shl i32 %170, 16
store i32 %171, i32* %30
%172 = load i64*, i64** %4
%173 = getelementptr inbounds i64, i64* %172, i64 1
%174 = load i64, i64* %173
%175 = trunc i64 %174 to i32
%176 = shl i32 %175, 8
store i32 %176, i32* %31
%177 = load i64*, i64** %4
%178 = getelementptr inbounds i64, i64* %177, i64 0
%179 = load i64, i64* %178
store i64 %179, i64* %32
%180 = load i32, i32* %31
%181 = load i64, i64* %32
%182 = trunc i64 %181 to i32
%183 = add nsw i32 %180, %182
store i32 %183, i32* %33
%184 = load i32, i32* %30
%185 = load i32, i32* %33
%186 = add nsw i32 %184, %185
store i32 %186, i32* %34
%187 = load i32, i32* %29
%188 = load i32, i32* %34
%189 = add nsw i32 %187, %188
store i32 %189, i32* %35
%190 = load i32, i32* %27
%191 = load i64, i64* %28
%192 = trunc i64 %191 to i32
%193 = add nsw i32 %190, %192
store i32 %193, i32* %36
%194 = load i32, i32* %26
%195 = load i32, i32* %36
%196 = add nsw i32 %194, %195
store i32 %196, i32* %37
%197 = load i32, i32* %25
%198 = load i32, i32* %37
%199 = add nsw i32 %197, %198
store i32 %199, i32* %38
%200 = load i32, i32* %23
%201 = load i64, i64* %24
%202 = trunc i64 %201 to i32
%203 = add nsw i32 %200, %202
store i32 %203, i32* %39
%204 = load i32, i32* %22
%205 = load i32, i32* %39
%206 = add nsw i32 %204, %205
store i32 %206, i32* %40
%207 = load i32, i32* %21
%208 = load i32, i32* %40
%209 = add nsw i32 %207, %208
store i32 %209, i32* %41
%210 = load i32, i32* %19
%211 = load i64, i64* %20
%212 = trunc i64 %211 to i32
%213 = add nsw i32 %210, %212
store i32 %213, i32* %42
%214 = load i32, i32* %18
%215 = load i32, i32* %42
%216 = add nsw i32 %214, %215
store i32 %216, i32* %43
%217 = load i32, i32* %17
%218 = load i32, i32* %43
%219 = add nsw i32 %217, %218
store i32 %219, i32* %44
%220 = load i32, i32* %15
%221 = load i64, i64* %16
%222 = trunc i64 %221 to i32
%223 = add nsw i32 %220, %222
store i32 %223, i32* %45
%224 = load i32, i32* %14
%225 = load i32, i32* %45
%226 = add nsw i32 %224, %225
store i32 %226, i32* %46
%227 = load i32, i32* %13
%228 = load i32, i32* %46
%229 = add nsw i32 %227, %228
store i32 %229, i32* %47
%230 = load i32, i32* %11
%231 = load i64, i64* %12
%232 = trunc i64 %231 to i32
%233 = add nsw i32 %230, %232
store i32 %233, i32* %48
%234 = load i32, i32* %10
%235 = load i32, i32* %48
%236 = add nsw i32 %234, %235
store i32 %236, i32* %49
%237 = load i32, i32* %9
%238 = load i32, i32* %49
%239 = add nsw i32 %237, %238
store i32 %239, i32* %50
%240 = load i32, i32* %7
%241 = load i64, i64* %8
%242 = trunc i64 %241 to i32
%243 = add nsw i32 %240, %242
store i32 %243, i32* %51
%244 = load i32, i32* %6
%245 = load i32, i32* %51
%246 = add nsw i32 %244, %245
store i32 %246, i32* %52
%247 = load i32, i32* %5
%248 = load i32, i32* %52
%249 = add nsw i32 %247, %248
store i32 %249, i32* %53
%250 = load i32, i32* %35
%251 = load i32*, i32** %3
%252 = getelementptr inbounds i32, i32* %251, i64 0
store i32 %250, i32* %252
%253 = load i32, i32* %38
%254 = load i32*, i32** %3
%255 = getelementptr inbounds i32, i32* %254, i64 1
store i32 %253, i32* %255
%256 = load i32, i32* %41
%257 = load i32*, i32** %3
%258 = getelementptr inbounds i32, i32* %257, i64 2
store i32 %256, i32* %258
%259 = load i32, i32* %44
%260 = load i32*, i32** %3
%261 = getelementptr inbounds i32, i32* %260, i64 3
store i32 %259, i32* %261
%262 = load i32, i32* %47
%263 = load i32*, i32** %3
%264 = getelementptr inbounds i32, i32* %263, i64 4
store i32 %262, i32* %264
%265 = load i32, i32* %50
%266 = load i32*, i32** %3
%267 = getelementptr inbounds i32, i32* %266, i64 5
store i32 %265, i32* %267
%268 = load i32, i32* %53
%269 = load i32*, i32** %3
%270 = getelementptr inbounds i32, i32* %269, i64 6
store i32 %268, i32* %270
ret void
}

LLVM IR (-O2):
define void @fiat_p224_from_bytes(i32* nocapture writeonly %0, i64* %1) {
%3 = getelementptr inbounds i64, i64* %1, i64 27
%4 = load i64, i64* %3
%5 = trunc i64 %4 to i32
%6 = shl i32 %5, 24
%7 = getelementptr inbounds i64, i64* %1, i64 26
%8 = load i64, i64* %7
%9 = trunc i64 %8 to i32
%10 = shl i32 %9, 16
%11 = getelementptr inbounds i64, i64* %1, i64 25
%12 = load i64, i64* %11
%13 = trunc i64 %12 to i32
%14 = shl i32 %13, 8
%15 = getelementptr inbounds i64, i64* %1, i64 24
%16 = load i64, i64* %15
%17 = getelementptr inbounds i64, i64* %1, i64 23
%18 = load i64, i64* %17
%19 = trunc i64 %18 to i32
%20 = shl i32 %19, 24
%21 = getelementptr inbounds i64, i64* %1, i64 22
%22 = load i64, i64* %21
%23 = trunc i64 %22 to i32
%24 = shl i32 %23, 16
%25 = getelementptr inbounds i64, i64* %1, i64 21
%26 = load i64, i64* %25
%27 = trunc i64 %26 to i32
%28 = shl i32 %27, 8
%29 = getelementptr inbounds i64, i64* %1, i64 20
%30 = load i64, i64* %29
%31 = getelementptr inbounds i64, i64* %1, i64 19
%32 = load i64, i64* %31
%33 = trunc i64 %32 to i32
%34 = shl i32 %33, 24
%35 = getelementptr inbounds i64, i64* %1, i64 18
%36 = load i64, i64* %35
%37 = trunc i64 %36 to i32
%38 = shl i32 %37, 16
%39 = getelementptr inbounds i64, i64* %1, i64 17
%40 = load i64, i64* %39
%41 = trunc i64 %40 to i32
%42 = shl i32 %41, 8
%43 = getelementptr inbounds i64, i64* %1, i64 16
%44 = load i64, i64* %43
%45 = getelementptr inbounds i64, i64* %1, i64 15
%46 = load i64, i64* %45
%47 = trunc i64 %46 to i32
%48 = shl i32 %47, 24
%49 = getelementptr inbounds i64, i64* %1, i64 14
%50 = load i64, i64* %49
%51 = trunc i64 %50 to i32
%52 = shl i32 %51, 16
%53 = getelementptr inbounds i64, i64* %1, i64 13
%54 = load i64, i64* %53
%55 = trunc i64 %54 to i32
%56 = shl i32 %55, 8
%57 = getelementptr inbounds i64, i64* %1, i64 12
%58 = load i64, i64* %57
%59 = getelementptr inbounds i64, i64* %1, i64 11
%60 = load i64, i64* %59
%61 = trunc i64 %60 to i32
%62 = shl i32 %61, 24
%63 = getelementptr inbounds i64, i64* %1, i64 10
%64 = load i64, i64* %63
%65 = trunc i64 %64 to i32
%66 = shl i32 %65, 16
%67 = getelementptr inbounds i64, i64* %1, i64 9
%68 = load i64, i64* %67
%69 = trunc i64 %68 to i32
%70 = shl i32 %69, 8
%71 = getelementptr inbounds i64, i64* %1, i64 8
%72 = load i64, i64* %71
%73 = getelementptr inbounds i64, i64* %1, i64 7
%74 = load i64, i64* %73
%75 = trunc i64 %74 to i32
%76 = shl i32 %75, 24
%77 = getelementptr inbounds i64, i64* %1, i64 6
%78 = load i64, i64* %77
%79 = trunc i64 %78 to i32
%80 = shl i32 %79, 16
%81 = getelementptr inbounds i64, i64* %1, i64 5
%82 = load i64, i64* %81
%83 = trunc i64 %82 to i32
%84 = shl i32 %83, 8
%85 = getelementptr inbounds i64, i64* %1, i64 4
%86 = load i64, i64* %85
%87 = getelementptr inbounds i64, i64* %1, i64 3
%88 = load i64, i64* %87
%89 = trunc i64 %88 to i32
%90 = shl i32 %89, 24
%91 = getelementptr inbounds i64, i64* %1, i64 2
%92 = load i64, i64* %91
%93 = trunc i64 %92 to i32
%94 = shl i32 %93, 16
%95 = getelementptr inbounds i64, i64* %1, i64 1
%96 = load i64, i64* %95
%97 = trunc i64 %96 to i32
%98 = shl i32 %97, 8
%99 = load i64, i64* %1
%100 = trunc i64 %99 to i32
%101 = add i32 %94, %90
%102 = add i32 %101, %100
%103 = add i32 %102, %98
%104 = trunc i64 %86 to i32
%105 = add i32 %80, %76
%106 = add i32 %105, %104
%107 = add i32 %106, %84
%108 = trunc i64 %72 to i32
%109 = add i32 %66, %62
%110 = add i32 %109, %108
%111 = add i32 %110, %70
%112 = trunc i64 %58 to i32
%113 = add i32 %52, %48
%114 = add i32 %113, %112
%115 = add i32 %114, %56
%116 = trunc i64 %44 to i32
%117 = add i32 %38, %34
%118 = add i32 %117, %116
%119 = add i32 %118, %42
%120 = trunc i64 %30 to i32
%121 = add i32 %24, %20
%122 = add i32 %121, %120
%123 = add i32 %122, %28
%124 = trunc i64 %16 to i32
%125 = add i32 %10, %6
%126 = add i32 %125, %124
%127 = add i32 %126, %14
store i32 %103, i32* %0
%128 = getelementptr inbounds i32, i32* %0, i64 1
store i32 %107, i32* %128
%129 = getelementptr inbounds i32, i32* %0, i64 2
store i32 %111, i32* %129
%130 = getelementptr inbounds i32, i32* %0, i64 3
store i32 %115, i32* %130
%131 = getelementptr inbounds i32, i32* %0, i64 4
store i32 %119, i32* %131
%132 = getelementptr inbounds i32, i32* %0, i64 5
store i32 %123, i32* %132
%133 = getelementptr inbounds i32, i32* %0, i64 6
store i32 %127, i32* %133
ret void
}