58 lines · plain
1; Verify that small structures and float arguments are passed in the2; least significant part of a stack slot doubleword.3 4; RUN: llc -verify-machineinstrs < %s | FileCheck %s5 6target datalayout = "E-m:e-i64:64-n32:64"7target triple = "powerpc64-unknown-linux-gnu"8 9%struct.large_arg = type { [8 x i64] }10%struct.small_arg = type { i16, i8 }11 12@gl = common global %struct.large_arg zeroinitializer, align 813@gs = common global %struct.small_arg zeroinitializer, align 214@gf = common global float 0.000000e+00, align 415 16define void @callee1(ptr noalias nocapture sret(%struct.small_arg) %agg.result, ptr byval(%struct.large_arg) nocapture readnone %pad, ptr byval(%struct.small_arg) nocapture readonly %x) {17entry:18 %0 = load i32, ptr %x, align 219 store i32 %0, ptr %agg.result, align 220 ret void21}22; CHECK: @callee123; CHECK: lwz {{[0-9]+}}, 124(1)24; CHECK: blr25 26define void @caller1() {27entry:28 %tmp = alloca %struct.small_arg, align 229 call void @test1(ptr sret(%struct.small_arg) %tmp, ptr byval(%struct.large_arg) @gl, ptr byval(%struct.small_arg) @gs)30 ret void31}32; CHECK: @caller133; CHECK: stw {{[0-9]+}}, 124(1)34; CHECK: bl test135 36declare void @test1(ptr sret(%struct.small_arg), ptr byval(%struct.large_arg), ptr byval(%struct.small_arg))37 38define float @callee2(float %pad1, float %pad2, float %pad3, float %pad4, float %pad5, float %pad6, float %pad7, float %pad8, float %pad9, float %pad10, float %pad11, float %pad12, float %pad13, float %x) {39entry:40 ret float %x41}42; CHECK: @callee243; CHECK: lfs {{[0-9]+}}, 156(1)44; CHECK: blr45 46define void @caller2() {47entry:48 %0 = load float, ptr @gf, align 449 %call = tail call float @test2(float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float %0)50 ret void51}52; CHECK: @caller253; CHECK: stw {{[0-9]+}}, 156(1)54; CHECK: bl test255 56declare float @test2(float, float, float, float, float, float, float, float, float, float, float, float, float, float)57 58