void MD5_sig_to_string(const void *signature, char str[2 * 16]) {
  unsigned char *sig_p;
  char *str_p, *max_p;
  unsigned int high, low;
  str_p = str;
  max_p = str + 2 * 16;
  for (sig_p = (unsigned char *)signature;
       sig_p < (unsigned char *)signature + 16; sig_p++) {
    high = *sig_p / 16;
    low = *sig_p % 16;
    if (str_p + 1 >= max_p) {
      break;
    }
    *str_p++ = "0123456789abcdef"[high];
    *str_p++ = "0123456789abcdef"[low];
  }
  if (str_p < max_p) {
    *str_p++ = '\0';
  }
}


x86 assembly (clang, -O0):
<MD5_sig_to_string>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%rcx
add    $0x10,%rcx
cmp    %rcx,%rax
jae    11c9 <MD5_sig_to_string+0xc9>
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %edx,-0x30(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
cmp    -0x28(%rbp),%rax
jb     1178 <MD5_sig_to_string+0x78>
jmp    11c9 <MD5_sig_to_string+0xc9>
mov    -0x2c(%rbp),%eax
mov    %eax,%ecx
lea    0xe7c(%rip),%rax
mov    (%rax,%rcx,1),%cl
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cl,(%rax)
mov    -0x30(%rbp),%eax
mov    %eax,%ecx
lea    0xe5c(%rip),%rax
mov    (%rax,%rcx,1),%cl
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1128 <MD5_sig_to_string+0x28>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    11e9 <MD5_sig_to_string+0xe9>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movb   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<MD5_sig_to_string>:
xor    %eax,%eax
lea    0xef7(%rip),%r8
nopl   0x0(%rax)
movzbl (%rdi,%rax,1),%edx
mov    %edx,%ecx
and    $0xf,%ecx
shr    $0x4,%rdx
movzbl (%rdx,%r8,1),%edx
mov    %dl,(%rsi,%rax,2)
movzbl (%rcx,%r8,1),%ecx
mov    %cl,0x1(%rsi,%rax,2)
movzbl 0x1(%rdi,%rax,1),%ecx
mov    %ecx,%edx
and    $0xf,%edx
shr    $0x4,%rcx
movzbl (%rcx,%r8,1),%ecx
mov    %cl,0x2(%rsi,%rax,2)
movzbl (%rdx,%r8,1),%ecx
mov    %cl,0x3(%rsi,%rax,2)
add    $0x2,%rax
cmp    $0x10,%rax
jne    1110 <MD5_sig_to_string+0x10>
ret

LLVM IR (-O0):
@.str = [17 x i8] c"0123456789abcdef\00"
define void @MD5_sig_to_string(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
%10 = load i8*, i8** %4
store i8* %10, i8** %6
%11 = load i8*, i8** %4
%12 = getelementptr inbounds i8, i8* %11, i64 32
store i8* %12, i8** %7
%13 = load i8*, i8** %3
store i8* %13, i8** %5
br label %14
14: ; preds = %46, %2
%15 = load i8*, i8** %5
%16 = load i8*, i8** %3
%17 = getelementptr inbounds i8, i8* %16, i64 16
%18 = icmp ult i8* %15, %17
br i1 %18, label %19, label %49
19: ; preds = %14
%20 = load i8*, i8** %5
%21 = load i8, i8* %20
%22 = zext i8 %21 to i32
%23 = sdiv i32 %22, 16
store i32 %23, i32* %8
%24 = load i8*, i8** %5
%25 = load i8, i8* %24
%26 = zext i8 %25 to i32
%27 = srem i32 %26, 16
store i32 %27, i32* %9
%28 = load i8*, i8** %6
%29 = getelementptr inbounds i8, i8* %28, i64 1
%30 = load i8*, i8** %7
%31 = icmp uge i8* %29, %30
br i1 %31, label %32, label %33
32: ; preds = %19
br label %49
33: ; preds = %19
%34 = load i32, i32* %8
%35 = zext i32 %34 to i64
%36 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %35
%37 = load i8, i8* %36
%38 = load i8*, i8** %6
%39 = getelementptr inbounds i8, i8* %38, i32 1
store i8* %39, i8** %6
store i8 %37, i8* %38
%40 = load i32, i32* %9
%41 = zext i32 %40 to i64
%42 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %41
%43 = load i8, i8* %42
%44 = load i8*, i8** %6
%45 = getelementptr inbounds i8, i8* %44, i32 1
store i8* %45, i8** %6
store i8 %43, i8* %44
br label %46
46: ; preds = %33
%47 = load i8*, i8** %5
%48 = getelementptr inbounds i8, i8* %47, i32 1
store i8* %48, i8** %5
br label %14
49: ; preds = %32, %14
%50 = load i8*, i8** %6
%51 = load i8*, i8** %7
%52 = icmp ult i8* %50, %51
br i1 %52, label %53, label %56
53: ; preds = %49
%54 = load i8*, i8** %6
%55 = getelementptr inbounds i8, i8* %54, i32 1
store i8* %55, i8** %6
store i8 0, i8* %54
br label %56
56: ; preds = %53, %49
ret void
}

LLVM IR (-O2):
@.str = [17 x i8] c"0123456789abcdef\00"
define void @MD5_sig_to_string(i8* nocapture %0, i8* nocapture writeonly %1) {
br label %3
3: ; preds = %3, %2
%4 = phi i8* [ %1, %2 ], [ %38, %3 ]
%5 = phi i64 [ 0, %2 ], [ %37, %3 ]
%6 = phi i64 [ 0, %2 ], [ %36, %3 ]
%7 = getelementptr inbounds i8, i8* %0, i64 %5
%8 = load i8, i8* %7
%9 = zext i8 %8 to i32
%10 = and i32 %9, 15
%11 = lshr i32 %9, 4
%12 = zext i32 %11 to i64
%13 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %12
%14 = load i8, i8* %13
%15 = or i64 %6, 1
%16 = getelementptr inbounds i8, i8* %1, i64 %15
store i8 %14, i8* %4
%17 = zext i32 %10 to i64
%18 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %17
%19 = load i8, i8* %18
%20 = or i64 %6, 2
store i8 %19, i8* %16
%21 = or i64 %5, 1
%22 = getelementptr inbounds i8, i8* %1, i64 %20
%23 = getelementptr inbounds i8, i8* %0, i64 %21
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = and i32 %25, 15
%27 = lshr i32 %25, 4
%28 = zext i32 %27 to i64
%29 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %28
%30 = load i8, i8* %29
%31 = or i64 %6, 3
%32 = getelementptr inbounds i8, i8* %1, i64 %31
store i8 %30, i8* %22
%33 = zext i32 %26 to i64
%34 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %33
%35 = load i8, i8* %34
%36 = add nuw nsw i64 %6, 4
store i8 %35, i8* %32
%37 = add nuw nsw i64 %5, 2
%38 = getelementptr inbounds i8, i8* %1, i64 %36
%39 = icmp eq i64 %37, 16
br i1 %39, label %40, label %3
40: ; preds = %3
ret void
}