void transformation_D2(unsigned char *x0, unsigned char *x1, unsigned char *x2,
                       unsigned char *x3) {
  const int LEN = 16;
  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);
    extR =
        i == LEN / 8 - 1 ? temp[i] >> 1 : (temp[i] >> 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);
    extR =
        i == LEN / 8 - 1 ? temp[i] >> 1 : (temp[i] >> 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);
    extR =
        i == LEN / 8 - 1 ? temp[i] >> 1 : (temp[i] >> 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);
    extR =
        i == LEN / 8 - 1 ? temp[i] >> 1 : (temp[i] >> 1) | (temp[i + 1] << 7);
    L = extL ^ extR;
    x3[i] = x3[i] ^ x1[i] ^ x2[i] ^ L;
  }
}


x86 assembly (clang, -O0):
<transformation_D2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x10,-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   $0x2,-0x34(%rbp)
jge    1171 <transformation_D2+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_D2+0x35>
movl   $0x0,-0x34(%rbp)
cmpl   $0x2,-0x34(%rbp)
jge    1264 <transformation_D2+0x164>
cmpl   $0x0,-0x34(%rbp)
jne    11a0 <transformation_D2+0xa0>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11c2 <transformation_D2+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   $0x1,-0x34(%rbp)
jne    11e6 <transformation_D2+0xe6>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
sar    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1208 <transformation_D2+0x108>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
sar    $0x1,%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
shl    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
mov    %al,-0x36(%rbp)
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_D2+0x78>
movl   $0x0,-0x34(%rbp)
cmpl   $0x2,-0x34(%rbp)
jge    12a7 <transformation_D2+0x1a7>
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    126b <transformation_D2+0x16b>
movl   $0x0,-0x34(%rbp)
cmpl   $0x2,-0x34(%rbp)
jge    139a <transformation_D2+0x29a>
cmpl   $0x0,-0x34(%rbp)
jne    12d6 <transformation_D2+0x1d6>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    12f8 <transformation_D2+0x1f8>
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   $0x1,-0x34(%rbp)
jne    131c <transformation_D2+0x21c>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
sar    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    133e <transformation_D2+0x23e>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
sar    $0x1,%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
shl    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
mov    %al,-0x36(%rbp)
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    12ae <transformation_D2+0x1ae>
movl   $0x0,-0x34(%rbp)
cmpl   $0x2,-0x34(%rbp)
jge    13dd <transformation_D2+0x2dd>
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    13a1 <transformation_D2+0x2a1>
movl   $0x0,-0x34(%rbp)
cmpl   $0x2,-0x34(%rbp)
jge    14d0 <transformation_D2+0x3d0>
cmpl   $0x0,-0x34(%rbp)
jne    140c <transformation_D2+0x30c>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    142e <transformation_D2+0x32e>
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,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    %al,-0x35(%rbp)
cmpl   $0x1,-0x34(%rbp)
jne    1452 <transformation_D2+0x352>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
sar    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    1474 <transformation_D2+0x374>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
sar    $0x1,%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
shl    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    %al,-0x36(%rbp)
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    13e4 <transformation_D2+0x2e4>
movl   $0x0,-0x34(%rbp)
cmpl   $0x2,-0x34(%rbp)
jge    1513 <transformation_D2+0x413>
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    14d7 <transformation_D2+0x3d7>
movl   $0x0,-0x34(%rbp)
cmpl   $0x2,-0x34(%rbp)
jge    1606 <transformation_D2+0x506>
cmpl   $0x0,-0x34(%rbp)
jne    1542 <transformation_D2+0x442>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
shl    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1564 <transformation_D2+0x464>
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,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %al,-0x35(%rbp)
cmpl   $0x1,-0x34(%rbp)
jne    1588 <transformation_D2+0x488>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
sar    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    15aa <transformation_D2+0x4aa>
movslq -0x34(%rbp),%rax
movzbl -0x40(%rbp,%rax,1),%eax
sar    $0x1,%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl -0x40(%rbp,%rcx,1),%ecx
shl    $0x7,%ecx
or     %ecx,%eax
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
mov    %al,-0x36(%rbp)
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    151a <transformation_D2+0x41a>
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<transformation_D2>:
mov    (%rcx),%r8b
mov    0x1(%rcx),%r9b
mov    (%rsi),%al
xor    %r8b,%al
xor    0x1(%rsi),%r9b
mov    %eax,%r10d
shr    $0x7,%r10b
lea    (%r9,%r9,1),%r11d
or     %r10b,%r11b
mov    %r9d,%r10d
shr    %r10b
xor    %r11b,%r10b
lea    (%rax,%rax,1),%r11d
shr    %al
shl    $0x7,%r9b
or     %al,%r9b
xor    %r11b,%r9b
xor    (%rdi),%r9b
xor    (%rdx),%r9b
xor    %r8b,%r9b
mov    %r9b,(%rdi)
xor    0x1(%rdi),%r10b
xor    0x1(%rdx),%r10b
xor    0x1(%rcx),%r10b
mov    %r10b,0x1(%rdi)
mov    (%rdx),%al
xor    %r9b,%al
xor    0x1(%rdx),%r10b
mov    %eax,%r8d
shr    $0x7,%r8b
lea    (%r10,%r10,1),%r11d
or     %r8b,%r11b
mov    %r10d,%r8d
shr    %r8b
xor    %r11b,%r8b
lea    (%rax,%rax,1),%r11d
shr    %al
shl    $0x7,%r10b
or     %al,%r10b
xor    %r11b,%r10b
xor    (%rsi),%r10b
xor    (%rcx),%r10b
xor    %r9b,%r10b
mov    %r10b,(%rsi)
xor    0x1(%rsi),%r8b
xor    0x1(%rcx),%r8b
xor    0x1(%rdi),%r8b
mov    %r8b,0x1(%rsi)
mov    (%rcx),%r9b
xor    %r10b,%r9b
xor    0x1(%rcx),%r8b
mov    %r9d,%eax
shr    $0x7,%al
lea    (%r8,%r8,1),%r11d
or     %al,%r11b
mov    %r8d,%eax
shr    %al
xor    %r11b,%al
lea    (%r9,%r9,1),%r11d
shr    %r9b
shl    $0x7,%r8b
or     %r9b,%r8b
xor    %r11b,%r8b
xor    (%rdx),%r8b
xor    (%rdi),%r8b
xor    %r10b,%r8b
mov    %r8b,(%rdx)
xor    0x1(%rdx),%al
xor    0x1(%rdi),%al
xor    0x1(%rsi),%al
mov    %al,0x1(%rdx)
mov    (%rdi),%r9b
xor    %r8b,%r9b
xor    0x1(%rdi),%al
mov    %r9d,%edi
shr    $0x7,%dil
lea    (%rax,%rax,1),%r10d
or     %dil,%r10b
mov    %eax,%edi
shr    %dil
xor    %r10b,%dil
lea    (%r9,%r9,1),%r10d
shr    %r9b
shl    $0x7,%al
or     %r9b,%al
xor    %r10b,%al
xor    (%rcx),%al
xor    (%rsi),%al
xor    %r8b,%al
mov    %al,(%rcx)
xor    0x1(%rcx),%dil
xor    0x1(%rsi),%dil
xor    0x1(%rdx),%dil
mov    %dil,0x1(%rcx)
ret

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

LLVM IR (-O2):
define void @transformation_D2(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 = tail call i8 @llvm.fshl.i8(i8 %12, i8 %7, i8 1)
%14 = lshr i8 %12, 1
%15 = shl i8 %7, 1
%16 = tail call i8 @llvm.fshl.i8(i8 %12, i8 %7, i8 7)
%17 = load i8, i8* %0
%18 = load i8, i8* %2
%19 = xor i8 %16, %15
%20 = xor i8 %19, %17
%21 = xor i8 %20, %18
%22 = xor i8 %21, %6
store i8 %22, i8* %0
%23 = getelementptr inbounds i8, i8* %0, i64 1
%24 = load i8, i8* %23
%25 = getelementptr inbounds i8, i8* %2, i64 1
%26 = load i8, i8* %25
%27 = load i8, i8* %10
%28 = xor i8 %14, %13
%29 = xor i8 %28, %24
%30 = xor i8 %29, %26
%31 = xor i8 %30, %27
store i8 %31, i8* %23
%32 = load i8, i8* %2
%33 = xor i8 %22, %32
%34 = load i8, i8* %25
%35 = xor i8 %31, %34
%36 = tail call i8 @llvm.fshl.i8(i8 %35, i8 %33, i8 1)
%37 = lshr i8 %35, 1
%38 = shl i8 %33, 1
%39 = tail call i8 @llvm.fshl.i8(i8 %35, i8 %33, i8 7)
%40 = load i8, i8* %1
%41 = load i8, i8* %3
%42 = xor i8 %39, %38
%43 = xor i8 %42, %40
%44 = xor i8 %43, %41
%45 = xor i8 %44, %22
store i8 %45, i8* %1
%46 = load i8, i8* %8
%47 = load i8, i8* %10
%48 = load i8, i8* %23
%49 = xor i8 %37, %36
%50 = xor i8 %49, %46
%51 = xor i8 %50, %47
%52 = xor i8 %51, %48
store i8 %52, i8* %8
%53 = load i8, i8* %3
%54 = xor i8 %45, %53
%55 = load i8, i8* %10
%56 = xor i8 %52, %55
%57 = tail call i8 @llvm.fshl.i8(i8 %56, i8 %54, i8 1)
%58 = lshr i8 %56, 1
%59 = shl i8 %54, 1
%60 = tail call i8 @llvm.fshl.i8(i8 %56, i8 %54, i8 7)
%61 = load i8, i8* %2
%62 = load i8, i8* %0
%63 = xor i8 %60, %59
%64 = xor i8 %63, %61
%65 = xor i8 %64, %62
%66 = xor i8 %65, %45
store i8 %66, i8* %2
%67 = load i8, i8* %25
%68 = load i8, i8* %23
%69 = load i8, i8* %8
%70 = xor i8 %58, %57
%71 = xor i8 %70, %67
%72 = xor i8 %71, %68
%73 = xor i8 %72, %69
store i8 %73, i8* %25
%74 = load i8, i8* %0
%75 = xor i8 %66, %74
%76 = load i8, i8* %23
%77 = xor i8 %73, %76
%78 = tail call i8 @llvm.fshl.i8(i8 %77, i8 %75, i8 1)
%79 = lshr i8 %77, 1
%80 = shl i8 %75, 1
%81 = tail call i8 @llvm.fshl.i8(i8 %77, i8 %75, i8 7)
%82 = load i8, i8* %3
%83 = load i8, i8* %1
%84 = xor i8 %81, %80
%85 = xor i8 %84, %82
%86 = xor i8 %85, %83
%87 = xor i8 %86, %66
store i8 %87, i8* %3
%88 = load i8, i8* %10
%89 = load i8, i8* %8
%90 = load i8, i8* %25
%91 = xor i8 %79, %78
%92 = xor i8 %91, %88
%93 = xor i8 %92, %89
%94 = xor i8 %93, %90
store i8 %94, i8* %10
ret void
}