#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int /*<<< orphan*/ fptr;

/* Variables and functions */
int /*<<< orphan*/ sprintf(char *, char *, ...);
char *wcsutil_fptr2str(void (*fptr)(void), char hext[19]) {
  int *(ip[2]), j[2], le = 1;
  ip[0] = j;
  ip[1] = j + 1;
  unsigned char *p = (unsigned char *)(&fptr);
  if ((unsigned char *)ip[0] < (unsigned char *)ip[1]) {
    p += sizeof(fptr) - 1;
    le = -1;
  }
  char *t = hext;
  sprintf(t, "0x0");
  t += 2;
  int gotone = 0;
  for (size_t i = 0; i < sizeof(fptr); i++) {
    if (*p)
      gotone = 1;
    if (gotone) {
      sprintf(t, "%02x", *p);
      t += 2;
    }
    p += le;
  }
  return hext;
}


x86 assembly (clang, -O0):
<wcsutil_fptr2str>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x1,-0x2c(%rbp)
lea    -0x28(%rbp),%rax
mov    %rax,-0x20(%rbp)
lea    -0x28(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x18(%rbp)
lea    -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
cmp    %rcx,%rax
jae    1167 <wcsutil_fptr2str+0x57>
mov    -0x38(%rbp),%rax
add    $0x7,%rax
mov    %rax,-0x38(%rbp)
movl   $0xffffffff,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rdi
lea    0xe86(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
mov    -0x40(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
movq   $0x0,-0x50(%rbp)
cmpq   $0x8,-0x50(%rbp)
jae    120c <wcsutil_fptr2str+0xfc>
mov    -0x38(%rbp),%rax
cmpb   $0x0,(%rax)
je     11bb <wcsutil_fptr2str+0xab>
movl   $0x1,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
je     11ea <wcsutil_fptr2str+0xda>
mov    -0x40(%rbp),%rdi
mov    -0x38(%rbp),%rax
movzbl (%rax),%edx
lea    0xe2d(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
mov    -0x40(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x40(%rbp)
mov    -0x2c(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    119c <wcsutil_fptr2str+0x8c>
mov    -0x10(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<wcsutil_fptr2str>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%r15
movl   $0x307830,(%rsi)
lea    0x2(%rsi),%rbx
mov    %rdi,%r12
shr    $0x38,%r12
setne  %r13b
je     1150 <wcsutil_fptr2str+0x40>
lea    0xec1(%rip),%rsi
mov    %rbx,%rdi
mov    %r12d,%edx
xor    %eax,%eax
call   1030 <sprintf@plt>
lea    0x4(%r14),%rbx
mov    %r15,%rbp
shr    $0x30,%rbp
mov    %ebp,%eax
or     %r12b,%al
je     1177 <wcsutil_fptr2str+0x67>
movzbl %bpl,%edx
lea    0xe97(%rip),%rsi
mov    %rbx,%rdi
xor    %eax,%eax
call   1030 <sprintf@plt>
add    $0x2,%rbx
mov    %r15,%rax
shr    $0x28,%rax
or     %rax,%rbp
test   %r12,%r12
jne    118b <wcsutil_fptr2str+0x7b>
test   %bpl,%bpl
je     11a3 <wcsutil_fptr2str+0x93>
movzbl %al,%edx
lea    0xe6b(%rip),%rsi
mov    %rbx,%rdi
xor    %eax,%eax
call   1030 <sprintf@plt>
add    $0x2,%rbx
mov    %r15,%rax
shr    $0x20,%rax
or     %rax,%rbp
test   %r12,%r12
jne    11b7 <wcsutil_fptr2str+0xa7>
test   %bpl,%bpl
je     11cf <wcsutil_fptr2str+0xbf>
movzbl %al,%edx
lea    0xe3f(%rip),%rsi
mov    %rbx,%rdi
xor    %eax,%eax
call   1030 <sprintf@plt>
add    $0x2,%rbx
mov    %r13d,%ecx
mov    %r15,%rax
shr    $0x18,%rax
or     %eax,%ebp
test   %bpl,%bpl
setne  %r13b
or     %cl,%r13b
test   %r12,%r12
jne    11ef <wcsutil_fptr2str+0xdf>
test   %bpl,%bpl
je     1207 <wcsutil_fptr2str+0xf7>
movzbl %al,%edx
lea    0xe07(%rip),%rsi
mov    %rbx,%rdi
xor    %eax,%eax
call   1030 <sprintf@plt>
add    $0x2,%rbx
mov    %r15,%rax
shr    $0x10,%rax
test   %al,%al
setne  %cl
or     %r13b,%cl
cmp    $0x1,%cl
jne    123c <wcsutil_fptr2str+0x12c>
movzbl %al,%edx
lea    0xddb(%rip),%rsi
mov    %rbx,%rdi
xor    %eax,%eax
call   1030 <sprintf@plt>
add    $0x2,%rbx
mov    %r15,%rax
shr    $0x8,%rax
jmp    124f <wcsutil_fptr2str+0x13f>
mov    %r15,%rax
shr    $0x8,%rax
test   %al,%al
setne  %dl
or     %cl,%dl
cmp    $0x1,%dl
jne    128e <wcsutil_fptr2str+0x17e>
movzbl %al,%edx
lea    0xda7(%rip),%rsi
mov    %rbx,%rdi
xor    %eax,%eax
call   1030 <sprintf@plt>
add    $0x2,%rbx
movzbl %r15b,%edx
lea    0xd8e(%rip),%rsi
mov    %rbx,%rdi
xor    %eax,%eax
call   1030 <sprintf@plt>
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
test   %r15b,%r15b
jne    1267 <wcsutil_fptr2str+0x157>
jmp    127c <wcsutil_fptr2str+0x16c>

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

LLVM IR (-O2):
@.str.1 = [5 x i8] c"%02x\00"
define i8* @wcsutil_fptr2str(void ()* %0, i8* returned writeonly %1) {
%3 = bitcast i8* %1 to i32*
store i32 3176496, i32* %3
%4 = getelementptr inbounds i8, i8* %1, i64 2
%5 = ptrtoint void ()* %0 to i64
%6 = lshr i64 %5, 56
%7 = icmp ult void ()* %0, inttoptr (i64 72057594037927936 to void ()*)
%8 = xor i1 %7, true
br i1 %7, label %13, label %9
9: ; preds = %2
%10 = trunc i64 %6 to i32
%11 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %4, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32 %10)
%12 = getelementptr inbounds i8, i8* %1, i64 4
br label %13
13: ; preds = %9, %2
%14 = phi i8* [ %12, %9 ], [ %4, %2 ]
%15 = lshr i64 %5, 48
%16 = or i64 %6, %15
%17 = trunc i64 %16 to i8
%18 = icmp eq i8 %17, 0
br i1 %18, label %24, label %19
19: ; preds = %13
%20 = trunc i64 %15 to i32
%21 = and i32 %20, 255
%22 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %14, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32 %21)
%23 = getelementptr inbounds i8, i8* %14, i64 2
br label %24
24: ; preds = %19, %13
%25 = phi i8* [ %23, %19 ], [ %14, %13 ]
%26 = lshr i64 %5, 40
%27 = or i64 %26, %15
%28 = trunc i64 %27 to i8
%29 = icmp eq i8 %28, 0
%30 = and i1 %7, %29
br i1 %30, label %36, label %31
31: ; preds = %24
%32 = trunc i64 %26 to i32
%33 = and i32 %32, 255
%34 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %25, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32 %33)
%35 = getelementptr inbounds i8, i8* %25, i64 2
br label %36
36: ; preds = %31, %24
%37 = phi i8* [ %35, %31 ], [ %25, %24 ]
%38 = lshr i64 %5, 32
%39 = or i64 %38, %27
%40 = trunc i64 %39 to i8
%41 = icmp eq i8 %40, 0
%42 = and i1 %7, %41
br i1 %42, label %48, label %43
43: ; preds = %36
%44 = trunc i64 %38 to i32
%45 = and i32 %44, 255
%46 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %37, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32 %45)
%47 = getelementptr inbounds i8, i8* %37, i64 2
br label %48
48: ; preds = %43, %36
%49 = phi i8* [ %47, %43 ], [ %37, %36 ]
%50 = lshr i64 %5, 24
%51 = or i64 %50, %39
%52 = trunc i64 %51 to i8
%53 = icmp ne i8 %52, 0
%54 = or i1 %53, %8
%55 = xor i1 %53, true
%56 = and i1 %7, %55
br i1 %56, label %62, label %57
57: ; preds = %48
%58 = trunc i64 %50 to i32
%59 = and i32 %58, 255
%60 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %49, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32 %59)
%61 = getelementptr inbounds i8, i8* %49, i64 2
br label %62
62: ; preds = %57, %48
%63 = phi i8* [ %61, %57 ], [ %49, %48 ]
%64 = lshr i64 %5, 16
%65 = trunc i64 %64 to i8
%66 = icmp ne i8 %65, 0
%67 = select i1 %66, i1 true, i1 %54
br i1 %67, label %68, label %74
68: ; preds = %62
%69 = trunc i64 %64 to i32
%70 = and i32 %69, 255
%71 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %63, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32 %70)
%72 = getelementptr inbounds i8, i8* %63, i64 2
%73 = lshr i64 %5, 8
br label %79
74: ; preds = %62
%75 = lshr i64 %5, 8
%76 = trunc i64 %75 to i8
%77 = icmp ne i8 %76, 0
%78 = select i1 %77, i1 true, i1 %67
br i1 %78, label %79, label %86
79: ; preds = %74, %68
%80 = phi i64 [ %73, %68 ], [ %75, %74 ]
%81 = phi i8* [ %72, %68 ], [ %63, %74 ]
%82 = trunc i64 %80 to i32
%83 = and i32 %82, 255
%84 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %81, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32 %83)
%85 = getelementptr inbounds i8, i8* %81, i64 2
br label %89
86: ; preds = %74
%87 = trunc i64 %5 to i8
%88 = icmp eq i8 %87, 0
br i1 %88, label %94, label %89
89: ; preds = %79, %86
%90 = phi i8* [ %85, %79 ], [ %63, %86 ]
%91 = trunc i64 %5 to i32
%92 = and i32 %91, 255
%93 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %90, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32 %92)
br label %94
94: ; preds = %89, %86
ret i8* %1
}