1target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v128:128:128-n32:64"
2target triple = "powerpc64-unknown-linux-gnu"
3; RUN: llc -verify-machineinstrs < %s | FileCheck %s
4
5define i32 @intvaarg(i32 %a, ...) nounwind {
6entry:
7  %va = alloca i8*, align 8
8  %va1 = bitcast i8** %va to i8*
9  call void @llvm.va_start(i8* %va1)
10  %0 = va_arg i8** %va, i32
11  %sub = sub nsw i32 %a, %0
12  ret i32 %sub
13}
14
15declare void @llvm.va_start(i8*) nounwind
16
17; CHECK: @intvaarg
18; Make sure that the va pointer is incremented by 8 (not 4).
19; CHECK: addi{{.*}}, 1, 64
20
21