int daa(unsigned char a, unsigned char *status) {
  unsigned char hc = (*status & 0x20);
  unsigned char carry = (*status & 0x01);
  unsigned short t, c = 0;
  unsigned char lsn = a & 0x0f;
  unsigned char msn = a & 0xf0;
  unsigned char r;
  if (hc || (lsn > 9)) {
    c |= 0x06;
  }
  if (carry || (msn > 0x90) || ((msn > 0x80) && (lsn > 9))) {
    c |= 0x60;
  }
  t = c + a;
  *status = 0;
  if (carry || t & 0x100)
    *status |= 0x01;
  if (t & 0x80)
    *status |= 0x08;
  if ((t & 0xFF) == 0)
    *status |= 0x04;
  r = (unsigned char)t;
  return r;
}


x86 assembly (clang, -O0):
<daa>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x1(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0x20,%eax
mov    %al,-0x11(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0x1,%eax
mov    %al,-0x12(%rbp)
movw   $0x0,-0x16(%rbp)
movzbl -0x1(%rbp),%eax
and    $0xf,%eax
mov    %al,-0x17(%rbp)
movzbl -0x1(%rbp),%eax
and    $0xf0,%eax
mov    %al,-0x18(%rbp)
movzbl -0x11(%rbp),%eax
cmp    $0x0,%eax
jne    115e <daa+0x5e>
movzbl -0x17(%rbp),%eax
cmp    $0x9,%eax
jle    1169 <daa+0x69>
movzwl -0x16(%rbp),%eax
or     $0x6,%eax
mov    %ax,-0x16(%rbp)
movzbl -0x12(%rbp),%eax
cmp    $0x0,%eax
jne    11a1 <daa+0xa1>
movzbl -0x18(%rbp),%eax
cmp    $0x90,%eax
jg     11a1 <daa+0xa1>
movzbl -0x18(%rbp),%eax
cmp    $0x80,%eax
jle    11ac <daa+0xac>
movzbl -0x17(%rbp),%eax
cmp    $0x9,%eax
jle    11ac <daa+0xac>
movzwl -0x16(%rbp),%eax
or     $0x60,%eax
mov    %ax,-0x16(%rbp)
movzwl -0x16(%rbp),%eax
movzbl -0x1(%rbp),%ecx
add    %ecx,%eax
mov    %ax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
movzbl -0x12(%rbp),%eax
cmp    $0x0,%eax
jne    11e0 <daa+0xe0>
movzwl -0x14(%rbp),%eax
and    $0x100,%eax
cmp    $0x0,%eax
je     11ec <daa+0xec>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
or     $0x1,%ecx
mov    %cl,(%rax)
movzwl -0x14(%rbp),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     120a <daa+0x10a>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
or     $0x8,%ecx
mov    %cl,(%rax)
movzwl -0x14(%rbp),%eax
and    $0xff,%eax
cmp    $0x0,%eax
jne    1228 <daa+0x128>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
or     $0x4,%ecx
mov    %cl,(%rax)
mov    -0x14(%rbp),%ax
mov    %al,-0x19(%rbp)
movzbl -0x19(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<daa>:
mov    (%rsi),%r8b
mov    %edi,%edx
and    $0xe,%dl
mov    %edi,%r9d
and    $0xf0,%r9b
xor    %eax,%eax
test   $0x20,%r8b
mov    $0x6,%ecx
cmovne %ecx,%eax
cmp    $0xa,%dl
cmovae %ecx,%eax
lea    0x60(%rax),%ecx
test   $0x1,%r8b
cmovne %ecx,%eax
cmp    $0x91,%r9b
cmovae %ecx,%eax
cmp    $0xa,%dl
cmovb  %eax,%ecx
cmp    $0x81,%r9b
cmovb  %eax,%ecx
add    %edi,%ecx
movzbl %ch,%edx
or     %r8b,%dl
and    $0x1,%dl
movzbl %cl,%eax
shr    $0x4,%cl
and    $0x8,%cl
or     %dl,%cl
lea    0x4(%rcx),%edx
test   %eax,%eax
movzbl %cl,%ecx
movzbl %dl,%edx
cmovne %ecx,%edx
mov    %dl,(%rsi)
ret

LLVM IR (-O0):
define i32 @daa(i8 zeroext %0, i8* %1) {
%3 = alloca i8
%4 = alloca i8*
%5 = alloca i8
%6 = alloca i8
%7 = alloca i16
%8 = alloca i16
%9 = alloca i8
%10 = alloca i8
%11 = alloca i8
store i8 %0, i8* %3
store i8* %1, i8** %4
%12 = load i8*, i8** %4
%13 = load i8, i8* %12
%14 = zext i8 %13 to i32
%15 = and i32 %14, 32
%16 = trunc i32 %15 to i8
store i8 %16, i8* %5
%17 = load i8*, i8** %4
%18 = load i8, i8* %17
%19 = zext i8 %18 to i32
%20 = and i32 %19, 1
%21 = trunc i32 %20 to i8
store i8 %21, i8* %6
store i16 0, i16* %8
%22 = load i8, i8* %3
%23 = zext i8 %22 to i32
%24 = and i32 %23, 15
%25 = trunc i32 %24 to i8
store i8 %25, i8* %9
%26 = load i8, i8* %3
%27 = zext i8 %26 to i32
%28 = and i32 %27, 240
%29 = trunc i32 %28 to i8
store i8 %29, i8* %10
%30 = load i8, i8* %5
%31 = zext i8 %30 to i32
%32 = icmp ne i32 %31, 0
br i1 %32, label %37, label %33
33: ; preds = %2
%34 = load i8, i8* %9
%35 = zext i8 %34 to i32
%36 = icmp sgt i32 %35, 9
br i1 %36, label %37, label %42
37: ; preds = %33, %2
%38 = load i16, i16* %8
%39 = zext i16 %38 to i32
%40 = or i32 %39, 6
%41 = trunc i32 %40 to i16
store i16 %41, i16* %8
br label %42
42: ; preds = %37, %33
%43 = load i8, i8* %6
%44 = zext i8 %43 to i32
%45 = icmp ne i32 %44, 0
br i1 %45, label %58, label %46
46: ; preds = %42
%47 = load i8, i8* %10
%48 = zext i8 %47 to i32
%49 = icmp sgt i32 %48, 144
br i1 %49, label %58, label %50
50: ; preds = %46
%51 = load i8, i8* %10
%52 = zext i8 %51 to i32
%53 = icmp sgt i32 %52, 128
br i1 %53, label %54, label %63
54: ; preds = %50
%55 = load i8, i8* %9
%56 = zext i8 %55 to i32
%57 = icmp sgt i32 %56, 9
br i1 %57, label %58, label %63
58: ; preds = %54, %46, %42
%59 = load i16, i16* %8
%60 = zext i16 %59 to i32
%61 = or i32 %60, 96
%62 = trunc i32 %61 to i16
store i16 %62, i16* %8
br label %63
63: ; preds = %58, %54, %50
%64 = load i16, i16* %8
%65 = zext i16 %64 to i32
%66 = load i8, i8* %3
%67 = zext i8 %66 to i32
%68 = add nsw i32 %65, %67
%69 = trunc i32 %68 to i16
store i16 %69, i16* %7
%70 = load i8*, i8** %4
store i8 0, i8* %70
%71 = load i8, i8* %6
%72 = zext i8 %71 to i32
%73 = icmp ne i32 %72, 0
br i1 %73, label %79, label %74
74: ; preds = %63
%75 = load i16, i16* %7
%76 = zext i16 %75 to i32
%77 = and i32 %76, 256
%78 = icmp ne i32 %77, 0
br i1 %78, label %79, label %85
79: ; preds = %74, %63
%80 = load i8*, i8** %4
%81 = load i8, i8* %80
%82 = zext i8 %81 to i32
%83 = or i32 %82, 1
%84 = trunc i32 %83 to i8
store i8 %84, i8* %80
br label %85
85: ; preds = %79, %74
%86 = load i16, i16* %7
%87 = zext i16 %86 to i32
%88 = and i32 %87, 128
%89 = icmp ne i32 %88, 0
br i1 %89, label %90, label %96
90: ; preds = %85
%91 = load i8*, i8** %4
%92 = load i8, i8* %91
%93 = zext i8 %92 to i32
%94 = or i32 %93, 8
%95 = trunc i32 %94 to i8
store i8 %95, i8* %91
br label %96
96: ; preds = %90, %85
%97 = load i16, i16* %7
%98 = zext i16 %97 to i32
%99 = and i32 %98, 255
%100 = icmp eq i32 %99, 0
br i1 %100, label %101, label %107
101: ; preds = %96
%102 = load i8*, i8** %4
%103 = load i8, i8* %102
%104 = zext i8 %103 to i32
%105 = or i32 %104, 4
%106 = trunc i32 %105 to i8
store i8 %106, i8* %102
br label %107
107: ; preds = %101, %96
%108 = load i16, i16* %7
%109 = trunc i16 %108 to i8
store i8 %109, i8* %11
%110 = load i8, i8* %11
%111 = zext i8 %110 to i32
ret i32 %111
}

LLVM IR (-O2):
define i32 @daa(i8 zeroext %0, i8* nocapture %1) {
%3 = load i8, i8* %1
%4 = and i8 %3, 32
%5 = and i8 %3, 1
%6 = zext i8 %0 to i16
%7 = and i8 %0, 14
%8 = and i8 %0, -16
%9 = icmp ne i8 %4, 0
%10 = icmp ugt i8 %7, 9
%11 = or i1 %10, %9
%12 = select i1 %11, i16 6, i16 0
%13 = icmp ne i8 %5, 0
%14 = icmp ugt i8 %8, -112
%15 = or i1 %14, %13
%16 = icmp ugt i8 %8, -128
%17 = and i1 %16, %10
%18 = or i1 %17, %15
%19 = or i16 %12, 96
%20 = select i1 %18, i16 %19, i16 %12
%21 = add nuw nsw i16 %20, %6
%22 = and i16 %21, 256
%23 = icmp ne i16 %22, 0
%24 = select i1 %13, i1 true, i1 %23
%25 = zext i1 %24 to i8
%26 = trunc i16 %21 to i8
%27 = lshr i8 %26, 4
%28 = and i8 %27, 8
%29 = or i8 %28, %25
%30 = and i16 %21, 255
%31 = icmp eq i16 %30, 0
%32 = or i8 %29, 4
%33 = select i1 %31, i8 %32, i8 %29
store i8 %33, i8* %1
%34 = and i16 %21, 255
%35 = zext i16 %34 to i32
ret i32 %35
}