#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 list_elem {
  int dummy;
};
struct list {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ assert(int /*<<< orphan*/);
struct list_elem *list_begin(struct list const *);
struct list_elem *list_end(struct list const *);
struct list_elem *list_next(struct list_elem *);
size_t list_size(const struct list *l) {
  struct list_elem *e;
  size_t num = 0;
  assert(l != NULL);
  for (e = list_begin(l); e != list_end(l); e = list_next(e)) {
    num++;
  }
  return num;
}


x86 assembly (clang, -O0):
<list_size>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
movq   $0x0,-0x18(%rbp)
cmpq   $0x0,-0x8(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x8(%rbp),%rdi
call   1050 <list_begin@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <list_end@plt>
mov    %rax,%rcx
mov    -0x20(%rbp),%rax
cmp    %rcx,%rax
je     11b2 <list_size+0x72>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <list_next@plt>
mov    %rax,-0x10(%rbp)
jmp    1173 <list_size+0x33>
mov    -0x18(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<list_size>:
push   %r15
push   %r14
push   %rbx
mov    %rdi,%r14
xor    %edi,%edi
test   %r14,%r14
setne  %dil
call   1040 <assert@plt>
mov    %r14,%rdi
call   1050 <list_begin@plt>
mov    %rax,%r15
mov    %r14,%rdi
call   1060 <list_end@plt>
xor    %ebx,%ebx
cmp    %rax,%r15
je     118c <list_size+0x4c>
add    $0x1,%rbx
mov    %r15,%rdi
call   1030 <list_next@plt>
mov    %rax,%r15
mov    %r14,%rdi
call   1060 <list_end@plt>
cmp    %rax,%r15
jne    1170 <list_size+0x30>
mov    %rbx,%rax
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
%struct.list = type { i32 }
%struct.list_elem = type { i32 }
define i64 @list_size(%struct.list* %0) {
%2 = alloca %struct.list*
%3 = alloca %struct.list_elem*
%4 = alloca i64
store %struct.list* %0, %struct.list** %2
store i64 0, i64* %4
%5 = load %struct.list*, %struct.list** %2
%6 = icmp ne %struct.list* %5, null
%7 = zext i1 %6 to i32
%8 = call i32 @assert(i32 %7)
%9 = load %struct.list*, %struct.list** %2
%10 = call %struct.list_elem* @list_begin(%struct.list* %9)
store %struct.list_elem* %10, %struct.list_elem** %3
br label %11
11: ; preds = %19, %1
%12 = load %struct.list_elem*, %struct.list_elem** %3
%13 = load %struct.list*, %struct.list** %2
%14 = call %struct.list_elem* @list_end(%struct.list* %13)
%15 = icmp ne %struct.list_elem* %12, %14
br i1 %15, label %16, label %22
16: ; preds = %11
%17 = load i64, i64* %4
%18 = add i64 %17, 1
store i64 %18, i64* %4
br label %19
19: ; preds = %16
%20 = load %struct.list_elem*, %struct.list_elem** %3
%21 = call %struct.list_elem* @list_next(%struct.list_elem* %20)
store %struct.list_elem* %21, %struct.list_elem** %3
br label %11
22: ; preds = %11
%23 = load i64, i64* %4
ret i64 %23
}

LLVM IR (-O2):
%struct.list = type { i32 }
%struct.list_elem = type { i32 }
define i64 @list_size(%struct.list* %0) {
%2 = icmp ne %struct.list* %0, null
%3 = zext i1 %2 to i32
%4 = tail call i32 @assert(i32 %3)
%5 = tail call %struct.list_elem* @list_begin(%struct.list* %0)
%6 = tail call %struct.list_elem* @list_end(%struct.list* %0)
%7 = icmp eq %struct.list_elem* %5, %6
br i1 %7, label %15, label %8
8: ; preds = %1, %8
%9 = phi i64 [ %11, %8 ], [ 0, %1 ]
%10 = phi %struct.list_elem* [ %12, %8 ], [ %5, %1 ]
%11 = add i64 %9, 1
%12 = tail call %struct.list_elem* @list_next(%struct.list_elem* %10)
%13 = tail call %struct.list_elem* @list_end(%struct.list* %0)
%14 = icmp eq %struct.list_elem* %12, %13
br i1 %14, label %15, label %8
15: ; preds = %8, %1
%16 = phi i64 [ 0, %1 ], [ %11, %8 ]
ret i64 %16
}