char const *parse_ranged(s, digits, lo, hi, res)
char const *s;
int digits, lo, hi, *res;
{
  s = parse_fixed(s, digits, res);
  return s && lo <= *res && *res <= hi ? s : 0;
}


x86 assembly (clang, -O0):
<parse_ranged>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x20(%rbp),%rdx
mov    $0x0,%al
call   1030 <parse_fixed@plt>
cltq
mov    %rax,-0x8(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     1177 <parse_ranged+0x67>
mov    -0x10(%rbp),%eax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%eax
jg     1177 <parse_ranged+0x67>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
cmp    -0x14(%rbp),%eax
jg     1177 <parse_ranged+0x67>
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    1182 <parse_ranged+0x72>
xor    %eax,%eax
mov    %rax,-0x28(%rbp)
jmp    1182 <parse_ranged+0x72>
mov    -0x28(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<parse_ranged>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %r8,%rbp
mov    %ecx,%r14d
mov    %edx,%r15d
xor    %ebx,%ebx
mov    %r8,%rdx
xor    %eax,%eax
call   1030 <parse_fixed@plt>
test   %eax,%eax
je     1147 <parse_ranged+0x37>
mov    0x0(%rbp),%ecx
cmp    %r15d,%ecx
jge    113c <parse_ranged+0x2c>
xor    %ebx,%ebx
jmp    1147 <parse_ranged+0x37>
cltq
xor    %ebx,%ebx
cmp    %r14d,%ecx
cmovle %rax,%rbx
mov    %rbx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @parse_ranged(i8* %0, i32 %1, i32 %2, i32 %3, i32* %4) {
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32*
store i8* %0, i8** %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store i32* %4, i32** %10
%11 = load i8*, i8** %6
%12 = load i32, i32* %7
%13 = load i32*, i32** %10
%14 = call i32 (i8*, i32, i32*, ...) bitcast (i32 (...)* @parse_fixed to i32 (i8*, i32, i32*, ...)*)(i8* %11, i32 %12, i32* %13)
%15 = sext i32 %14 to i64
%16 = inttoptr i64 %15 to i8*
store i8* %16, i8** %6
%17 = load i8*, i8** %6
%18 = icmp ne i8* %17, null
br i1 %18, label %19, label %31
19: ; preds = %5
%20 = load i32, i32* %8
%21 = load i32*, i32** %10
%22 = load i32, i32* %21
%23 = icmp sle i32 %20, %22
br i1 %23, label %24, label %31
24: ; preds = %19
%25 = load i32*, i32** %10
%26 = load i32, i32* %25
%27 = load i32, i32* %9
%28 = icmp sle i32 %26, %27
br i1 %28, label %29, label %31
29: ; preds = %24
%30 = load i8*, i8** %6
br label %32
31: ; preds = %24, %19, %5
br label %32
32: ; preds = %31, %29
%33 = phi i8* [ %30, %29 ], [ null, %31 ]
ret i8* %33
}

LLVM IR (-O2):
define i8* @parse_ranged(i8* %0, i32 %1, i32 %2, i32 %3, i32* %4) {
%6 = tail call i32 (i8*, i32, i32*, ...) bitcast (i32 (...)* @parse_fixed to i32 (i8*, i32, i32*, ...)*)(i8* %0, i32 %1, i32* %4)
%7 = sext i32 %6 to i64
%8 = inttoptr i64 %7 to i8*
%9 = icmp eq i32 %6, 0
br i1 %9, label %16, label %10
10: ; preds = %5
%11 = load i32, i32* %4
%12 = icmp slt i32 %11, %2
br i1 %12, label %16, label %13
13: ; preds = %10
%14 = icmp sgt i32 %11, %3
%15 = select i1 %14, i8* null, i8* %8
br label %16
16: ; preds = %13, %5, %10
%17 = phi i8* [ null, %10 ], [ null, %5 ], [ %15, %13 ]
ret i8* %17
}