void test_builtin_va_arg(__builtin_va_list v) {
  __emit_expression_range(0, __builtin_va_arg(v, int));
  __emit_expression_range(0, __builtin_va_arg(v, int) + 1);
}


x86 assembly (clang, -O0):
<test_builtin_va_arg>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    (%rax),%eax
mov    %eax,-0xc(%rbp)
cmp    $0x28,%eax
ja     114e <test_builtin_va_arg+0x3e>
mov    -0x18(%rbp),%rcx
mov    -0xc(%rbp),%edx
movslq %edx,%rax
add    0x10(%rcx),%rax
add    $0x8,%edx
mov    %edx,(%rcx)
mov    %rax,-0x20(%rbp)
jmp    1165 <test_builtin_va_arg+0x55>
mov    -0x18(%rbp),%rcx
mov    0x8(%rcx),%rdx
mov    %rdx,%rax
add    $0x8,%rdx
mov    %rdx,0x8(%rcx)
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1030 <__emit_expression_range@plt>
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
cmp    $0x28,%eax
ja     11a6 <test_builtin_va_arg+0x96>
mov    -0x30(%rbp),%rcx
mov    -0x24(%rbp),%edx
movslq %edx,%rax
add    0x10(%rcx),%rax
add    $0x8,%edx
mov    %edx,(%rcx)
mov    %rax,-0x38(%rbp)
jmp    11bd <test_builtin_va_arg+0xad>
mov    -0x30(%rbp),%rcx
mov    0x8(%rcx),%rdx
mov    %rdx,%rax
add    $0x8,%rdx
mov    %rdx,0x8(%rcx)
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    (%rax),%esi
add    $0x1,%esi
xor    %edi,%edi
mov    $0x0,%al
call   1030 <__emit_expression_range@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_builtin_va_arg>:
push   %rbx
mov    %rdi,%rbx
mov    (%rdi),%ecx
cmp    $0x28,%rcx
ja     112a <test_builtin_va_arg+0x1a>
mov    %rcx,%rax
add    0x10(%rbx),%rax
add    $0x8,%ecx
mov    %ecx,(%rbx)
jmp    1136 <test_builtin_va_arg+0x26>
mov    0x8(%rbx),%rax
lea    0x8(%rax),%rcx
mov    %rcx,0x8(%rbx)
mov    (%rax),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1030 <__emit_expression_range@plt>
mov    (%rbx),%ecx
cmp    $0x28,%rcx
ja     1157 <test_builtin_va_arg+0x47>
mov    %rcx,%rax
add    0x10(%rbx),%rax
add    $0x8,%ecx
mov    %ecx,(%rbx)
jmp    1163 <test_builtin_va_arg+0x53>
mov    0x8(%rbx),%rax
lea    0x8(%rax),%rcx
mov    %rcx,0x8(%rbx)
mov    (%rax),%esi
add    $0x1,%esi
xor    %edi,%edi
xor    %eax,%eax
pop    %rbx
jmp    1030 <__emit_expression_range@plt>

LLVM IR (-O0):
%struct.__va_list_tag = type { i32, i32, i8*, i8* }
define void @test_builtin_va_arg(%struct.__va_list_tag* %0) {
%2 = alloca %struct.__va_list_tag*
store %struct.__va_list_tag* %0, %struct.__va_list_tag** %2
%3 = load %struct.__va_list_tag*, %struct.__va_list_tag** %2
%4 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %3, i32 0, i32 0
%5 = load i32, i32* %4
%6 = icmp ule i32 %5, 40
br i1 %6, label %7, label %13
7: ; preds = %1
%8 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %3, i32 0, i32 3
%9 = load i8*, i8** %8
%10 = getelementptr i8, i8* %9, i32 %5
%11 = bitcast i8* %10 to i32*
%12 = add i32 %5, 8
store i32 %12, i32* %4
br label %18
13: ; preds = %1
%14 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %3, i32 0, i32 2
%15 = load i8*, i8** %14
%16 = bitcast i8* %15 to i32*
%17 = getelementptr i8, i8* %15, i32 8
store i8* %17, i8** %14
br label %18
18: ; preds = %13, %7
%19 = phi i32* [ %11, %7 ], [ %16, %13 ]
%20 = load i32, i32* %19
%21 = call i32 (i32, i32, ...) bitcast (i32 (...)* @__emit_expression_range to i32 (i32, i32, ...)*)(i32 0, i32 %20)
%22 = load %struct.__va_list_tag*, %struct.__va_list_tag** %2
%23 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %22, i32 0, i32 0
%24 = load i32, i32* %23
%25 = icmp ule i32 %24, 40
br i1 %25, label %26, label %32
26: ; preds = %18
%27 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %22, i32 0, i32 3
%28 = load i8*, i8** %27
%29 = getelementptr i8, i8* %28, i32 %24
%30 = bitcast i8* %29 to i32*
%31 = add i32 %24, 8
store i32 %31, i32* %23
br label %37
32: ; preds = %18
%33 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %22, i32 0, i32 2
%34 = load i8*, i8** %33
%35 = bitcast i8* %34 to i32*
%36 = getelementptr i8, i8* %34, i32 8
store i8* %36, i8** %33
br label %37
37: ; preds = %32, %26
%38 = phi i32* [ %30, %26 ], [ %35, %32 ]
%39 = load i32, i32* %38
%40 = add nsw i32 %39, 1
%41 = call i32 (i32, i32, ...) bitcast (i32 (...)* @__emit_expression_range to i32 (i32, i32, ...)*)(i32 0, i32 %40)
ret void
}

LLVM IR (-O2):
%struct.__va_list_tag = type { i32, i32, i8*, i8* }
define void @test_builtin_va_arg(%struct.__va_list_tag* nocapture %0) {
%2 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %0, i64 0, i32 0
%3 = load i32, i32* %2
%4 = icmp ult i32 %3, 41
br i1 %4, label %5, label %11
5: ; preds = %1
%6 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %0, i64 0, i32 3
%7 = load i8*, i8** %6
%8 = zext i32 %3 to i64
%9 = getelementptr i8, i8* %7, i64 %8
%10 = add nuw nsw i32 %3, 8
store i32 %10, i32* %2
br label %15
11: ; preds = %1
%12 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %0, i64 0, i32 2
%13 = load i8*, i8** %12
%14 = getelementptr i8, i8* %13, i64 8
store i8* %14, i8** %12
br label %15
15: ; preds = %11, %5
%16 = phi i8* [ %9, %5 ], [ %13, %11 ]
%17 = bitcast i8* %16 to i32*
%18 = load i32, i32* %17
%19 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @__emit_expression_range to i32 (i32, i32, ...)*)(i32 0, i32 %18)
%20 = load i32, i32* %2
%21 = icmp ult i32 %20, 41
br i1 %21, label %22, label %28
22: ; preds = %15
%23 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %0, i64 0, i32 3
%24 = load i8*, i8** %23
%25 = zext i32 %20 to i64
%26 = getelementptr i8, i8* %24, i64 %25
%27 = add nuw nsw i32 %20, 8
store i32 %27, i32* %2
br label %32
28: ; preds = %15
%29 = getelementptr inbounds %struct.__va_list_tag, %struct.__va_list_tag* %0, i64 0, i32 2
%30 = load i8*, i8** %29
%31 = getelementptr i8, i8* %30, i64 8
store i8* %31, i8** %29
br label %32
32: ; preds = %28, %22
%33 = phi i8* [ %26, %22 ], [ %30, %28 ]
%34 = bitcast i8* %33 to i32*
%35 = load i32, i32* %34
%36 = add nsw i32 %35, 1
%37 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @__emit_expression_range to i32 (i32, i32, ...)*)(i32 0, i32 %36)
ret void
}