unsigned int ustrtoul(const char *pcStr, const char **ppcStrRet, int iBase) {
  unsigned int ulRet, ulDigit, ulNeg, ulValid;
  const char *pcPtr;
  ;
  ;
  ulRet = 0;
  ulNeg = 0;
  ulValid = 0;
  pcPtr = pcStr;
  while ((*pcPtr == ' ') || (*pcPtr == '\t')) {
    pcPtr++;
  }
  if (*pcPtr == '-') {
    ulNeg = 1;
    pcPtr++;
  } else if (*pcPtr == '+') {
    pcPtr++;
  }
  if (((iBase == 0) || (iBase == 16)) && (*pcPtr == '0') &&
      ((pcPtr[1] == 'x') || (pcPtr[1] == 'X'))) {
    pcPtr += 2;
    iBase = 16;
  }
  if (iBase == 0) {
    if (*pcPtr == '0') {
      iBase = 8;
    } else {
      iBase = 10;
    }
  }
  while (1) {
    if ((*pcPtr >= '0') && (*pcPtr <= '9')) {
      ulDigit = *pcPtr++ - '0';
    } else if ((*pcPtr >= 'A') && (*pcPtr <= 'Z')) {
      ulDigit = *pcPtr++ - 'A' + 10;
    } else if ((*pcPtr >= 'a') && (*pcPtr <= 'z')) {
      ulDigit = *pcPtr++ - 'a' + 10;
    } else {
      break;
    }
    if (ulDigit >= iBase) {
      pcPtr--;
      break;
    }
    ulRet *= iBase;
    ulRet += ulDigit;
    ulValid = 1;
  }
  if (ppcStrRet) {
    *ppcStrRet = ulValid ? pcPtr : pcStr;
  }
  return (ulNeg ? (0 - ulRet) : ulRet);
}


x86 assembly (clang, -O0):
<ustrtoul>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x20,%ecx
mov    %al,-0x31(%rbp)
je     1151 <ustrtoul+0x51>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x9,%eax
sete   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    1161 <ustrtoul+0x61>
jmp    1172 <ustrtoul+0x72>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    112c <ustrtoul+0x2c>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    119a <ustrtoul+0x9a>
movl   $0x1,-0x20(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    11bb <ustrtoul+0xbb>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2b,%eax
jne    11b6 <ustrtoul+0xb6>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    11bb <ustrtoul+0xbb>
cmpl   $0x0,-0x14(%rbp)
je     11cf <ustrtoul+0xcf>
cmpl   $0x10,-0x14(%rbp)
jne    1214 <ustrtoul+0x114>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    1214 <ustrtoul+0x114>
mov    -0x30(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
je     1201 <ustrtoul+0x101>
mov    -0x30(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x58,%eax
jne    1214 <ustrtoul+0x114>
mov    -0x30(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x30(%rbp)
movl   $0x10,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1246 <ustrtoul+0x146>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    123a <ustrtoul+0x13a>
movl   $0x8,-0x14(%rbp)
jmp    1241 <ustrtoul+0x141>
movl   $0xa,-0x14(%rbp)
jmp    1246 <ustrtoul+0x146>
jmp    124b <ustrtoul+0x14b>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     1288 <ustrtoul+0x188>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     1288 <ustrtoul+0x188>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x1c(%rbp)
jmp    1317 <ustrtoul+0x217>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     12c8 <ustrtoul+0x1c8>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5a,%eax
jg     12c8 <ustrtoul+0x1c8>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movsbl (%rax),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %eax,-0x1c(%rbp)
jmp    1312 <ustrtoul+0x212>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x61,%eax
jl     1308 <ustrtoul+0x208>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7a,%eax
jg     1308 <ustrtoul+0x208>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movsbl (%rax),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %eax,-0x1c(%rbp)
jmp    130d <ustrtoul+0x20d>
jmp    1353 <ustrtoul+0x253>
jmp    1312 <ustrtoul+0x212>
jmp    1317 <ustrtoul+0x217>
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jb     1334 <ustrtoul+0x234>
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
jmp    1353 <ustrtoul+0x253>
mov    -0x14(%rbp),%eax
imul   -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x24(%rbp)
jmp    124b <ustrtoul+0x14b>
cmpq   $0x0,-0x10(%rbp)
je     1388 <ustrtoul+0x288>
cmpl   $0x0,-0x24(%rbp)
je     1375 <ustrtoul+0x275>
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
jmp    137d <ustrtoul+0x27d>
mov    -0x8(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
cmpl   $0x0,-0x20(%rbp)
je     139f <ustrtoul+0x29f>
xor    %eax,%eax
sub    -0x18(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    13a5 <ustrtoul+0x2a5>
mov    -0x18(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ustrtoul>:
lea    0xef9(%rip),%rax
mov    %rdi,%r9
nopw   0x0(%rax,%rax,1)
movzbl (%r9),%ecx
add    $0xf7,%cl
cmp    $0x24,%cl
ja     1132 <ustrtoul+0x32>
movzbl %cl,%ecx
movslq (%rax,%rcx,4),%rcx
add    %rax,%rcx
jmp    *%rcx
add    $0x1,%r9
jmp    1110 <ustrtoul+0x10>
add    $0x1,%r9
mov    $0x1,%r8b
test   $0xffffffef,%edx
jne    1178 <ustrtoul+0x78>
jmp    114e <ustrtoul+0x4e>
add    $0x1,%r9
xor    %r8d,%r8d
test   $0xffffffef,%edx
jne    1178 <ustrtoul+0x78>
mov    $0xa,%eax
cmpb   $0x30,(%r9)
jne    1173 <ustrtoul+0x73>
mov    0x1(%r9),%al
or     $0x20,%al
cmp    $0x78,%al
jne    116e <ustrtoul+0x6e>
add    $0x2,%r9
mov    $0x10,%edx
jmp    1178 <ustrtoul+0x78>
mov    $0x8,%eax
test   %edx,%edx
cmove  %eax,%edx
xor    %r10d,%r10d
nopl   0x0(%rax,%rax,1)
movsbl (%r9),%r11d
lea    -0x30(%r11),%eax
mov    $0xffffffd0,%ecx
cmp    $0xa,%al
jb     11ab <ustrtoul+0xab>
lea    -0x41(%r11),%eax
mov    $0xffffffc9,%ecx
cmp    $0x1a,%al
jb     11ab <ustrtoul+0xab>
lea    -0x61(%r11),%eax
mov    $0xffffffa9,%ecx
cmp    $0x19,%al
ja     11c2 <ustrtoul+0xc2>
add    %r11d,%ecx
cmp    %edx,%ecx
jae    11c2 <ustrtoul+0xc2>
add    $0x1,%r9
imul   %edx,%r10d
add    %ecx,%r10d
mov    %r9,%rdi
jmp    1180 <ustrtoul+0x80>
test   %rsi,%rsi
je     11ca <ustrtoul+0xca>
mov    %rdi,(%rsi)
mov    %r10d,%eax
neg    %eax
test   %r8b,%r8b
cmovne %r10d,%eax
ret

LLVM IR (-O0):
define i32 @ustrtoul(i8* %0, i8** %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i8*
store i8* %0, i8** %4
store i8** %1, i8*** %5
store i32 %2, i32* %6
store i32 0, i32* %7
store i32 0, i32* %9
store i32 0, i32* %10
%12 = load i8*, i8** %4
store i8* %12, i8** %11
br label %13
13: ; preds = %25, %3
%14 = load i8*, i8** %11
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = icmp eq i32 %16, 32
br i1 %17, label %23, label %18
18: ; preds = %13
%19 = load i8*, i8** %11
%20 = load i8, i8* %19
%21 = sext i8 %20 to i32
%22 = icmp eq i32 %21, 9
br label %23
23: ; preds = %18, %13
%24 = phi i1 [ true, %13 ], [ %22, %18 ]
br i1 %24, label %25, label %28
25: ; preds = %23
%26 = load i8*, i8** %11
%27 = getelementptr inbounds i8, i8* %26, i32 1
store i8* %27, i8** %11
br label %13
28: ; preds = %23
%29 = load i8*, i8** %11
%30 = load i8, i8* %29
%31 = sext i8 %30 to i32
%32 = icmp eq i32 %31, 45
br i1 %32, label %33, label %36
33: ; preds = %28
store i32 1, i32* %9
%34 = load i8*, i8** %11
%35 = getelementptr inbounds i8, i8* %34, i32 1
store i8* %35, i8** %11
br label %45
36: ; preds = %28
%37 = load i8*, i8** %11
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = icmp eq i32 %39, 43
br i1 %40, label %41, label %44
41: ; preds = %36
%42 = load i8*, i8** %11
%43 = getelementptr inbounds i8, i8* %42, i32 1
store i8* %43, i8** %11
br label %44
44: ; preds = %41, %36
br label %45
45: ; preds = %44, %33
%46 = load i32, i32* %6
%47 = icmp eq i32 %46, 0
br i1 %47, label %51, label %48
48: ; preds = %45
%49 = load i32, i32* %6
%50 = icmp eq i32 %49, 16
br i1 %50, label %51, label %71
51: ; preds = %48, %45
%52 = load i8*, i8** %11
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = icmp eq i32 %54, 48
br i1 %55, label %56, label %71
56: ; preds = %51
%57 = load i8*, i8** %11
%58 = getelementptr inbounds i8, i8* %57, i64 1
%59 = load i8, i8* %58
%60 = sext i8 %59 to i32
%61 = icmp eq i32 %60, 120
br i1 %61, label %68, label %62
62: ; preds = %56
%63 = load i8*, i8** %11
%64 = getelementptr inbounds i8, i8* %63, i64 1
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = icmp eq i32 %66, 88
br i1 %67, label %68, label %71
68: ; preds = %62, %56
%69 = load i8*, i8** %11
%70 = getelementptr inbounds i8, i8* %69, i64 2
store i8* %70, i8** %11
store i32 16, i32* %6
br label %71
71: ; preds = %68, %62, %51, %48
%72 = load i32, i32* %6
%73 = icmp eq i32 %72, 0
br i1 %73, label %74, label %82
74: ; preds = %71
%75 = load i8*, i8** %11
%76 = load i8, i8* %75
%77 = sext i8 %76 to i32
%78 = icmp eq i32 %77, 48
br i1 %78, label %79, label %80
79: ; preds = %74
store i32 8, i32* %6
br label %81
80: ; preds = %74
store i32 10, i32* %6
br label %81
81: ; preds = %80, %79
br label %82
82: ; preds = %81, %71
br label %83
83: ; preds = %82, %143
%84 = load i8*, i8** %11
%85 = load i8, i8* %84
%86 = sext i8 %85 to i32
%87 = icmp sge i32 %86, 48
br i1 %87, label %88, label %99
88: ; preds = %83
%89 = load i8*, i8** %11
%90 = load i8, i8* %89
%91 = sext i8 %90 to i32
%92 = icmp sle i32 %91, 57
br i1 %92, label %93, label %99
93: ; preds = %88
%94 = load i8*, i8** %11
%95 = getelementptr inbounds i8, i8* %94, i32 1
store i8* %95, i8** %11
%96 = load i8, i8* %94
%97 = sext i8 %96 to i32
%98 = sub nsw i32 %97, 48
store i32 %98, i32* %8
br label %136
99: ; preds = %88, %83
%100 = load i8*, i8** %11
%101 = load i8, i8* %100
%102 = sext i8 %101 to i32
%103 = icmp sge i32 %102, 65
br i1 %103, label %104, label %116
104: ; preds = %99
%105 = load i8*, i8** %11
%106 = load i8, i8* %105
%107 = sext i8 %106 to i32
%108 = icmp sle i32 %107, 90
br i1 %108, label %109, label %116
109: ; preds = %104
%110 = load i8*, i8** %11
%111 = getelementptr inbounds i8, i8* %110, i32 1
store i8* %111, i8** %11
%112 = load i8, i8* %110
%113 = sext i8 %112 to i32
%114 = sub nsw i32 %113, 65
%115 = add nsw i32 %114, 10
store i32 %115, i32* %8
br label %135
116: ; preds = %104, %99
%117 = load i8*, i8** %11
%118 = load i8, i8* %117
%119 = sext i8 %118 to i32
%120 = icmp sge i32 %119, 97
br i1 %120, label %121, label %133
121: ; preds = %116
%122 = load i8*, i8** %11
%123 = load i8, i8* %122
%124 = sext i8 %123 to i32
%125 = icmp sle i32 %124, 122
br i1 %125, label %126, label %133
126: ; preds = %121
%127 = load i8*, i8** %11
%128 = getelementptr inbounds i8, i8* %127, i32 1
store i8* %128, i8** %11
%129 = load i8, i8* %127
%130 = sext i8 %129 to i32
%131 = sub nsw i32 %130, 97
%132 = add nsw i32 %131, 10
store i32 %132, i32* %8
br label %134
133: ; preds = %121, %116
br label %150
134: ; preds = %126
br label %135
135: ; preds = %134, %109
br label %136
136: ; preds = %135, %93
%137 = load i32, i32* %8
%138 = load i32, i32* %6
%139 = icmp uge i32 %137, %138
br i1 %139, label %140, label %143
140: ; preds = %136
%141 = load i8*, i8** %11
%142 = getelementptr inbounds i8, i8* %141, i32 -1
store i8* %142, i8** %11
br label %150
143: ; preds = %136
%144 = load i32, i32* %6
%145 = load i32, i32* %7
%146 = mul i32 %145, %144
store i32 %146, i32* %7
%147 = load i32, i32* %8
%148 = load i32, i32* %7
%149 = add i32 %148, %147
store i32 %149, i32* %7
store i32 1, i32* %10
br label %83
150: ; preds = %140, %133
%151 = load i8**, i8*** %5
%152 = icmp ne i8** %151, null
br i1 %152, label %153, label %163
153: ; preds = %150
%154 = load i32, i32* %10
%155 = icmp ne i32 %154, 0
br i1 %155, label %156, label %158
156: ; preds = %153
%157 = load i8*, i8** %11
br label %160
158: ; preds = %153
%159 = load i8*, i8** %4
br label %160
160: ; preds = %158, %156
%161 = phi i8* [ %157, %156 ], [ %159, %158 ]
%162 = load i8**, i8*** %5
store i8* %161, i8** %162
br label %163
163: ; preds = %160, %150
%164 = load i32, i32* %9
%165 = icmp ne i32 %164, 0
br i1 %165, label %166, label %169
166: ; preds = %163
%167 = load i32, i32* %7
%168 = sub i32 0, %167
br label %171
169: ; preds = %163
%170 = load i32, i32* %7
br label %171
171: ; preds = %169, %166
%172 = phi i32 [ %168, %166 ], [ %170, %169 ]
ret i32 %172
}

LLVM IR (-O2):
define i32 @ustrtoul(i8* %0, i8** writeonly %1, i32 %2) {
br label %4
4: ; preds = %7, %3
%5 = phi i8* [ %0, %3 ], [ %8, %7 ]
%6 = load i8, i8* %5
switch i8 %6, label %13 [
i8 32, label %7
i8 9, label %7
i8 45, label %9
i8 43, label %11
]
7: ; preds = %4, %4
%8 = getelementptr inbounds i8, i8* %5, i64 1
br label %4
9: ; preds = %4
%10 = getelementptr inbounds i8, i8* %5, i64 1
br label %13
11: ; preds = %4
%12 = getelementptr inbounds i8, i8* %5, i64 1
br label %13
13: ; preds = %4, %11, %9
%14 = phi i1 [ true, %11 ], [ false, %9 ], [ true, %4 ]
%15 = phi i8* [ %12, %11 ], [ %10, %9 ], [ %5, %4 ]
%16 = and i32 %2, -17
%17 = icmp eq i32 %16, 0
br i1 %17, label %18, label %30
18: ; preds = %13
%19 = load i8, i8* %15
%20 = icmp eq i8 %19, 48
br i1 %20, label %21, label %26
21: ; preds = %18
%22 = getelementptr inbounds i8, i8* %15, i64 1
%23 = load i8, i8* %22
switch i8 %23, label %26 [
i8 120, label %24
i8 88, label %24
]
24: ; preds = %21, %21
%25 = getelementptr inbounds i8, i8* %15, i64 2
br label %30
26: ; preds = %21, %18
%27 = phi i32 [ 8, %21 ], [ 10, %18 ]
%28 = icmp eq i32 %2, 0
%29 = select i1 %28, i32 %27, i32 %2
br label %30
30: ; preds = %26, %13, %24
%31 = phi i8* [ %15, %13 ], [ %25, %24 ], [ %15, %26 ]
%32 = phi i32 [ %2, %13 ], [ 16, %24 ], [ %29, %26 ]
br label %33
33: ; preds = %51, %30
%34 = phi i32 [ 0, %30 ], [ %54, %51 ]
%35 = phi i8* [ %0, %30 ], [ %52, %51 ]
%36 = phi i8* [ %31, %30 ], [ %52, %51 ]
%37 = load i8, i8* %36
%38 = sext i8 %37 to i32
%39 = add i8 %37, -48
%40 = icmp ult i8 %39, 10
br i1 %40, label %47, label %41
41: ; preds = %33
%42 = add i8 %37, -65
%43 = icmp ult i8 %42, 26
br i1 %43, label %47, label %44
44: ; preds = %41
%45 = add i8 %37, -97
%46 = icmp ult i8 %45, 26
br i1 %46, label %47, label %55
47: ; preds = %44, %41, %33
%48 = phi i32 [ -48, %33 ], [ -55, %41 ], [ -87, %44 ]
%49 = add nsw i32 %48, %38
%50 = icmp ult i32 %49, %32
br i1 %50, label %51, label %55
51: ; preds = %47
%52 = getelementptr inbounds i8, i8* %36, i64 1
%53 = mul i32 %34, %32
%54 = add i32 %49, %53
br label %33
55: ; preds = %47, %44
%56 = icmp eq i8** %1, null
br i1 %56, label %58, label %57
57: ; preds = %55
store i8* %35, i8** %1
br label %58
58: ; preds = %57, %55
%59 = sub i32 0, %34
%60 = select i1 %14, i32 %34, i32 %59
ret i32 %60
}