[llvm] 609d980 - [ARM] Regenerate aapcs-hfa-code.ll
Simon Pilgrim via llvm-commits
llvm-commits at lists.llvm.org
Wed Dec 6 04:09:46 PST 2023
Author: Simon Pilgrim
Date: 2023-12-06T12:09:30Z
New Revision: 609d980b3f11d844e50d39fb9266134ddb6cce5b
URL: https://github.com/llvm/llvm-project/commit/609d980b3f11d844e50d39fb9266134ddb6cce5b
DIFF: https://github.com/llvm/llvm-project/commit/609d980b3f11d844e50d39fb9266134ddb6cce5b.diff
LOG: [ARM] Regenerate aapcs-hfa-code.ll
Added:
Modified:
llvm/test/CodeGen/ARM/aapcs-hfa-code.ll
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/ARM/aapcs-hfa-code.ll b/llvm/test/CodeGen/ARM/aapcs-hfa-code.ll
index 8d31485175af2..e32f19ef67452 100644
--- a/llvm/test/CodeGen/ARM/aapcs-hfa-code.ll
+++ b/llvm/test/CodeGen/ARM/aapcs-hfa-code.ll
@@ -1,65 +1,96 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4
; RUN: llc < %s -mtriple=armv7-linux-gnueabihf -o - | FileCheck %s
; RUN: llc < %s -mtriple=thumbv7em-none-eabi -mcpu=cortex-m4 | FileCheck %s --check-prefix=CHECK-M4F
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
define arm_aapcs_vfpcc void @test_1float({ float } %a) {
- call arm_aapcs_vfpcc void @test_1float({ float } { float 1.0 })
- ret void
-
; CHECK-LABEL: test_1float:
-; CHECK-DAG: vmov.f32 s0, #1.{{0+}}e+00
-; CHECK: bl test_1float
-
+; CHECK: @ %bb.0:
+; CHECK-NEXT: .save {r11, lr}
+; CHECK-NEXT: push {r11, lr}
+; CHECK-NEXT: vmov.f32 s0, #1.000000e+00
+; CHECK-NEXT: bl test_1float
+; CHECK-NEXT: pop {r11, pc}
+;
; CHECK-M4F-LABEL: test_1float:
-; CHECK-M4F-DAG: vmov.f32 s0, #1.{{0+}}e+00
-; CHECK-M4F: bl test_1float
+; CHECK-M4F: @ %bb.0:
+; CHECK-M4F-NEXT: .save {r7, lr}
+; CHECK-M4F-NEXT: push {r7, lr}
+; CHECK-M4F-NEXT: vmov.f32 s0, #1.000000e+00
+; CHECK-M4F-NEXT: bl test_1float
+; CHECK-M4F-NEXT: pop {r7, pc}
+ call arm_aapcs_vfpcc void @test_1float({ float } { float 1.0 })
+ ret void
}
define arm_aapcs_vfpcc void @test_2float({ float, float } %a) {
- call arm_aapcs_vfpcc void @test_2float({ float, float } { float 1.0, float 2.0 })
- ret void
-
; CHECK-LABEL: test_2float:
-; CHECK-DAG: vmov.f32 s0, #1.{{0+}}e+00
-; CHECK-DAG: vmov.f32 s1, #2.{{0+}}e+00
-; CHECK: bl test_2float
-
+; CHECK: @ %bb.0:
+; CHECK-NEXT: .save {r11, lr}
+; CHECK-NEXT: push {r11, lr}
+; CHECK-NEXT: vmov.f32 s0, #1.000000e+00
+; CHECK-NEXT: vmov.f32 s1, #2.000000e+00
+; CHECK-NEXT: bl test_2float
+; CHECK-NEXT: pop {r11, pc}
+;
; CHECK-M4F-LABEL: test_2float:
-; CHECK-M4F-DAG: vmov.f32 s0, #1.{{0+}}e+00
-; CHECK-M4F-DAG: vmov.f32 s1, #2.{{0+}}e+00
-; CHECK-M4F: bl test_2float
+; CHECK-M4F: @ %bb.0:
+; CHECK-M4F-NEXT: .save {r7, lr}
+; CHECK-M4F-NEXT: push {r7, lr}
+; CHECK-M4F-NEXT: vmov.f32 s0, #1.000000e+00
+; CHECK-M4F-NEXT: vmov.f32 s1, #2.000000e+00
+; CHECK-M4F-NEXT: bl test_2float
+; CHECK-M4F-NEXT: pop {r7, pc}
+ call arm_aapcs_vfpcc void @test_2float({ float, float } { float 1.0, float 2.0 })
+ ret void
}
define arm_aapcs_vfpcc void @test_3float({ float, float, float } %a) {
- call arm_aapcs_vfpcc void @test_3float({ float, float, float } { float 1.0, float 2.0, float 3.0 })
- ret void
-
; CHECK-LABEL: test_3float:
-; CHECK-DAG: vmov.f32 s0, #1.{{0+}}e+00
-; CHECK-DAG: vmov.f32 s1, #2.{{0+}}e+00
-; CHECK-DAG: vmov.f32 s2, #3.{{0+}}e+00
-; CHECK: bl test_3float
-
+; CHECK: @ %bb.0:
+; CHECK-NEXT: .save {r11, lr}
+; CHECK-NEXT: push {r11, lr}
+; CHECK-NEXT: vmov.f32 s0, #1.000000e+00
+; CHECK-NEXT: vmov.f32 s1, #2.000000e+00
+; CHECK-NEXT: vmov.f32 s2, #3.000000e+00
+; CHECK-NEXT: bl test_3float
+; CHECK-NEXT: pop {r11, pc}
+;
; CHECK-M4F-LABEL: test_3float:
-; CHECK-M4F-DAG: vmov.f32 s0, #1.{{0+}}e+00
-; CHECK-M4F-DAG: vmov.f32 s1, #2.{{0+}}e+00
-; CHECK-M4F-DAG: vmov.f32 s2, #3.{{0+}}e+00
-; CHECK-M4F: bl test_3float
+; CHECK-M4F: @ %bb.0:
+; CHECK-M4F-NEXT: .save {r7, lr}
+; CHECK-M4F-NEXT: push {r7, lr}
+; CHECK-M4F-NEXT: vmov.f32 s0, #1.000000e+00
+; CHECK-M4F-NEXT: vmov.f32 s1, #2.000000e+00
+; CHECK-M4F-NEXT: vmov.f32 s2, #3.000000e+00
+; CHECK-M4F-NEXT: bl test_3float
+; CHECK-M4F-NEXT: pop {r7, pc}
+ call arm_aapcs_vfpcc void @test_3float({ float, float, float } { float 1.0, float 2.0, float 3.0 })
+ ret void
}
define arm_aapcs_vfpcc void @test_1double({ double } %a) {
; CHECK-LABEL: test_1double:
-; CHECK-DAG: vmov.f64 d0, #1.{{0+}}e+00
-; CHECK: bl test_1double
-
+; CHECK: @ %bb.0:
+; CHECK-NEXT: .save {r11, lr}
+; CHECK-NEXT: push {r11, lr}
+; CHECK-NEXT: vmov.f64 d0, #1.000000e+00
+; CHECK-NEXT: bl test_1double
+; CHECK-NEXT: pop {r11, pc}
+;
; CHECK-M4F-LABEL: test_1double:
-; CHECK-M4F: vldr d0, [[CP_LABEL:.*]]
-; CHECK-M4F: bl test_1double
-; CHECK-M4F: [[CP_LABEL]]
-; CHECK-M4F-NEXT: .long 0
-; CHECK-M4F-NEXT: .long 1072693248
-
+; CHECK-M4F: @ %bb.0:
+; CHECK-M4F-NEXT: .save {r7, lr}
+; CHECK-M4F-NEXT: push {r7, lr}
+; CHECK-M4F-NEXT: vldr d0, .LCPI3_0
+; CHECK-M4F-NEXT: bl test_1double
+; CHECK-M4F-NEXT: pop {r7, pc}
+; CHECK-M4F-NEXT: .p2align 3
+; CHECK-M4F-NEXT: @ %bb.1:
+; CHECK-M4F-NEXT: .LCPI3_0:
+; CHECK-M4F-NEXT: .long 0 @ double 1
+; CHECK-M4F-NEXT: .long 1072693248
call arm_aapcs_vfpcc void @test_1double({ double } { double 1.0 })
ret void
}
@@ -68,18 +99,32 @@ define arm_aapcs_vfpcc void @test_1double({ double } %a) {
; go all on the stack.
define arm_aapcs_vfpcc void @test_1double_nosplit([4 x float], [4 x double], [3 x float], double %a) {
; CHECK-LABEL: test_1double_nosplit:
-; CHECK-DAG: mov [[ONELO:r[0-9]+]], #0
-; CHECK-DAG: movw [[ONEHI:r[0-9]+]], #0
-; CHECK-DAG: movt [[ONEHI]], #16368
-; CHECK: strd [[ONELO]], [[ONEHI]], [sp]
-; CHECK: bl test_1double_nosplit
-
+; CHECK: @ %bb.0:
+; CHECK-NEXT: .save {r11, lr}
+; CHECK-NEXT: push {r11, lr}
+; CHECK-NEXT: .pad #8
+; CHECK-NEXT: sub sp, sp, #8
+; CHECK-NEXT: movw r1, #0
+; CHECK-NEXT: mov r0, #0
+; CHECK-NEXT: movt r1, #16368
+; CHECK-NEXT: strd r0, r1, [sp]
+; CHECK-NEXT: bl test_1double_nosplit
+; CHECK-NEXT: add sp, sp, #8
+; CHECK-NEXT: pop {r11, pc}
+;
; CHECK-M4F-LABEL: test_1double_nosplit:
-; CHECK-M4F: movs [[ONEHI:r[0-9]+]], #0
-; CHECK-M4F: movt [[ONEHI]], #16368
-; CHECK-M4F: movs [[ONELO:r[0-9]+]], #0
-; CHECK-M4F: strd [[ONELO]], [[ONEHI]], [sp]
-; CHECK-M4F: bl test_1double_nosplit
+; CHECK-M4F: @ %bb.0:
+; CHECK-M4F-NEXT: .save {r7, lr}
+; CHECK-M4F-NEXT: push {r7, lr}
+; CHECK-M4F-NEXT: .pad #8
+; CHECK-M4F-NEXT: sub sp, #8
+; CHECK-M4F-NEXT: movs r0, #0
+; CHECK-M4F-NEXT: movt r0, #16368
+; CHECK-M4F-NEXT: movs r1, #0
+; CHECK-M4F-NEXT: strd r1, r0, [sp]
+; CHECK-M4F-NEXT: bl test_1double_nosplit
+; CHECK-M4F-NEXT: add sp, #8
+; CHECK-M4F-NEXT: pop {r7, pc}
call arm_aapcs_vfpcc void @test_1double_nosplit([4 x float] undef, [4 x double] undef, [3 x float] undef, double 1.0)
ret void
}
@@ -87,20 +132,34 @@ define arm_aapcs_vfpcc void @test_1double_nosplit([4 x float], [4 x double], [3
; Final double argument might go at [sp, #4] if we're careless. Should go at
; [sp, #8] to preserve alignment.
define arm_aapcs_vfpcc void @test_1double_misaligned([4 x double], [4 x double], float, double) {
- call arm_aapcs_vfpcc void @test_1double_misaligned([4 x double] undef, [4 x double] undef, float undef, double 1.0)
-
; CHECK-LABEL: test_1double_misaligned:
-; CHECK-DAG: movw [[ONEHI:r[0-9]+]], #0
-; CHECK-DAG: mov [[ONELO:r[0-9]+]], #0
-; CHECK-DAG: movt [[ONEHI]], #16368
-; CHECK-DAG: strd [[ONELO]], [[ONEHI]], [sp, #8]
-
+; CHECK: @ %bb.0:
+; CHECK-NEXT: .save {r11, lr}
+; CHECK-NEXT: push {r11, lr}
+; CHECK-NEXT: .pad #16
+; CHECK-NEXT: sub sp, sp, #16
+; CHECK-NEXT: movw r1, #0
+; CHECK-NEXT: mov r0, #0
+; CHECK-NEXT: movt r1, #16368
+; CHECK-NEXT: strd r0, r1, [sp, #8]
+; CHECK-NEXT: bl test_1double_misaligned
+; CHECK-NEXT: add sp, sp, #16
+; CHECK-NEXT: pop {r11, pc}
+;
; CHECK-M4F-LABEL: test_1double_misaligned:
-; CHECK-M4F: movs [[ONEHI:r[0-9]+]], #0
-; CHECK-M4F: movt [[ONEHI]], #16368
-; CHECK-M4F: movs [[ONELO:r[0-9]+]], #0
-; CHECK-M4F: strd [[ONELO]], [[ONEHI]], [sp, #8]
-; CHECK-M4F: bl test_1double_misaligned
+; CHECK-M4F: @ %bb.0:
+; CHECK-M4F-NEXT: .save {r7, lr}
+; CHECK-M4F-NEXT: push {r7, lr}
+; CHECK-M4F-NEXT: .pad #16
+; CHECK-M4F-NEXT: sub sp, #16
+; CHECK-M4F-NEXT: movs r0, #0
+; CHECK-M4F-NEXT: movt r0, #16368
+; CHECK-M4F-NEXT: movs r1, #0
+; CHECK-M4F-NEXT: strd r1, r0, [sp, #8]
+; CHECK-M4F-NEXT: bl test_1double_misaligned
+; CHECK-M4F-NEXT: add sp, #16
+; CHECK-M4F-NEXT: pop {r7, pc}
+ call arm_aapcs_vfpcc void @test_1double_misaligned([4 x double] undef, [4 x double] undef, float undef, double 1.0)
ret void
}
More information about the llvm-commits
mailing list