#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 */

/* Variables and functions */
scalar_t__ env_lookup_len(char const *, char const *);
scalar_t__ home_dir_len();
scalar_t__ isenv(unsigned char);
int compute_length(const char *p) {
  const char *q;
  int first;
  int len;
  first = 1;
  len = 0;
  while (*p) {
    if (first && (*p == '~') && (p[1] == '/')) {
      len += home_dir_len();
      p++;
    } else if ((*p == '$') && (p[1] == '{')) {
      p += 2;
      q = p;
      while (*q && (*q != '}'))
        q++;
      len += env_lookup_len(p, q);
      p = *q ? (q + 1) : q;
    } else if (*p == '$') {
      p++;
      q = p;
      while (*q && isenv(*(unsigned char *)q))
        q++;
      len += env_lookup_len(p, q);
      p = q;
    } else {
      len++;
      p++;
    }
    first = 0;
  }
  return len;
}


x86 assembly (clang, -O0):
<compute_length>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x1,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
je     1334 <compute_length+0x204>
cmpl   $0x0,-0x14(%rbp)
je     11a7 <compute_length+0x77>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7e,%eax
jne    11a7 <compute_length+0x77>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2f,%eax
jne    11a7 <compute_length+0x77>
mov    $0x0,%al
call   1050 <home_dir_len@plt>
mov    %rax,%rcx
movslq -0x18(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1328 <compute_length+0x1f8>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x24,%eax
jne    1272 <compute_length+0x142>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x7b,%eax
jne    1272 <compute_length+0x142>
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x19(%rbp)
je     1201 <compute_length+0xd1>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7d,%eax
setne  %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    1211 <compute_length+0xe1>
jmp    1222 <compute_length+0xf2>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    11dc <compute_length+0xac>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <env_lookup_len@plt>
mov    %rax,%rcx
movslq -0x18(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     125d <compute_length+0x12d>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1265 <compute_length+0x135>
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1323 <compute_length+0x1f3>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x24,%eax
jne    1309 <compute_length+0x1d9>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x29(%rbp)
je     12c1 <compute_length+0x191>
mov    -0x10(%rbp),%rax
movzbl (%rax),%edi
call   1040 <isenv@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    12d1 <compute_length+0x1a1>
jmp    12e2 <compute_length+0x1b2>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1296 <compute_length+0x166>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <env_lookup_len@plt>
mov    %rax,%rcx
movslq -0x18(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    131e <compute_length+0x1ee>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1323 <compute_length+0x1f3>
jmp    1328 <compute_length+0x1f8>
movl   $0x0,-0x14(%rbp)
jmp    114a <compute_length+0x1a>
mov    -0x18(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<compute_length>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    (%rdi),%al
test   %al,%al
je     1226 <compute_length+0xf6>
mov    %rdi,%r14
mov    $0x1,%cl
xor    %ebp,%ebp
jmp    1168 <compute_length+0x38>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r14
mov    $0x1,%eax
add    %eax,%ebp
mov    (%r14),%al
xor    %ecx,%ecx
test   %al,%al
je     1228 <compute_length+0xf8>
test   $0x1,%cl
je     1190 <compute_length+0x60>
cmp    $0x7e,%al
jne    1190 <compute_length+0x60>
cmpb   $0x2f,0x1(%r14)
jne    1150 <compute_length+0x20>
add    $0x1,%r14
xor    %eax,%eax
call   1050 <home_dir_len@plt>
jmp    1159 <compute_length+0x29>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    $0x24,%al
jne    1150 <compute_length+0x20>
lea    0x1(%r14),%r15
mov    0x1(%r14),%al
mov    %r15,%rbx
test   %al,%al
je     11f9 <compute_length+0xc9>
mov    %r15,%rbx
cmp    $0x7b,%al
jne    11e0 <compute_length+0xb0>
add    $0x2,%r14
mov    %r14,%rbx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%rbx),%eax
test   %al,%al
je     120c <compute_length+0xdc>
cmp    $0x7d,%al
je     120c <compute_length+0xdc>
add    $0x1,%rbx
jmp    11c0 <compute_length+0x90>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl %al,%edi
call   1040 <isenv@plt>
test   %rax,%rax
je     11f9 <compute_length+0xc9>
movzbl 0x1(%rbx),%eax
add    $0x1,%rbx
test   %al,%al
jne    11e0 <compute_length+0xb0>
mov    %r15,%rdi
mov    %rbx,%rsi
call   1030 <env_lookup_len@plt>
mov    %rbx,%r14
jmp    1159 <compute_length+0x29>
mov    %r14,%rdi
mov    %rbx,%rsi
call   1030 <env_lookup_len@plt>
cmpb   $0x1,(%rbx)
sbb    $0xffffffffffffffff,%rbx
mov    %rbx,%r14
jmp    1159 <compute_length+0x29>
xor    %ebp,%ebp
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @compute_length(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
store i8* %0, i8** %2
store i32 1, i32* %4
store i32 0, i32* %5
br label %6
6: ; preds = %121, %1
%7 = load i8*, i8** %2
%8 = load i8, i8* %7
%9 = icmp ne i8 %8, 0
br i1 %9, label %10, label %122
10: ; preds = %6
%11 = load i32, i32* %4
%12 = icmp ne i32 %11, 0
br i1 %12, label %13, label %32
13: ; preds = %10
%14 = load i8*, i8** %2
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = icmp eq i32 %16, 126
br i1 %17, label %18, label %32
18: ; preds = %13
%19 = load i8*, i8** %2
%20 = getelementptr inbounds i8, i8* %19, i64 1
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = icmp eq i32 %22, 47
br i1 %23, label %24, label %32
24: ; preds = %18
%25 = call i64 (...) @home_dir_len()
%26 = load i32, i32* %5
%27 = sext i32 %26 to i64
%28 = add nsw i64 %27, %25
%29 = trunc i64 %28 to i32
store i32 %29, i32* %5
%30 = load i8*, i8** %2
%31 = getelementptr inbounds i8, i8* %30, i32 1
store i8* %31, i8** %2
br label %121
32: ; preds = %18, %13, %10
%33 = load i8*, i8** %2
%34 = load i8, i8* %33
%35 = sext i8 %34 to i32
%36 = icmp eq i32 %35, 36
br i1 %36, label %37, label %81
37: ; preds = %32
%38 = load i8*, i8** %2
%39 = getelementptr inbounds i8, i8* %38, i64 1
%40 = load i8, i8* %39
%41 = sext i8 %40 to i32
%42 = icmp eq i32 %41, 123
br i1 %42, label %43, label %81
43: ; preds = %37
%44 = load i8*, i8** %2
%45 = getelementptr inbounds i8, i8* %44, i64 2
store i8* %45, i8** %2
%46 = load i8*, i8** %2
store i8* %46, i8** %3
br label %47
47: ; preds = %59, %43
%48 = load i8*, i8** %3
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = icmp ne i32 %50, 0
br i1 %51, label %52, label %57
52: ; preds = %47
%53 = load i8*, i8** %3
%54 = load i8, i8* %53
%55 = sext i8 %54 to i32
%56 = icmp ne i32 %55, 125
br label %57
57: ; preds = %52, %47
%58 = phi i1 [ false, %47 ], [ %56, %52 ]
br i1 %58, label %59, label %62
59: ; preds = %57
%60 = load i8*, i8** %3
%61 = getelementptr inbounds i8, i8* %60, i32 1
store i8* %61, i8** %3
br label %47
62: ; preds = %57
%63 = load i8*, i8** %2
%64 = load i8*, i8** %3
%65 = call i64 @env_lookup_len(i8* %63, i8* %64)
%66 = load i32, i32* %5
%67 = sext i32 %66 to i64
%68 = add nsw i64 %67, %65
%69 = trunc i64 %68 to i32
store i32 %69, i32* %5
%70 = load i8*, i8** %3
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp ne i32 %72, 0
br i1 %73, label %74, label %77
74: ; preds = %62
%75 = load i8*, i8** %3
%76 = getelementptr inbounds i8, i8* %75, i64 1
br label %79
77: ; preds = %62
%78 = load i8*, i8** %3
br label %79
79: ; preds = %77, %74
%80 = phi i8* [ %76, %74 ], [ %78, %77 ]
store i8* %80, i8** %2
br label %120
81: ; preds = %37, %32
%82 = load i8*, i8** %2
%83 = load i8, i8* %82
%84 = sext i8 %83 to i32
%85 = icmp eq i32 %84, 36
br i1 %85, label %86, label %114
86: ; preds = %81
%87 = load i8*, i8** %2
%88 = getelementptr inbounds i8, i8* %87, i32 1
store i8* %88, i8** %2
%89 = load i8*, i8** %2
store i8* %89, i8** %3
br label %90
90: ; preds = %102, %86
%91 = load i8*, i8** %3
%92 = load i8, i8* %91
%93 = sext i8 %92 to i32
%94 = icmp ne i32 %93, 0
br i1 %94, label %95, label %100
95: ; preds = %90
%96 = load i8*, i8** %3
%97 = load i8, i8* %96
%98 = call i64 @isenv(i8 zeroext %97)
%99 = icmp ne i64 %98, 0
br label %100
100: ; preds = %95, %90
%101 = phi i1 [ false, %90 ], [ %99, %95 ]
br i1 %101, label %102, label %105
102: ; preds = %100
%103 = load i8*, i8** %3
%104 = getelementptr inbounds i8, i8* %103, i32 1
store i8* %104, i8** %3
br label %90
105: ; preds = %100
%106 = load i8*, i8** %2
%107 = load i8*, i8** %3
%108 = call i64 @env_lookup_len(i8* %106, i8* %107)
%109 = load i32, i32* %5
%110 = sext i32 %109 to i64
%111 = add nsw i64 %110, %108
%112 = trunc i64 %111 to i32
store i32 %112, i32* %5
%113 = load i8*, i8** %3
store i8* %113, i8** %2
br label %119
114: ; preds = %81
%115 = load i32, i32* %5
%116 = add nsw i32 %115, 1
store i32 %116, i32* %5
%117 = load i8*, i8** %2
%118 = getelementptr inbounds i8, i8* %117, i32 1
store i8* %118, i8** %2
br label %119
119: ; preds = %114, %105
br label %120
120: ; preds = %119, %79
br label %121
121: ; preds = %120, %24
store i32 0, i32* %4
br label %6
122: ; preds = %6
%123 = load i32, i32* %5
ret i32 %123
}

LLVM IR (-O2):
define i32 @compute_length(i8* %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %58, label %4
4: ; preds = %1, %52
%5 = phi i8 [ %56, %52 ], [ %2, %1 ]
%6 = phi i32 [ %55, %52 ], [ 0, %1 ]
%7 = phi i1 [ false, %52 ], [ true, %1 ]
%8 = phi i8* [ %53, %52 ], [ %0, %1 ]
%9 = icmp eq i8 %5, 126
%10 = select i1 %7, i1 %9, i1 false
br i1 %10, label %11, label %18
11: ; preds = %4
%12 = getelementptr inbounds i8, i8* %8, i64 1
%13 = load i8, i8* %12
%14 = icmp eq i8 %13, 47
br i1 %14, label %15, label %50
15: ; preds = %11
%16 = tail call i64 (...) @home_dir_len()
%17 = trunc i64 %16 to i32
br label %52
18: ; preds = %4
%19 = icmp eq i8 %5, 36
br i1 %19, label %20, label %50
20: ; preds = %18
%21 = getelementptr inbounds i8, i8* %8, i64 1
%22 = load i8, i8* %21
switch i8 %22, label %37 [
i8 123, label %23
i8 0, label %46
]
23: ; preds = %20
%24 = getelementptr inbounds i8, i8* %8, i64 2
br label %25
25: ; preds = %28, %23
%26 = phi i8* [ %24, %23 ], [ %29, %28 ]
%27 = load i8, i8* %26
switch i8 %27, label %28 [
i8 0, label %30
i8 125, label %30
]
28: ; preds = %25
%29 = getelementptr inbounds i8, i8* %26, i64 1
br label %25
30: ; preds = %25, %25
%31 = tail call i64 @env_lookup_len(i8* %24, i8* %26)
%32 = trunc i64 %31 to i32
%33 = load i8, i8* %26
%34 = icmp ne i8 %33, 0
%35 = zext i1 %34 to i64
%36 = getelementptr i8, i8* %26, i64 %35
br label %52
37: ; preds = %20, %42
%38 = phi i8* [ %43, %42 ], [ %21, %20 ]
%39 = phi i8 [ %44, %42 ], [ %22, %20 ]
%40 = tail call i64 @isenv(i8 zeroext %39)
%41 = icmp eq i64 %40, 0
br i1 %41, label %46, label %42
42: ; preds = %37
%43 = getelementptr inbounds i8, i8* %38, i64 1
%44 = load i8, i8* %43
%45 = icmp eq i8 %44, 0
br i1 %45, label %46, label %37
46: ; preds = %37, %42, %20
%47 = phi i8* [ %21, %20 ], [ %43, %42 ], [ %38, %37 ]
%48 = tail call i64 @env_lookup_len(i8* %21, i8* %47)
%49 = trunc i64 %48 to i32
br label %52
50: ; preds = %18, %11
%51 = getelementptr inbounds i8, i8* %8, i64 1
br label %52
52: ; preds = %30, %50, %46, %15
%53 = phi i8* [ %12, %15 ], [ %36, %30 ], [ %47, %46 ], [ %51, %50 ]
%54 = phi i32 [ %17, %15 ], [ %32, %30 ], [ %49, %46 ], [ 1, %50 ]
%55 = add i32 %54, %6
%56 = load i8, i8* %53
%57 = icmp eq i8 %56, 0
br i1 %57, label %58, label %4
58: ; preds = %52, %1
%59 = phi i32 [ 0, %1 ], [ %55, %52 ]
ret i32 %59
}