Fixed some bugs in register stack pass.
[llvm/zpu.git] / test / CodeGen / CellSPU / call.ll
blob559b266e59df369ed40fca3ef216fe82663c4be7
1 ; RUN: llc < %s -march=cellspu -regalloc=linearscan > %t1.s
2 ; RUN: grep brsl    %t1.s | count 1
3 ; RUN: grep brasl   %t1.s | count 2
4 ; RUN: grep stqd    %t1.s | count 82
5 ; RUN: llc < %s -march=cellspu | FileCheck %s
7 target datalayout = "E-p:32:32:128-f64:64:128-f32:32:128-i64:32:128-i32:32:128-i16:16:128-i8:8:128-i1:8:128-a0:0:128-v128:128:128-s0:128:128"
8 target triple = "spu"
10 define i32 @main() {
11 entry:
12   %a = call i32 @stub_1(i32 1, float 0x400921FA00000000)
13   call void @extern_stub_1(i32 %a, i32 4)
14   ret i32 %a
17 declare void @extern_stub_1(i32, i32)
19 define i32 @stub_1(i32 %x, float %y) {
20  ; CHECK: il $3, 0
21  ; CHECK: bi $lr 
22 entry:
23   ret i32 0
26 ; vararg call: ensure that all caller-saved registers are spilled to the
27 ; stack:
28 define i32 @stub_2(...) {
29 entry:
30   ret i32 0
33 ; check that struct is passed in r3->
34 ; assert this by changing the second field in the struct
35 %0 = type { i32, i32, i32 }
36 declare %0 @callee()
37 define %0 @test_structret()
39 ;CHECK: stqd    $lr, 16($sp)
40 ;CHECK: stqd    $sp, -48($sp)
41 ;CHECK: ai      $sp, $sp, -48
42 ;CHECK: brasl   $lr, callee
43   %rv = call %0 @callee()
44 ;CHECK: ai      $4, $4, 1
45 ;CHECK: lqd     $lr, 64($sp)
46 ;CHECK: ai      $sp, $sp, 48
47 ;CHECK: bi      $lr
48   %oldval = extractvalue %0 %rv, 1
49   %newval = add i32 %oldval,1
50   %newrv = insertvalue %0 %rv, i32 %newval, 1
51   ret %0 %newrv