1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4 2; RUN: llc < %s -mtriple=armv7-linux-gnueabihf -o - | FileCheck %s 3; RUN: llc < %s -mtriple=thumbv7em-none-eabi -mcpu=cortex-m4 | FileCheck %s --check-prefix=CHECK-M4F 4 5target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64" 6 7define arm_aapcs_vfpcc void @test_1float({ float } %a) { 8; CHECK-LABEL: test_1float: 9; CHECK: @ %bb.0: 10; CHECK-NEXT: .save {r11, lr} 11; CHECK-NEXT: push {r11, lr} 12; CHECK-NEXT: vmov.f32 s0, #1.000000e+00 13; CHECK-NEXT: bl test_1float 14; CHECK-NEXT: pop {r11, pc} 15; 16; CHECK-M4F-LABEL: test_1float: 17; CHECK-M4F: @ %bb.0: 18; CHECK-M4F-NEXT: .save {r7, lr} 19; CHECK-M4F-NEXT: push {r7, lr} 20; CHECK-M4F-NEXT: vmov.f32 s0, #1.000000e+00 21; CHECK-M4F-NEXT: bl test_1float 22; CHECK-M4F-NEXT: pop {r7, pc} 23 call arm_aapcs_vfpcc void @test_1float({ float } { float 1.0 }) 24 ret void 25} 26 27define arm_aapcs_vfpcc void @test_2float({ float, float } %a) { 28; CHECK-LABEL: test_2float: 29; CHECK: @ %bb.0: 30; CHECK-NEXT: .save {r11, lr} 31; CHECK-NEXT: push {r11, lr} 32; CHECK-NEXT: vmov.f32 s0, #1.000000e+00 33; CHECK-NEXT: vmov.f32 s1, #2.000000e+00 34; CHECK-NEXT: bl test_2float 35; CHECK-NEXT: pop {r11, pc} 36; 37; CHECK-M4F-LABEL: test_2float: 38; CHECK-M4F: @ %bb.0: 39; CHECK-M4F-NEXT: .save {r7, lr} 40; CHECK-M4F-NEXT: push {r7, lr} 41; CHECK-M4F-NEXT: vmov.f32 s0, #1.000000e+00 42; CHECK-M4F-NEXT: vmov.f32 s1, #2.000000e+00 43; CHECK-M4F-NEXT: bl test_2float 44; CHECK-M4F-NEXT: pop {r7, pc} 45 call arm_aapcs_vfpcc void @test_2float({ float, float } { float 1.0, float 2.0 }) 46 ret void 47} 48 49define arm_aapcs_vfpcc void @test_3float({ float, float, float } %a) { 50; CHECK-LABEL: test_3float: 51; CHECK: @ %bb.0: 52; CHECK-NEXT: .save {r11, lr} 53; CHECK-NEXT: push {r11, lr} 54; CHECK-NEXT: vmov.f32 s0, #1.000000e+00 55; CHECK-NEXT: vmov.f32 s1, #2.000000e+00 56; CHECK-NEXT: vmov.f32 s2, #3.000000e+00 57; CHECK-NEXT: bl test_3float 58; CHECK-NEXT: pop {r11, pc} 59; 60; CHECK-M4F-LABEL: test_3float: 61; CHECK-M4F: @ %bb.0: 62; CHECK-M4F-NEXT: .save {r7, lr} 63; CHECK-M4F-NEXT: push {r7, lr} 64; CHECK-M4F-NEXT: vmov.f32 s0, #1.000000e+00 65; CHECK-M4F-NEXT: vmov.f32 s1, #2.000000e+00 66; CHECK-M4F-NEXT: vmov.f32 s2, #3.000000e+00 67; CHECK-M4F-NEXT: bl test_3float 68; CHECK-M4F-NEXT: pop {r7, pc} 69 call arm_aapcs_vfpcc void @test_3float({ float, float, float } { float 1.0, float 2.0, float 3.0 }) 70 ret void 71} 72 73define arm_aapcs_vfpcc void @test_1double({ double } %a) { 74; CHECK-LABEL: test_1double: 75; CHECK: @ %bb.0: 76; CHECK-NEXT: .save {r11, lr} 77; CHECK-NEXT: push {r11, lr} 78; CHECK-NEXT: vmov.f64 d0, #1.000000e+00 79; CHECK-NEXT: bl test_1double 80; CHECK-NEXT: pop {r11, pc} 81; 82; CHECK-M4F-LABEL: test_1double: 83; CHECK-M4F: @ %bb.0: 84; CHECK-M4F-NEXT: .save {r7, lr} 85; CHECK-M4F-NEXT: push {r7, lr} 86; CHECK-M4F-NEXT: vldr d0, .LCPI3_0 87; CHECK-M4F-NEXT: bl test_1double 88; CHECK-M4F-NEXT: pop {r7, pc} 89; CHECK-M4F-NEXT: .p2align 3 90; CHECK-M4F-NEXT: @ %bb.1: 91; CHECK-M4F-NEXT: .LCPI3_0: 92; CHECK-M4F-NEXT: .long 0 @ double 1 93; CHECK-M4F-NEXT: .long 1072693248 94 call arm_aapcs_vfpcc void @test_1double({ double } { double 1.0 }) 95 ret void 96} 97 98; Final double argument might be put in s15 & [sp] if we're careless. It should 99; go all on the stack. 100define arm_aapcs_vfpcc void @test_1double_nosplit([4 x float], [4 x double], [3 x float], double %a) { 101; CHECK-LABEL: test_1double_nosplit: 102; CHECK: @ %bb.0: 103; CHECK-NEXT: .save {r11, lr} 104; CHECK-NEXT: push {r11, lr} 105; CHECK-NEXT: .pad #8 106; CHECK-NEXT: sub sp, sp, #8 107; CHECK-NEXT: movw r1, #0 108; CHECK-NEXT: mov r0, #0 109; CHECK-NEXT: movt r1, #16368 110; CHECK-NEXT: strd r0, r1, [sp] 111; CHECK-NEXT: bl test_1double_nosplit 112; CHECK-NEXT: add sp, sp, #8 113; CHECK-NEXT: pop {r11, pc} 114; 115; CHECK-M4F-LABEL: test_1double_nosplit: 116; CHECK-M4F: @ %bb.0: 117; CHECK-M4F-NEXT: .save {r7, lr} 118; CHECK-M4F-NEXT: push {r7, lr} 119; CHECK-M4F-NEXT: .pad #8 120; CHECK-M4F-NEXT: sub sp, #8 121; CHECK-M4F-NEXT: movs r0, #0 122; CHECK-M4F-NEXT: movt r0, #16368 123; CHECK-M4F-NEXT: movs r1, #0 124; CHECK-M4F-NEXT: strd r1, r0, [sp] 125; CHECK-M4F-NEXT: bl test_1double_nosplit 126; CHECK-M4F-NEXT: add sp, #8 127; CHECK-M4F-NEXT: pop {r7, pc} 128 call arm_aapcs_vfpcc void @test_1double_nosplit([4 x float] undef, [4 x double] undef, [3 x float] undef, double 1.0) 129 ret void 130} 131 132; Final double argument might go at [sp, #4] if we're careless. Should go at 133; [sp, #8] to preserve alignment. 134define arm_aapcs_vfpcc void @test_1double_misaligned([4 x double], [4 x double], float, double) { 135; CHECK-LABEL: test_1double_misaligned: 136; CHECK: @ %bb.0: 137; CHECK-NEXT: .save {r11, lr} 138; CHECK-NEXT: push {r11, lr} 139; CHECK-NEXT: .pad #16 140; CHECK-NEXT: sub sp, sp, #16 141; CHECK-NEXT: movw r1, #0 142; CHECK-NEXT: mov r0, #0 143; CHECK-NEXT: movt r1, #16368 144; CHECK-NEXT: strd r0, r1, [sp, #8] 145; CHECK-NEXT: bl test_1double_misaligned 146; CHECK-NEXT: add sp, sp, #16 147; CHECK-NEXT: pop {r11, pc} 148; 149; CHECK-M4F-LABEL: test_1double_misaligned: 150; CHECK-M4F: @ %bb.0: 151; CHECK-M4F-NEXT: .save {r7, lr} 152; CHECK-M4F-NEXT: push {r7, lr} 153; CHECK-M4F-NEXT: .pad #16 154; CHECK-M4F-NEXT: sub sp, #16 155; CHECK-M4F-NEXT: movs r0, #0 156; CHECK-M4F-NEXT: movt r0, #16368 157; CHECK-M4F-NEXT: movs r1, #0 158; CHECK-M4F-NEXT: strd r1, r0, [sp, #8] 159; CHECK-M4F-NEXT: bl test_1double_misaligned 160; CHECK-M4F-NEXT: add sp, #16 161; CHECK-M4F-NEXT: pop {r7, pc} 162 call arm_aapcs_vfpcc void @test_1double_misaligned([4 x double] undef, [4 x double] undef, float undef, double 1.0) 163 164 ret void 165} 166