2011-04-13 02:38:32 +02:00
|
|
|
; RUN: llc < %s -mtriple=armv7-none-linux-gnueabi -pre-RA-sched=source | FileCheck %s
|
2010-06-26 20:22:20 +02:00
|
|
|
; Test that we correctly align elements when using va_arg
|
|
|
|
|
2010-07-11 06:01:49 +02:00
|
|
|
; CHECK: test1:
|
|
|
|
; CHECK-NOT: bfc
|
2011-04-13 02:38:32 +02:00
|
|
|
; CHECK: add [[REG:(r[0-9]+)|(lr)]], {{(r[0-9]+)|(lr)}}, #7
|
|
|
|
; CHECK: bfc [[REG]], #0, #3
|
2010-07-11 06:01:49 +02:00
|
|
|
; CHECK-NOT: bfc
|
2010-06-26 20:22:20 +02:00
|
|
|
|
2010-07-11 06:01:49 +02:00
|
|
|
define i64 @test1(i32 %i, ...) nounwind optsize {
|
2010-06-26 20:22:20 +02:00
|
|
|
entry:
|
|
|
|
%g = alloca i8*, align 4
|
|
|
|
%g1 = bitcast i8** %g to i8*
|
|
|
|
call void @llvm.va_start(i8* %g1)
|
|
|
|
%0 = va_arg i8** %g, i64
|
|
|
|
call void @llvm.va_end(i8* %g1)
|
|
|
|
ret i64 %0
|
|
|
|
}
|
|
|
|
|
2010-07-11 06:01:49 +02:00
|
|
|
; CHECK: test2:
|
|
|
|
; CHECK-NOT: bfc
|
2011-04-13 02:38:32 +02:00
|
|
|
; CHECK: add [[REG:(r[0-9]+)|(lr)]], {{(r[0-9]+)|(lr)}}, #7
|
|
|
|
; CHECK: bfc [[REG]], #0, #3
|
2010-07-11 06:01:49 +02:00
|
|
|
; CHECK-NOT: bfc
|
|
|
|
; CHECK: bx lr
|
|
|
|
|
|
|
|
define double @test2(i32 %a, i32 %b, ...) nounwind optsize {
|
|
|
|
entry:
|
|
|
|
%ap = alloca i8*, align 4 ; <i8**> [#uses=3]
|
|
|
|
%ap1 = bitcast i8** %ap to i8* ; <i8*> [#uses=2]
|
|
|
|
call void @llvm.va_start(i8* %ap1)
|
|
|
|
%0 = va_arg i8** %ap, i32 ; <i32> [#uses=0]
|
|
|
|
%1 = va_arg i8** %ap, double ; <double> [#uses=1]
|
|
|
|
call void @llvm.va_end(i8* %ap1)
|
|
|
|
ret double %1
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2010-06-26 20:22:20 +02:00
|
|
|
declare void @llvm.va_start(i8*) nounwind
|
|
|
|
|
|
|
|
declare void @llvm.va_end(i8*) nounwind
|