#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 va_list;

/* Variables and functions */
char *number(char *, int);
int vsprintf(char *buf, const char *fmt, va_list args) {
  char *str = buf;
  for (str = buf; *fmt; ++fmt) {
    if (*fmt != '%') {
      *str++ = *fmt;
      continue;
    }
    ++fmt;
    switch (*fmt) {
    case 'x':
      str = number(
          str,
          (args +=
           (((sizeof(int) + sizeof(int) - 1) / sizeof(int)) * sizeof(int)),
           *((int *)(args - (((sizeof(int) + sizeof(int) - 1) / sizeof(int)) *
                             sizeof(int))))));
      break;
    }
  }
  *str = '\0';
  return str - buf;
}


x86 assembly (clang, -O0):
<vsprintf>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     11c3 <vsprintf+0xb3>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x25,%eax
je     116c <vsprintf+0x5c>
mov    -0x10(%rbp),%rax
mov    (%rax),%cl
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cl,(%rax)
jmp    11b2 <vsprintf+0xa2>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
sub    $0x78,%al
jne    11ad <vsprintf+0x9d>
jmp    118b <vsprintf+0x7b>
mov    -0x20(%rbp),%rdi
movslq -0x14(%rbp),%rax
add    $0x4,%rax
mov    %eax,-0x14(%rbp)
movslq -0x14(%rbp),%rax
sub    $0x4,%rax
mov    (%rax),%esi
call   1030 <number@plt>
mov    %rax,-0x20(%rbp)
jmp    11b2 <vsprintf+0xa2>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1133 <vsprintf+0x23>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    %rcx,%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vsprintf>:
push   %rbp
push   %r14
push   %rbx
mov    %edx,%ebp
mov    %rdi,%r14
mov    %rdi,%rax
jmp    1127 <vsprintf+0x17>
xchg   %ax,%ax
mov    %rbx,%rsi
add    $0x1,%rsi
movzbl (%rsi),%ecx
cmp    $0x25,%cl
je     1140 <vsprintf+0x30>
test   %cl,%cl
je     115d <vsprintf+0x4d>
mov    %cl,(%rax)
add    $0x1,%rax
add    $0x1,%rsi
jmp    1127 <vsprintf+0x17>
nop
lea    0x1(%rsi),%rbx
cmpb   $0x78,0x1(%rsi)
jne    1120 <vsprintf+0x10>
add    $0x4,%ebp
movslq %ebp,%rcx
mov    -0x4(%rcx),%esi
mov    %rax,%rdi
call   1030 <number@plt>
jmp    1120 <vsprintf+0x10>
movb   $0x0,(%rax)
sub    %r14d,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @vsprintf(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%8 = load i8*, i8** %4
store i8* %8, i8** %7
%9 = load i8*, i8** %4
store i8* %9, i8** %7
br label %10
10: ; preds = %43, %3
%11 = load i8*, i8** %5
%12 = load i8, i8* %11
%13 = icmp ne i8 %12, 0
br i1 %13, label %14, label %46
14: ; preds = %10
%15 = load i8*, i8** %5
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp ne i32 %17, 37
br i1 %18, label %19, label %24
19: ; preds = %14
%20 = load i8*, i8** %5
%21 = load i8, i8* %20
%22 = load i8*, i8** %7
%23 = getelementptr inbounds i8, i8* %22, i32 1
store i8* %23, i8** %7
store i8 %21, i8* %22
br label %43
24: ; preds = %14
%25 = load i8*, i8** %5
%26 = getelementptr inbounds i8, i8* %25, i32 1
store i8* %26, i8** %5
%27 = load i8*, i8** %5
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
switch i32 %29, label %42 [
i32 120, label %30
]
30: ; preds = %24
%31 = load i8*, i8** %7
%32 = load i32, i32* %6
%33 = sext i32 %32 to i64
%34 = add i64 %33, 4
%35 = trunc i64 %34 to i32
store i32 %35, i32* %6
%36 = load i32, i32* %6
%37 = sext i32 %36 to i64
%38 = sub i64 %37, 4
%39 = inttoptr i64 %38 to i32*
%40 = load i32, i32* %39
%41 = call i8* @number(i8* %31, i32 %40)
store i8* %41, i8** %7
br label %42
42: ; preds = %24, %30
br label %43
43: ; preds = %42, %19
%44 = load i8*, i8** %5
%45 = getelementptr inbounds i8, i8* %44, i32 1
store i8* %45, i8** %5
br label %10
46: ; preds = %10
%47 = load i8*, i8** %7
store i8 0, i8* %47
%48 = load i8*, i8** %7
%49 = load i8*, i8** %4
%50 = ptrtoint i8* %48 to i64
%51 = ptrtoint i8* %49 to i64
%52 = sub i64 %50, %51
%53 = trunc i64 %52 to i32
ret i32 %53
}

LLVM IR (-O2):
define i32 @vsprintf(i8* %0, i8* nocapture %1, i32 %2) {
br label %4
4: ; preds = %22, %3
%5 = phi i8* [ %1, %3 ], [ %26, %22 ]
%6 = phi i32 [ %2, %3 ], [ %24, %22 ]
%7 = phi i8* [ %0, %3 ], [ %25, %22 ]
%8 = load i8, i8* %5
switch i8 %8, label %9 [
i8 0, label %27
i8 37, label %11
]
9: ; preds = %4
%10 = getelementptr inbounds i8, i8* %7, i64 1
store i8 %8, i8* %7
br label %22
11: ; preds = %4
%12 = getelementptr inbounds i8, i8* %5, i64 1
%13 = load i8, i8* %12
%14 = icmp eq i8 %13, 120
br i1 %14, label %15, label %22
15: ; preds = %11
%16 = add i32 %6, 4
%17 = sext i32 %16 to i64
%18 = add nsw i64 %17, -4
%19 = inttoptr i64 %18 to i32*
%20 = load i32, i32* %19
%21 = tail call i8* @number(i8* %7, i32 %20)
br label %22
22: ; preds = %15, %11, %9
%23 = phi i8* [ %5, %9 ], [ %12, %15 ], [ %12, %11 ]
%24 = phi i32 [ %6, %9 ], [ %16, %15 ], [ %6, %11 ]
%25 = phi i8* [ %10, %9 ], [ %21, %15 ], [ %7, %11 ]
%26 = getelementptr inbounds i8, i8* %23, i64 1
br label %4
27: ; preds = %4
store i8 0, i8* %7
%28 = ptrtoint i8* %7 to i64
%29 = ptrtoint i8* %0 to i64
%30 = sub i64 %28, %29
%31 = trunc i64 %30 to i32
ret i32 %31
}