#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 */
struct in_addr {
  int /*<<< orphan*/ s_addr;
};
struct hostent {
  int /*<<< orphan*/ h_name;
};
struct forth_instance {
  int dummy;
};
typedef int /*<<< orphan*/ a;

/* Variables and functions */
int /*<<< orphan*/ AF_INET;
struct hostent *gethostbyaddr(char const *, int, int /*<<< orphan*/);
int /*<<< orphan*/ iswhitespace(char);
int /*<<< orphan*/ memset(char *, char, int);
int sscanf(char *, char *, int *, int *, int *, int *);
int st_pop(struct forth_instance *);
int /*<<< orphan*/ st_push(struct forth_instance *, int);
int /*<<< orphan*/ strncpy(char *, int /*<<< orphan*/, int);
void iptodns(struct forth_instance *fi) {
  struct hostent *h;
  struct in_addr a;
  int i = 0, n[4], len;
  char back, *src, *dest;
  src = (char *)st_pop(fi);
  len = st_pop(fi);
  dest = (char *)st_pop(fi);
  memset(dest, '\0', len);
  while (src[i] && !iswhitespace(src[i]))
    i++;
  back = src[i];
  src[i] = '\0';
  if (sscanf(src, "%d.%d.%d.%d", &n[0], &n[1], &n[2], &n[3]) != 4) {
    src[i] = back;
    st_push(fi, (int)0);
    return;
  }
  for (i = 0; i < 4; i++) {
    if (n[i] < 0 || n[i] > 255) {
      src[i] = back;
      st_push(fi, (int)0);
      return;
    }
    ((char *)&a.s_addr)[i] = (char)n[i];
  }
  if ((h = gethostbyaddr((const char *)&a, sizeof(a), AF_INET)) == NULL) {
    src[i] = back;
    st_push(fi, (int)0);
    return;
  }
  strncpy(dest, h->h_name, len);
  src[i] = back;
  st_push(fi, (int)1);
}


x86 assembly (clang, -O0):
<iptodns>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <st_pop@plt>
cltq
mov    %rax,-0x40(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <st_pop@plt>
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <st_pop@plt>
cltq
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rdi
mov    -0x34(%rbp),%edx
xor    %esi,%esi
call   1050 <memset@plt>
mov    -0x40(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x49(%rbp)
je     11f1 <iptodns+0x81>
mov    -0x40(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <iswhitespace@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    1201 <iptodns+0x91>
jmp    120f <iptodns+0x9f>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11bb <iptodns+0x4b>
mov    -0x40(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x35(%rbp)
mov    -0x40(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x40(%rbp),%rdi
lea    -0x30(%rbp),%rdx
lea    -0x30(%rbp),%rcx
add    $0x4,%rcx
lea    -0x30(%rbp),%r8
add    $0x8,%r8
lea    -0x30(%rbp),%r9
add    $0xc,%r9
lea    0xdb0(%rip),%rsi
call   1070 <sscanf@plt>
cmp    $0x4,%eax
je     127c <iptodns+0x10c>
mov    -0x35(%rbp),%dl
mov    -0x40(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rdi
xor    %esi,%esi
call   1080 <st_push@plt>
jmp    135d <iptodns+0x1ed>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x4,-0x1c(%rbp)
jge    12ec <iptodns+0x17c>
movslq -0x1c(%rbp),%rax
cmpl   $0x0,-0x30(%rbp,%rax,4)
jl     12ae <iptodns+0x13e>
movslq -0x1c(%rbp),%rax
cmpl   $0xff,-0x30(%rbp,%rax,4)
jle    12cc <iptodns+0x15c>
mov    -0x35(%rbp),%dl
mov    -0x40(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rdi
xor    %esi,%esi
call   1080 <st_push@plt>
jmp    135d <iptodns+0x1ed>
movslq -0x1c(%rbp),%rax
mov    -0x30(%rbp,%rax,4),%eax
mov    %al,%cl
movslq -0x1c(%rbp),%rax
mov    %cl,-0x18(%rbp,%rax,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1283 <iptodns+0x113>
lea    -0x18(%rbp),%rdi
mov    0x2cf1(%rip),%rax
mov    (%rax),%edx
mov    $0x4,%esi
call   1090 <gethostbyaddr@plt>
mov    %rax,-0x10(%rbp)
cmp    $0x0,%rax
jne    132f <iptodns+0x1bf>
mov    -0x35(%rbp),%dl
mov    -0x40(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rdi
xor    %esi,%esi
call   1080 <st_push@plt>
jmp    135d <iptodns+0x1ed>
mov    -0x48(%rbp),%rdi
mov    -0x10(%rbp),%rax
mov    (%rax),%esi
mov    -0x34(%rbp),%edx
call   1040 <strncpy@plt>
mov    -0x35(%rbp),%dl
mov    -0x40(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rdi
mov    $0x1,%esi
call   1080 <st_push@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<iptodns>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdi,%r14
call   1060 <st_pop@plt>
movslq %eax,%rbx
mov    %r14,%rdi
call   1060 <st_pop@plt>
mov    %eax,%r13d
mov    %r14,%rdi
call   1060 <st_pop@plt>
movslq %eax,%rbp
xor    %r12d,%r12d
mov    %rbp,%rdi
xor    %esi,%esi
mov    %r13d,%edx
call   1050 <memset@plt>
mov    (%rbx),%al
test   %al,%al
mov    %r13d,0x2c(%rsp)
mov    %rbp,0x30(%rsp)
je     11f3 <iptodns+0x83>
xor    %r15d,%r15d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsbl %al,%edi
call   1030 <iswhitespace@plt>
test   %eax,%eax
jne    11ea <iptodns+0x7a>
movzbl 0x1(%rbx,%r15,1),%eax
add    $0x1,%r15
test   %al,%al
jne    11d0 <iptodns+0x60>
mov    %r15d,%eax
mov    (%rbx,%rax,1),%r13b
jmp    11f9 <iptodns+0x89>
xor    %r13d,%r13d
xor    %r15d,%r15d
mov    %r15d,%ebp
movb   $0x0,(%rbx,%rbp,1)
lea    0x14(%rsp),%rcx
lea    0x18(%rsp),%r8
lea    0x1c(%rsp),%r9
lea    0xdea(%rip),%rsi
lea    0x10(%rsp),%rdx
mov    %rbx,%rdi
call   1070 <sscanf@plt>
cmp    $0x4,%eax
jne    123a <iptodns+0xca>
mov    0x10(%rsp),%eax
xor    %r12d,%r12d
cmp    $0x100,%eax
jb     123f <iptodns+0xcf>
xor    %eax,%eax
jmp    127e <iptodns+0x10e>
add    %rbp,%rbx
jmp    1281 <iptodns+0x111>
mov    %al,0x8(%rsp)
mov    0x14(%rsp),%ecx
mov    $0x1,%eax
cmp    $0xff,%ecx
ja     127e <iptodns+0x10e>
mov    %cl,0x9(%rsp)
mov    0x18(%rsp),%ecx
mov    $0x2,%eax
cmp    $0xff,%ecx
ja     127e <iptodns+0x10e>
mov    %cl,0xa(%rsp)
mov    0x1c(%rsp),%ecx
mov    $0x3,%eax
cmp    $0xff,%ecx
jbe    129e <iptodns+0x12e>
add    %rax,%rbx
mov    %r13b,(%rbx)
mov    %r14,%rdi
mov    %r12d,%esi
call   1080 <st_push@plt>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %cl,0xb(%rsp)
mov    0x2d3f(%rip),%rax
mov    (%rax),%edx
lea    0x8(%rsp),%rdi
mov    $0x4,%esi
call   1090 <gethostbyaddr@plt>
test   %rax,%rax
je     12db <iptodns+0x16b>
mov    (%rax),%esi
mov    0x30(%rsp),%rdi
mov    0x2c(%rsp),%edx
call   1040 <strncpy@plt>
add    $0x4,%rbx
mov    $0x1,%r12d
jmp    1281 <iptodns+0x111>
add    $0x4,%rbx
xor    %r12d,%r12d
jmp    1281 <iptodns+0x111>

LLVM IR (-O0):
%struct.forth_instance = type { i32 }
%struct.hostent = type { i32 }
%struct.in_addr = type { i32 }
@.str = [12 x i8] c"%d.%d.%d.%d\00"
@AF_INET = global i32 0
define void @iptodns(%struct.forth_instance* %0) {
%2 = alloca %struct.forth_instance*
%3 = alloca %struct.hostent*
%4 = alloca %struct.in_addr
%5 = alloca i32
%6 = alloca [4 x i32]
%7 = alloca i32
%8 = alloca i8
%9 = alloca i8*
%10 = alloca i8*
store %struct.forth_instance* %0, %struct.forth_instance** %2
store i32 0, i32* %5
%11 = load %struct.forth_instance*, %struct.forth_instance** %2
%12 = call i32 @st_pop(%struct.forth_instance* %11)
%13 = sext i32 %12 to i64
%14 = inttoptr i64 %13 to i8*
store i8* %14, i8** %9
%15 = load %struct.forth_instance*, %struct.forth_instance** %2
%16 = call i32 @st_pop(%struct.forth_instance* %15)
store i32 %16, i32* %7
%17 = load %struct.forth_instance*, %struct.forth_instance** %2
%18 = call i32 @st_pop(%struct.forth_instance* %17)
%19 = sext i32 %18 to i64
%20 = inttoptr i64 %19 to i8*
store i8* %20, i8** %10
%21 = load i8*, i8** %10
%22 = load i32, i32* %7
%23 = call i32 @memset(i8* %21, i8 signext 0, i32 %22)
br label %24
24: ; preds = %43, %1
%25 = load i8*, i8** %9
%26 = load i32, i32* %5
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i8, i8* %25, i64 %27
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
%31 = icmp ne i32 %30, 0
br i1 %31, label %32, label %41
32: ; preds = %24
%33 = load i8*, i8** %9
%34 = load i32, i32* %5
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %33, i64 %35
%37 = load i8, i8* %36
%38 = call i32 @iswhitespace(i8 signext %37)
%39 = icmp ne i32 %38, 0
%40 = xor i1 %39, true
br label %41
41: ; preds = %32, %24
%42 = phi i1 [ false, %24 ], [ %40, %32 ]
br i1 %42, label %43, label %46
43: ; preds = %41
%44 = load i32, i32* %5
%45 = add nsw i32 %44, 1
store i32 %45, i32* %5
br label %24
46: ; preds = %41
%47 = load i8*, i8** %9
%48 = load i32, i32* %5
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i8, i8* %47, i64 %49
%51 = load i8, i8* %50
store i8 %51, i8* %8
%52 = load i8*, i8** %9
%53 = load i32, i32* %5
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i8, i8* %52, i64 %54
store i8 0, i8* %55
%56 = load i8*, i8** %9
%57 = getelementptr inbounds [4 x i32], [4 x i32]* %6, i64 0, i64 0
%58 = getelementptr inbounds [4 x i32], [4 x i32]* %6, i64 0, i64 1
%59 = getelementptr inbounds [4 x i32], [4 x i32]* %6, i64 0, i64 2
%60 = getelementptr inbounds [4 x i32], [4 x i32]* %6, i64 0, i64 3
%61 = call i32 @sscanf(i8* %56, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0), i32* %57, i32* %58, i32* %59, i32* %60)
%62 = icmp ne i32 %61, 4
br i1 %62, label %63, label %71
63: ; preds = %46
%64 = load i8, i8* %8
%65 = load i8*, i8** %9
%66 = load i32, i32* %5
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i8, i8* %65, i64 %67
store i8 %64, i8* %68
%69 = load %struct.forth_instance*, %struct.forth_instance** %2
%70 = call i32 @st_push(%struct.forth_instance* %69, i32 0)
br label %136
71: ; preds = %46
store i32 0, i32* %5
br label %72
72: ; preds = %106, %71
%73 = load i32, i32* %5
%74 = icmp slt i32 %73, 4
br i1 %74, label %75, label %109
75: ; preds = %72
%76 = load i32, i32* %5
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds [4 x i32], [4 x i32]* %6, i64 0, i64 %77
%79 = load i32, i32* %78
%80 = icmp slt i32 %79, 0
br i1 %80, label %87, label %81
81: ; preds = %75
%82 = load i32, i32* %5
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds [4 x i32], [4 x i32]* %6, i64 0, i64 %83
%85 = load i32, i32* %84
%86 = icmp sgt i32 %85, 255
br i1 %86, label %87, label %95
87: ; preds = %81, %75
%88 = load i8, i8* %8
%89 = load i8*, i8** %9
%90 = load i32, i32* %5
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i8, i8* %89, i64 %91
store i8 %88, i8* %92
%93 = load %struct.forth_instance*, %struct.forth_instance** %2
%94 = call i32 @st_push(%struct.forth_instance* %93, i32 0)
br label %136
95: ; preds = %81
%96 = load i32, i32* %5
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds [4 x i32], [4 x i32]* %6, i64 0, i64 %97
%99 = load i32, i32* %98
%100 = trunc i32 %99 to i8
%101 = getelementptr inbounds %struct.in_addr, %struct.in_addr* %4, i32 0, i32 0
%102 = bitcast i32* %101 to i8*
%103 = load i32, i32* %5
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i8, i8* %102, i64 %104
store i8 %100, i8* %105
br label %106
106: ; preds = %95
%107 = load i32, i32* %5
%108 = add nsw i32 %107, 1
store i32 %108, i32* %5
br label %72
109: ; preds = %72
%110 = bitcast %struct.in_addr* %4 to i8*
%111 = load i32, i32* @AF_INET
%112 = call %struct.hostent* @gethostbyaddr(i8* %110, i32 4, i32 %111)
store %struct.hostent* %112, %struct.hostent** %3
%113 = icmp eq %struct.hostent* %112, null
br i1 %113, label %114, label %122
114: ; preds = %109
%115 = load i8, i8* %8
%116 = load i8*, i8** %9
%117 = load i32, i32* %5
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i8, i8* %116, i64 %118
store i8 %115, i8* %119
%120 = load %struct.forth_instance*, %struct.forth_instance** %2
%121 = call i32 @st_push(%struct.forth_instance* %120, i32 0)
br label %136
122: ; preds = %109
%123 = load i8*, i8** %10
%124 = load %struct.hostent*, %struct.hostent** %3
%125 = getelementptr inbounds %struct.hostent, %struct.hostent* %124, i32 0, i32 0
%126 = load i32, i32* %125
%127 = load i32, i32* %7
%128 = call i32 @strncpy(i8* %123, i32 %126, i32 %127)
%129 = load i8, i8* %8
%130 = load i8*, i8** %9
%131 = load i32, i32* %5
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds i8, i8* %130, i64 %132
store i8 %129, i8* %133
%134 = load %struct.forth_instance*, %struct.forth_instance** %2
%135 = call i32 @st_push(%struct.forth_instance* %134, i32 1)
br label %136
136: ; preds = %122, %114, %87, %63
ret void
}

LLVM IR (-O2):
%struct.forth_instance = type { i32 }
%struct.in_addr = type { i32 }
%struct.hostent = type { i32 }
@.str = [12 x i8] c"%d.%d.%d.%d\00"
@AF_INET = global i32 0
define void @iptodns(%struct.forth_instance* %0) {
%2 = alloca %struct.in_addr
%3 = alloca [4 x i32]
%4 = bitcast %struct.in_addr* %2 to i8*
%5 = bitcast [4 x i32]* %3 to i8*
%6 = tail call i32 @st_pop(%struct.forth_instance* %0)
%7 = sext i32 %6 to i64
%8 = inttoptr i64 %7 to i8*
%9 = tail call i32 @st_pop(%struct.forth_instance* %0)
%10 = tail call i32 @st_pop(%struct.forth_instance* %0)
%11 = sext i32 %10 to i64
%12 = inttoptr i64 %11 to i8*
%13 = tail call i32 @memset(i8* %12, i8 signext 0, i32 %9)
%14 = load i8, i8* %8
%15 = icmp eq i8 %14, 0
br i1 %15, label %35, label %16
16: ; preds = %1, %22
%17 = phi i64 [ %23, %22 ], [ 0, %1 ]
%18 = phi i8 [ %26, %22 ], [ %14, %1 ]
%19 = phi i32 [ %24, %22 ], [ 0, %1 ]
%20 = tail call i32 @iswhitespace(i8 signext %18)
%21 = icmp eq i32 %20, 0
br i1 %21, label %22, label %28
22: ; preds = %16
%23 = add nuw i64 %17, 1
%24 = add nuw nsw i32 %19, 1
%25 = getelementptr inbounds i8, i8* %8, i64 %23
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 0
br i1 %27, label %30, label %16
28: ; preds = %16
%29 = trunc i64 %17 to i32
br label %30
30: ; preds = %22, %28
%31 = phi i32 [ %29, %28 ], [ %24, %22 ]
%32 = zext i32 %31 to i64
%33 = getelementptr inbounds i8, i8* %8, i64 %32
%34 = load i8, i8* %33
br label %35
35: ; preds = %1, %30
%36 = phi i8 [ %34, %30 ], [ 0, %1 ]
%37 = phi i32 [ %31, %30 ], [ 0, %1 ]
%38 = zext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %8, i64 %38
store i8 0, i8* %39
%40 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 0
%41 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 1
%42 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 2
%43 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 3
%44 = call i32 @sscanf(i8* %8, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0), i32* %40, i32* %41, i32* %42, i32* %43)
%45 = icmp eq i32 %44, 4
br i1 %45, label %46, label %79
46: ; preds = %35
%47 = load i32, i32* %40
%48 = icmp ugt i32 %47, 255
br i1 %48, label %49, label %52
49: ; preds = %61, %56, %52, %46
%50 = phi i64 [ 0, %46 ], [ 1, %52 ], [ 2, %56 ], [ 3, %61 ]
%51 = getelementptr inbounds i8, i8* %8, i64 %50
br label %79
52: ; preds = %46
%53 = trunc i32 %47 to i8
store i8 %53, i8* %4
%54 = load i32, i32* %41
%55 = icmp ugt i32 %54, 255
br i1 %55, label %49, label %56
56: ; preds = %52
%57 = trunc i32 %54 to i8
%58 = getelementptr inbounds i8, i8* %4, i64 1
store i8 %57, i8* %58
%59 = load i32, i32* %42
%60 = icmp ugt i32 %59, 255
br i1 %60, label %49, label %61
61: ; preds = %56
%62 = trunc i32 %59 to i8
%63 = getelementptr inbounds i8, i8* %4, i64 2
store i8 %62, i8* %63
%64 = load i32, i32* %43
%65 = icmp ugt i32 %64, 255
br i1 %65, label %49, label %66
66: ; preds = %61
%67 = trunc i32 %64 to i8
%68 = getelementptr inbounds i8, i8* %4, i64 3
store i8 %67, i8* %68
%69 = load i32, i32* @AF_INET
%70 = call %struct.hostent* @gethostbyaddr(i8* %4, i32 4, i32 %69)
%71 = icmp eq %struct.hostent* %70, null
br i1 %71, label %72, label %74
72: ; preds = %66
%73 = getelementptr inbounds i8, i8* %8, i64 4
br label %79
74: ; preds = %66
%75 = getelementptr inbounds %struct.hostent, %struct.hostent* %70, i64 0, i32 0
%76 = load i32, i32* %75
%77 = call i32 @strncpy(i8* %12, i32 %76, i32 %9)
%78 = getelementptr inbounds i8, i8* %8, i64 4
br label %79
79: ; preds = %35, %74, %72, %49
%80 = phi i8* [ %78, %74 ], [ %73, %72 ], [ %51, %49 ], [ %39, %35 ]
%81 = phi i32 [ 1, %74 ], [ 0, %72 ], [ 0, %49 ], [ 0, %35 ]
store i8 %36, i8* %80
%82 = call i32 @st_push(%struct.forth_instance* %0, i32 %81)
ret void
}