void transformation_D1(unsigned char *x0, unsigned char *x1, unsigned char *x2,
                       unsigned char *x3) {
  const int LEN = 64;
  unsigned char temp[LEN / 8];
  int i;
  unsigned char extL = 0, extR = 0, L = 0;
  for (i = 0; i < LEN / 8; i++)
    temp[i] = x1[i] ^ x3[i];
  for (i = 0; i < LEN / 8; i++) {
    extL = i == 0 ? temp[i] << 1 : (temp[i] << 1) | (temp[i - 1] >> 7);
    if (i == LEN / 8 - 1)
      extR = 0;
    else if (i == LEN / 8 - 2)
      extR = temp[LEN / 8 - 1] >> 7;
    else
      extR = (temp[i + 2] << 1) | (temp[i + 1] >> 7);
    L = extL ^ extR;
    x0[i] = x0[i] ^ x2[i] ^ x3[i] ^ L;
  }
  for (i = 0; i < LEN / 8; i++)
    temp[i] = x2[i] ^ x0[i];
  for (i = 0; i < LEN / 8; i++) {
    extL = i == 0 ? temp[i] << 1 : (temp[i] << 1) | (temp[i - 1] >> 7);
    if (i == LEN / 8 - 1)
      extR = 0;
    else if (i == LEN / 8 - 2)
      extR = temp[LEN / 8 - 1] >> 7;
    else
      extR = (temp[i + 2] << 1) | (temp[i + 1] >> 7);
    L = extL ^ extR;
    x1[i] = x1[i] ^ x3[i] ^ x0[i] ^ L;
  }
  for (i = 0; i < LEN / 8; i++)
    temp[i] = x3[i] ^ x1[i];
  for (i = 0; i < LEN / 8; i++) {
    extL = i == 0 ? temp[i] << 1 : (temp[i] << 1) | (temp[i - 1] >> 7);
    if (i == LEN / 8 - 1)
      extR = 0;
    else if (i == LEN / 8 - 2)
      extR = temp[LEN / 8 - 1] >> 7;
    else
      extR = (temp[i + 2] << 1) | (temp[i + 1] >> 7);
    L = extL ^ extR;
    x2[i] = x2[i] ^ x0[i] ^ x1[i] ^ L;
  }
  for (i = 0; i < LEN / 8; i++)
    temp[i] = x0[i] ^ x2[i];
  for (i = 0; i < LEN / 8; i++) {
    extL = i == 0 ? temp[i] << 1 : (temp[i] << 1) | (temp[i - 1] >> 7);
    if (i == LEN / 8 - 1)
      extR = 0;
    else if (i == LEN / 8 - 2)
      extR = temp[LEN / 8 - 1] >> 7;
    else
      extR = (temp[i + 2] << 1) | (temp[i + 1] >> 7);
    L = extL ^ extR;
    x3[i] = x3[i] ^ x1[i] ^ x2[i] ^ L;
  }
}


x86 assembly (clang, -O0):
<transformation_D1>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x40,-0x24(%rbp)
mov    %rsp,%rax
mov    %rax,-0x30(%rbp)
movb   $0x0,-0x35(%rbp)
movb   $0x0,-0x36(%rbp)
movb   $0x0,-0x37(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    1171 <transformation_D1+0x71>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
mov    %al,%cl
movslq -0x34(%rbp),%rax
mov    %cl,-0x40(%rbp,%rax,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1135 <transformation_D1+0x35>
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    1275 <transformation_D1+0x175>
cmpl   $0x0,-0x34(%rbp)
jne    11a0 <transformation_D1+0xa0>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11c2 <transformation_D1+0xc2>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %al,-0x35(%rbp)
cmpl   $0x7,-0x34(%rbp)
jne    11db <transformation_D1+0xdb>
movb   $0x0,-0x36(%rbp)
jmp    121f <transformation_D1+0x11f>
cmpl   $0x6,-0x34(%rbp)
jne    11f4 <transformation_D1+0xf4>
movzbl -0x39(%rbp),%eax
sar    $0x7,%eax
mov    %al,-0x36(%rbp)
jmp    121a <transformation_D1+0x11a>
mov    -0x34(%rbp),%eax
add    $0x2,%eax
cltq
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %al,-0x36(%rbp)
jmp    121f <transformation_D1+0x11f>
movzbl -0x35(%rbp),%eax
movzbl -0x36(%rbp),%ecx
xor    %ecx,%eax
mov    %al,-0x37(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
mov    -0x20(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
movzbl -0x37(%rbp),%ecx
xor    %ecx,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1178 <transformation_D1+0x78>
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    12b8 <transformation_D1+0x1b8>
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
mov    %al,%cl
movslq -0x34(%rbp),%rax
mov    %cl,-0x40(%rbp,%rax,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    127c <transformation_D1+0x17c>
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    13bc <transformation_D1+0x2bc>
cmpl   $0x0,-0x34(%rbp)
jne    12e7 <transformation_D1+0x1e7>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1309 <transformation_D1+0x209>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
mov    %al,-0x35(%rbp)
cmpl   $0x7,-0x34(%rbp)
jne    1322 <transformation_D1+0x222>
movb   $0x0,-0x36(%rbp)
jmp    1366 <transformation_D1+0x266>
cmpl   $0x6,-0x34(%rbp)
jne    133b <transformation_D1+0x23b>
movzbl -0x39(%rbp),%eax
sar    $0x7,%eax
mov    %al,-0x36(%rbp)
jmp    1361 <transformation_D1+0x261>
mov    -0x34(%rbp),%eax
add    $0x2,%eax
cltq
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %al,-0x36(%rbp)
jmp    1366 <transformation_D1+0x266>
movzbl -0x35(%rbp),%eax
movzbl -0x36(%rbp),%ecx
xor    %ecx,%eax
mov    %al,-0x37(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
movzbl -0x37(%rbp),%ecx
xor    %ecx,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12bf <transformation_D1+0x1bf>
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    13ff <transformation_D1+0x2ff>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
mov    %al,%cl
movslq -0x34(%rbp),%rax
mov    %cl,-0x40(%rbp,%rax,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    13c3 <transformation_D1+0x2c3>
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    1503 <transformation_D1+0x403>
cmpl   $0x0,-0x34(%rbp)
jne    142e <transformation_D1+0x32e>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1450 <transformation_D1+0x350>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %al,-0x35(%rbp)
cmpl   $0x7,-0x34(%rbp)
jne    1469 <transformation_D1+0x369>
movb   $0x0,-0x36(%rbp)
jmp    14ad <transformation_D1+0x3ad>
cmpl   $0x6,-0x34(%rbp)
jne    1482 <transformation_D1+0x382>
movzbl -0x39(%rbp),%eax
sar    $0x7,%eax
mov    %al,-0x36(%rbp)
jmp    14a8 <transformation_D1+0x3a8>
mov    -0x34(%rbp),%eax
add    $0x2,%eax
cltq
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %al,-0x36(%rbp)
jmp    14ad <transformation_D1+0x3ad>
movzbl -0x35(%rbp),%eax
movzbl -0x36(%rbp),%ecx
xor    %ecx,%eax
mov    %al,-0x37(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
mov    -0x10(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
movzbl -0x37(%rbp),%ecx
xor    %ecx,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1406 <transformation_D1+0x306>
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    1546 <transformation_D1+0x446>
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
mov    %al,%cl
movslq -0x34(%rbp),%rax
mov    %cl,-0x40(%rbp,%rax,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    150a <transformation_D1+0x40a>
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    164a <transformation_D1+0x54a>
cmpl   $0x0,-0x34(%rbp)
jne    1575 <transformation_D1+0x475>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1597 <transformation_D1+0x497>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
mov    %al,-0x35(%rbp)
cmpl   $0x7,-0x34(%rbp)
jne    15b0 <transformation_D1+0x4b0>
movb   $0x0,-0x36(%rbp)
jmp    15f4 <transformation_D1+0x4f4>
cmpl   $0x6,-0x34(%rbp)
jne    15c9 <transformation_D1+0x4c9>
movzbl -0x39(%rbp),%eax
sar    $0x7,%eax
mov    %al,-0x36(%rbp)
jmp    15ef <transformation_D1+0x4ef>
mov    -0x34(%rbp),%eax
add    $0x2,%eax
cltq
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %al,-0x36(%rbp)
jmp    15f4 <transformation_D1+0x4f4>
movzbl -0x35(%rbp),%eax
movzbl -0x36(%rbp),%ecx
xor    %ecx,%eax
mov    %al,-0x37(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
mov    -0x18(%rbp),%rcx
movslq -0x34(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
xor    %ecx,%eax
movzbl -0x37(%rbp),%ecx
xor    %ecx,%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    154d <transformation_D1+0x44d>
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<transformation_D1>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rsi,%rax
mov    %rsi,-0x8(%rsp)
mov    0x1(%rcx),%r9b
xor    0x1(%rsi),%r9b
mov    0x2(%rcx),%sil
xor    0x2(%rax),%sil
mov    0x3(%rcx),%r15b
xor    0x3(%rax),%r15b
mov    0x4(%rcx),%bpl
xor    0x4(%rax),%bpl
mov    0x5(%rcx),%r13b
xor    0x5(%rax),%r13b
mov    (%rcx),%r14b
mov    0x6(%rcx),%r11b
xor    0x6(%rax),%r11b
mov    (%rax),%bl
mov    0x7(%rcx),%r8b
xor    0x7(%rax),%r8b
xor    %r14b,%bl
lea    (%rbx,%rbx,1),%r12d
mov    %r9d,%eax
shr    $0x7,%al
lea    (%rsi,%rsi,1),%r10d
or     %al,%r10b
xor    %r10b,%r12b
xor    (%rdi),%r12b
xor    (%rdx),%r12b
xor    %r14b,%r12b
mov    %r12b,(%rdi)
shr    $0x7,%bl
add    %r9b,%r9b
or     %bl,%r9b
shr    $0x7,%sil
lea    (%r15,%r15,1),%ebx
or     %sil,%bl
xor    %bl,%r9b
xor    0x1(%rdi),%r9b
xor    0x1(%rdx),%r9b
xor    0x1(%rcx),%r9b
mov    %r9b,0x1(%rdi)
shr    $0x7,%r15b
lea    0x0(%rbp,%rbp,1),%r14d
or     %r15b,%r14b
xor    %r14b,%r10b
xor    0x2(%rdi),%r10b
xor    0x2(%rdx),%r10b
xor    0x2(%rcx),%r10b
mov    %r10b,0x2(%rdi)
shr    $0x7,%bpl
lea    0x0(%r13,%r13,1),%r15d
or     %bpl,%r15b
xor    %r15b,%bl
xor    0x3(%rdi),%bl
xor    0x3(%rdx),%bl
mov    %r8d,%eax
xor    0x3(%rcx),%bl
mov    %bl,0x3(%rdi)
shr    $0x7,%r13b
lea    (%r11,%r11,1),%ebp
or     %r13b,%bpl
xor    %bpl,%r14b
xor    0x4(%rdi),%r14b
xor    0x4(%rdx),%r14b
shr    $0x7,%al
xor    0x4(%rcx),%r14b
mov    %r14b,0x4(%rdi)
shr    $0x7,%r11b
add    %r8b,%r8b
or     %r11b,%r8b
xor    %r8b,%r15b
xor    0x5(%rdi),%r15b
xor    0x5(%rdx),%r15b
xor    0x5(%rcx),%r15b
mov    %r15b,0x5(%rdi)
xor    %al,%bpl
xor    0x6(%rdi),%bpl
xor    0x6(%rdx),%bpl
xor    0x6(%rcx),%bpl
mov    %bpl,0x6(%rdi)
xor    0x7(%rdi),%r8b
xor    0x7(%rdx),%r8b
xor    0x7(%rcx),%r8b
mov    %r8b,0x7(%rdi)
mov    (%rdx),%al
xor    0x1(%rdx),%r9b
xor    0x2(%rdx),%r10b
xor    0x3(%rdx),%bl
xor    0x4(%rdx),%r14b
xor    0x5(%rdx),%r15b
xor    0x6(%rdx),%bpl
xor    %r12b,%al
xor    0x7(%rdx),%r8b
lea    (%rax,%rax,1),%esi
mov    %r9d,%r13d
shr    $0x7,%r13b
lea    (%r10,%r10,1),%r11d
or     %r13b,%r11b
xor    %r11b,%sil
mov    -0x8(%rsp),%r13
xor    0x0(%r13),%sil
xor    (%rcx),%sil
xor    %r12b,%sil
mov    %esi,-0xc(%rsp)
mov    %sil,0x0(%r13)
mov    %r13,%rsi
add    %r9b,%r9b
shr    $0x7,%al
or     %r9b,%al
shr    $0x7,%r10b
lea    (%rbx,%rbx,1),%r12d
or     %r10b,%r12b
xor    %r12b,%al
xor    0x1(%r13),%al
xor    0x1(%rcx),%al
xor    0x1(%rdi),%al
mov    %al,0x1(%r13)
shr    $0x7,%bl
lea    (%r14,%r14,1),%r10d
or     %bl,%r10b
xor    %r10b,%r11b
xor    0x2(%r13),%r11b
xor    0x2(%rcx),%r11b
xor    0x2(%rdi),%r11b
mov    %r11b,0x2(%r13)
shr    $0x7,%r14b
lea    (%r15,%r15,1),%r13d
or     %r14b,%r13b
xor    %r13b,%r12b
xor    0x3(%rsi),%r12b
xor    0x3(%rcx),%r12b
xor    0x3(%rdi),%r12b
mov    %r8d,%r9d
mov    %r12b,0x3(%rsi)
shr    $0x7,%r15b
lea    0x0(%rbp,%rbp,1),%ebx
or     %r15b,%bl
xor    %bl,%r10b
xor    0x4(%rsi),%r10b
xor    0x4(%rcx),%r10b
xor    0x4(%rdi),%r10b
shr    $0x7,%r9b
mov    %r10b,0x4(%rsi)
shr    $0x7,%bpl
add    %r8b,%r8b
or     %bpl,%r8b
xor    %r8b,%r13b
xor    0x5(%rsi),%r13b
xor    0x5(%rcx),%r13b
xor    0x5(%rdi),%r13b
mov    %r13b,0x5(%rsi)
xor    %r9b,%bl
xor    0x6(%rsi),%bl
xor    0x6(%rcx),%bl
xor    0x6(%rdi),%bl
mov    %bl,0x6(%rsi)
xor    0x7(%rsi),%r8b
xor    0x7(%rcx),%r8b
xor    0x7(%rdi),%r8b
mov    %r8b,0x7(%rsi)
mov    (%rcx),%bpl
xor    0x1(%rcx),%al
xor    0x2(%rcx),%r11b
xor    0x3(%rcx),%r12b
xor    0x4(%rcx),%r10b
xor    0x5(%rcx),%r13b
mov    -0xc(%rsp),%r14d
xor    %r14b,%bpl
xor    0x6(%rcx),%bl
lea    (%r11,%r11,1),%esi
mov    %eax,%r9d
shr    $0x7,%r9b
or     %sil,%r9b
lea    0x0(%rbp,%rbp,1),%esi
xor    %r9b,%sil
xor    (%rdx),%sil
xor    (%rdi),%sil
xor    %r14b,%sil
xor    0x7(%rcx),%r8b
shr    $0x7,%bpl
add    %al,%al
or     %bpl,%al
shr    $0x7,%r11b
lea    (%r12,%r12,1),%r14d
or     %r11b,%r14b
shr    $0x7,%r12b
lea    (%r10,%r10,1),%r11d
or     %r12b,%r11b
shr    $0x7,%r10b
lea    0x0(%r13,%r13,1),%r15d
or     %r10b,%r15b
shr    $0x7,%r13b
lea    (%rbx,%rbx,1),%ebp
or     %r13b,%bpl
mov    %r8d,%r10d
mov    %sil,(%rdx)
xor    %r14b,%al
xor    0x1(%rdx),%al
xor    0x1(%rdi),%al
mov    -0x8(%rsp),%r12
xor    0x1(%r12),%al
mov    %al,0x1(%rdx)
xor    %r11b,%r9b
xor    0x2(%rdx),%r9b
xor    0x2(%rdi),%r9b
xor    0x2(%r12),%r9b
mov    %r9b,0x2(%rdx)
xor    %r15b,%r14b
xor    0x3(%rdx),%r14b
xor    0x3(%rdi),%r14b
xor    0x3(%r12),%r14b
mov    %r14b,0x3(%rdx)
xor    %bpl,%r11b
xor    0x4(%rdx),%r11b
xor    0x4(%rdi),%r11b
shr    $0x7,%r10b
xor    0x4(%r12),%r11b
mov    %r11b,0x4(%rdx)
shr    $0x7,%bl
add    %r8b,%r8b
or     %bl,%r8b
xor    %r8b,%r15b
xor    0x5(%rdx),%r15b
xor    0x5(%rdi),%r15b
xor    0x5(%r12),%r15b
mov    %r15b,0x5(%rdx)
xor    %r10b,%bpl
xor    0x6(%rdx),%bpl
xor    0x6(%rdi),%bpl
xor    0x6(%r12),%bpl
mov    %bpl,0x6(%rdx)
xor    0x7(%rdx),%r8b
xor    0x7(%rdi),%r8b
xor    0x7(%r12),%r8b
mov    %r8b,0x7(%rdx)
mov    (%rdi),%bl
xor    0x1(%rdi),%al
xor    0x2(%rdi),%r9b
xor    0x3(%rdi),%r14b
xor    0x4(%rdi),%r11b
xor    0x5(%rdi),%r15b
xor    0x6(%rdi),%bpl
xor    %sil,%bl
mov    %esi,%r13d
xor    0x7(%rdi),%r8b
mov    %eax,%r10d
shr    $0x7,%r10b
lea    (%r9,%r9,1),%edi
or     %r10b,%dil
lea    (%rbx,%rbx,1),%esi
xor    %dil,%sil
xor    (%rcx),%sil
xor    (%r12),%sil
xor    %r13b,%sil
mov    %sil,(%rcx)
add    %al,%al
shr    $0x7,%bl
or     %al,%bl
shr    $0x7,%r9b
lea    (%r14,%r14,1),%eax
or     %r9b,%al
xor    %al,%bl
xor    0x1(%rcx),%bl
xor    0x1(%r12),%bl
xor    0x1(%rdx),%bl
mov    %bl,0x1(%rcx)
shr    $0x7,%r14b
lea    (%r11,%r11,1),%esi
or     %r14b,%sil
xor    %sil,%dil
xor    0x2(%rcx),%dil
xor    0x2(%r12),%dil
xor    0x2(%rdx),%dil
mov    %dil,0x2(%rcx)
shr    $0x7,%r11b
lea    (%r15,%r15,1),%edi
or     %r11b,%dil
xor    %dil,%al
xor    0x3(%rcx),%al
xor    0x3(%r12),%al
xor    0x3(%rdx),%al
mov    %al,0x3(%rcx)
shr    $0x7,%r15b
lea    0x0(%rbp,%rbp,1),%eax
or     %r15b,%al
xor    %al,%sil
xor    0x4(%rcx),%sil
xor    0x4(%r12),%sil
xor    0x4(%rdx),%sil
mov    %sil,0x4(%rcx)
mov    %r8d,%ebx
shr    $0x7,%bpl
add    %r8b,%r8b
or     %bpl,%r8b
xor    %r8b,%dil
xor    0x5(%rcx),%dil
xor    0x5(%r12),%dil
xor    0x5(%rdx),%dil
mov    %dil,0x5(%rcx)
shr    $0x7,%bl
xor    %bl,%al
xor    0x6(%rcx),%al
xor    0x6(%r12),%al
xor    0x6(%rdx),%al
mov    %al,0x6(%rcx)
xor    0x7(%rcx),%r8b
xor    0x7(%r12),%r8b
xor    0x7(%rdx),%r8b
mov    %r8b,0x7(%rcx)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @transformation_D1(i8* %0, i8* %1, i8* %2, i8* %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i8*
%11 = alloca i32
%12 = alloca i8
%13 = alloca i8
%14 = alloca i8
store i8* %0, i8** %5
store i8* %1, i8** %6
store i8* %2, i8** %7
store i8* %3, i8** %8
store i32 64, i32* %9
%15 = call i8* @llvm.stacksave()
store i8* %15, i8** %10
%16 = alloca i8, i64 8
store i8 0, i8* %12
store i8 0, i8* %13
store i8 0, i8* %14
store i32 0, i32* %11
br label %17
17: ; preds = %38, %4
%18 = load i32, i32* %11
%19 = icmp slt i32 %18, 8
br i1 %19, label %20, label %41
20: ; preds = %17
%21 = load i8*, i8** %6
%22 = load i32, i32* %11
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i8, i8* %21, i64 %23
%25 = load i8, i8* %24
%26 = zext i8 %25 to i32
%27 = load i8*, i8** %8
%28 = load i32, i32* %11
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i8, i8* %27, i64 %29
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
%33 = xor i32 %26, %32
%34 = trunc i32 %33 to i8
%35 = load i32, i32* %11
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %16, i64 %36
store i8 %34, i8* %37
br label %38
38: ; preds = %20
%39 = load i32, i32* %11
%40 = add nsw i32 %39, 1
store i32 %40, i32* %11
br label %17
41: ; preds = %17
store i32 0, i32* %11
br label %42
42: ; preds = %138, %41
%43 = load i32, i32* %11
%44 = icmp slt i32 %43, 8
br i1 %44, label %45, label %141
45: ; preds = %42
%46 = load i32, i32* %11
%47 = icmp eq i32 %46, 0
br i1 %47, label %48, label %55
48: ; preds = %45
%49 = load i32, i32* %11
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %16, i64 %50
%52 = load i8, i8* %51
%53 = zext i8 %52 to i32
%54 = shl i32 %53, 1
br label %70
55: ; preds = %45
%56 = load i32, i32* %11
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i8, i8* %16, i64 %57
%59 = load i8, i8* %58
%60 = zext i8 %59 to i32
%61 = shl i32 %60, 1
%62 = load i32, i32* %11
%63 = sub nsw i32 %62, 1
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %16, i64 %64
%66 = load i8, i8* %65
%67 = zext i8 %66 to i32
%68 = ashr i32 %67, 7
%69 = or i32 %61, %68
br label %70
70: ; preds = %55, %48
%71 = phi i32 [ %54, %48 ], [ %69, %55 ]
%72 = trunc i32 %71 to i8
store i8 %72, i8* %12
%73 = load i32, i32* %11
%74 = icmp eq i32 %73, 7
br i1 %74, label %75, label %76
75: ; preds = %70
store i8 0, i8* %13
br label %103
76: ; preds = %70
%77 = load i32, i32* %11
%78 = icmp eq i32 %77, 6
br i1 %78, label %79, label %85
79: ; preds = %76
%80 = getelementptr inbounds i8, i8* %16, i64 7
%81 = load i8, i8* %80
%82 = zext i8 %81 to i32
%83 = ashr i32 %82, 7
%84 = trunc i32 %83 to i8
store i8 %84, i8* %13
br label %102
85: ; preds = %76
%86 = load i32, i32* %11
%87 = add nsw i32 %86, 2
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i8, i8* %16, i64 %88
%90 = load i8, i8* %89
%91 = zext i8 %90 to i32
%92 = shl i32 %91, 1
%93 = load i32, i32* %11
%94 = add nsw i32 %93, 1
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i8, i8* %16, i64 %95
%97 = load i8, i8* %96
%98 = zext i8 %97 to i32
%99 = ashr i32 %98, 7
%100 = or i32 %92, %99
%101 = trunc i32 %100 to i8
store i8 %101, i8* %13
br label %102
102: ; preds = %85, %79
br label %103
103: ; preds = %102, %75
%104 = load i8, i8* %12
%105 = zext i8 %104 to i32
%106 = load i8, i8* %13
%107 = zext i8 %106 to i32
%108 = xor i32 %105, %107
%109 = trunc i32 %108 to i8
store i8 %109, i8* %14
%110 = load i8*, i8** %5
%111 = load i32, i32* %11
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8, i8* %110, i64 %112
%114 = load i8, i8* %113
%115 = zext i8 %114 to i32
%116 = load i8*, i8** %7
%117 = load i32, i32* %11
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i8, i8* %116, i64 %118
%120 = load i8, i8* %119
%121 = zext i8 %120 to i32
%122 = xor i32 %115, %121
%123 = load i8*, i8** %8
%124 = load i32, i32* %11
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i8, i8* %123, i64 %125
%127 = load i8, i8* %126
%128 = zext i8 %127 to i32
%129 = xor i32 %122, %128
%130 = load i8, i8* %14
%131 = zext i8 %130 to i32
%132 = xor i32 %129, %131
%133 = trunc i32 %132 to i8
%134 = load i8*, i8** %5
%135 = load i32, i32* %11
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i8, i8* %134, i64 %136
store i8 %133, i8* %137
br label %138
138: ; preds = %103
%139 = load i32, i32* %11
%140 = add nsw i32 %139, 1
store i32 %140, i32* %11
br label %42
141: ; preds = %42
store i32 0, i32* %11
br label %142
142: ; preds = %163, %141
%143 = load i32, i32* %11
%144 = icmp slt i32 %143, 8
br i1 %144, label %145, label %166
145: ; preds = %142
%146 = load i8*, i8** %7
%147 = load i32, i32* %11
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds i8, i8* %146, i64 %148
%150 = load i8, i8* %149
%151 = zext i8 %150 to i32
%152 = load i8*, i8** %5
%153 = load i32, i32* %11
%154 = sext i32 %153 to i64
%155 = getelementptr inbounds i8, i8* %152, i64 %154
%156 = load i8, i8* %155
%157 = zext i8 %156 to i32
%158 = xor i32 %151, %157
%159 = trunc i32 %158 to i8
%160 = load i32, i32* %11
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds i8, i8* %16, i64 %161
store i8 %159, i8* %162
br label %163
163: ; preds = %145
%164 = load i32, i32* %11
%165 = add nsw i32 %164, 1
store i32 %165, i32* %11
br label %142
166: ; preds = %142
store i32 0, i32* %11
br label %167
167: ; preds = %263, %166
%168 = load i32, i32* %11
%169 = icmp slt i32 %168, 8
br i1 %169, label %170, label %266
170: ; preds = %167
%171 = load i32, i32* %11
%172 = icmp eq i32 %171, 0
br i1 %172, label %173, label %180
173: ; preds = %170
%174 = load i32, i32* %11
%175 = sext i32 %174 to i64
%176 = getelementptr inbounds i8, i8* %16, i64 %175
%177 = load i8, i8* %176
%178 = zext i8 %177 to i32
%179 = shl i32 %178, 1
br label %195
180: ; preds = %170
%181 = load i32, i32* %11
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds i8, i8* %16, i64 %182
%184 = load i8, i8* %183
%185 = zext i8 %184 to i32
%186 = shl i32 %185, 1
%187 = load i32, i32* %11
%188 = sub nsw i32 %187, 1
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds i8, i8* %16, i64 %189
%191 = load i8, i8* %190
%192 = zext i8 %191 to i32
%193 = ashr i32 %192, 7
%194 = or i32 %186, %193
br label %195
195: ; preds = %180, %173
%196 = phi i32 [ %179, %173 ], [ %194, %180 ]
%197 = trunc i32 %196 to i8
store i8 %197, i8* %12
%198 = load i32, i32* %11
%199 = icmp eq i32 %198, 7
br i1 %199, label %200, label %201
200: ; preds = %195
store i8 0, i8* %13
br label %228
201: ; preds = %195
%202 = load i32, i32* %11
%203 = icmp eq i32 %202, 6
br i1 %203, label %204, label %210
204: ; preds = %201
%205 = getelementptr inbounds i8, i8* %16, i64 7
%206 = load i8, i8* %205
%207 = zext i8 %206 to i32
%208 = ashr i32 %207, 7
%209 = trunc i32 %208 to i8
store i8 %209, i8* %13
br label %227
210: ; preds = %201
%211 = load i32, i32* %11
%212 = add nsw i32 %211, 2
%213 = sext i32 %212 to i64
%214 = getelementptr inbounds i8, i8* %16, i64 %213
%215 = load i8, i8* %214
%216 = zext i8 %215 to i32
%217 = shl i32 %216, 1
%218 = load i32, i32* %11
%219 = add nsw i32 %218, 1
%220 = sext i32 %219 to i64
%221 = getelementptr inbounds i8, i8* %16, i64 %220
%222 = load i8, i8* %221
%223 = zext i8 %222 to i32
%224 = ashr i32 %223, 7
%225 = or i32 %217, %224
%226 = trunc i32 %225 to i8
store i8 %226, i8* %13
br label %227
227: ; preds = %210, %204
br label %228
228: ; preds = %227, %200
%229 = load i8, i8* %12
%230 = zext i8 %229 to i32
%231 = load i8, i8* %13
%232 = zext i8 %231 to i32
%233 = xor i32 %230, %232
%234 = trunc i32 %233 to i8
store i8 %234, i8* %14
%235 = load i8*, i8** %6
%236 = load i32, i32* %11
%237 = sext i32 %236 to i64
%238 = getelementptr inbounds i8, i8* %235, i64 %237
%239 = load i8, i8* %238
%240 = zext i8 %239 to i32
%241 = load i8*, i8** %8
%242 = load i32, i32* %11
%243 = sext i32 %242 to i64
%244 = getelementptr inbounds i8, i8* %241, i64 %243
%245 = load i8, i8* %244
%246 = zext i8 %245 to i32
%247 = xor i32 %240, %246
%248 = load i8*, i8** %5
%249 = load i32, i32* %11
%250 = sext i32 %249 to i64
%251 = getelementptr inbounds i8, i8* %248, i64 %250
%252 = load i8, i8* %251
%253 = zext i8 %252 to i32
%254 = xor i32 %247, %253
%255 = load i8, i8* %14
%256 = zext i8 %255 to i32
%257 = xor i32 %254, %256
%258 = trunc i32 %257 to i8
%259 = load i8*, i8** %6
%260 = load i32, i32* %11
%261 = sext i32 %260 to i64
%262 = getelementptr inbounds i8, i8* %259, i64 %261
store i8 %258, i8* %262
br label %263
263: ; preds = %228
%264 = load i32, i32* %11
%265 = add nsw i32 %264, 1
store i32 %265, i32* %11
br label %167
266: ; preds = %167
store i32 0, i32* %11
br label %267
267: ; preds = %288, %266
%268 = load i32, i32* %11
%269 = icmp slt i32 %268, 8
br i1 %269, label %270, label %291
270: ; preds = %267
%271 = load i8*, i8** %8
%272 = load i32, i32* %11
%273 = sext i32 %272 to i64
%274 = getelementptr inbounds i8, i8* %271, i64 %273
%275 = load i8, i8* %274
%276 = zext i8 %275 to i32
%277 = load i8*, i8** %6
%278 = load i32, i32* %11
%279 = sext i32 %278 to i64
%280 = getelementptr inbounds i8, i8* %277, i64 %279
%281 = load i8, i8* %280
%282 = zext i8 %281 to i32
%283 = xor i32 %276, %282
%284 = trunc i32 %283 to i8
%285 = load i32, i32* %11
%286 = sext i32 %285 to i64
%287 = getelementptr inbounds i8, i8* %16, i64 %286
store i8 %284, i8* %287
br label %288
288: ; preds = %270
%289 = load i32, i32* %11
%290 = add nsw i32 %289, 1
store i32 %290, i32* %11
br label %267
291: ; preds = %267
store i32 0, i32* %11
br label %292
292: ; preds = %388, %291
%293 = load i32, i32* %11
%294 = icmp slt i32 %293, 8
br i1 %294, label %295, label %391
295: ; preds = %292
%296 = load i32, i32* %11
%297 = icmp eq i32 %296, 0
br i1 %297, label %298, label %305
298: ; preds = %295
%299 = load i32, i32* %11
%300 = sext i32 %299 to i64
%301 = getelementptr inbounds i8, i8* %16, i64 %300
%302 = load i8, i8* %301
%303 = zext i8 %302 to i32
%304 = shl i32 %303, 1
br label %320
305: ; preds = %295
%306 = load i32, i32* %11
%307 = sext i32 %306 to i64
%308 = getelementptr inbounds i8, i8* %16, i64 %307
%309 = load i8, i8* %308
%310 = zext i8 %309 to i32
%311 = shl i32 %310, 1
%312 = load i32, i32* %11
%313 = sub nsw i32 %312, 1
%314 = sext i32 %313 to i64
%315 = getelementptr inbounds i8, i8* %16, i64 %314
%316 = load i8, i8* %315
%317 = zext i8 %316 to i32
%318 = ashr i32 %317, 7
%319 = or i32 %311, %318
br label %320
320: ; preds = %305, %298
%321 = phi i32 [ %304, %298 ], [ %319, %305 ]
%322 = trunc i32 %321 to i8
store i8 %322, i8* %12
%323 = load i32, i32* %11
%324 = icmp eq i32 %323, 7
br i1 %324, label %325, label %326
325: ; preds = %320
store i8 0, i8* %13
br label %353
326: ; preds = %320
%327 = load i32, i32* %11
%328 = icmp eq i32 %327, 6
br i1 %328, label %329, label %335
329: ; preds = %326
%330 = getelementptr inbounds i8, i8* %16, i64 7
%331 = load i8, i8* %330
%332 = zext i8 %331 to i32
%333 = ashr i32 %332, 7
%334 = trunc i32 %333 to i8
store i8 %334, i8* %13
br label %352
335: ; preds = %326
%336 = load i32, i32* %11
%337 = add nsw i32 %336, 2
%338 = sext i32 %337 to i64
%339 = getelementptr inbounds i8, i8* %16, i64 %338
%340 = load i8, i8* %339
%341 = zext i8 %340 to i32
%342 = shl i32 %341, 1
%343 = load i32, i32* %11
%344 = add nsw i32 %343, 1
%345 = sext i32 %344 to i64
%346 = getelementptr inbounds i8, i8* %16, i64 %345
%347 = load i8, i8* %346
%348 = zext i8 %347 to i32
%349 = ashr i32 %348, 7
%350 = or i32 %342, %349
%351 = trunc i32 %350 to i8
store i8 %351, i8* %13
br label %352
352: ; preds = %335, %329
br label %353
353: ; preds = %352, %325
%354 = load i8, i8* %12
%355 = zext i8 %354 to i32
%356 = load i8, i8* %13
%357 = zext i8 %356 to i32
%358 = xor i32 %355, %357
%359 = trunc i32 %358 to i8
store i8 %359, i8* %14
%360 = load i8*, i8** %7
%361 = load i32, i32* %11
%362 = sext i32 %361 to i64
%363 = getelementptr inbounds i8, i8* %360, i64 %362
%364 = load i8, i8* %363
%365 = zext i8 %364 to i32
%366 = load i8*, i8** %5
%367 = load i32, i32* %11
%368 = sext i32 %367 to i64
%369 = getelementptr inbounds i8, i8* %366, i64 %368
%370 = load i8, i8* %369
%371 = zext i8 %370 to i32
%372 = xor i32 %365, %371
%373 = load i8*, i8** %6
%374 = load i32, i32* %11
%375 = sext i32 %374 to i64
%376 = getelementptr inbounds i8, i8* %373, i64 %375
%377 = load i8, i8* %376
%378 = zext i8 %377 to i32
%379 = xor i32 %372, %378
%380 = load i8, i8* %14
%381 = zext i8 %380 to i32
%382 = xor i32 %379, %381
%383 = trunc i32 %382 to i8
%384 = load i8*, i8** %7
%385 = load i32, i32* %11
%386 = sext i32 %385 to i64
%387 = getelementptr inbounds i8, i8* %384, i64 %386
store i8 %383, i8* %387
br label %388
388: ; preds = %353
%389 = load i32, i32* %11
%390 = add nsw i32 %389, 1
store i32 %390, i32* %11
br label %292
391: ; preds = %292
store i32 0, i32* %11
br label %392
392: ; preds = %413, %391
%393 = load i32, i32* %11
%394 = icmp slt i32 %393, 8
br i1 %394, label %395, label %416
395: ; preds = %392
%396 = load i8*, i8** %5
%397 = load i32, i32* %11
%398 = sext i32 %397 to i64
%399 = getelementptr inbounds i8, i8* %396, i64 %398
%400 = load i8, i8* %399
%401 = zext i8 %400 to i32
%402 = load i8*, i8** %7
%403 = load i32, i32* %11
%404 = sext i32 %403 to i64
%405 = getelementptr inbounds i8, i8* %402, i64 %404
%406 = load i8, i8* %405
%407 = zext i8 %406 to i32
%408 = xor i32 %401, %407
%409 = trunc i32 %408 to i8
%410 = load i32, i32* %11
%411 = sext i32 %410 to i64
%412 = getelementptr inbounds i8, i8* %16, i64 %411
store i8 %409, i8* %412
br label %413
413: ; preds = %395
%414 = load i32, i32* %11
%415 = add nsw i32 %414, 1
store i32 %415, i32* %11
br label %392
416: ; preds = %392
store i32 0, i32* %11
br label %417
417: ; preds = %513, %416
%418 = load i32, i32* %11
%419 = icmp slt i32 %418, 8
br i1 %419, label %420, label %516
420: ; preds = %417
%421 = load i32, i32* %11
%422 = icmp eq i32 %421, 0
br i1 %422, label %423, label %430
423: ; preds = %420
%424 = load i32, i32* %11
%425 = sext i32 %424 to i64
%426 = getelementptr inbounds i8, i8* %16, i64 %425
%427 = load i8, i8* %426
%428 = zext i8 %427 to i32
%429 = shl i32 %428, 1
br label %445
430: ; preds = %420
%431 = load i32, i32* %11
%432 = sext i32 %431 to i64
%433 = getelementptr inbounds i8, i8* %16, i64 %432
%434 = load i8, i8* %433
%435 = zext i8 %434 to i32
%436 = shl i32 %435, 1
%437 = load i32, i32* %11
%438 = sub nsw i32 %437, 1
%439 = sext i32 %438 to i64
%440 = getelementptr inbounds i8, i8* %16, i64 %439
%441 = load i8, i8* %440
%442 = zext i8 %441 to i32
%443 = ashr i32 %442, 7
%444 = or i32 %436, %443
br label %445
445: ; preds = %430, %423
%446 = phi i32 [ %429, %423 ], [ %444, %430 ]
%447 = trunc i32 %446 to i8
store i8 %447, i8* %12
%448 = load i32, i32* %11
%449 = icmp eq i32 %448, 7
br i1 %449, label %450, label %451
450: ; preds = %445
store i8 0, i8* %13
br label %478
451: ; preds = %445
%452 = load i32, i32* %11
%453 = icmp eq i32 %452, 6
br i1 %453, label %454, label %460
454: ; preds = %451
%455 = getelementptr inbounds i8, i8* %16, i64 7
%456 = load i8, i8* %455
%457 = zext i8 %456 to i32
%458 = ashr i32 %457, 7
%459 = trunc i32 %458 to i8
store i8 %459, i8* %13
br label %477
460: ; preds = %451
%461 = load i32, i32* %11
%462 = add nsw i32 %461, 2
%463 = sext i32 %462 to i64
%464 = getelementptr inbounds i8, i8* %16, i64 %463
%465 = load i8, i8* %464
%466 = zext i8 %465 to i32
%467 = shl i32 %466, 1
%468 = load i32, i32* %11
%469 = add nsw i32 %468, 1
%470 = sext i32 %469 to i64
%471 = getelementptr inbounds i8, i8* %16, i64 %470
%472 = load i8, i8* %471
%473 = zext i8 %472 to i32
%474 = ashr i32 %473, 7
%475 = or i32 %467, %474
%476 = trunc i32 %475 to i8
store i8 %476, i8* %13
br label %477
477: ; preds = %460, %454
br label %478
478: ; preds = %477, %450
%479 = load i8, i8* %12
%480 = zext i8 %479 to i32
%481 = load i8, i8* %13
%482 = zext i8 %481 to i32
%483 = xor i32 %480, %482
%484 = trunc i32 %483 to i8
store i8 %484, i8* %14
%485 = load i8*, i8** %8
%486 = load i32, i32* %11
%487 = sext i32 %486 to i64
%488 = getelementptr inbounds i8, i8* %485, i64 %487
%489 = load i8, i8* %488
%490 = zext i8 %489 to i32
%491 = load i8*, i8** %6
%492 = load i32, i32* %11
%493 = sext i32 %492 to i64
%494 = getelementptr inbounds i8, i8* %491, i64 %493
%495 = load i8, i8* %494
%496 = zext i8 %495 to i32
%497 = xor i32 %490, %496
%498 = load i8*, i8** %7
%499 = load i32, i32* %11
%500 = sext i32 %499 to i64
%501 = getelementptr inbounds i8, i8* %498, i64 %500
%502 = load i8, i8* %501
%503 = zext i8 %502 to i32
%504 = xor i32 %497, %503
%505 = load i8, i8* %14
%506 = zext i8 %505 to i32
%507 = xor i32 %504, %506
%508 = trunc i32 %507 to i8
%509 = load i8*, i8** %8
%510 = load i32, i32* %11
%511 = sext i32 %510 to i64
%512 = getelementptr inbounds i8, i8* %509, i64 %511
store i8 %508, i8* %512
br label %513
513: ; preds = %478
%514 = load i32, i32* %11
%515 = add nsw i32 %514, 1
store i32 %515, i32* %11
br label %417
516: ; preds = %417
%517 = load i8*, i8** %10
ret void
}

LLVM IR (-O2):
define void @transformation_D1(i8* nocapture %0, i8* nocapture %1, i8* nocapture %2, i8* nocapture %3) {
%5 = load i8, i8* %1
%6 = load i8, i8* %3
%7 = xor i8 %6, %5
%8 = getelementptr inbounds i8, i8* %1, i64 1
%9 = load i8, i8* %8
%10 = getelementptr inbounds i8, i8* %3, i64 1
%11 = load i8, i8* %10
%12 = xor i8 %11, %9
%13 = getelementptr inbounds i8, i8* %1, i64 2
%14 = load i8, i8* %13
%15 = getelementptr inbounds i8, i8* %3, i64 2
%16 = load i8, i8* %15
%17 = xor i8 %16, %14
%18 = getelementptr inbounds i8, i8* %1, i64 3
%19 = load i8, i8* %18
%20 = getelementptr inbounds i8, i8* %3, i64 3
%21 = load i8, i8* %20
%22 = xor i8 %21, %19
%23 = getelementptr inbounds i8, i8* %1, i64 4
%24 = load i8, i8* %23
%25 = getelementptr inbounds i8, i8* %3, i64 4
%26 = load i8, i8* %25
%27 = xor i8 %26, %24
%28 = getelementptr inbounds i8, i8* %1, i64 5
%29 = load i8, i8* %28
%30 = getelementptr inbounds i8, i8* %3, i64 5
%31 = load i8, i8* %30
%32 = xor i8 %31, %29
%33 = getelementptr inbounds i8, i8* %1, i64 6
%34 = load i8, i8* %33
%35 = getelementptr inbounds i8, i8* %3, i64 6
%36 = load i8, i8* %35
%37 = xor i8 %36, %34
%38 = getelementptr inbounds i8, i8* %1, i64 7
%39 = load i8, i8* %38
%40 = getelementptr inbounds i8, i8* %3, i64 7
%41 = load i8, i8* %40
%42 = xor i8 %41, %39
%43 = lshr i8 %42, 7
%44 = shl i8 %7, 1
%45 = tail call i8 @llvm.fshl.i8(i8 %17, i8 %12, i8 1)
%46 = load i8, i8* %0
%47 = load i8, i8* %2
%48 = xor i8 %45, %44
%49 = xor i8 %48, %46
%50 = xor i8 %49, %47
%51 = xor i8 %50, %6
store i8 %51, i8* %0
%52 = tail call i8 @llvm.fshl.i8(i8 %12, i8 %7, i8 1)
%53 = tail call i8 @llvm.fshl.i8(i8 %22, i8 %17, i8 1)
%54 = getelementptr inbounds i8, i8* %0, i64 1
%55 = load i8, i8* %54
%56 = getelementptr inbounds i8, i8* %2, i64 1
%57 = load i8, i8* %56
%58 = load i8, i8* %10
%59 = xor i8 %53, %52
%60 = xor i8 %59, %55
%61 = xor i8 %60, %57
%62 = xor i8 %61, %58
store i8 %62, i8* %54
%63 = tail call i8 @llvm.fshl.i8(i8 %17, i8 %12, i8 1)
%64 = tail call i8 @llvm.fshl.i8(i8 %27, i8 %22, i8 1)
%65 = getelementptr inbounds i8, i8* %0, i64 2
%66 = load i8, i8* %65
%67 = getelementptr inbounds i8, i8* %2, i64 2
%68 = load i8, i8* %67
%69 = load i8, i8* %15
%70 = xor i8 %64, %63
%71 = xor i8 %70, %66
%72 = xor i8 %71, %68
%73 = xor i8 %72, %69
store i8 %73, i8* %65
%74 = tail call i8 @llvm.fshl.i8(i8 %22, i8 %17, i8 1)
%75 = tail call i8 @llvm.fshl.i8(i8 %32, i8 %27, i8 1)
%76 = getelementptr inbounds i8, i8* %0, i64 3
%77 = load i8, i8* %76
%78 = getelementptr inbounds i8, i8* %2, i64 3
%79 = load i8, i8* %78
%80 = load i8, i8* %20
%81 = xor i8 %75, %74
%82 = xor i8 %81, %77
%83 = xor i8 %82, %79
%84 = xor i8 %83, %80
store i8 %84, i8* %76
%85 = tail call i8 @llvm.fshl.i8(i8 %27, i8 %22, i8 1)
%86 = tail call i8 @llvm.fshl.i8(i8 %37, i8 %32, i8 1)
%87 = getelementptr inbounds i8, i8* %0, i64 4
%88 = load i8, i8* %87
%89 = getelementptr inbounds i8, i8* %2, i64 4
%90 = load i8, i8* %89
%91 = load i8, i8* %25
%92 = xor i8 %86, %85
%93 = xor i8 %92, %88
%94 = xor i8 %93, %90
%95 = xor i8 %94, %91
store i8 %95, i8* %87
%96 = tail call i8 @llvm.fshl.i8(i8 %32, i8 %27, i8 1)
%97 = tail call i8 @llvm.fshl.i8(i8 %42, i8 %37, i8 1)
%98 = getelementptr inbounds i8, i8* %0, i64 5
%99 = load i8, i8* %98
%100 = getelementptr inbounds i8, i8* %2, i64 5
%101 = load i8, i8* %100
%102 = load i8, i8* %30
%103 = xor i8 %97, %96
%104 = xor i8 %103, %99
%105 = xor i8 %104, %101
%106 = xor i8 %105, %102
store i8 %106, i8* %98
%107 = tail call i8 @llvm.fshl.i8(i8 %37, i8 %32, i8 1)
%108 = getelementptr inbounds i8, i8* %0, i64 6
%109 = load i8, i8* %108
%110 = getelementptr inbounds i8, i8* %2, i64 6
%111 = load i8, i8* %110
%112 = load i8, i8* %35
%113 = xor i8 %43, %107
%114 = xor i8 %113, %109
%115 = xor i8 %114, %111
%116 = xor i8 %115, %112
store i8 %116, i8* %108
%117 = tail call i8 @llvm.fshl.i8(i8 %42, i8 %37, i8 1)
%118 = getelementptr inbounds i8, i8* %0, i64 7
%119 = load i8, i8* %118
%120 = getelementptr inbounds i8, i8* %2, i64 7
%121 = load i8, i8* %120
%122 = load i8, i8* %40
%123 = xor i8 %117, %119
%124 = xor i8 %123, %121
%125 = xor i8 %124, %122
store i8 %125, i8* %118
%126 = load i8, i8* %2
%127 = xor i8 %51, %126
%128 = load i8, i8* %56
%129 = xor i8 %62, %128
%130 = load i8, i8* %67
%131 = xor i8 %73, %130
%132 = load i8, i8* %78
%133 = xor i8 %84, %132
%134 = load i8, i8* %89
%135 = xor i8 %95, %134
%136 = load i8, i8* %100
%137 = xor i8 %106, %136
%138 = load i8, i8* %110
%139 = xor i8 %116, %138
%140 = load i8, i8* %120
%141 = xor i8 %125, %140
%142 = lshr i8 %141, 7
%143 = shl i8 %127, 1
%144 = tail call i8 @llvm.fshl.i8(i8 %131, i8 %129, i8 1)
%145 = load i8, i8* %1
%146 = load i8, i8* %3
%147 = xor i8 %144, %143
%148 = xor i8 %147, %145
%149 = xor i8 %148, %146
%150 = xor i8 %149, %51
store i8 %150, i8* %1
%151 = tail call i8 @llvm.fshl.i8(i8 %129, i8 %127, i8 1)
%152 = tail call i8 @llvm.fshl.i8(i8 %133, i8 %131, i8 1)
%153 = load i8, i8* %8
%154 = load i8, i8* %10
%155 = load i8, i8* %54
%156 = xor i8 %152, %151
%157 = xor i8 %156, %153
%158 = xor i8 %157, %154
%159 = xor i8 %158, %155
store i8 %159, i8* %8
%160 = tail call i8 @llvm.fshl.i8(i8 %131, i8 %129, i8 1)
%161 = tail call i8 @llvm.fshl.i8(i8 %135, i8 %133, i8 1)
%162 = load i8, i8* %13
%163 = load i8, i8* %15
%164 = load i8, i8* %65
%165 = xor i8 %161, %160
%166 = xor i8 %165, %162
%167 = xor i8 %166, %163
%168 = xor i8 %167, %164
store i8 %168, i8* %13
%169 = tail call i8 @llvm.fshl.i8(i8 %133, i8 %131, i8 1)
%170 = tail call i8 @llvm.fshl.i8(i8 %137, i8 %135, i8 1)
%171 = load i8, i8* %18
%172 = load i8, i8* %20
%173 = load i8, i8* %76
%174 = xor i8 %170, %169
%175 = xor i8 %174, %171
%176 = xor i8 %175, %172
%177 = xor i8 %176, %173
store i8 %177, i8* %18
%178 = tail call i8 @llvm.fshl.i8(i8 %135, i8 %133, i8 1)
%179 = tail call i8 @llvm.fshl.i8(i8 %139, i8 %137, i8 1)
%180 = load i8, i8* %23
%181 = load i8, i8* %25
%182 = load i8, i8* %87
%183 = xor i8 %179, %178
%184 = xor i8 %183, %180
%185 = xor i8 %184, %181
%186 = xor i8 %185, %182
store i8 %186, i8* %23
%187 = tail call i8 @llvm.fshl.i8(i8 %137, i8 %135, i8 1)
%188 = tail call i8 @llvm.fshl.i8(i8 %141, i8 %139, i8 1)
%189 = load i8, i8* %28
%190 = load i8, i8* %30
%191 = load i8, i8* %98
%192 = xor i8 %188, %187
%193 = xor i8 %192, %189
%194 = xor i8 %193, %190
%195 = xor i8 %194, %191
store i8 %195, i8* %28
%196 = tail call i8 @llvm.fshl.i8(i8 %139, i8 %137, i8 1)
%197 = load i8, i8* %33
%198 = load i8, i8* %35
%199 = load i8, i8* %108
%200 = xor i8 %142, %196
%201 = xor i8 %200, %197
%202 = xor i8 %201, %198
%203 = xor i8 %202, %199
store i8 %203, i8* %33
%204 = tail call i8 @llvm.fshl.i8(i8 %141, i8 %139, i8 1)
%205 = load i8, i8* %38
%206 = load i8, i8* %40
%207 = load i8, i8* %118
%208 = xor i8 %204, %205
%209 = xor i8 %208, %206
%210 = xor i8 %209, %207
store i8 %210, i8* %38
%211 = load i8, i8* %3
%212 = xor i8 %150, %211
%213 = load i8, i8* %10
%214 = xor i8 %159, %213
%215 = load i8, i8* %15
%216 = xor i8 %168, %215
%217 = load i8, i8* %20
%218 = xor i8 %177, %217
%219 = load i8, i8* %25
%220 = xor i8 %186, %219
%221 = load i8, i8* %30
%222 = xor i8 %195, %221
%223 = load i8, i8* %35
%224 = xor i8 %203, %223
%225 = load i8, i8* %40
%226 = xor i8 %210, %225
%227 = lshr i8 %226, 7
%228 = shl i8 %212, 1
%229 = tail call i8 @llvm.fshl.i8(i8 %216, i8 %214, i8 1)
%230 = load i8, i8* %2
%231 = load i8, i8* %0
%232 = xor i8 %229, %228
%233 = xor i8 %232, %230
%234 = xor i8 %233, %231
%235 = xor i8 %234, %150
store i8 %235, i8* %2
%236 = tail call i8 @llvm.fshl.i8(i8 %214, i8 %212, i8 1)
%237 = tail call i8 @llvm.fshl.i8(i8 %218, i8 %216, i8 1)
%238 = load i8, i8* %56
%239 = load i8, i8* %54
%240 = load i8, i8* %8
%241 = xor i8 %237, %236
%242 = xor i8 %241, %238
%243 = xor i8 %242, %239
%244 = xor i8 %243, %240
store i8 %244, i8* %56
%245 = tail call i8 @llvm.fshl.i8(i8 %216, i8 %214, i8 1)
%246 = tail call i8 @llvm.fshl.i8(i8 %220, i8 %218, i8 1)
%247 = load i8, i8* %67
%248 = load i8, i8* %65
%249 = load i8, i8* %13
%250 = xor i8 %246, %245
%251 = xor i8 %250, %247
%252 = xor i8 %251, %248
%253 = xor i8 %252, %249
store i8 %253, i8* %67
%254 = tail call i8 @llvm.fshl.i8(i8 %218, i8 %216, i8 1)
%255 = tail call i8 @llvm.fshl.i8(i8 %222, i8 %220, i8 1)
%256 = load i8, i8* %78
%257 = load i8, i8* %76
%258 = load i8, i8* %18
%259 = xor i8 %255, %254
%260 = xor i8 %259, %256
%261 = xor i8 %260, %257
%262 = xor i8 %261, %258
store i8 %262, i8* %78
%263 = tail call i8 @llvm.fshl.i8(i8 %220, i8 %218, i8 1)
%264 = tail call i8 @llvm.fshl.i8(i8 %224, i8 %222, i8 1)
%265 = load i8, i8* %89
%266 = load i8, i8* %87
%267 = load i8, i8* %23
%268 = xor i8 %264, %263
%269 = xor i8 %268, %265
%270 = xor i8 %269, %266
%271 = xor i8 %270, %267
store i8 %271, i8* %89
%272 = tail call i8 @llvm.fshl.i8(i8 %222, i8 %220, i8 1)
%273 = tail call i8 @llvm.fshl.i8(i8 %226, i8 %224, i8 1)
%274 = load i8, i8* %100
%275 = load i8, i8* %98
%276 = load i8, i8* %28
%277 = xor i8 %273, %272
%278 = xor i8 %277, %274
%279 = xor i8 %278, %275
%280 = xor i8 %279, %276
store i8 %280, i8* %100
%281 = tail call i8 @llvm.fshl.i8(i8 %224, i8 %222, i8 1)
%282 = load i8, i8* %110
%283 = load i8, i8* %108
%284 = load i8, i8* %33
%285 = xor i8 %227, %281
%286 = xor i8 %285, %282
%287 = xor i8 %286, %283
%288 = xor i8 %287, %284
store i8 %288, i8* %110
%289 = tail call i8 @llvm.fshl.i8(i8 %226, i8 %224, i8 1)
%290 = load i8, i8* %120
%291 = load i8, i8* %118
%292 = load i8, i8* %38
%293 = xor i8 %289, %290
%294 = xor i8 %293, %291
%295 = xor i8 %294, %292
store i8 %295, i8* %120
%296 = load i8, i8* %0
%297 = xor i8 %235, %296
%298 = load i8, i8* %54
%299 = xor i8 %244, %298
%300 = load i8, i8* %65
%301 = xor i8 %253, %300
%302 = load i8, i8* %76
%303 = xor i8 %262, %302
%304 = load i8, i8* %87
%305 = xor i8 %271, %304
%306 = load i8, i8* %98
%307 = xor i8 %280, %306
%308 = load i8, i8* %108
%309 = xor i8 %288, %308
%310 = load i8, i8* %118
%311 = xor i8 %295, %310
%312 = lshr i8 %311, 7
%313 = shl i8 %297, 1
%314 = tail call i8 @llvm.fshl.i8(i8 %301, i8 %299, i8 1)
%315 = load i8, i8* %3
%316 = load i8, i8* %1
%317 = xor i8 %314, %313
%318 = xor i8 %317, %315
%319 = xor i8 %318, %316
%320 = xor i8 %319, %235
store i8 %320, i8* %3
%321 = tail call i8 @llvm.fshl.i8(i8 %299, i8 %297, i8 1)
%322 = tail call i8 @llvm.fshl.i8(i8 %303, i8 %301, i8 1)
%323 = load i8, i8* %10
%324 = load i8, i8* %8
%325 = load i8, i8* %56
%326 = xor i8 %322, %321
%327 = xor i8 %326, %323
%328 = xor i8 %327, %324
%329 = xor i8 %328, %325
store i8 %329, i8* %10
%330 = tail call i8 @llvm.fshl.i8(i8 %301, i8 %299, i8 1)
%331 = tail call i8 @llvm.fshl.i8(i8 %305, i8 %303, i8 1)
%332 = load i8, i8* %15
%333 = load i8, i8* %13
%334 = load i8, i8* %67
%335 = xor i8 %331, %330
%336 = xor i8 %335, %332
%337 = xor i8 %336, %333
%338 = xor i8 %337, %334
store i8 %338, i8* %15
%339 = tail call i8 @llvm.fshl.i8(i8 %303, i8 %301, i8 1)
%340 = tail call i8 @llvm.fshl.i8(i8 %307, i8 %305, i8 1)
%341 = load i8, i8* %20
%342 = load i8, i8* %18
%343 = load i8, i8* %78
%344 = xor i8 %340, %339
%345 = xor i8 %344, %341
%346 = xor i8 %345, %342
%347 = xor i8 %346, %343
store i8 %347, i8* %20
%348 = tail call i8 @llvm.fshl.i8(i8 %305, i8 %303, i8 1)
%349 = tail call i8 @llvm.fshl.i8(i8 %309, i8 %307, i8 1)
%350 = load i8, i8* %25
%351 = load i8, i8* %23
%352 = load i8, i8* %89
%353 = xor i8 %349, %348
%354 = xor i8 %353, %350
%355 = xor i8 %354, %351
%356 = xor i8 %355, %352
store i8 %356, i8* %25
%357 = tail call i8 @llvm.fshl.i8(i8 %307, i8 %305, i8 1)
%358 = tail call i8 @llvm.fshl.i8(i8 %311, i8 %309, i8 1)
%359 = load i8, i8* %30
%360 = load i8, i8* %28
%361 = load i8, i8* %100
%362 = xor i8 %358, %357
%363 = xor i8 %362, %359
%364 = xor i8 %363, %360
%365 = xor i8 %364, %361
store i8 %365, i8* %30
%366 = tail call i8 @llvm.fshl.i8(i8 %309, i8 %307, i8 1)
%367 = load i8, i8* %35
%368 = load i8, i8* %33
%369 = load i8, i8* %110
%370 = xor i8 %312, %366
%371 = xor i8 %370, %367
%372 = xor i8 %371, %368
%373 = xor i8 %372, %369
store i8 %373, i8* %35
%374 = tail call i8 @llvm.fshl.i8(i8 %311, i8 %309, i8 1)
%375 = load i8, i8* %40
%376 = load i8, i8* %38
%377 = load i8, i8* %120
%378 = xor i8 %374, %375
%379 = xor i8 %378, %376
%380 = xor i8 %379, %377
store i8 %380, i8* %40
ret void
}