void nand_trans_result(unsigned short reg1, unsigned short reg2,
                       unsigned short reg3, unsigned char *ecc_code) {
  unsigned char a, b, i, tmp1, tmp2, tmp3;
  a = b = 0x80;
  tmp1 = tmp2 = 0;
  for (i = 0; i < 4; i++) {
    if (reg3 & a)
      tmp1 |= b;
    b >>= 1;
    if (reg2 & a)
      tmp1 |= b;
    b >>= 1;
    a >>= 1;
  }
  tmp1 = ~tmp1;
  b = 0x80;
  for (i = 0; i < 4; i++) {
    if (reg3 & a)
      tmp2 |= b;
    b >>= 1;
    if (reg2 & a)
      tmp2 |= b;
    b >>= 1;
    a >>= 1;
  }
  tmp2 = ~tmp2;
  tmp3 = (~reg1 << 2) & 0xFC;
  if ((reg3 & 0x100) == 0)
    tmp3 |= 2;
  if ((reg2 & 0x100) == 0)
    tmp3 |= 1;
  ecc_code[1] = tmp1;
  ecc_code[0] = tmp2;
  ecc_code[2] = tmp3;
}


x86 assembly (clang, -O0):
<nand_trans_result>:
push   %rbp
mov    %rsp,%rbp
mov    %dx,%ax
mov    %si,%dx
mov    %di,%si
mov    %si,-0x2(%rbp)
mov    %dx,-0x4(%rbp)
mov    %ax,-0x6(%rbp)
mov    %rcx,-0x10(%rbp)
movb   $0x80,-0x12(%rbp)
movb   $0x80,-0x11(%rbp)
movb   $0x0,-0x15(%rbp)
movb   $0x0,-0x14(%rbp)
movb   $0x0,-0x13(%rbp)
movzbl -0x13(%rbp),%eax
cmp    $0x4,%eax
jge    11a9 <nand_trans_result+0xa9>
movzwl -0x6(%rbp),%eax
movzbl -0x11(%rbp),%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     115e <nand_trans_result+0x5e>
movzbl -0x12(%rbp),%ecx
movzbl -0x14(%rbp),%eax
or     %ecx,%eax
mov    %al,-0x14(%rbp)
movzbl -0x12(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x12(%rbp)
movzwl -0x4(%rbp),%eax
movzbl -0x11(%rbp),%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     1188 <nand_trans_result+0x88>
movzbl -0x12(%rbp),%ecx
movzbl -0x14(%rbp),%eax
or     %ecx,%eax
mov    %al,-0x14(%rbp)
movzbl -0x12(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x12(%rbp)
movzbl -0x11(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x11(%rbp)
mov    -0x13(%rbp),%al
add    $0x1,%al
mov    %al,-0x13(%rbp)
jmp    1131 <nand_trans_result+0x31>
movzbl -0x14(%rbp),%eax
xor    $0xffffffff,%eax
mov    %al,-0x14(%rbp)
movb   $0x80,-0x12(%rbp)
movb   $0x0,-0x13(%rbp)
movzbl -0x13(%rbp),%eax
cmp    $0x4,%eax
jge    1233 <nand_trans_result+0x133>
movzwl -0x6(%rbp),%eax
movzbl -0x11(%rbp),%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     11e8 <nand_trans_result+0xe8>
movzbl -0x12(%rbp),%ecx
movzbl -0x15(%rbp),%eax
or     %ecx,%eax
mov    %al,-0x15(%rbp)
movzbl -0x12(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x12(%rbp)
movzwl -0x4(%rbp),%eax
movzbl -0x11(%rbp),%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     1212 <nand_trans_result+0x112>
movzbl -0x12(%rbp),%ecx
movzbl -0x15(%rbp),%eax
or     %ecx,%eax
mov    %al,-0x15(%rbp)
movzbl -0x12(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x12(%rbp)
movzbl -0x11(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x11(%rbp)
mov    -0x13(%rbp),%al
add    $0x1,%al
mov    %al,-0x13(%rbp)
jmp    11bb <nand_trans_result+0xbb>
movzbl -0x15(%rbp),%eax
xor    $0xffffffff,%eax
mov    %al,-0x15(%rbp)
movzwl -0x2(%rbp),%eax
xor    $0xffffffff,%eax
shl    $0x2,%eax
and    $0xfc,%eax
mov    %al,-0x16(%rbp)
movzwl -0x6(%rbp),%eax
and    $0x100,%eax
cmp    $0x0,%eax
jne    126b <nand_trans_result+0x16b>
movzbl -0x16(%rbp),%eax
or     $0x2,%eax
mov    %al,-0x16(%rbp)
movzwl -0x4(%rbp),%eax
and    $0x100,%eax
cmp    $0x0,%eax
jne    1287 <nand_trans_result+0x187>
movzbl -0x16(%rbp),%eax
or     $0x1,%eax
mov    %al,-0x16(%rbp)
mov    -0x14(%rbp),%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x15(%rbp),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x16(%rbp),%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x2(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<nand_trans_result>:
mov    %edx,%r8d
and    $0x80,%r8b
mov    %esi,%eax
shr    %al
and    $0x40,%al
or     %r8b,%al
mov    %edx,%r8d
shr    %r8b
and    $0x20,%r8b
or     %al,%r8b
mov    %esi,%eax
shr    $0x2,%al
and    $0x10,%al
or     %r8b,%al
mov    %edx,%r8d
shr    $0x2,%r8b
and    $0x8,%r8b
or     %al,%r8b
mov    %esi,%eax
shr    $0x3,%al
and    $0x4,%al
or     %r8b,%al
mov    %edx,%r9d
shr    $0x3,%r9b
and    $0x2,%r9b
or     %al,%r9b
mov    %esi,%r8d
shr    $0x4,%r8b
and    $0x1,%r8b
or     %r9b,%r8b
mov    %edx,%eax
shl    $0x4,%al
and    $0x80,%al
lea    0x0(,%rsi,8),%r9d
and    $0x40,%r9b
or     %al,%r9b
lea    0x0(,%rdx,8),%eax
and    $0x20,%al
or     %r9b,%al
lea    0x0(,%rsi,4),%r9d
and    $0x10,%r9b
or     %al,%r9b
lea    0x0(,%rdx,4),%eax
and    $0x8,%al
or     %r9b,%al
lea    (%rsi,%rsi,1),%r9d
and    $0x4,%r9b
or     %al,%r9b
lea    (%rdx,%rdx,1),%eax
and    $0x2,%al
or     %r9b,%al
mov    %esi,%r9d
and    $0x1,%r9b
or     %al,%r9b
not    %dil
shl    $0x2,%dil
lea    0x2(%rdi),%eax
test   $0x100,%edx
movzbl %dil,%edx
movzbl %al,%eax
cmovne %edx,%eax
shr    $0x8,%esi
and    $0x1,%sil
or     %al,%sil
xor    $0x1,%sil
not    %r9b
not    %r8b
mov    %r8b,0x1(%rcx)
mov    %r9b,(%rcx)
mov    %sil,0x2(%rcx)
ret

LLVM IR (-O0):
define void @nand_trans_result(i16 zeroext %0, i16 zeroext %1, i16 zeroext %2, i8* %3) {
%5 = alloca i16
%6 = alloca i16
%7 = alloca i16
%8 = alloca i8*
%9 = alloca i8
%10 = alloca i8
%11 = alloca i8
%12 = alloca i8
%13 = alloca i8
%14 = alloca i8
store i16 %0, i16* %5
store i16 %1, i16* %6
store i16 %2, i16* %7
store i8* %3, i8** %8
store i8 -128, i8* %10
store i8 -128, i8* %9
store i8 0, i8* %13
store i8 0, i8* %12
store i8 0, i8* %11
br label %15
15: ; preds = %60, %4
%16 = load i8, i8* %11
%17 = zext i8 %16 to i32
%18 = icmp slt i32 %17, 4
br i1 %18, label %19, label %63
19: ; preds = %15
%20 = load i16, i16* %7
%21 = zext i16 %20 to i32
%22 = load i8, i8* %9
%23 = zext i8 %22 to i32
%24 = and i32 %21, %23
%25 = icmp ne i32 %24, 0
br i1 %25, label %26, label %33
26: ; preds = %19
%27 = load i8, i8* %10
%28 = zext i8 %27 to i32
%29 = load i8, i8* %12
%30 = zext i8 %29 to i32
%31 = or i32 %30, %28
%32 = trunc i32 %31 to i8
store i8 %32, i8* %12
br label %33
33: ; preds = %26, %19
%34 = load i8, i8* %10
%35 = zext i8 %34 to i32
%36 = ashr i32 %35, 1
%37 = trunc i32 %36 to i8
store i8 %37, i8* %10
%38 = load i16, i16* %6
%39 = zext i16 %38 to i32
%40 = load i8, i8* %9
%41 = zext i8 %40 to i32
%42 = and i32 %39, %41
%43 = icmp ne i32 %42, 0
br i1 %43, label %44, label %51
44: ; preds = %33
%45 = load i8, i8* %10
%46 = zext i8 %45 to i32
%47 = load i8, i8* %12
%48 = zext i8 %47 to i32
%49 = or i32 %48, %46
%50 = trunc i32 %49 to i8
store i8 %50, i8* %12
br label %51
51: ; preds = %44, %33
%52 = load i8, i8* %10
%53 = zext i8 %52 to i32
%54 = ashr i32 %53, 1
%55 = trunc i32 %54 to i8
store i8 %55, i8* %10
%56 = load i8, i8* %9
%57 = zext i8 %56 to i32
%58 = ashr i32 %57, 1
%59 = trunc i32 %58 to i8
store i8 %59, i8* %9
br label %60
60: ; preds = %51
%61 = load i8, i8* %11
%62 = add i8 %61, 1
store i8 %62, i8* %11
br label %15
63: ; preds = %15
%64 = load i8, i8* %12
%65 = zext i8 %64 to i32
%66 = xor i32 %65, -1
%67 = trunc i32 %66 to i8
store i8 %67, i8* %12
store i8 -128, i8* %10
store i8 0, i8* %11
br label %68
68: ; preds = %113, %63
%69 = load i8, i8* %11
%70 = zext i8 %69 to i32
%71 = icmp slt i32 %70, 4
br i1 %71, label %72, label %116
72: ; preds = %68
%73 = load i16, i16* %7
%74 = zext i16 %73 to i32
%75 = load i8, i8* %9
%76 = zext i8 %75 to i32
%77 = and i32 %74, %76
%78 = icmp ne i32 %77, 0
br i1 %78, label %79, label %86
79: ; preds = %72
%80 = load i8, i8* %10
%81 = zext i8 %80 to i32
%82 = load i8, i8* %13
%83 = zext i8 %82 to i32
%84 = or i32 %83, %81
%85 = trunc i32 %84 to i8
store i8 %85, i8* %13
br label %86
86: ; preds = %79, %72
%87 = load i8, i8* %10
%88 = zext i8 %87 to i32
%89 = ashr i32 %88, 1
%90 = trunc i32 %89 to i8
store i8 %90, i8* %10
%91 = load i16, i16* %6
%92 = zext i16 %91 to i32
%93 = load i8, i8* %9
%94 = zext i8 %93 to i32
%95 = and i32 %92, %94
%96 = icmp ne i32 %95, 0
br i1 %96, label %97, label %104
97: ; preds = %86
%98 = load i8, i8* %10
%99 = zext i8 %98 to i32
%100 = load i8, i8* %13
%101 = zext i8 %100 to i32
%102 = or i32 %101, %99
%103 = trunc i32 %102 to i8
store i8 %103, i8* %13
br label %104
104: ; preds = %97, %86
%105 = load i8, i8* %10
%106 = zext i8 %105 to i32
%107 = ashr i32 %106, 1
%108 = trunc i32 %107 to i8
store i8 %108, i8* %10
%109 = load i8, i8* %9
%110 = zext i8 %109 to i32
%111 = ashr i32 %110, 1
%112 = trunc i32 %111 to i8
store i8 %112, i8* %9
br label %113
113: ; preds = %104
%114 = load i8, i8* %11
%115 = add i8 %114, 1
store i8 %115, i8* %11
br label %68
116: ; preds = %68
%117 = load i8, i8* %13
%118 = zext i8 %117 to i32
%119 = xor i32 %118, -1
%120 = trunc i32 %119 to i8
store i8 %120, i8* %13
%121 = load i16, i16* %5
%122 = zext i16 %121 to i32
%123 = xor i32 %122, -1
%124 = shl i32 %123, 2
%125 = and i32 %124, 252
%126 = trunc i32 %125 to i8
store i8 %126, i8* %14
%127 = load i16, i16* %7
%128 = zext i16 %127 to i32
%129 = and i32 %128, 256
%130 = icmp eq i32 %129, 0
br i1 %130, label %131, label %136
131: ; preds = %116
%132 = load i8, i8* %14
%133 = zext i8 %132 to i32
%134 = or i32 %133, 2
%135 = trunc i32 %134 to i8
store i8 %135, i8* %14
br label %136
136: ; preds = %131, %116
%137 = load i16, i16* %6
%138 = zext i16 %137 to i32
%139 = and i32 %138, 256
%140 = icmp eq i32 %139, 0
br i1 %140, label %141, label %146
141: ; preds = %136
%142 = load i8, i8* %14
%143 = zext i8 %142 to i32
%144 = or i32 %143, 1
%145 = trunc i32 %144 to i8
store i8 %145, i8* %14
br label %146
146: ; preds = %141, %136
%147 = load i8, i8* %12
%148 = load i8*, i8** %8
%149 = getelementptr inbounds i8, i8* %148, i64 1
store i8 %147, i8* %149
%150 = load i8, i8* %13
%151 = load i8*, i8** %8
%152 = getelementptr inbounds i8, i8* %151, i64 0
store i8 %150, i8* %152
%153 = load i8, i8* %14
%154 = load i8*, i8** %8
%155 = getelementptr inbounds i8, i8* %154, i64 2
store i8 %153, i8* %155
ret void
}

LLVM IR (-O2):
define void @nand_trans_result(i16 zeroext %0, i16 zeroext %1, i16 zeroext %2, i8* nocapture writeonly %3) {
%5 = trunc i16 %2 to i8
%6 = and i8 %5, -128
%7 = trunc i16 %1 to i8
%8 = lshr i8 %7, 1
%9 = and i8 %8, 64
%10 = trunc i16 %2 to i8
%11 = lshr i8 %10, 1
%12 = and i8 %11, 32
%13 = trunc i16 %1 to i8
%14 = lshr i8 %13, 2
%15 = and i8 %14, 16
%16 = trunc i16 %2 to i8
%17 = lshr i8 %16, 2
%18 = and i8 %17, 8
%19 = trunc i16 %1 to i8
%20 = lshr i8 %19, 3
%21 = and i8 %20, 4
%22 = trunc i16 %2 to i8
%23 = lshr i8 %22, 3
%24 = and i8 %23, 2
%25 = trunc i16 %1 to i8
%26 = lshr i8 %25, 4
%27 = and i8 %26, 1
%28 = trunc i16 %2 to i8
%29 = shl i8 %28, 4
%30 = and i8 %29, -128
%31 = trunc i16 %1 to i8
%32 = shl i8 %31, 3
%33 = and i8 %32, 64
%34 = or i8 %30, %33
%35 = trunc i16 %2 to i8
%36 = shl i8 %35, 3
%37 = and i8 %36, 32
%38 = or i8 %37, %34
%39 = trunc i16 %1 to i8
%40 = shl i8 %39, 2
%41 = and i8 %40, 16
%42 = or i8 %38, %41
%43 = trunc i16 %2 to i8
%44 = shl i8 %43, 2
%45 = and i8 %44, 8
%46 = or i8 %45, %42
%47 = trunc i16 %1 to i8
%48 = shl i8 %47, 1
%49 = and i8 %48, 4
%50 = or i8 %46, %49
%51 = trunc i16 %2 to i8
%52 = shl i8 %51, 1
%53 = and i8 %52, 2
%54 = or i8 %53, %50
%55 = trunc i16 %1 to i8
%56 = and i8 %55, 1
%57 = or i8 %54, %56
%58 = or i8 %6, %9
%59 = or i8 %12, %58
%60 = or i8 %59, %15
%61 = or i8 %18, %60
%62 = or i8 %61, %21
%63 = or i8 %24, %62
%64 = or i8 %63, %27
%65 = trunc i16 %0 to i8
%66 = xor i8 %65, -1
%67 = shl i8 %66, 2
%68 = and i16 %2, 256
%69 = icmp eq i16 %68, 0
%70 = or i8 %67, 2
%71 = select i1 %69, i8 %70, i8 %67
%72 = lshr i16 %1, 8
%73 = trunc i16 %72 to i8
%74 = and i8 %73, 1
%75 = or i8 %71, %74
%76 = xor i8 %75, 1
%77 = xor i8 %57, -1
%78 = xor i8 %64, -1
%79 = getelementptr inbounds i8, i8* %3, i64 1
store i8 %78, i8* %79
store i8 %77, i8* %3
%80 = getelementptr inbounds i8, i8* %3, i64 2
store i8 %76, i8* %80
ret void
}