[llvm] [x86] Synchronize fp128 and i128 ABI tests (nfc) (PR #147923)
Trevor Gross via llvm-commits
llvm-commits at lists.llvm.org
Thu Jul 10 19:39:02 PDT 2025
https://github.com/tgross35 updated https://github.com/llvm/llvm-project/pull/147923
>From 77ea75f566142c90597494f61db067e483d9096a Mon Sep 17 00:00:00 2001
From: Trevor Gross <tgross at intrepidcs.com>
Date: Thu, 10 Jul 2025 21:01:24 -0400
Subject: [PATCH 1/3] [x86] Rename the fp128 ABI test to i128-fp128-abi (nfc)
This test will be updated to cover both fp128 and i128. Do the rename in
a separate commit to avoid confusing git's similarity index.
---
llvm/test/CodeGen/X86/{fp128-abi.ll => i128-fp128-abi.ll} | 0
1 file changed, 0 insertions(+), 0 deletions(-)
rename llvm/test/CodeGen/X86/{fp128-abi.ll => i128-fp128-abi.ll} (100%)
diff --git a/llvm/test/CodeGen/X86/fp128-abi.ll b/llvm/test/CodeGen/X86/i128-fp128-abi.ll
similarity index 100%
rename from llvm/test/CodeGen/X86/fp128-abi.ll
rename to llvm/test/CodeGen/X86/i128-fp128-abi.ll
>From 934f505f3360990e156a637658f39a03a203e9e0 Mon Sep 17 00:00:00 2001
From: Trevor Gross <tmgross at umich.edu>
Date: Thu, 10 Jul 2025 04:52:39 -0400
Subject: [PATCH 2/3] [x86] Combine fp128 and i128 ABI tests (nfc)
The ABI tests for fp128 covers a handful of things that the i128 test
currently does not, including targets other than x86-64 Linux and some
simpler argument cases. Since these tests should test the same
function patterns, and since some of the directives can be reused,
combine `fp128-abi.ll` and `i128-abi.ll` into one test using `sed` to
set the type.
---
llvm/test/CodeGen/X86/i128-abi.ll | 97 ---
llvm/test/CodeGen/X86/i128-fp128-abi.ll | 750 ++++++++++++++++--------
2 files changed, 497 insertions(+), 350 deletions(-)
delete mode 100644 llvm/test/CodeGen/X86/i128-abi.ll
diff --git a/llvm/test/CodeGen/X86/i128-abi.ll b/llvm/test/CodeGen/X86/i128-abi.ll
deleted file mode 100644
index 264c546b4cae2..0000000000000
--- a/llvm/test/CodeGen/X86/i128-abi.ll
+++ /dev/null
@@ -1,97 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --no_x86_scrub_sp --version 2
-; RUN: llc -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
-
-define i128 @in_reg(i64 %a0, i64 %a1, i64 %a2, i64 %a3, i128 %a4) {
-; CHECK-LABEL: in_reg:
-; CHECK: # %bb.0:
-; CHECK-NEXT: movq %r9, %rdx
-; CHECK-NEXT: movq %r8, %rax
-; CHECK-NEXT: retq
- ret i128 %a4
-}
-
-define i128 @on_stack(i64 %a0, i64 %a1, i64 %a2, i64 %a3, i64 %a4, i128 %a5) {
-; CHECK-LABEL: on_stack:
-; CHECK: # %bb.0:
-; CHECK-NEXT: movq 8(%rsp), %rax
-; CHECK-NEXT: movq 16(%rsp), %rdx
-; CHECK-NEXT: retq
- ret i128 %a5
-}
-
-define i128 @on_stack2(i64 %a0, i64 %a1, i64 %a2, i64 %a3, i64 %a4, i128 %a5, i128 %a6) {
-; CHECK-LABEL: on_stack2:
-; CHECK: # %bb.0:
-; CHECK-NEXT: movq 24(%rsp), %rax
-; CHECK-NEXT: movq 32(%rsp), %rdx
-; CHECK-NEXT: retq
- ret i128 %a6
-}
-
-define i64 @trailing_arg_on_stack(i64 %a0, i64 %a1, i64 %a2, i64 %a3, i64 %a4, i128 %a5, i64 %a6) {
-; CHECK-LABEL: trailing_arg_on_stack:
-; CHECK: # %bb.0:
-; CHECK-NEXT: movq %r9, %rax
-; CHECK-NEXT: retq
- ret i64 %a6
-}
-
-define void @call_in_reg(i128 %x) nounwind {
-; CHECK-LABEL: call_in_reg:
-; CHECK: # %bb.0:
-; CHECK-NEXT: pushq %rax
-; CHECK-NEXT: movq %rsi, %r9
-; CHECK-NEXT: movq %rdi, %r8
-; CHECK-NEXT: movl $1, %esi
-; CHECK-NEXT: movl $2, %edx
-; CHECK-NEXT: movl $3, %ecx
-; CHECK-NEXT: xorl %edi, %edi
-; CHECK-NEXT: callq in_reg at PLT
-; CHECK-NEXT: popq %rax
-; CHECK-NEXT: retq
- call i128 @in_reg(i64 0, i64 1, i64 2, i64 3, i128 %x)
- ret void
-}
-
-define void @call_on_stack(i128 %x) nounwind {
-; CHECK-LABEL: call_on_stack:
-; CHECK: # %bb.0:
-; CHECK-NEXT: pushq %rax
-; CHECK-NEXT: movq %rsi, %rax
-; CHECK-NEXT: movq %rdi, %r9
-; CHECK-NEXT: movl $1, %esi
-; CHECK-NEXT: movl $2, %edx
-; CHECK-NEXT: movl $3, %ecx
-; CHECK-NEXT: movl $4, %r8d
-; CHECK-NEXT: xorl %edi, %edi
-; CHECK-NEXT: pushq %rax
-; CHECK-NEXT: pushq %r9
-; CHECK-NEXT: callq on_stack at PLT
-; CHECK-NEXT: addq $16, %rsp
-; CHECK-NEXT: popq %rax
-; CHECK-NEXT: retq
- call i128 @on_stack(i64 0, i64 1, i64 2, i64 3, i64 4, i128 %x)
- ret void
-}
-
-define void @call_trailing_arg_on_stack(i128 %x, i64 %y) nounwind {
-; CHECK-LABEL: call_trailing_arg_on_stack:
-; CHECK: # %bb.0:
-; CHECK-NEXT: pushq %rax
-; CHECK-NEXT: movq %rdx, %r9
-; CHECK-NEXT: movq %rsi, %rax
-; CHECK-NEXT: movq %rdi, %r10
-; CHECK-NEXT: movl $1, %esi
-; CHECK-NEXT: movl $2, %edx
-; CHECK-NEXT: movl $3, %ecx
-; CHECK-NEXT: movl $4, %r8d
-; CHECK-NEXT: xorl %edi, %edi
-; CHECK-NEXT: pushq %rax
-; CHECK-NEXT: pushq %r10
-; CHECK-NEXT: callq trailing_arg_on_stack at PLT
-; CHECK-NEXT: addq $16, %rsp
-; CHECK-NEXT: popq %rax
-; CHECK-NEXT: retq
- call i128 @trailing_arg_on_stack(i64 0, i64 1, i64 2, i64 3, i64 4, i128 %x, i64 %y)
- ret void
-}
diff --git a/llvm/test/CodeGen/X86/i128-fp128-abi.ll b/llvm/test/CodeGen/X86/i128-fp128-abi.ll
index 526ed7c72f73f..2d9a905fa7325 100644
--- a/llvm/test/CodeGen/X86/i128-fp128-abi.ll
+++ b/llvm/test/CodeGen/X86/i128-fp128-abi.ll
@@ -1,16 +1,53 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
-; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-X64
-; RUN: llc < %s -mtriple=i686-unknown-linux-gnu -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-X86
-; RUN: llc < %s -mtriple=x86_64-pc-windows-msvc -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MSVC64
-; RUN: llc < %s -mtriple=i686-pc-windows-msvc -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MSVC32
-; RUN: llc < %s -mtriple=x86_64-pc-windows-gnu -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MINGW
+; Combined ABI tests for fp128 and i128
-define fp128 @return(ptr %p) {
-; CHECK-X64-LABEL: return:
-; CHECK-X64: # %bb.0:
-; CHECK-X64-NEXT: movaps (%rdi), %xmm0
-; CHECK-X64-NEXT: retq
+; RUN: sed 's/PrimTy/fp128/g' %s | sed 's/Prim0/0xL0/g' | llc -mtriple=x86_64-unknown-linux-gnu -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-X64-F128
+; RUN: sed 's/PrimTy/i128/g' %s | sed 's/Prim0/0/g' | llc -mtriple=x86_64-unknown-linux-gnu -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-X64-I128
+; RUN: sed 's/PrimTy/fp128/g' %s | sed 's/Prim0/0xL0/g' | llc -mtriple=x86_64-pc-windows-msvc -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MSVC64-F128
+; RUN: sed 's/PrimTy/i128/g' %s | sed 's/Prim0/0/g' | llc -mtriple=x86_64-pc-windows-msvc -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MSVC64-I128
+; RUN: sed 's/PrimTy/fp128/g' %s | sed 's/Prim0/0xL0/g' | llc -mtriple=x86_64-pc-windows-gnu -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MINGW-F128
+; RUN: sed 's/PrimTy/i128/g' %s | sed 's/Prim0/0/g' | llc -mtriple=x86_64-pc-windows-gnu -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MINGW-I128
+;
+; Use the same directive for i128 and fp128 on x86-32 since both are passed and returned on the stack.
+; RUN: sed 's/PrimTy/fp128/g' %s | sed 's/Prim0/0xL0/g' | llc -mtriple=i686-unknown-linux-gnu -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-X86
+; RUN: sed 's/PrimTy/i128/g' %s | sed 's/Prim0/0/g' | llc -mtriple=i686-unknown-linux-gnu -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-X86
+; RUN: sed 's/PrimTy/fp128/g' %s | sed 's/Prim0/0xL0/g' | llc -mtriple=i686-pc-windows-msvc -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MSVC32
+; RUN: sed 's/PrimTy/i128/g' %s | sed 's/Prim0/0/g' | llc -mtriple=i686-pc-windows-msvc -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MSVC32
+
+define PrimTy @return(ptr %p) {
+; CHECK-X64-F128-LABEL: return:
+; CHECK-X64-F128: # %bb.0:
+; CHECK-X64-F128-NEXT: movaps (%rdi), %xmm0
+; CHECK-X64-F128-NEXT: retq
+;
+; CHECK-X64-I128-LABEL: return:
+; CHECK-X64-I128: # %bb.0:
+; CHECK-X64-I128-NEXT: movq (%rdi), %rax
+; CHECK-X64-I128-NEXT: movq 8(%rdi), %rdx
+; CHECK-X64-I128-NEXT: retq
+;
+; CHECK-MSVC64-F128-LABEL: return:
+; CHECK-MSVC64-F128: # %bb.0:
+; CHECK-MSVC64-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MSVC64-F128-NEXT: retq
+;
+; CHECK-MSVC64-I128-LABEL: return:
+; CHECK-MSVC64-I128: # %bb.0:
+; CHECK-MSVC64-I128-NEXT: movq (%rcx), %rax
+; CHECK-MSVC64-I128-NEXT: movq 8(%rcx), %rdx
+; CHECK-MSVC64-I128-NEXT: retq
+;
+; CHECK-MINGW-F128-LABEL: return:
+; CHECK-MINGW-F128: # %bb.0:
+; CHECK-MINGW-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MINGW-F128-NEXT: retq
+;
+; CHECK-MINGW-I128-LABEL: return:
+; CHECK-MINGW-I128: # %bb.0:
+; CHECK-MINGW-I128-NEXT: movq (%rcx), %rax
+; CHECK-MINGW-I128-NEXT: movq 8(%rcx), %rdx
+; CHECK-MINGW-I128-NEXT: retq
;
; CHECK-X86-LABEL: return:
; CHECK-X86: # %bb.0:
@@ -36,11 +73,6 @@ define fp128 @return(ptr %p) {
; CHECK-X86-NEXT: .cfi_def_cfa_offset 4
; CHECK-X86-NEXT: retl $4
;
-; CHECK-MSVC64-LABEL: return:
-; CHECK-MSVC64: # %bb.0:
-; CHECK-MSVC64-NEXT: movaps (%rcx), %xmm0
-; CHECK-MSVC64-NEXT: retq
-;
; CHECK-MSVC32-LABEL: return:
; CHECK-MSVC32: # %bb.0:
; CHECK-MSVC32-NEXT: pushl %edi
@@ -58,19 +90,40 @@ define fp128 @return(ptr %p) {
; CHECK-MSVC32-NEXT: popl %esi
; CHECK-MSVC32-NEXT: popl %edi
; CHECK-MSVC32-NEXT: retl
-;
-; CHECK-MINGW-LABEL: return:
-; CHECK-MINGW: # %bb.0:
-; CHECK-MINGW-NEXT: movaps (%rcx), %xmm0
-; CHECK-MINGW-NEXT: retq
- %r = load fp128, ptr %p, align 16
- ret fp128 %r
+ %r = load PrimTy, ptr %p, align 16
+ ret PrimTy %r
}
-define fp128 @first_arg(fp128 %x) {
-; CHECK-X64-LABEL: first_arg:
-; CHECK-X64: # %bb.0:
-; CHECK-X64-NEXT: retq
+define PrimTy @first_arg(PrimTy %x) {
+; CHECK-X64-F128-LABEL: first_arg:
+; CHECK-X64-F128: # %bb.0:
+; CHECK-X64-F128-NEXT: retq
+;
+; CHECK-X64-I128-LABEL: first_arg:
+; CHECK-X64-I128: # %bb.0:
+; CHECK-X64-I128-NEXT: movq %rsi, %rdx
+; CHECK-X64-I128-NEXT: movq %rdi, %rax
+; CHECK-X64-I128-NEXT: retq
+;
+; CHECK-MSVC64-F128-LABEL: first_arg:
+; CHECK-MSVC64-F128: # %bb.0:
+; CHECK-MSVC64-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MSVC64-F128-NEXT: retq
+;
+; CHECK-MSVC64-I128-LABEL: first_arg:
+; CHECK-MSVC64-I128: # %bb.0:
+; CHECK-MSVC64-I128-NEXT: movq %rcx, %rax
+; CHECK-MSVC64-I128-NEXT: retq
+;
+; CHECK-MINGW-F128-LABEL: first_arg:
+; CHECK-MINGW-F128: # %bb.0:
+; CHECK-MINGW-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MINGW-F128-NEXT: retq
+;
+; CHECK-MINGW-I128-LABEL: first_arg:
+; CHECK-MINGW-I128: # %bb.0:
+; CHECK-MINGW-I128-NEXT: movq %rcx, %rax
+; CHECK-MINGW-I128-NEXT: retq
;
; CHECK-X86-LABEL: first_arg:
; CHECK-X86: # %bb.0:
@@ -95,11 +148,6 @@ define fp128 @first_arg(fp128 %x) {
; CHECK-X86-NEXT: .cfi_def_cfa_offset 4
; CHECK-X86-NEXT: retl $4
;
-; CHECK-MSVC64-LABEL: first_arg:
-; CHECK-MSVC64: # %bb.0:
-; CHECK-MSVC64-NEXT: movaps (%rcx), %xmm0
-; CHECK-MSVC64-NEXT: retq
-;
; CHECK-MSVC32-LABEL: first_arg:
; CHECK-MSVC32: # %bb.0:
; CHECK-MSVC32-NEXT: pushl %edi
@@ -116,18 +164,43 @@ define fp128 @first_arg(fp128 %x) {
; CHECK-MSVC32-NEXT: popl %esi
; CHECK-MSVC32-NEXT: popl %edi
; CHECK-MSVC32-NEXT: retl
-;
-; CHECK-MINGW-LABEL: first_arg:
-; CHECK-MINGW: # %bb.0:
-; CHECK-MINGW-NEXT: movaps (%rcx), %xmm0
-; CHECK-MINGW-NEXT: retq
- ret fp128 %x
+ ret PrimTy %x
}
-define fp128 @leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, fp128 %x) {
-; CHECK-X64-LABEL: leading_args:
-; CHECK-X64: # %bb.0:
-; CHECK-X64-NEXT: retq
+define PrimTy @leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, PrimTy %x) {
+; CHECK-X64-F128-LABEL: leading_args:
+; CHECK-X64-F128: # %bb.0:
+; CHECK-X64-F128-NEXT: retq
+;
+; CHECK-X64-I128-LABEL: leading_args:
+; CHECK-X64-I128: # %bb.0:
+; CHECK-X64-I128-NEXT: movq %r9, %rdx
+; CHECK-X64-I128-NEXT: movq %r8, %rax
+; CHECK-X64-I128-NEXT: retq
+;
+; CHECK-MSVC64-F128-LABEL: leading_args:
+; CHECK-MSVC64-F128: # %bb.0:
+; CHECK-MSVC64-F128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MSVC64-F128-NEXT: movaps (%rax), %xmm0
+; CHECK-MSVC64-F128-NEXT: retq
+;
+; CHECK-MSVC64-I128-LABEL: leading_args:
+; CHECK-MSVC64-I128: # %bb.0:
+; CHECK-MSVC64-I128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MSVC64-I128-NEXT: movq {{[0-9]+}}(%rsp), %rdx
+; CHECK-MSVC64-I128-NEXT: retq
+;
+; CHECK-MINGW-F128-LABEL: leading_args:
+; CHECK-MINGW-F128: # %bb.0:
+; CHECK-MINGW-F128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MINGW-F128-NEXT: movaps (%rax), %xmm0
+; CHECK-MINGW-F128-NEXT: retq
+;
+; CHECK-MINGW-I128-LABEL: leading_args:
+; CHECK-MINGW-I128: # %bb.0:
+; CHECK-MINGW-I128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MINGW-I128-NEXT: movq {{[0-9]+}}(%rsp), %rdx
+; CHECK-MINGW-I128-NEXT: retq
;
; CHECK-X86-LABEL: leading_args:
; CHECK-X86: # %bb.0:
@@ -152,12 +225,6 @@ define fp128 @leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, fp128 %x) {
; CHECK-X86-NEXT: .cfi_def_cfa_offset 4
; CHECK-X86-NEXT: retl $4
;
-; CHECK-MSVC64-LABEL: leading_args:
-; CHECK-MSVC64: # %bb.0:
-; CHECK-MSVC64-NEXT: movq {{[0-9]+}}(%rsp), %rax
-; CHECK-MSVC64-NEXT: movaps (%rax), %xmm0
-; CHECK-MSVC64-NEXT: retq
-;
; CHECK-MSVC32-LABEL: leading_args:
; CHECK-MSVC32: # %bb.0:
; CHECK-MSVC32-NEXT: pushl %edi
@@ -174,20 +241,44 @@ define fp128 @leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, fp128 %x) {
; CHECK-MSVC32-NEXT: popl %esi
; CHECK-MSVC32-NEXT: popl %edi
; CHECK-MSVC32-NEXT: retl
-;
-; CHECK-MINGW-LABEL: leading_args:
-; CHECK-MINGW: # %bb.0:
-; CHECK-MINGW-NEXT: movq {{[0-9]+}}(%rsp), %rax
-; CHECK-MINGW-NEXT: movaps (%rax), %xmm0
-; CHECK-MINGW-NEXT: retq
- ret fp128 %x
+ ret PrimTy %x
}
-define fp128 @many_leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, fp128 %_5, fp128 %x) {
-; CHECK-X64-LABEL: many_leading_args:
-; CHECK-X64: # %bb.0:
-; CHECK-X64-NEXT: movaps %xmm1, %xmm0
-; CHECK-X64-NEXT: retq
+define PrimTy @many_leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, PrimTy %_5, PrimTy %x) {
+; CHECK-X64-F128-LABEL: many_leading_args:
+; CHECK-X64-F128: # %bb.0:
+; CHECK-X64-F128-NEXT: movaps %xmm1, %xmm0
+; CHECK-X64-F128-NEXT: retq
+;
+; CHECK-X64-I128-LABEL: many_leading_args:
+; CHECK-X64-I128: # %bb.0:
+; CHECK-X64-I128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-X64-I128-NEXT: movq {{[0-9]+}}(%rsp), %rdx
+; CHECK-X64-I128-NEXT: retq
+;
+; CHECK-MSVC64-F128-LABEL: many_leading_args:
+; CHECK-MSVC64-F128: # %bb.0:
+; CHECK-MSVC64-F128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MSVC64-F128-NEXT: movaps (%rax), %xmm0
+; CHECK-MSVC64-F128-NEXT: retq
+;
+; CHECK-MSVC64-I128-LABEL: many_leading_args:
+; CHECK-MSVC64-I128: # %bb.0:
+; CHECK-MSVC64-I128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MSVC64-I128-NEXT: movq {{[0-9]+}}(%rsp), %rdx
+; CHECK-MSVC64-I128-NEXT: retq
+;
+; CHECK-MINGW-F128-LABEL: many_leading_args:
+; CHECK-MINGW-F128: # %bb.0:
+; CHECK-MINGW-F128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MINGW-F128-NEXT: movaps (%rax), %xmm0
+; CHECK-MINGW-F128-NEXT: retq
+;
+; CHECK-MINGW-I128-LABEL: many_leading_args:
+; CHECK-MINGW-I128: # %bb.0:
+; CHECK-MINGW-I128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MINGW-I128-NEXT: movq {{[0-9]+}}(%rsp), %rdx
+; CHECK-MINGW-I128-NEXT: retq
;
; CHECK-X86-LABEL: many_leading_args:
; CHECK-X86: # %bb.0:
@@ -212,12 +303,6 @@ define fp128 @many_leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, fp1
; CHECK-X86-NEXT: .cfi_def_cfa_offset 4
; CHECK-X86-NEXT: retl $4
;
-; CHECK-MSVC64-LABEL: many_leading_args:
-; CHECK-MSVC64: # %bb.0:
-; CHECK-MSVC64-NEXT: movq {{[0-9]+}}(%rsp), %rax
-; CHECK-MSVC64-NEXT: movaps (%rax), %xmm0
-; CHECK-MSVC64-NEXT: retq
-;
; CHECK-MSVC32-LABEL: many_leading_args:
; CHECK-MSVC32: # %bb.0:
; CHECK-MSVC32-NEXT: pushl %edi
@@ -234,19 +319,43 @@ define fp128 @many_leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, fp1
; CHECK-MSVC32-NEXT: popl %esi
; CHECK-MSVC32-NEXT: popl %edi
; CHECK-MSVC32-NEXT: retl
-;
-; CHECK-MINGW-LABEL: many_leading_args:
-; CHECK-MINGW: # %bb.0:
-; CHECK-MINGW-NEXT: movq {{[0-9]+}}(%rsp), %rax
-; CHECK-MINGW-NEXT: movaps (%rax), %xmm0
-; CHECK-MINGW-NEXT: retq
- ret fp128 %x
+ ret PrimTy %x
}
-define fp128 @trailing_arg(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, fp128 %x, i64 %_5) {
-; CHECK-X64-LABEL: trailing_arg:
-; CHECK-X64: # %bb.0:
-; CHECK-X64-NEXT: retq
+define PrimTy @trailing_arg(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, PrimTy %x, i64 %_5) {
+; CHECK-X64-F128-LABEL: trailing_arg:
+; CHECK-X64-F128: # %bb.0:
+; CHECK-X64-F128-NEXT: retq
+;
+; CHECK-X64-I128-LABEL: trailing_arg:
+; CHECK-X64-I128: # %bb.0:
+; CHECK-X64-I128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-X64-I128-NEXT: movq {{[0-9]+}}(%rsp), %rdx
+; CHECK-X64-I128-NEXT: retq
+;
+; CHECK-MSVC64-F128-LABEL: trailing_arg:
+; CHECK-MSVC64-F128: # %bb.0:
+; CHECK-MSVC64-F128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MSVC64-F128-NEXT: movaps (%rax), %xmm0
+; CHECK-MSVC64-F128-NEXT: retq
+;
+; CHECK-MSVC64-I128-LABEL: trailing_arg:
+; CHECK-MSVC64-I128: # %bb.0:
+; CHECK-MSVC64-I128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MSVC64-I128-NEXT: movq {{[0-9]+}}(%rsp), %rdx
+; CHECK-MSVC64-I128-NEXT: retq
+;
+; CHECK-MINGW-F128-LABEL: trailing_arg:
+; CHECK-MINGW-F128: # %bb.0:
+; CHECK-MINGW-F128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MINGW-F128-NEXT: movaps (%rax), %xmm0
+; CHECK-MINGW-F128-NEXT: retq
+;
+; CHECK-MINGW-I128-LABEL: trailing_arg:
+; CHECK-MINGW-I128: # %bb.0:
+; CHECK-MINGW-I128-NEXT: movq {{[0-9]+}}(%rsp), %rax
+; CHECK-MINGW-I128-NEXT: movq {{[0-9]+}}(%rsp), %rdx
+; CHECK-MINGW-I128-NEXT: retq
;
; CHECK-X86-LABEL: trailing_arg:
; CHECK-X86: # %bb.0:
@@ -271,12 +380,6 @@ define fp128 @trailing_arg(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, fp128 %x
; CHECK-X86-NEXT: .cfi_def_cfa_offset 4
; CHECK-X86-NEXT: retl $4
;
-; CHECK-MSVC64-LABEL: trailing_arg:
-; CHECK-MSVC64: # %bb.0:
-; CHECK-MSVC64-NEXT: movq {{[0-9]+}}(%rsp), %rax
-; CHECK-MSVC64-NEXT: movaps (%rax), %xmm0
-; CHECK-MSVC64-NEXT: retq
-;
; CHECK-MSVC32-LABEL: trailing_arg:
; CHECK-MSVC32: # %bb.0:
; CHECK-MSVC32-NEXT: pushl %edi
@@ -293,22 +396,57 @@ define fp128 @trailing_arg(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, fp128 %x
; CHECK-MSVC32-NEXT: popl %esi
; CHECK-MSVC32-NEXT: popl %edi
; CHECK-MSVC32-NEXT: retl
-;
-; CHECK-MINGW-LABEL: trailing_arg:
-; CHECK-MINGW: # %bb.0:
-; CHECK-MINGW-NEXT: movq {{[0-9]+}}(%rsp), %rax
-; CHECK-MINGW-NEXT: movaps (%rax), %xmm0
-; CHECK-MINGW-NEXT: retq
- ret fp128 %x
+ ret PrimTy %x
}
-define void @call_first_arg(fp128 %x) nounwind {
-; CHECK-X64-LABEL: call_first_arg:
-; CHECK-X64: # %bb.0:
-; CHECK-X64-NEXT: pushq %rax
-; CHECK-X64-NEXT: callq first_arg at PLT
-; CHECK-X64-NEXT: popq %rax
-; CHECK-X64-NEXT: retq
+define void @call_first_arg(PrimTy %x) nounwind {
+; CHECK-X64-F128-LABEL: call_first_arg:
+; CHECK-X64-F128: # %bb.0:
+; CHECK-X64-F128-NEXT: pushq %rax
+; CHECK-X64-F128-NEXT: callq first_arg at PLT
+; CHECK-X64-F128-NEXT: popq %rax
+; CHECK-X64-F128-NEXT: retq
+;
+; CHECK-X64-I128-LABEL: call_first_arg:
+; CHECK-X64-I128: # %bb.0:
+; CHECK-X64-I128-NEXT: pushq %rax
+; CHECK-X64-I128-NEXT: callq first_arg at PLT
+; CHECK-X64-I128-NEXT: popq %rax
+; CHECK-X64-I128-NEXT: retq
+;
+; CHECK-MSVC64-F128-LABEL: call_first_arg:
+; CHECK-MSVC64-F128: # %bb.0:
+; CHECK-MSVC64-F128-NEXT: subq $56, %rsp
+; CHECK-MSVC64-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MSVC64-F128-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-F128-NEXT: leaq {{[0-9]+}}(%rsp), %rcx
+; CHECK-MSVC64-F128-NEXT: callq first_arg
+; CHECK-MSVC64-F128-NEXT: addq $56, %rsp
+; CHECK-MSVC64-F128-NEXT: retq
+;
+; CHECK-MSVC64-I128-LABEL: call_first_arg:
+; CHECK-MSVC64-I128: # %bb.0:
+; CHECK-MSVC64-I128-NEXT: subq $40, %rsp
+; CHECK-MSVC64-I128-NEXT: callq first_arg
+; CHECK-MSVC64-I128-NEXT: addq $40, %rsp
+; CHECK-MSVC64-I128-NEXT: retq
+;
+; CHECK-MINGW-F128-LABEL: call_first_arg:
+; CHECK-MINGW-F128: # %bb.0:
+; CHECK-MINGW-F128-NEXT: subq $56, %rsp
+; CHECK-MINGW-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MINGW-F128-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-F128-NEXT: leaq {{[0-9]+}}(%rsp), %rcx
+; CHECK-MINGW-F128-NEXT: callq first_arg
+; CHECK-MINGW-F128-NEXT: addq $56, %rsp
+; CHECK-MINGW-F128-NEXT: retq
+;
+; CHECK-MINGW-I128-LABEL: call_first_arg:
+; CHECK-MINGW-I128: # %bb.0:
+; CHECK-MINGW-I128-NEXT: subq $40, %rsp
+; CHECK-MINGW-I128-NEXT: callq first_arg
+; CHECK-MINGW-I128-NEXT: addq $40, %rsp
+; CHECK-MINGW-I128-NEXT: retq
;
; CHECK-X86-LABEL: call_first_arg:
; CHECK-X86: # %bb.0:
@@ -323,16 +461,6 @@ define void @call_first_arg(fp128 %x) nounwind {
; CHECK-X86-NEXT: addl $56, %esp
; CHECK-X86-NEXT: retl
;
-; CHECK-MSVC64-LABEL: call_first_arg:
-; CHECK-MSVC64: # %bb.0:
-; CHECK-MSVC64-NEXT: subq $56, %rsp
-; CHECK-MSVC64-NEXT: movaps (%rcx), %xmm0
-; CHECK-MSVC64-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
-; CHECK-MSVC64-NEXT: leaq {{[0-9]+}}(%rsp), %rcx
-; CHECK-MSVC64-NEXT: callq first_arg
-; CHECK-MSVC64-NEXT: addq $56, %rsp
-; CHECK-MSVC64-NEXT: retq
-;
; CHECK-MSVC32-LABEL: call_first_arg:
; CHECK-MSVC32: # %bb.0:
; CHECK-MSVC32-NEXT: pushl %ebp
@@ -350,31 +478,90 @@ define void @call_first_arg(fp128 %x) nounwind {
; CHECK-MSVC32-NEXT: movl %ebp, %esp
; CHECK-MSVC32-NEXT: popl %ebp
; CHECK-MSVC32-NEXT: retl
-;
-; CHECK-MINGW-LABEL: call_first_arg:
-; CHECK-MINGW: # %bb.0:
-; CHECK-MINGW-NEXT: subq $56, %rsp
-; CHECK-MINGW-NEXT: movaps (%rcx), %xmm0
-; CHECK-MINGW-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
-; CHECK-MINGW-NEXT: leaq {{[0-9]+}}(%rsp), %rcx
-; CHECK-MINGW-NEXT: callq first_arg
-; CHECK-MINGW-NEXT: addq $56, %rsp
-; CHECK-MINGW-NEXT: retq
- call i128 @first_arg(fp128 %x)
+ call PrimTy @first_arg(PrimTy %x)
ret void
}
-define void @call_leading_args(fp128 %x) nounwind {
-; CHECK-X64-LABEL: call_leading_args:
-; CHECK-X64: # %bb.0:
-; CHECK-X64-NEXT: pushq %rax
-; CHECK-X64-NEXT: xorl %edi, %edi
-; CHECK-X64-NEXT: xorl %esi, %esi
-; CHECK-X64-NEXT: xorl %edx, %edx
-; CHECK-X64-NEXT: xorl %ecx, %ecx
-; CHECK-X64-NEXT: callq leading_args at PLT
-; CHECK-X64-NEXT: popq %rax
-; CHECK-X64-NEXT: retq
+define void @call_leading_args(PrimTy %x) nounwind {
+; CHECK-X64-F128-LABEL: call_leading_args:
+; CHECK-X64-F128: # %bb.0:
+; CHECK-X64-F128-NEXT: pushq %rax
+; CHECK-X64-F128-NEXT: xorl %edi, %edi
+; CHECK-X64-F128-NEXT: xorl %esi, %esi
+; CHECK-X64-F128-NEXT: xorl %edx, %edx
+; CHECK-X64-F128-NEXT: xorl %ecx, %ecx
+; CHECK-X64-F128-NEXT: callq leading_args at PLT
+; CHECK-X64-F128-NEXT: popq %rax
+; CHECK-X64-F128-NEXT: retq
+;
+; CHECK-X64-I128-LABEL: call_leading_args:
+; CHECK-X64-I128: # %bb.0:
+; CHECK-X64-I128-NEXT: pushq %rax
+; CHECK-X64-I128-NEXT: movq %rsi, %r9
+; CHECK-X64-I128-NEXT: movq %rdi, %r8
+; CHECK-X64-I128-NEXT: xorl %edi, %edi
+; CHECK-X64-I128-NEXT: xorl %esi, %esi
+; CHECK-X64-I128-NEXT: xorl %edx, %edx
+; CHECK-X64-I128-NEXT: xorl %ecx, %ecx
+; CHECK-X64-I128-NEXT: callq leading_args at PLT
+; CHECK-X64-I128-NEXT: popq %rax
+; CHECK-X64-I128-NEXT: retq
+;
+; CHECK-MSVC64-F128-LABEL: call_leading_args:
+; CHECK-MSVC64-F128: # %bb.0:
+; CHECK-MSVC64-F128-NEXT: subq $72, %rsp
+; CHECK-MSVC64-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MSVC64-F128-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-F128-NEXT: leaq {{[0-9]+}}(%rsp), %rax
+; CHECK-MSVC64-F128-NEXT: movq %rax, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-F128-NEXT: xorl %ecx, %ecx
+; CHECK-MSVC64-F128-NEXT: xorl %edx, %edx
+; CHECK-MSVC64-F128-NEXT: xorl %r8d, %r8d
+; CHECK-MSVC64-F128-NEXT: xorl %r9d, %r9d
+; CHECK-MSVC64-F128-NEXT: callq leading_args
+; CHECK-MSVC64-F128-NEXT: addq $72, %rsp
+; CHECK-MSVC64-F128-NEXT: retq
+;
+; CHECK-MSVC64-I128-LABEL: call_leading_args:
+; CHECK-MSVC64-I128: # %bb.0:
+; CHECK-MSVC64-I128-NEXT: subq $56, %rsp
+; CHECK-MSVC64-I128-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-I128-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-I128-NEXT: xorl %ecx, %ecx
+; CHECK-MSVC64-I128-NEXT: xorl %edx, %edx
+; CHECK-MSVC64-I128-NEXT: xorl %r8d, %r8d
+; CHECK-MSVC64-I128-NEXT: xorl %r9d, %r9d
+; CHECK-MSVC64-I128-NEXT: callq leading_args
+; CHECK-MSVC64-I128-NEXT: addq $56, %rsp
+; CHECK-MSVC64-I128-NEXT: retq
+;
+; CHECK-MINGW-F128-LABEL: call_leading_args:
+; CHECK-MINGW-F128: # %bb.0:
+; CHECK-MINGW-F128-NEXT: subq $72, %rsp
+; CHECK-MINGW-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MINGW-F128-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-F128-NEXT: leaq {{[0-9]+}}(%rsp), %rax
+; CHECK-MINGW-F128-NEXT: movq %rax, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-F128-NEXT: xorl %ecx, %ecx
+; CHECK-MINGW-F128-NEXT: xorl %edx, %edx
+; CHECK-MINGW-F128-NEXT: xorl %r8d, %r8d
+; CHECK-MINGW-F128-NEXT: xorl %r9d, %r9d
+; CHECK-MINGW-F128-NEXT: callq leading_args
+; CHECK-MINGW-F128-NEXT: addq $72, %rsp
+; CHECK-MINGW-F128-NEXT: retq
+;
+; CHECK-MINGW-I128-LABEL: call_leading_args:
+; CHECK-MINGW-I128: # %bb.0:
+; CHECK-MINGW-I128-NEXT: subq $56, %rsp
+; CHECK-MINGW-I128-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-I128-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-I128-NEXT: xorl %ecx, %ecx
+; CHECK-MINGW-I128-NEXT: xorl %edx, %edx
+; CHECK-MINGW-I128-NEXT: xorl %r8d, %r8d
+; CHECK-MINGW-I128-NEXT: xorl %r9d, %r9d
+; CHECK-MINGW-I128-NEXT: callq leading_args
+; CHECK-MINGW-I128-NEXT: addq $56, %rsp
+; CHECK-MINGW-I128-NEXT: retq
;
; CHECK-X86-LABEL: call_leading_args:
; CHECK-X86: # %bb.0:
@@ -397,21 +584,6 @@ define void @call_leading_args(fp128 %x) nounwind {
; CHECK-X86-NEXT: addl $88, %esp
; CHECK-X86-NEXT: retl
;
-; CHECK-MSVC64-LABEL: call_leading_args:
-; CHECK-MSVC64: # %bb.0:
-; CHECK-MSVC64-NEXT: subq $72, %rsp
-; CHECK-MSVC64-NEXT: movaps (%rcx), %xmm0
-; CHECK-MSVC64-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
-; CHECK-MSVC64-NEXT: leaq {{[0-9]+}}(%rsp), %rax
-; CHECK-MSVC64-NEXT: movq %rax, {{[0-9]+}}(%rsp)
-; CHECK-MSVC64-NEXT: xorl %ecx, %ecx
-; CHECK-MSVC64-NEXT: xorl %edx, %edx
-; CHECK-MSVC64-NEXT: xorl %r8d, %r8d
-; CHECK-MSVC64-NEXT: xorl %r9d, %r9d
-; CHECK-MSVC64-NEXT: callq leading_args
-; CHECK-MSVC64-NEXT: addq $72, %rsp
-; CHECK-MSVC64-NEXT: retq
-;
; CHECK-MSVC32-LABEL: call_leading_args:
; CHECK-MSVC32: # %bb.0:
; CHECK-MSVC32-NEXT: pushl %ebp
@@ -437,38 +609,109 @@ define void @call_leading_args(fp128 %x) nounwind {
; CHECK-MSVC32-NEXT: movl %ebp, %esp
; CHECK-MSVC32-NEXT: popl %ebp
; CHECK-MSVC32-NEXT: retl
-;
-; CHECK-MINGW-LABEL: call_leading_args:
-; CHECK-MINGW: # %bb.0:
-; CHECK-MINGW-NEXT: subq $72, %rsp
-; CHECK-MINGW-NEXT: movaps (%rcx), %xmm0
-; CHECK-MINGW-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
-; CHECK-MINGW-NEXT: leaq {{[0-9]+}}(%rsp), %rax
-; CHECK-MINGW-NEXT: movq %rax, {{[0-9]+}}(%rsp)
-; CHECK-MINGW-NEXT: xorl %ecx, %ecx
-; CHECK-MINGW-NEXT: xorl %edx, %edx
-; CHECK-MINGW-NEXT: xorl %r8d, %r8d
-; CHECK-MINGW-NEXT: xorl %r9d, %r9d
-; CHECK-MINGW-NEXT: callq leading_args
-; CHECK-MINGW-NEXT: addq $72, %rsp
-; CHECK-MINGW-NEXT: retq
- call i128 @leading_args(i64 0, i64 0, i64 0, i64 0, fp128 %x)
+ call PrimTy @leading_args(i64 0, i64 0, i64 0, i64 0, PrimTy %x)
ret void
}
-define void @call_many_leading_args(fp128 %x) nounwind {
-; CHECK-X64-LABEL: call_many_leading_args:
-; CHECK-X64: # %bb.0:
-; CHECK-X64-NEXT: pushq %rax
-; CHECK-X64-NEXT: movaps %xmm0, %xmm1
-; CHECK-X64-NEXT: xorps %xmm0, %xmm0
-; CHECK-X64-NEXT: xorl %edi, %edi
-; CHECK-X64-NEXT: xorl %esi, %esi
-; CHECK-X64-NEXT: xorl %edx, %edx
-; CHECK-X64-NEXT: xorl %ecx, %ecx
-; CHECK-X64-NEXT: callq many_leading_args at PLT
-; CHECK-X64-NEXT: popq %rax
-; CHECK-X64-NEXT: retq
+define void @call_many_leading_args(PrimTy %x) nounwind {
+; CHECK-X64-F128-LABEL: call_many_leading_args:
+; CHECK-X64-F128: # %bb.0:
+; CHECK-X64-F128-NEXT: pushq %rax
+; CHECK-X64-F128-NEXT: movaps %xmm0, %xmm1
+; CHECK-X64-F128-NEXT: xorps %xmm0, %xmm0
+; CHECK-X64-F128-NEXT: xorl %edi, %edi
+; CHECK-X64-F128-NEXT: xorl %esi, %esi
+; CHECK-X64-F128-NEXT: xorl %edx, %edx
+; CHECK-X64-F128-NEXT: xorl %ecx, %ecx
+; CHECK-X64-F128-NEXT: callq many_leading_args at PLT
+; CHECK-X64-F128-NEXT: popq %rax
+; CHECK-X64-F128-NEXT: retq
+;
+; CHECK-X64-I128-LABEL: call_many_leading_args:
+; CHECK-X64-I128: # %bb.0:
+; CHECK-X64-I128-NEXT: pushq %rax
+; CHECK-X64-I128-NEXT: movq %rsi, %rax
+; CHECK-X64-I128-NEXT: movq %rdi, %r10
+; CHECK-X64-I128-NEXT: xorl %edi, %edi
+; CHECK-X64-I128-NEXT: xorl %esi, %esi
+; CHECK-X64-I128-NEXT: xorl %edx, %edx
+; CHECK-X64-I128-NEXT: xorl %ecx, %ecx
+; CHECK-X64-I128-NEXT: xorl %r8d, %r8d
+; CHECK-X64-I128-NEXT: xorl %r9d, %r9d
+; CHECK-X64-I128-NEXT: pushq %rax
+; CHECK-X64-I128-NEXT: pushq %r10
+; CHECK-X64-I128-NEXT: callq many_leading_args at PLT
+; CHECK-X64-I128-NEXT: addq $16, %rsp
+; CHECK-X64-I128-NEXT: popq %rax
+; CHECK-X64-I128-NEXT: retq
+;
+; CHECK-MSVC64-F128-LABEL: call_many_leading_args:
+; CHECK-MSVC64-F128: # %bb.0:
+; CHECK-MSVC64-F128-NEXT: subq $88, %rsp
+; CHECK-MSVC64-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MSVC64-F128-NEXT: xorps %xmm1, %xmm1
+; CHECK-MSVC64-F128-NEXT: movaps %xmm1, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-F128-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-F128-NEXT: leaq {{[0-9]+}}(%rsp), %rax
+; CHECK-MSVC64-F128-NEXT: movq %rax, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-F128-NEXT: leaq {{[0-9]+}}(%rsp), %rax
+; CHECK-MSVC64-F128-NEXT: movq %rax, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-F128-NEXT: xorl %ecx, %ecx
+; CHECK-MSVC64-F128-NEXT: xorl %edx, %edx
+; CHECK-MSVC64-F128-NEXT: xorl %r8d, %r8d
+; CHECK-MSVC64-F128-NEXT: xorl %r9d, %r9d
+; CHECK-MSVC64-F128-NEXT: callq many_leading_args
+; CHECK-MSVC64-F128-NEXT: addq $88, %rsp
+; CHECK-MSVC64-F128-NEXT: retq
+;
+; CHECK-MSVC64-I128-LABEL: call_many_leading_args:
+; CHECK-MSVC64-I128: # %bb.0:
+; CHECK-MSVC64-I128-NEXT: subq $72, %rsp
+; CHECK-MSVC64-I128-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-I128-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-I128-NEXT: movq $0, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-I128-NEXT: movq $0, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-I128-NEXT: xorl %ecx, %ecx
+; CHECK-MSVC64-I128-NEXT: xorl %edx, %edx
+; CHECK-MSVC64-I128-NEXT: xorl %r8d, %r8d
+; CHECK-MSVC64-I128-NEXT: xorl %r9d, %r9d
+; CHECK-MSVC64-I128-NEXT: callq many_leading_args
+; CHECK-MSVC64-I128-NEXT: addq $72, %rsp
+; CHECK-MSVC64-I128-NEXT: retq
+;
+; CHECK-MINGW-F128-LABEL: call_many_leading_args:
+; CHECK-MINGW-F128: # %bb.0:
+; CHECK-MINGW-F128-NEXT: subq $88, %rsp
+; CHECK-MINGW-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MINGW-F128-NEXT: xorps %xmm1, %xmm1
+; CHECK-MINGW-F128-NEXT: movaps %xmm1, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-F128-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-F128-NEXT: leaq {{[0-9]+}}(%rsp), %rax
+; CHECK-MINGW-F128-NEXT: movq %rax, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-F128-NEXT: leaq {{[0-9]+}}(%rsp), %rax
+; CHECK-MINGW-F128-NEXT: movq %rax, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-F128-NEXT: xorl %ecx, %ecx
+; CHECK-MINGW-F128-NEXT: xorl %edx, %edx
+; CHECK-MINGW-F128-NEXT: xorl %r8d, %r8d
+; CHECK-MINGW-F128-NEXT: xorl %r9d, %r9d
+; CHECK-MINGW-F128-NEXT: callq many_leading_args
+; CHECK-MINGW-F128-NEXT: addq $88, %rsp
+; CHECK-MINGW-F128-NEXT: retq
+;
+; CHECK-MINGW-I128-LABEL: call_many_leading_args:
+; CHECK-MINGW-I128: # %bb.0:
+; CHECK-MINGW-I128-NEXT: subq $72, %rsp
+; CHECK-MINGW-I128-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-I128-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-I128-NEXT: movq $0, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-I128-NEXT: movq $0, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-I128-NEXT: xorl %ecx, %ecx
+; CHECK-MINGW-I128-NEXT: xorl %edx, %edx
+; CHECK-MINGW-I128-NEXT: xorl %r8d, %r8d
+; CHECK-MINGW-I128-NEXT: xorl %r9d, %r9d
+; CHECK-MINGW-I128-NEXT: callq many_leading_args
+; CHECK-MINGW-I128-NEXT: addq $72, %rsp
+; CHECK-MINGW-I128-NEXT: retq
;
; CHECK-X86-LABEL: call_many_leading_args:
; CHECK-X86: # %bb.0:
@@ -495,25 +738,6 @@ define void @call_many_leading_args(fp128 %x) nounwind {
; CHECK-X86-NEXT: addl $104, %esp
; CHECK-X86-NEXT: retl
;
-; CHECK-MSVC64-LABEL: call_many_leading_args:
-; CHECK-MSVC64: # %bb.0:
-; CHECK-MSVC64-NEXT: subq $88, %rsp
-; CHECK-MSVC64-NEXT: movaps (%rcx), %xmm0
-; CHECK-MSVC64-NEXT: xorps %xmm1, %xmm1
-; CHECK-MSVC64-NEXT: movaps %xmm1, {{[0-9]+}}(%rsp)
-; CHECK-MSVC64-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
-; CHECK-MSVC64-NEXT: leaq {{[0-9]+}}(%rsp), %rax
-; CHECK-MSVC64-NEXT: movq %rax, {{[0-9]+}}(%rsp)
-; CHECK-MSVC64-NEXT: leaq {{[0-9]+}}(%rsp), %rax
-; CHECK-MSVC64-NEXT: movq %rax, {{[0-9]+}}(%rsp)
-; CHECK-MSVC64-NEXT: xorl %ecx, %ecx
-; CHECK-MSVC64-NEXT: xorl %edx, %edx
-; CHECK-MSVC64-NEXT: xorl %r8d, %r8d
-; CHECK-MSVC64-NEXT: xorl %r9d, %r9d
-; CHECK-MSVC64-NEXT: callq many_leading_args
-; CHECK-MSVC64-NEXT: addq $88, %rsp
-; CHECK-MSVC64-NEXT: retq
-;
; CHECK-MSVC32-LABEL: call_many_leading_args:
; CHECK-MSVC32: # %bb.0:
; CHECK-MSVC32-NEXT: pushl %ebp
@@ -543,40 +767,90 @@ define void @call_many_leading_args(fp128 %x) nounwind {
; CHECK-MSVC32-NEXT: movl %ebp, %esp
; CHECK-MSVC32-NEXT: popl %ebp
; CHECK-MSVC32-NEXT: retl
-;
-; CHECK-MINGW-LABEL: call_many_leading_args:
-; CHECK-MINGW: # %bb.0:
-; CHECK-MINGW-NEXT: subq $88, %rsp
-; CHECK-MINGW-NEXT: movaps (%rcx), %xmm0
-; CHECK-MINGW-NEXT: xorps %xmm1, %xmm1
-; CHECK-MINGW-NEXT: movaps %xmm1, {{[0-9]+}}(%rsp)
-; CHECK-MINGW-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
-; CHECK-MINGW-NEXT: leaq {{[0-9]+}}(%rsp), %rax
-; CHECK-MINGW-NEXT: movq %rax, {{[0-9]+}}(%rsp)
-; CHECK-MINGW-NEXT: leaq {{[0-9]+}}(%rsp), %rax
-; CHECK-MINGW-NEXT: movq %rax, {{[0-9]+}}(%rsp)
-; CHECK-MINGW-NEXT: xorl %ecx, %ecx
-; CHECK-MINGW-NEXT: xorl %edx, %edx
-; CHECK-MINGW-NEXT: xorl %r8d, %r8d
-; CHECK-MINGW-NEXT: xorl %r9d, %r9d
-; CHECK-MINGW-NEXT: callq many_leading_args
-; CHECK-MINGW-NEXT: addq $88, %rsp
-; CHECK-MINGW-NEXT: retq
- call i128 @many_leading_args(i64 0, i64 0, i64 0, i64 0, fp128 0xL0, fp128 %x)
+ call PrimTy @many_leading_args(i64 0, i64 0, i64 0, i64 0, PrimTy Prim0, PrimTy %x)
ret void
}
-define void @call_trailing_arg(fp128 %x) nounwind {
-; CHECK-X64-LABEL: call_trailing_arg:
-; CHECK-X64: # %bb.0:
-; CHECK-X64-NEXT: pushq %rax
-; CHECK-X64-NEXT: xorl %edi, %edi
-; CHECK-X64-NEXT: xorl %esi, %esi
-; CHECK-X64-NEXT: xorl %edx, %edx
-; CHECK-X64-NEXT: xorl %ecx, %ecx
-; CHECK-X64-NEXT: callq trailing_arg at PLT
-; CHECK-X64-NEXT: popq %rax
-; CHECK-X64-NEXT: retq
+define void @call_trailing_arg(PrimTy %x) nounwind {
+; CHECK-X64-F128-LABEL: call_trailing_arg:
+; CHECK-X64-F128: # %bb.0:
+; CHECK-X64-F128-NEXT: pushq %rax
+; CHECK-X64-F128-NEXT: xorl %edi, %edi
+; CHECK-X64-F128-NEXT: xorl %esi, %esi
+; CHECK-X64-F128-NEXT: xorl %edx, %edx
+; CHECK-X64-F128-NEXT: xorl %ecx, %ecx
+; CHECK-X64-F128-NEXT: callq trailing_arg at PLT
+; CHECK-X64-F128-NEXT: popq %rax
+; CHECK-X64-F128-NEXT: retq
+;
+; CHECK-X64-I128-LABEL: call_trailing_arg:
+; CHECK-X64-I128: # %bb.0:
+; CHECK-X64-I128-NEXT: pushq %rax
+; CHECK-X64-I128-NEXT: movq %rsi, %r9
+; CHECK-X64-I128-NEXT: movq %rdi, %r8
+; CHECK-X64-I128-NEXT: xorl %edi, %edi
+; CHECK-X64-I128-NEXT: xorl %esi, %esi
+; CHECK-X64-I128-NEXT: xorl %edx, %edx
+; CHECK-X64-I128-NEXT: xorl %ecx, %ecx
+; CHECK-X64-I128-NEXT: callq trailing_arg at PLT
+; CHECK-X64-I128-NEXT: popq %rax
+; CHECK-X64-I128-NEXT: retq
+;
+; CHECK-MSVC64-F128-LABEL: call_trailing_arg:
+; CHECK-MSVC64-F128: # %bb.0:
+; CHECK-MSVC64-F128-NEXT: subq $72, %rsp
+; CHECK-MSVC64-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MSVC64-F128-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-F128-NEXT: leaq {{[0-9]+}}(%rsp), %rax
+; CHECK-MSVC64-F128-NEXT: movq %rax, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-F128-NEXT: xorl %ecx, %ecx
+; CHECK-MSVC64-F128-NEXT: xorl %edx, %edx
+; CHECK-MSVC64-F128-NEXT: xorl %r8d, %r8d
+; CHECK-MSVC64-F128-NEXT: xorl %r9d, %r9d
+; CHECK-MSVC64-F128-NEXT: callq trailing_arg
+; CHECK-MSVC64-F128-NEXT: addq $72, %rsp
+; CHECK-MSVC64-F128-NEXT: retq
+;
+; CHECK-MSVC64-I128-LABEL: call_trailing_arg:
+; CHECK-MSVC64-I128: # %bb.0:
+; CHECK-MSVC64-I128-NEXT: subq $56, %rsp
+; CHECK-MSVC64-I128-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-I128-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
+; CHECK-MSVC64-I128-NEXT: xorl %ecx, %ecx
+; CHECK-MSVC64-I128-NEXT: xorl %edx, %edx
+; CHECK-MSVC64-I128-NEXT: xorl %r8d, %r8d
+; CHECK-MSVC64-I128-NEXT: xorl %r9d, %r9d
+; CHECK-MSVC64-I128-NEXT: callq trailing_arg
+; CHECK-MSVC64-I128-NEXT: addq $56, %rsp
+; CHECK-MSVC64-I128-NEXT: retq
+;
+; CHECK-MINGW-F128-LABEL: call_trailing_arg:
+; CHECK-MINGW-F128: # %bb.0:
+; CHECK-MINGW-F128-NEXT: subq $72, %rsp
+; CHECK-MINGW-F128-NEXT: movaps (%rcx), %xmm0
+; CHECK-MINGW-F128-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-F128-NEXT: leaq {{[0-9]+}}(%rsp), %rax
+; CHECK-MINGW-F128-NEXT: movq %rax, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-F128-NEXT: xorl %ecx, %ecx
+; CHECK-MINGW-F128-NEXT: xorl %edx, %edx
+; CHECK-MINGW-F128-NEXT: xorl %r8d, %r8d
+; CHECK-MINGW-F128-NEXT: xorl %r9d, %r9d
+; CHECK-MINGW-F128-NEXT: callq trailing_arg
+; CHECK-MINGW-F128-NEXT: addq $72, %rsp
+; CHECK-MINGW-F128-NEXT: retq
+;
+; CHECK-MINGW-I128-LABEL: call_trailing_arg:
+; CHECK-MINGW-I128: # %bb.0:
+; CHECK-MINGW-I128-NEXT: subq $56, %rsp
+; CHECK-MINGW-I128-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-I128-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
+; CHECK-MINGW-I128-NEXT: xorl %ecx, %ecx
+; CHECK-MINGW-I128-NEXT: xorl %edx, %edx
+; CHECK-MINGW-I128-NEXT: xorl %r8d, %r8d
+; CHECK-MINGW-I128-NEXT: xorl %r9d, %r9d
+; CHECK-MINGW-I128-NEXT: callq trailing_arg
+; CHECK-MINGW-I128-NEXT: addq $56, %rsp
+; CHECK-MINGW-I128-NEXT: retq
;
; CHECK-X86-LABEL: call_trailing_arg:
; CHECK-X86: # %bb.0:
@@ -599,21 +873,6 @@ define void @call_trailing_arg(fp128 %x) nounwind {
; CHECK-X86-NEXT: addl $88, %esp
; CHECK-X86-NEXT: retl
;
-; CHECK-MSVC64-LABEL: call_trailing_arg:
-; CHECK-MSVC64: # %bb.0:
-; CHECK-MSVC64-NEXT: subq $72, %rsp
-; CHECK-MSVC64-NEXT: movaps (%rcx), %xmm0
-; CHECK-MSVC64-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
-; CHECK-MSVC64-NEXT: leaq {{[0-9]+}}(%rsp), %rax
-; CHECK-MSVC64-NEXT: movq %rax, {{[0-9]+}}(%rsp)
-; CHECK-MSVC64-NEXT: xorl %ecx, %ecx
-; CHECK-MSVC64-NEXT: xorl %edx, %edx
-; CHECK-MSVC64-NEXT: xorl %r8d, %r8d
-; CHECK-MSVC64-NEXT: xorl %r9d, %r9d
-; CHECK-MSVC64-NEXT: callq trailing_arg
-; CHECK-MSVC64-NEXT: addq $72, %rsp
-; CHECK-MSVC64-NEXT: retq
-;
; CHECK-MSVC32-LABEL: call_trailing_arg:
; CHECK-MSVC32: # %bb.0:
; CHECK-MSVC32-NEXT: pushl %ebp
@@ -639,21 +898,6 @@ define void @call_trailing_arg(fp128 %x) nounwind {
; CHECK-MSVC32-NEXT: movl %ebp, %esp
; CHECK-MSVC32-NEXT: popl %ebp
; CHECK-MSVC32-NEXT: retl
-;
-; CHECK-MINGW-LABEL: call_trailing_arg:
-; CHECK-MINGW: # %bb.0:
-; CHECK-MINGW-NEXT: subq $72, %rsp
-; CHECK-MINGW-NEXT: movaps (%rcx), %xmm0
-; CHECK-MINGW-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp)
-; CHECK-MINGW-NEXT: leaq {{[0-9]+}}(%rsp), %rax
-; CHECK-MINGW-NEXT: movq %rax, {{[0-9]+}}(%rsp)
-; CHECK-MINGW-NEXT: xorl %ecx, %ecx
-; CHECK-MINGW-NEXT: xorl %edx, %edx
-; CHECK-MINGW-NEXT: xorl %r8d, %r8d
-; CHECK-MINGW-NEXT: xorl %r9d, %r9d
-; CHECK-MINGW-NEXT: callq trailing_arg
-; CHECK-MINGW-NEXT: addq $72, %rsp
-; CHECK-MINGW-NEXT: retq
- call i128 @trailing_arg(i64 0, i64 0, i64 0, i64 0, fp128 %x)
+ call PrimTy @trailing_arg(i64 0, i64 0, i64 0, i64 0, PrimTy %x)
ret void
}
>From dd3784fc6a719ef2c34032d90f69f32674d3527a Mon Sep 17 00:00:00 2001
From: Trevor Gross <tgross at intrepidcs.com>
Date: Thu, 10 Jul 2025 22:38:49 -0400
Subject: [PATCH 3/3] add nounwind
---
llvm/test/CodeGen/X86/i128-fp128-abi.ll | 40 ++++---------------------
1 file changed, 5 insertions(+), 35 deletions(-)
diff --git a/llvm/test/CodeGen/X86/i128-fp128-abi.ll b/llvm/test/CodeGen/X86/i128-fp128-abi.ll
index 2d9a905fa7325..be8f7923b8f98 100644
--- a/llvm/test/CodeGen/X86/i128-fp128-abi.ll
+++ b/llvm/test/CodeGen/X86/i128-fp128-abi.ll
@@ -15,7 +15,7 @@
; RUN: sed 's/PrimTy/fp128/g' %s | sed 's/Prim0/0xL0/g' | llc -mtriple=i686-pc-windows-msvc -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MSVC32
; RUN: sed 's/PrimTy/i128/g' %s | sed 's/Prim0/0/g' | llc -mtriple=i686-pc-windows-msvc -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-MSVC32
-define PrimTy @return(ptr %p) {
+define PrimTy @return(ptr %p) nounwind {
; CHECK-X64-F128-LABEL: return:
; CHECK-X64-F128: # %bb.0:
; CHECK-X64-F128-NEXT: movaps (%rdi), %xmm0
@@ -52,11 +52,7 @@ define PrimTy @return(ptr %p) {
; CHECK-X86-LABEL: return:
; CHECK-X86: # %bb.0:
; CHECK-X86-NEXT: pushl %edi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 8
; CHECK-X86-NEXT: pushl %esi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 12
-; CHECK-X86-NEXT: .cfi_offset %esi, -12
-; CHECK-X86-NEXT: .cfi_offset %edi, -8
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
; CHECK-X86-NEXT: movl (%ecx), %edx
@@ -68,9 +64,7 @@ define PrimTy @return(ptr %p) {
; CHECK-X86-NEXT: movl %esi, 4(%eax)
; CHECK-X86-NEXT: movl %edx, (%eax)
; CHECK-X86-NEXT: popl %esi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 8
; CHECK-X86-NEXT: popl %edi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 4
; CHECK-X86-NEXT: retl $4
;
; CHECK-MSVC32-LABEL: return:
@@ -94,7 +88,7 @@ define PrimTy @return(ptr %p) {
ret PrimTy %r
}
-define PrimTy @first_arg(PrimTy %x) {
+define PrimTy @first_arg(PrimTy %x) nounwind {
; CHECK-X64-F128-LABEL: first_arg:
; CHECK-X64-F128: # %bb.0:
; CHECK-X64-F128-NEXT: retq
@@ -128,11 +122,7 @@ define PrimTy @first_arg(PrimTy %x) {
; CHECK-X86-LABEL: first_arg:
; CHECK-X86: # %bb.0:
; CHECK-X86-NEXT: pushl %edi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 8
; CHECK-X86-NEXT: pushl %esi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 12
-; CHECK-X86-NEXT: .cfi_offset %esi, -12
-; CHECK-X86-NEXT: .cfi_offset %edi, -8
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %edx
@@ -143,9 +133,7 @@ define PrimTy @first_arg(PrimTy %x) {
; CHECK-X86-NEXT: movl %edx, 4(%eax)
; CHECK-X86-NEXT: movl %ecx, (%eax)
; CHECK-X86-NEXT: popl %esi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 8
; CHECK-X86-NEXT: popl %edi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 4
; CHECK-X86-NEXT: retl $4
;
; CHECK-MSVC32-LABEL: first_arg:
@@ -167,7 +155,7 @@ define PrimTy @first_arg(PrimTy %x) {
ret PrimTy %x
}
-define PrimTy @leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, PrimTy %x) {
+define PrimTy @leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, PrimTy %x) nounwind {
; CHECK-X64-F128-LABEL: leading_args:
; CHECK-X64-F128: # %bb.0:
; CHECK-X64-F128-NEXT: retq
@@ -205,11 +193,7 @@ define PrimTy @leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, PrimTy %x) {
; CHECK-X86-LABEL: leading_args:
; CHECK-X86: # %bb.0:
; CHECK-X86-NEXT: pushl %edi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 8
; CHECK-X86-NEXT: pushl %esi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 12
-; CHECK-X86-NEXT: .cfi_offset %esi, -12
-; CHECK-X86-NEXT: .cfi_offset %edi, -8
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %edx
@@ -220,9 +204,7 @@ define PrimTy @leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, PrimTy %x) {
; CHECK-X86-NEXT: movl %edx, 4(%eax)
; CHECK-X86-NEXT: movl %ecx, (%eax)
; CHECK-X86-NEXT: popl %esi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 8
; CHECK-X86-NEXT: popl %edi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 4
; CHECK-X86-NEXT: retl $4
;
; CHECK-MSVC32-LABEL: leading_args:
@@ -244,7 +226,7 @@ define PrimTy @leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, PrimTy %x) {
ret PrimTy %x
}
-define PrimTy @many_leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, PrimTy %_5, PrimTy %x) {
+define PrimTy @many_leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, PrimTy %_5, PrimTy %x) nounwind {
; CHECK-X64-F128-LABEL: many_leading_args:
; CHECK-X64-F128: # %bb.0:
; CHECK-X64-F128-NEXT: movaps %xmm1, %xmm0
@@ -283,11 +265,7 @@ define PrimTy @many_leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, Pr
; CHECK-X86-LABEL: many_leading_args:
; CHECK-X86: # %bb.0:
; CHECK-X86-NEXT: pushl %edi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 8
; CHECK-X86-NEXT: pushl %esi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 12
-; CHECK-X86-NEXT: .cfi_offset %esi, -12
-; CHECK-X86-NEXT: .cfi_offset %edi, -8
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %edx
@@ -298,9 +276,7 @@ define PrimTy @many_leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, Pr
; CHECK-X86-NEXT: movl %edx, 4(%eax)
; CHECK-X86-NEXT: movl %ecx, (%eax)
; CHECK-X86-NEXT: popl %esi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 8
; CHECK-X86-NEXT: popl %edi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 4
; CHECK-X86-NEXT: retl $4
;
; CHECK-MSVC32-LABEL: many_leading_args:
@@ -322,7 +298,7 @@ define PrimTy @many_leading_args(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, Pr
ret PrimTy %x
}
-define PrimTy @trailing_arg(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, PrimTy %x, i64 %_5) {
+define PrimTy @trailing_arg(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, PrimTy %x, i64 %_5) nounwind {
; CHECK-X64-F128-LABEL: trailing_arg:
; CHECK-X64-F128: # %bb.0:
; CHECK-X64-F128-NEXT: retq
@@ -360,11 +336,7 @@ define PrimTy @trailing_arg(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, PrimTy
; CHECK-X86-LABEL: trailing_arg:
; CHECK-X86: # %bb.0:
; CHECK-X86-NEXT: pushl %edi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 8
; CHECK-X86-NEXT: pushl %esi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 12
-; CHECK-X86-NEXT: .cfi_offset %esi, -12
-; CHECK-X86-NEXT: .cfi_offset %edi, -8
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
; CHECK-X86-NEXT: movl {{[0-9]+}}(%esp), %edx
@@ -375,9 +347,7 @@ define PrimTy @trailing_arg(i64 %_0, i64 %_1, i64 %_2, i64 %_3, i64 %_4, PrimTy
; CHECK-X86-NEXT: movl %edx, 4(%eax)
; CHECK-X86-NEXT: movl %ecx, (%eax)
; CHECK-X86-NEXT: popl %esi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 8
; CHECK-X86-NEXT: popl %edi
-; CHECK-X86-NEXT: .cfi_def_cfa_offset 4
; CHECK-X86-NEXT: retl $4
;
; CHECK-MSVC32-LABEL: trailing_arg:
More information about the llvm-commits
mailing list