shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
llvm-project/llvm/test/CodeGen/AArch64/zero-call-used-regs.ll
Jameson Nash 082251bba4
[AArch64] fix trampoline implementation: use X15 (#126743) 
AAPCS64 reserves any of X9-X15 for a compiler to choose to use for this
purpose, and says not to use X16 or X18 like GCC (and the previous
implementation) chose to use. The X18 register may need to get used by
the kernel in some circumstances, as specified by the platform ABI, so
it is generally an unwise choice. Simply choosing a different register
fixes the problem of this being broken on any platform that actually
follows the platform ABI (which is all of them except EABI, if I am
reading this linux kernel bug correctly
https://lkml2.uits.iu.edu/hypermail/linux/kernel/2001.2/01502.html). As
a side benefit, also generate slightly better code and avoids needing
the compiler-rt to be present. I did that by following the XCore
implementation instead of PPC (although in hindsight, following the
RISCV might have been slightly more readable). That X18 is wrong to use
for this purpose has been known for many years (e.g.
https://www.mail-archive.com/gcc@gcc.gnu.org/msg76934.html) and also
known that fixing this to use one of the correct registers is not an ABI
break, since this only appears inside of a translation unit. Some of the
other temporary registers (e.g. X9) are already reserved inside llvm for
internal use as a generic temporary register in the prologue before
saving registers, while X15 was already used in rare cases as a scratch
register in the prologue as well, so I felt that seemed the most logical
choice to choose here.
2025-06-11 21:49:01 -04:00

795 lines
29 KiB
LLVM
Raw Permalink Blame History

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -verify-machineinstrs -mtriple=aarch64-unknown-unknown | FileCheck %s --check-prefixes=CHECK,DEFAULT
; RUN: llc < %s -verify-machineinstrs -mtriple=aarch64-unknown-unknown -mattr=+sve | FileCheck %s --check-prefixes=CHECK,SVE-OR-SME
; RUN: llc -mattr=+sme -force-streaming < %s | FileCheck %s --check-prefixes=CHECK,SVE-OR-SME
; RUN: llc -force-streaming-compatible < %s | FileCheck %s --check-prefixes=CHECK,STREAMING-COMPAT
target triple = "aarch64-unknown-linux-gnu"
@result = dso_local global i32 0, align 4
define dso_local i32 @skip(i32 noundef %a, i32 noundef %b, i32 noundef %c) local_unnamed_addr #0 "zero-call-used-regs"="skip" {
; CHECK-LABEL: skip:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: mul w8, w1, w0
; CHECK-NEXT: orr w0, w8, w2
; CHECK-NEXT: ret
entry:
%mul = mul nsw i32 %b, %a
%or = or i32 %mul, %c
ret i32 %or
}
define dso_local i32 @used_gpr_arg(i32 noundef %a, i32 noundef %b, i32 noundef %c) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="used-gpr-arg" {
; CHECK-LABEL: used_gpr_arg:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: mul w8, w1, w0
; CHECK-NEXT: orr w0, w8, w2
; CHECK-NEXT: mov x1, #0 // =0x0
; CHECK-NEXT: mov x2, #0 // =0x0
; CHECK-NEXT: ret
entry:
%mul = mul nsw i32 %b, %a
%or = or i32 %mul, %c
ret i32 %or
}
define dso_local i32 @used_gpr(i32 noundef %a, i32 noundef %b, i32 noundef %c) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="used-gpr" {
; CHECK-LABEL: used_gpr:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: mul w8, w1, w0
; CHECK-NEXT: orr w0, w8, w2
; CHECK-NEXT: mov x1, #0 // =0x0
; CHECK-NEXT: mov x2, #0 // =0x0
; CHECK-NEXT: mov x8, #0 // =0x0
; CHECK-NEXT: ret
entry:
%mul = mul nsw i32 %b, %a
%or = or i32 %mul, %c
ret i32 %or
}
define dso_local i32 @used_arg(i32 noundef %a, i32 noundef %b, i32 noundef %c) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="used-arg" {
; CHECK-LABEL: used_arg:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: mul w8, w1, w0
; CHECK-NEXT: orr w0, w8, w2
; CHECK-NEXT: mov x1, #0 // =0x0
; CHECK-NEXT: mov x2, #0 // =0x0
; CHECK-NEXT: ret
entry:
%mul = mul nsw i32 %b, %a
%or = or i32 %mul, %c
ret i32 %or
}
define dso_local i32 @used(i32 noundef %a, i32 noundef %b, i32 noundef %c) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="used" {
; CHECK-LABEL: used:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: mul w8, w1, w0
; CHECK-NEXT: orr w0, w8, w2
; CHECK-NEXT: mov x1, #0 // =0x0
; CHECK-NEXT: mov x2, #0 // =0x0
; CHECK-NEXT: mov x8, #0 // =0x0
; CHECK-NEXT: ret
entry:
%mul = mul nsw i32 %b, %a
%or = or i32 %mul, %c
ret i32 %or
}
define dso_local i32 @all_gpr_arg(i32 noundef %a, i32 noundef %b, i32 noundef %c) local_unnamed_addr #0 "zero-call-used-regs"="all-gpr-arg" {
; CHECK-LABEL: all_gpr_arg:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: mul w8, w1, w0
; CHECK-NEXT: mov x1, #0 // =0x0
; CHECK-NEXT: mov x3, #0 // =0x0
; CHECK-NEXT: mov x4, #0 // =0x0
; CHECK-NEXT: mov x5, #0 // =0x0
; CHECK-NEXT: mov x6, #0 // =0x0
; CHECK-NEXT: mov x7, #0 // =0x0
; CHECK-NEXT: mov x15, #0 // =0x0
; CHECK-NEXT: orr w0, w8, w2
; CHECK-NEXT: mov x2, #0 // =0x0
; CHECK-NEXT: mov x8, #0 // =0x0
; CHECK-NEXT: ret
entry:
%mul = mul nsw i32 %b, %a
%or = or i32 %mul, %c
ret i32 %or
}
define dso_local i32 @all_gpr(i32 noundef %a, i32 noundef %b, i32 noundef %c) local_unnamed_addr #0 "zero-call-used-regs"="all-gpr" {
; CHECK-LABEL: all_gpr:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: mul w8, w1, w0
; CHECK-NEXT: mov x1, #0 // =0x0
; CHECK-NEXT: mov x3, #0 // =0x0
; CHECK-NEXT: mov x4, #0 // =0x0
; CHECK-NEXT: mov x5, #0 // =0x0
; CHECK-NEXT: mov x6, #0 // =0x0
; CHECK-NEXT: mov x7, #0 // =0x0
; CHECK-NEXT: mov x9, #0 // =0x0
; CHECK-NEXT: mov x10, #0 // =0x0
; CHECK-NEXT: orr w0, w8, w2
; CHECK-NEXT: mov x2, #0 // =0x0
; CHECK-NEXT: mov x8, #0 // =0x0
; CHECK-NEXT: mov x11, #0 // =0x0
; CHECK-NEXT: mov x12, #0 // =0x0
; CHECK-NEXT: mov x13, #0 // =0x0
; CHECK-NEXT: mov x14, #0 // =0x0
; CHECK-NEXT: mov x15, #0 // =0x0
; CHECK-NEXT: mov x16, #0 // =0x0
; CHECK-NEXT: mov x17, #0 // =0x0
; CHECK-NEXT: mov x18, #0 // =0x0
; CHECK-NEXT: ret
entry:
%mul = mul nsw i32 %b, %a
%or = or i32 %mul, %c
ret i32 %or
}
define dso_local i32 @all_arg(i32 noundef %a, i32 noundef %b, i32 noundef %c) local_unnamed_addr #0 "zero-call-used-regs"="all-arg" {
; DEFAULT-LABEL: all_arg:
; DEFAULT: // %bb.0: // %entry
; DEFAULT-NEXT: mul w8, w1, w0
; DEFAULT-NEXT: mov x1, #0 // =0x0
; DEFAULT-NEXT: mov x3, #0 // =0x0
; DEFAULT-NEXT: mov x4, #0 // =0x0
; DEFAULT-NEXT: mov x5, #0 // =0x0
; DEFAULT-NEXT: mov x6, #0 // =0x0
; DEFAULT-NEXT: mov x7, #0 // =0x0
; DEFAULT-NEXT: mov x15, #0 // =0x0
; DEFAULT-NEXT: movi v0.2d, #0000000000000000
; DEFAULT-NEXT: orr w0, w8, w2
; DEFAULT-NEXT: mov x2, #0 // =0x0
; DEFAULT-NEXT: mov x8, #0 // =0x0
; DEFAULT-NEXT: movi v1.2d, #0000000000000000
; DEFAULT-NEXT: movi v2.2d, #0000000000000000
; DEFAULT-NEXT: movi v3.2d, #0000000000000000
; DEFAULT-NEXT: movi v4.2d, #0000000000000000
; DEFAULT-NEXT: movi v5.2d, #0000000000000000
; DEFAULT-NEXT: movi v6.2d, #0000000000000000
; DEFAULT-NEXT: movi v7.2d, #0000000000000000
; DEFAULT-NEXT: ret
;
; SVE-OR-SME-LABEL: all_arg:
; SVE-OR-SME: // %bb.0: // %entry
; SVE-OR-SME-NEXT: mul w8, w1, w0
; SVE-OR-SME-NEXT: mov x1, #0 // =0x0
; SVE-OR-SME-NEXT: mov x3, #0 // =0x0
; SVE-OR-SME-NEXT: mov x4, #0 // =0x0
; SVE-OR-SME-NEXT: mov x5, #0 // =0x0
; SVE-OR-SME-NEXT: mov x6, #0 // =0x0
; SVE-OR-SME-NEXT: mov x7, #0 // =0x0
; SVE-OR-SME-NEXT: mov x15, #0 // =0x0
; SVE-OR-SME-NEXT: mov z0.d, #0 // =0x0
; SVE-OR-SME-NEXT: orr w0, w8, w2
; SVE-OR-SME-NEXT: mov x2, #0 // =0x0
; SVE-OR-SME-NEXT: mov x8, #0 // =0x0
; SVE-OR-SME-NEXT: mov z1.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z2.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z3.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z4.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z5.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z6.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z7.d, #0 // =0x0
; SVE-OR-SME-NEXT: pfalse p0.b
; SVE-OR-SME-NEXT: pfalse p1.b
; SVE-OR-SME-NEXT: pfalse p2.b
; SVE-OR-SME-NEXT: pfalse p3.b
; SVE-OR-SME-NEXT: ret
;
; STREAMING-COMPAT-LABEL: all_arg:
; STREAMING-COMPAT: // %bb.0: // %entry
; STREAMING-COMPAT-NEXT: mul w8, w1, w0
; STREAMING-COMPAT-NEXT: mov x1, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x3, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x4, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x5, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x6, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x7, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x15, #0 // =0x0
; STREAMING-COMPAT-NEXT: fmov d0, xzr
; STREAMING-COMPAT-NEXT: orr w0, w8, w2
; STREAMING-COMPAT-NEXT: mov x2, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x8, #0 // =0x0
; STREAMING-COMPAT-NEXT: fmov d1, xzr
; STREAMING-COMPAT-NEXT: fmov d2, xzr
; STREAMING-COMPAT-NEXT: fmov d3, xzr
; STREAMING-COMPAT-NEXT: fmov d4, xzr
; STREAMING-COMPAT-NEXT: fmov d5, xzr
; STREAMING-COMPAT-NEXT: fmov d6, xzr
; STREAMING-COMPAT-NEXT: fmov d7, xzr
; STREAMING-COMPAT-NEXT: ret
entry:
%mul = mul nsw i32 %b, %a
%or = or i32 %mul, %c
ret i32 %or
}
define dso_local i32 @all(i32 noundef %a, i32 noundef %b, i32 noundef %c) local_unnamed_addr #0 "zero-call-used-regs"="all" {
; DEFAULT-LABEL: all:
; DEFAULT: // %bb.0: // %entry
; DEFAULT-NEXT: mul w8, w1, w0
; DEFAULT-NEXT: mov x1, #0 // =0x0
; DEFAULT-NEXT: mov x3, #0 // =0x0
; DEFAULT-NEXT: mov x4, #0 // =0x0
; DEFAULT-NEXT: mov x5, #0 // =0x0
; DEFAULT-NEXT: mov x6, #0 // =0x0
; DEFAULT-NEXT: mov x7, #0 // =0x0
; DEFAULT-NEXT: mov x9, #0 // =0x0
; DEFAULT-NEXT: mov x10, #0 // =0x0
; DEFAULT-NEXT: orr w0, w8, w2
; DEFAULT-NEXT: mov x2, #0 // =0x0
; DEFAULT-NEXT: mov x8, #0 // =0x0
; DEFAULT-NEXT: mov x11, #0 // =0x0
; DEFAULT-NEXT: mov x12, #0 // =0x0
; DEFAULT-NEXT: mov x13, #0 // =0x0
; DEFAULT-NEXT: mov x14, #0 // =0x0
; DEFAULT-NEXT: mov x15, #0 // =0x0
; DEFAULT-NEXT: mov x16, #0 // =0x0
; DEFAULT-NEXT: mov x17, #0 // =0x0
; DEFAULT-NEXT: mov x18, #0 // =0x0
; DEFAULT-NEXT: movi v0.2d, #0000000000000000
; DEFAULT-NEXT: movi v1.2d, #0000000000000000
; DEFAULT-NEXT: movi v2.2d, #0000000000000000
; DEFAULT-NEXT: movi v3.2d, #0000000000000000
; DEFAULT-NEXT: movi v4.2d, #0000000000000000
; DEFAULT-NEXT: movi v5.2d, #0000000000000000
; DEFAULT-NEXT: movi v6.2d, #0000000000000000
; DEFAULT-NEXT: movi v7.2d, #0000000000000000
; DEFAULT-NEXT: movi v16.2d, #0000000000000000
; DEFAULT-NEXT: movi v17.2d, #0000000000000000
; DEFAULT-NEXT: movi v18.2d, #0000000000000000
; DEFAULT-NEXT: movi v19.2d, #0000000000000000
; DEFAULT-NEXT: movi v20.2d, #0000000000000000
; DEFAULT-NEXT: movi v21.2d, #0000000000000000
; DEFAULT-NEXT: movi v22.2d, #0000000000000000
; DEFAULT-NEXT: movi v23.2d, #0000000000000000
; DEFAULT-NEXT: movi v24.2d, #0000000000000000
; DEFAULT-NEXT: movi v25.2d, #0000000000000000
; DEFAULT-NEXT: movi v26.2d, #0000000000000000
; DEFAULT-NEXT: movi v27.2d, #0000000000000000
; DEFAULT-NEXT: movi v28.2d, #0000000000000000
; DEFAULT-NEXT: movi v29.2d, #0000000000000000
; DEFAULT-NEXT: movi v30.2d, #0000000000000000
; DEFAULT-NEXT: movi v31.2d, #0000000000000000
; DEFAULT-NEXT: ret
;
; SVE-OR-SME-LABEL: all:
; SVE-OR-SME: // %bb.0: // %entry
; SVE-OR-SME-NEXT: mul w8, w1, w0
; SVE-OR-SME-NEXT: mov x1, #0 // =0x0
; SVE-OR-SME-NEXT: mov x3, #0 // =0x0
; SVE-OR-SME-NEXT: mov x4, #0 // =0x0
; SVE-OR-SME-NEXT: mov x5, #0 // =0x0
; SVE-OR-SME-NEXT: mov x6, #0 // =0x0
; SVE-OR-SME-NEXT: mov x7, #0 // =0x0
; SVE-OR-SME-NEXT: mov x9, #0 // =0x0
; SVE-OR-SME-NEXT: mov x10, #0 // =0x0
; SVE-OR-SME-NEXT: orr w0, w8, w2
; SVE-OR-SME-NEXT: mov x2, #0 // =0x0
; SVE-OR-SME-NEXT: mov x8, #0 // =0x0
; SVE-OR-SME-NEXT: mov x11, #0 // =0x0
; SVE-OR-SME-NEXT: mov x12, #0 // =0x0
; SVE-OR-SME-NEXT: mov x13, #0 // =0x0
; SVE-OR-SME-NEXT: mov x14, #0 // =0x0
; SVE-OR-SME-NEXT: mov x15, #0 // =0x0
; SVE-OR-SME-NEXT: mov x16, #0 // =0x0
; SVE-OR-SME-NEXT: mov x17, #0 // =0x0
; SVE-OR-SME-NEXT: mov x18, #0 // =0x0
; SVE-OR-SME-NEXT: mov z0.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z1.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z2.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z3.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z4.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z5.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z6.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z7.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z16.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z17.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z18.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z19.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z20.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z21.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z22.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z23.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z24.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z25.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z26.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z27.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z28.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z29.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z30.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z31.d, #0 // =0x0
; SVE-OR-SME-NEXT: pfalse p0.b
; SVE-OR-SME-NEXT: pfalse p1.b
; SVE-OR-SME-NEXT: pfalse p2.b
; SVE-OR-SME-NEXT: pfalse p3.b
; SVE-OR-SME-NEXT: pfalse p4.b
; SVE-OR-SME-NEXT: pfalse p5.b
; SVE-OR-SME-NEXT: pfalse p6.b
; SVE-OR-SME-NEXT: pfalse p7.b
; SVE-OR-SME-NEXT: pfalse p8.b
; SVE-OR-SME-NEXT: pfalse p9.b
; SVE-OR-SME-NEXT: pfalse p10.b
; SVE-OR-SME-NEXT: pfalse p11.b
; SVE-OR-SME-NEXT: pfalse p12.b
; SVE-OR-SME-NEXT: pfalse p13.b
; SVE-OR-SME-NEXT: pfalse p14.b
; SVE-OR-SME-NEXT: pfalse p15.b
; SVE-OR-SME-NEXT: ret
;
; STREAMING-COMPAT-LABEL: all:
; STREAMING-COMPAT: // %bb.0: // %entry
; STREAMING-COMPAT-NEXT: mul w8, w1, w0
; STREAMING-COMPAT-NEXT: mov x1, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x3, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x4, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x5, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x6, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x7, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x9, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x10, #0 // =0x0
; STREAMING-COMPAT-NEXT: orr w0, w8, w2
; STREAMING-COMPAT-NEXT: mov x2, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x8, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x11, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x12, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x13, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x14, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x15, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x16, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x17, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x18, #0 // =0x0
; STREAMING-COMPAT-NEXT: fmov d0, xzr
; STREAMING-COMPAT-NEXT: fmov d1, xzr
; STREAMING-COMPAT-NEXT: fmov d2, xzr
; STREAMING-COMPAT-NEXT: fmov d3, xzr
; STREAMING-COMPAT-NEXT: fmov d4, xzr
; STREAMING-COMPAT-NEXT: fmov d5, xzr
; STREAMING-COMPAT-NEXT: fmov d6, xzr
; STREAMING-COMPAT-NEXT: fmov d7, xzr
; STREAMING-COMPAT-NEXT: fmov d16, xzr
; STREAMING-COMPAT-NEXT: fmov d17, xzr
; STREAMING-COMPAT-NEXT: fmov d18, xzr
; STREAMING-COMPAT-NEXT: fmov d19, xzr
; STREAMING-COMPAT-NEXT: fmov d20, xzr
; STREAMING-COMPAT-NEXT: fmov d21, xzr
; STREAMING-COMPAT-NEXT: fmov d22, xzr
; STREAMING-COMPAT-NEXT: fmov d23, xzr
; STREAMING-COMPAT-NEXT: fmov d24, xzr
; STREAMING-COMPAT-NEXT: fmov d25, xzr
; STREAMING-COMPAT-NEXT: fmov d26, xzr
; STREAMING-COMPAT-NEXT: fmov d27, xzr
; STREAMING-COMPAT-NEXT: fmov d28, xzr
; STREAMING-COMPAT-NEXT: fmov d29, xzr
; STREAMING-COMPAT-NEXT: fmov d30, xzr
; STREAMING-COMPAT-NEXT: fmov d31, xzr
; STREAMING-COMPAT-NEXT: ret
entry:
%mul = mul nsw i32 %b, %a
%or = or i32 %mul, %c
ret i32 %or
}
define dso_local double @skip_float(double noundef %a, float noundef %b) local_unnamed_addr #0 "zero-call-used-regs"="skip" {
; CHECK-LABEL: skip_float:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: fcvt d1, s1
; CHECK-NEXT: fmul d0, d1, d0
; CHECK-NEXT: ret
entry:
%conv = fpext float %b to double
%mul = fmul double %conv, %a
ret double %mul
}
define dso_local double @used_gpr_arg_float(double noundef %a, float noundef %b) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="used-gpr-arg" {
; CHECK-LABEL: used_gpr_arg_float:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: fcvt d1, s1
; CHECK-NEXT: fmul d0, d1, d0
; CHECK-NEXT: ret
entry:
%conv = fpext float %b to double
%mul = fmul double %conv, %a
ret double %mul
}
define dso_local double @used_gpr_float(double noundef %a, float noundef %b) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="used-gpr" {
; CHECK-LABEL: used_gpr_float:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: fcvt d1, s1
; CHECK-NEXT: fmul d0, d1, d0
; CHECK-NEXT: ret
entry:
%conv = fpext float %b to double
%mul = fmul double %conv, %a
ret double %mul
}
define dso_local double @used_arg_float(double noundef %a, float noundef %b) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="used-arg" {
; DEFAULT-LABEL: used_arg_float:
; DEFAULT: // %bb.0: // %entry
; DEFAULT-NEXT: fcvt d1, s1
; DEFAULT-NEXT: fmul d0, d1, d0
; DEFAULT-NEXT: movi v1.2d, #0000000000000000
; DEFAULT-NEXT: ret
;
; SVE-OR-SME-LABEL: used_arg_float:
; SVE-OR-SME: // %bb.0: // %entry
; SVE-OR-SME-NEXT: fcvt d1, s1
; SVE-OR-SME-NEXT: fmul d0, d1, d0
; SVE-OR-SME-NEXT: mov z1.d, #0 // =0x0
; SVE-OR-SME-NEXT: ret
;
; STREAMING-COMPAT-LABEL: used_arg_float:
; STREAMING-COMPAT: // %bb.0: // %entry
; STREAMING-COMPAT-NEXT: fcvt d1, s1
; STREAMING-COMPAT-NEXT: fmul d0, d1, d0
; STREAMING-COMPAT-NEXT: fmov d1, xzr
; STREAMING-COMPAT-NEXT: ret
entry:
%conv = fpext float %b to double
%mul = fmul double %conv, %a
ret double %mul
}
define dso_local double @used_float(double noundef %a, float noundef %b) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="used" {
; DEFAULT-LABEL: used_float:
; DEFAULT: // %bb.0: // %entry
; DEFAULT-NEXT: fcvt d1, s1
; DEFAULT-NEXT: fmul d0, d1, d0
; DEFAULT-NEXT: movi v1.2d, #0000000000000000
; DEFAULT-NEXT: ret
;
; SVE-OR-SME-LABEL: used_float:
; SVE-OR-SME: // %bb.0: // %entry
; SVE-OR-SME-NEXT: fcvt d1, s1
; SVE-OR-SME-NEXT: fmul d0, d1, d0
; SVE-OR-SME-NEXT: mov z1.d, #0 // =0x0
; SVE-OR-SME-NEXT: ret
;
; STREAMING-COMPAT-LABEL: used_float:
; STREAMING-COMPAT: // %bb.0: // %entry
; STREAMING-COMPAT-NEXT: fcvt d1, s1
; STREAMING-COMPAT-NEXT: fmul d0, d1, d0
; STREAMING-COMPAT-NEXT: fmov d1, xzr
; STREAMING-COMPAT-NEXT: ret
entry:
%conv = fpext float %b to double
%mul = fmul double %conv, %a
ret double %mul
}
define dso_local double @all_gpr_arg_float(double noundef %a, float noundef %b) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="all-gpr-arg" {
; CHECK-LABEL: all_gpr_arg_float:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: fcvt d1, s1
; CHECK-NEXT: fmul d0, d1, d0
; CHECK-NEXT: mov x0, #0 // =0x0
; CHECK-NEXT: mov x1, #0 // =0x0
; CHECK-NEXT: mov x2, #0 // =0x0
; CHECK-NEXT: mov x3, #0 // =0x0
; CHECK-NEXT: mov x4, #0 // =0x0
; CHECK-NEXT: mov x5, #0 // =0x0
; CHECK-NEXT: mov x6, #0 // =0x0
; CHECK-NEXT: mov x7, #0 // =0x0
; CHECK-NEXT: mov x8, #0 // =0x0
; CHECK-NEXT: mov x15, #0 // =0x0
; CHECK-NEXT: ret
entry:
%conv = fpext float %b to double
%mul = fmul double %conv, %a
ret double %mul
}
define dso_local double @all_gpr_float(double noundef %a, float noundef %b) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="all-gpr" {
; CHECK-LABEL: all_gpr_float:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: fcvt d1, s1
; CHECK-NEXT: fmul d0, d1, d0
; CHECK-NEXT: mov x0, #0 // =0x0
; CHECK-NEXT: mov x1, #0 // =0x0
; CHECK-NEXT: mov x2, #0 // =0x0
; CHECK-NEXT: mov x3, #0 // =0x0
; CHECK-NEXT: mov x4, #0 // =0x0
; CHECK-NEXT: mov x5, #0 // =0x0
; CHECK-NEXT: mov x6, #0 // =0x0
; CHECK-NEXT: mov x7, #0 // =0x0
; CHECK-NEXT: mov x8, #0 // =0x0
; CHECK-NEXT: mov x9, #0 // =0x0
; CHECK-NEXT: mov x10, #0 // =0x0
; CHECK-NEXT: mov x11, #0 // =0x0
; CHECK-NEXT: mov x12, #0 // =0x0
; CHECK-NEXT: mov x13, #0 // =0x0
; CHECK-NEXT: mov x14, #0 // =0x0
; CHECK-NEXT: mov x15, #0 // =0x0
; CHECK-NEXT: mov x16, #0 // =0x0
; CHECK-NEXT: mov x17, #0 // =0x0
; CHECK-NEXT: mov x18, #0 // =0x0
; CHECK-NEXT: ret
entry:
%conv = fpext float %b to double
%mul = fmul double %conv, %a
ret double %mul
}
define dso_local double @all_arg_float(double noundef %a, float noundef %b) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="all-arg" {
; DEFAULT-LABEL: all_arg_float:
; DEFAULT: // %bb.0: // %entry
; DEFAULT-NEXT: fcvt d1, s1
; DEFAULT-NEXT: fmul d0, d1, d0
; DEFAULT-NEXT: mov x0, #0 // =0x0
; DEFAULT-NEXT: mov x1, #0 // =0x0
; DEFAULT-NEXT: mov x2, #0 // =0x0
; DEFAULT-NEXT: mov x3, #0 // =0x0
; DEFAULT-NEXT: mov x4, #0 // =0x0
; DEFAULT-NEXT: mov x5, #0 // =0x0
; DEFAULT-NEXT: mov x6, #0 // =0x0
; DEFAULT-NEXT: mov x7, #0 // =0x0
; DEFAULT-NEXT: mov x8, #0 // =0x0
; DEFAULT-NEXT: mov x15, #0 // =0x0
; DEFAULT-NEXT: movi v1.2d, #0000000000000000
; DEFAULT-NEXT: movi v2.2d, #0000000000000000
; DEFAULT-NEXT: movi v3.2d, #0000000000000000
; DEFAULT-NEXT: movi v4.2d, #0000000000000000
; DEFAULT-NEXT: movi v5.2d, #0000000000000000
; DEFAULT-NEXT: movi v6.2d, #0000000000000000
; DEFAULT-NEXT: movi v7.2d, #0000000000000000
; DEFAULT-NEXT: ret
;
; SVE-OR-SME-LABEL: all_arg_float:
; SVE-OR-SME: // %bb.0: // %entry
; SVE-OR-SME-NEXT: fcvt d1, s1
; SVE-OR-SME-NEXT: fmul d0, d1, d0
; SVE-OR-SME-NEXT: mov x0, #0 // =0x0
; SVE-OR-SME-NEXT: mov x1, #0 // =0x0
; SVE-OR-SME-NEXT: mov x2, #0 // =0x0
; SVE-OR-SME-NEXT: mov x3, #0 // =0x0
; SVE-OR-SME-NEXT: mov x4, #0 // =0x0
; SVE-OR-SME-NEXT: mov x5, #0 // =0x0
; SVE-OR-SME-NEXT: mov x6, #0 // =0x0
; SVE-OR-SME-NEXT: mov x7, #0 // =0x0
; SVE-OR-SME-NEXT: mov x8, #0 // =0x0
; SVE-OR-SME-NEXT: mov x15, #0 // =0x0
; SVE-OR-SME-NEXT: mov z1.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z2.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z3.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z4.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z5.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z6.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z7.d, #0 // =0x0
; SVE-OR-SME-NEXT: pfalse p0.b
; SVE-OR-SME-NEXT: pfalse p1.b
; SVE-OR-SME-NEXT: pfalse p2.b
; SVE-OR-SME-NEXT: pfalse p3.b
; SVE-OR-SME-NEXT: ret
;
; STREAMING-COMPAT-LABEL: all_arg_float:
; STREAMING-COMPAT: // %bb.0: // %entry
; STREAMING-COMPAT-NEXT: fcvt d1, s1
; STREAMING-COMPAT-NEXT: fmul d0, d1, d0
; STREAMING-COMPAT-NEXT: mov x0, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x1, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x2, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x3, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x4, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x5, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x6, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x7, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x8, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x15, #0 // =0x0
; STREAMING-COMPAT-NEXT: fmov d1, xzr
; STREAMING-COMPAT-NEXT: fmov d2, xzr
; STREAMING-COMPAT-NEXT: fmov d3, xzr
; STREAMING-COMPAT-NEXT: fmov d4, xzr
; STREAMING-COMPAT-NEXT: fmov d5, xzr
; STREAMING-COMPAT-NEXT: fmov d6, xzr
; STREAMING-COMPAT-NEXT: fmov d7, xzr
; STREAMING-COMPAT-NEXT: ret
entry:
%conv = fpext float %b to double
%mul = fmul double %conv, %a
ret double %mul
}
define dso_local double @all_float(double noundef %a, float noundef %b) local_unnamed_addr #0 noinline optnone "zero-call-used-regs"="all" {
; DEFAULT-LABEL: all_float:
; DEFAULT: // %bb.0: // %entry
; DEFAULT-NEXT: fcvt d1, s1
; DEFAULT-NEXT: fmul d0, d1, d0
; DEFAULT-NEXT: mov x0, #0 // =0x0
; DEFAULT-NEXT: mov x1, #0 // =0x0
; DEFAULT-NEXT: mov x2, #0 // =0x0
; DEFAULT-NEXT: mov x3, #0 // =0x0
; DEFAULT-NEXT: mov x4, #0 // =0x0
; DEFAULT-NEXT: mov x5, #0 // =0x0
; DEFAULT-NEXT: mov x6, #0 // =0x0
; DEFAULT-NEXT: mov x7, #0 // =0x0
; DEFAULT-NEXT: mov x8, #0 // =0x0
; DEFAULT-NEXT: mov x9, #0 // =0x0
; DEFAULT-NEXT: mov x10, #0 // =0x0
; DEFAULT-NEXT: mov x11, #0 // =0x0
; DEFAULT-NEXT: mov x12, #0 // =0x0
; DEFAULT-NEXT: mov x13, #0 // =0x0
; DEFAULT-NEXT: mov x14, #0 // =0x0
; DEFAULT-NEXT: mov x15, #0 // =0x0
; DEFAULT-NEXT: mov x16, #0 // =0x0
; DEFAULT-NEXT: mov x17, #0 // =0x0
; DEFAULT-NEXT: mov x18, #0 // =0x0
; DEFAULT-NEXT: movi v1.2d, #0000000000000000
; DEFAULT-NEXT: movi v2.2d, #0000000000000000
; DEFAULT-NEXT: movi v3.2d, #0000000000000000
; DEFAULT-NEXT: movi v4.2d, #0000000000000000
; DEFAULT-NEXT: movi v5.2d, #0000000000000000
; DEFAULT-NEXT: movi v6.2d, #0000000000000000
; DEFAULT-NEXT: movi v7.2d, #0000000000000000
; DEFAULT-NEXT: movi v16.2d, #0000000000000000
; DEFAULT-NEXT: movi v17.2d, #0000000000000000
; DEFAULT-NEXT: movi v18.2d, #0000000000000000
; DEFAULT-NEXT: movi v19.2d, #0000000000000000
; DEFAULT-NEXT: movi v20.2d, #0000000000000000
; DEFAULT-NEXT: movi v21.2d, #0000000000000000
; DEFAULT-NEXT: movi v22.2d, #0000000000000000
; DEFAULT-NEXT: movi v23.2d, #0000000000000000
; DEFAULT-NEXT: movi v24.2d, #0000000000000000
; DEFAULT-NEXT: movi v25.2d, #0000000000000000
; DEFAULT-NEXT: movi v26.2d, #0000000000000000
; DEFAULT-NEXT: movi v27.2d, #0000000000000000
; DEFAULT-NEXT: movi v28.2d, #0000000000000000
; DEFAULT-NEXT: movi v29.2d, #0000000000000000
; DEFAULT-NEXT: movi v30.2d, #0000000000000000
; DEFAULT-NEXT: movi v31.2d, #0000000000000000
; DEFAULT-NEXT: ret
;
; SVE-OR-SME-LABEL: all_float:
; SVE-OR-SME: // %bb.0: // %entry
; SVE-OR-SME-NEXT: fcvt d1, s1
; SVE-OR-SME-NEXT: fmul d0, d1, d0
; SVE-OR-SME-NEXT: mov x0, #0 // =0x0
; SVE-OR-SME-NEXT: mov x1, #0 // =0x0
; SVE-OR-SME-NEXT: mov x2, #0 // =0x0
; SVE-OR-SME-NEXT: mov x3, #0 // =0x0
; SVE-OR-SME-NEXT: mov x4, #0 // =0x0
; SVE-OR-SME-NEXT: mov x5, #0 // =0x0
; SVE-OR-SME-NEXT: mov x6, #0 // =0x0
; SVE-OR-SME-NEXT: mov x7, #0 // =0x0
; SVE-OR-SME-NEXT: mov x8, #0 // =0x0
; SVE-OR-SME-NEXT: mov x9, #0 // =0x0
; SVE-OR-SME-NEXT: mov x10, #0 // =0x0
; SVE-OR-SME-NEXT: mov x11, #0 // =0x0
; SVE-OR-SME-NEXT: mov x12, #0 // =0x0
; SVE-OR-SME-NEXT: mov x13, #0 // =0x0
; SVE-OR-SME-NEXT: mov x14, #0 // =0x0
; SVE-OR-SME-NEXT: mov x15, #0 // =0x0
; SVE-OR-SME-NEXT: mov x16, #0 // =0x0
; SVE-OR-SME-NEXT: mov x17, #0 // =0x0
; SVE-OR-SME-NEXT: mov x18, #0 // =0x0
; SVE-OR-SME-NEXT: mov z1.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z2.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z3.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z4.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z5.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z6.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z7.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z16.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z17.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z18.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z19.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z20.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z21.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z22.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z23.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z24.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z25.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z26.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z27.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z28.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z29.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z30.d, #0 // =0x0
; SVE-OR-SME-NEXT: mov z31.d, #0 // =0x0
; SVE-OR-SME-NEXT: pfalse p0.b
; SVE-OR-SME-NEXT: pfalse p1.b
; SVE-OR-SME-NEXT: pfalse p2.b
; SVE-OR-SME-NEXT: pfalse p3.b
; SVE-OR-SME-NEXT: pfalse p4.b
; SVE-OR-SME-NEXT: pfalse p5.b
; SVE-OR-SME-NEXT: pfalse p6.b
; SVE-OR-SME-NEXT: pfalse p7.b
; SVE-OR-SME-NEXT: pfalse p8.b
; SVE-OR-SME-NEXT: pfalse p9.b
; SVE-OR-SME-NEXT: pfalse p10.b
; SVE-OR-SME-NEXT: pfalse p11.b
; SVE-OR-SME-NEXT: pfalse p12.b
; SVE-OR-SME-NEXT: pfalse p13.b
; SVE-OR-SME-NEXT: pfalse p14.b
; SVE-OR-SME-NEXT: pfalse p15.b
; SVE-OR-SME-NEXT: ret
;
; STREAMING-COMPAT-LABEL: all_float:
; STREAMING-COMPAT: // %bb.0: // %entry
; STREAMING-COMPAT-NEXT: fcvt d1, s1
; STREAMING-COMPAT-NEXT: fmul d0, d1, d0
; STREAMING-COMPAT-NEXT: mov x0, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x1, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x2, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x3, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x4, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x5, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x6, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x7, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x8, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x9, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x10, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x11, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x12, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x13, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x14, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x15, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x16, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x17, #0 // =0x0
; STREAMING-COMPAT-NEXT: mov x18, #0 // =0x0
; STREAMING-COMPAT-NEXT: fmov d1, xzr
; STREAMING-COMPAT-NEXT: fmov d2, xzr
; STREAMING-COMPAT-NEXT: fmov d3, xzr
; STREAMING-COMPAT-NEXT: fmov d4, xzr
; STREAMING-COMPAT-NEXT: fmov d5, xzr
; STREAMING-COMPAT-NEXT: fmov d6, xzr
; STREAMING-COMPAT-NEXT: fmov d7, xzr
; STREAMING-COMPAT-NEXT: fmov d16, xzr
; STREAMING-COMPAT-NEXT: fmov d17, xzr
; STREAMING-COMPAT-NEXT: fmov d18, xzr
; STREAMING-COMPAT-NEXT: fmov d19, xzr
; STREAMING-COMPAT-NEXT: fmov d20, xzr
; STREAMING-COMPAT-NEXT: fmov d21, xzr
; STREAMING-COMPAT-NEXT: fmov d22, xzr
; STREAMING-COMPAT-NEXT: fmov d23, xzr
; STREAMING-COMPAT-NEXT: fmov d24, xzr
; STREAMING-COMPAT-NEXT: fmov d25, xzr
; STREAMING-COMPAT-NEXT: fmov d26, xzr
; STREAMING-COMPAT-NEXT: fmov d27, xzr
; STREAMING-COMPAT-NEXT: fmov d28, xzr
; STREAMING-COMPAT-NEXT: fmov d29, xzr
; STREAMING-COMPAT-NEXT: fmov d30, xzr
; STREAMING-COMPAT-NEXT: fmov d31, xzr
; STREAMING-COMPAT-NEXT: ret
entry:
%conv = fpext float %b to double
%mul = fmul double %conv, %a
ret double %mul
}
; Don't emit zeroing registers in "main" function.
define dso_local i32 @main() local_unnamed_addr #0 {
; CHECK-LABEL: main:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: mov w0, wzr
; CHECK-NEXT: ret
entry:
ret i32 0
}
attributes #0 = { mustprogress nofree norecurse nosync nounwind readnone willreturn uwtable "frame-pointer"="non-leaf" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+neon,+v8a" }
Reference in New Issue View Git Blame Copy Permalink