| ; 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 |
| } |
| |