#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 int /*<<< orphan*/ uint8_t;
typedef int uint64_t;

/* Variables and functions */
void BSWAP_256(uint8_t b[32]) {
  uint64_t *u = (uint64_t *)b;
  uint64_t temp;
  temp = (((uint64_t)(u[0]) << 56) |
          (((uint64_t)(u[0]) << 40) & 0xff000000000000ULL) |
          (((uint64_t)(u[0]) << 24) & 0x00ff0000000000ULL) |
          (((uint64_t)(u[0]) << 8) & 0x0000ff00000000ULL) |
          (((uint64_t)(u[0]) >> 8) & 0x000000ff000000ULL) |
          (((uint64_t)(u[0]) >> 24) & 0x00000000ff0000ULL) |
          (((uint64_t)(u[0]) >> 40) & 0x0000000000ff00ULL) |
          ((uint64_t)(u[0]) >> 56));
  u[0] = (((uint64_t)(u[3]) << 56) |
          (((uint64_t)(u[3]) << 40) & 0xff000000000000ULL) |
          (((uint64_t)(u[3]) << 24) & 0x00ff0000000000ULL) |
          (((uint64_t)(u[3]) << 8) & 0x0000ff00000000ULL) |
          (((uint64_t)(u[3]) >> 8) & 0x000000ff000000ULL) |
          (((uint64_t)(u[3]) >> 24) & 0x00000000ff0000ULL) |
          (((uint64_t)(u[3]) >> 40) & 0x0000000000ff00ULL) |
          ((uint64_t)(u[3]) >> 56));
  u[3] = temp;
  temp = (((uint64_t)(u[1]) << 56) |
          (((uint64_t)(u[1]) << 40) & 0xff000000000000ULL) |
          (((uint64_t)(u[1]) << 24) & 0x00ff0000000000ULL) |
          (((uint64_t)(u[1]) << 8) & 0x0000ff00000000ULL) |
          (((uint64_t)(u[1]) >> 8) & 0x000000ff000000ULL) |
          (((uint64_t)(u[1]) >> 24) & 0x00000000ff0000ULL) |
          (((uint64_t)(u[1]) >> 40) & 0x0000000000ff00ULL) |
          ((uint64_t)(u[1]) >> 56));
  u[1] = (((uint64_t)(u[2]) << 56) |
          (((uint64_t)(u[2]) << 40) & 0xff000000000000ULL) |
          (((uint64_t)(u[2]) << 24) & 0x00ff0000000000ULL) |
          (((uint64_t)(u[2]) << 8) & 0x0000ff00000000ULL) |
          (((uint64_t)(u[2]) >> 8) & 0x000000ff000000ULL) |
          (((uint64_t)(u[2]) >> 24) & 0x00000000ff0000ULL) |
          (((uint64_t)(u[2]) >> 40) & 0x0000000000ff00ULL) |
          ((uint64_t)(u[2]) >> 56));
  u[2] = temp;
}


x86 assembly (clang, -O0):
<BSWAP_256>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    $0x38,%ecx
shl    %cl,%eax
cltq
mov    -0x10(%rbp),%rcx
mov    (%rcx),%edx
mov    $0x28,%ecx
shl    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
movabs $0xff000000000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
shl    $0x18,%ecx
movslq %ecx,%rcx
movabs $0xff0000000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
shl    $0x8,%ecx
movslq %ecx,%rcx
movabs $0xff00000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
sar    $0x8,%ecx
movslq %ecx,%rcx
movabs $0xff000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
sar    $0x18,%ecx
movslq %ecx,%rcx
and    $0xff0000,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%edx
mov    $0x28,%ecx
sar    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
and    $0xff00,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%edx
mov    $0x38,%ecx
sar    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
or     %rcx,%rax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%eax
mov    $0x38,%ecx
shl    %cl,%eax
cltq
mov    -0x10(%rbp),%rcx
mov    0xc(%rcx),%edx
mov    $0x28,%ecx
shl    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
movabs $0xff000000000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0xc(%rcx),%ecx
shl    $0x18,%ecx
movslq %ecx,%rcx
movabs $0xff0000000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0xc(%rcx),%ecx
shl    $0x8,%ecx
movslq %ecx,%rcx
movabs $0xff00000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0xc(%rcx),%ecx
sar    $0x8,%ecx
movslq %ecx,%rcx
movabs $0xff000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0xc(%rcx),%ecx
sar    $0x18,%ecx
movslq %ecx,%rcx
and    $0xff0000,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0xc(%rcx),%edx
mov    $0x28,%ecx
sar    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
and    $0xff00,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0xc(%rcx),%edx
mov    $0x38,%ecx
sar    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
or     %rcx,%rax
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0xc(%rax)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    $0x38,%ecx
shl    %cl,%eax
cltq
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%edx
mov    $0x28,%ecx
shl    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
movabs $0xff000000000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%ecx
shl    $0x18,%ecx
movslq %ecx,%rcx
movabs $0xff0000000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%ecx
shl    $0x8,%ecx
movslq %ecx,%rcx
movabs $0xff00000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%ecx
sar    $0x8,%ecx
movslq %ecx,%rcx
movabs $0xff000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%ecx
sar    $0x18,%ecx
movslq %ecx,%rcx
and    $0xff0000,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%edx
mov    $0x28,%ecx
sar    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
and    $0xff00,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%edx
mov    $0x38,%ecx
sar    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
or     %rcx,%rax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    $0x38,%ecx
shl    %cl,%eax
cltq
mov    -0x10(%rbp),%rcx
mov    0x8(%rcx),%edx
mov    $0x28,%ecx
shl    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
movabs $0xff000000000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x8(%rcx),%ecx
shl    $0x18,%ecx
movslq %ecx,%rcx
movabs $0xff0000000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x8(%rcx),%ecx
shl    $0x8,%ecx
movslq %ecx,%rcx
movabs $0xff00000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x8(%rcx),%ecx
sar    $0x8,%ecx
movslq %ecx,%rcx
movabs $0xff000000,%rdx
and    %rdx,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x8(%rcx),%ecx
sar    $0x18,%ecx
movslq %ecx,%rcx
and    $0xff0000,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x8(%rcx),%edx
mov    $0x28,%ecx
sar    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
and    $0xff00,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x8(%rcx),%edx
mov    $0x38,%ecx
sar    %cl,%edx
mov    %edx,%ecx
movslq %ecx,%rcx
or     %rcx,%rax
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x8(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<BSWAP_256>:
ret

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

LLVM IR (-O2):
define void @BSWAP_256(i32* nocapture %0) {
ret void
}