| ; RUN: llc < %s -march=cellspu -regalloc=linearscan > %t1.s | |
| ; RUN: grep brsl %t1.s | count 1 | |
| ; RUN: grep brasl %t1.s | count 2 | |
| ; RUN: grep stqd %t1.s | count 82 | |
| ; RUN: llc < %s -march=cellspu | FileCheck %s | |
| 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" | |
| target triple = "spu" | |
| define i32 @main() { | |
| entry: | |
| %a = call i32 @stub_1(i32 1, float 0x400921FA00000000) | |
| call void @extern_stub_1(i32 %a, i32 4) | |
| ret i32 %a | |
| } | |
| declare void @extern_stub_1(i32, i32) | |
| define i32 @stub_1(i32 %x, float %y) { | |
| ; CHECK: il $3, 0 | |
| ; CHECK: bi $lr | |
| entry: | |
| ret i32 0 | |
| } | |
| ; vararg call: ensure that all caller-saved registers are spilled to the | |
| ; stack: | |
| define i32 @stub_2(...) { | |
| entry: | |
| ret i32 0 | |
| } | |
| ; check that struct is passed in r3-> | |
| ; assert this by changing the second field in the struct | |
| %0 = type { i32, i32, i32 } | |
| declare %0 @callee() | |
| define %0 @test_structret() | |
| { | |
| ;CHECK: stqd $lr, 16($sp) | |
| ;CHECK: stqd $sp, -48($sp) | |
| ;CHECK: ai $sp, $sp, -48 | |
| ;CHECK: brasl $lr, callee | |
| %rv = call %0 @callee() | |
| ;CHECK: ai $4, $4, 1 | |
| ;CHECK: lqd $lr, 64($sp) | |
| ;CHECK: ai $sp, $sp, 48 | |
| ;CHECK: bi $lr | |
| %oldval = extractvalue %0 %rv, 1 | |
| %newval = add i32 %oldval,1 | |
| %newrv = insertvalue %0 %rv, i32 %newval, 1 | |
| ret %0 %newrv | |
| } | |