mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 12:12:47 +01:00
b8775b2a78
Parameter attributes are considered part of the function [1], and like mismatched calling conventions [2], we can't have the verifier check for mismatched parameter attributes. This is a reland after fixing MSan issues in D102667. [1] https://llvm.org/docs/LangRef.html#parameter-attributes [2] https://llvm.org/docs/FAQ.html#why-does-instcombine-simplifycfg-turn-a-call-to-a-function-with-a-mismatched-calling-convention-into-unreachable-why-not-make-the-verifier-reject-it Reviewed By: rnk Differential Revision: https://reviews.llvm.org/D101806
76 lines
2.9 KiB
LLVM
76 lines
2.9 KiB
LLVM
; Test the handling of GPR, FPR and stack arguments when integers are
|
|
; sign-extended.
|
|
;
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-INT
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FLOAT
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-DOUBLE
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FP128-1
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FP128-2
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-STACK
|
|
|
|
declare void @bar(i8 signext, i16 signext, i32 signext, i64, float, double,
|
|
fp128, i64, float, double, i8 signext, i16 signext,
|
|
i32 signext, i64, float, double, fp128)
|
|
|
|
; There are two indirect fp128 slots, one at offset 224 (the first available
|
|
; byte after the outgoing arguments) and one immediately after it at 240.
|
|
; These slots should be set up outside the glued call sequence, so would
|
|
; normally use %f0/%f2 as the first available 128-bit pair. This choice
|
|
; is hard-coded in the FP128 tests.
|
|
;
|
|
; The order of the CHECK-STACK stores doesn't matter. It would be OK to reorder
|
|
; them in response to future code changes.
|
|
define void @foo() {
|
|
; CHECK-INT-LABEL: foo:
|
|
; CHECK-INT-DAG: lghi %r2, -1
|
|
; CHECK-INT-DAG: lghi %r3, -2
|
|
; CHECK-INT-DAG: lghi %r4, -3
|
|
; CHECK-INT-DAG: lghi %r5, -4
|
|
; CHECK-INT-DAG: la %r6, {{224|240}}(%r15)
|
|
; CHECK-INT: brasl %r14, bar@PLT
|
|
;
|
|
; CHECK-FLOAT-LABEL: foo:
|
|
; CHECK-FLOAT: lzer %f0
|
|
; CHECK-FLOAT: lcdfr %f4, %f0
|
|
; CHECK-FLOAT: brasl %r14, bar@PLT
|
|
;
|
|
; CHECK-DOUBLE-LABEL: foo:
|
|
; CHECK-DOUBLE: lzdr %f2
|
|
; CHECK-DOUBLE: lcdfr %f6, %f2
|
|
; CHECK-DOUBLE: brasl %r14, bar@PLT
|
|
;
|
|
; CHECK-FP128-1-LABEL: foo:
|
|
; CHECK-FP128-1: aghi %r15, -256
|
|
; CHECK-FP128-1: lzxr %f0
|
|
; CHECK-FP128-1-DAG: std %f0, 224(%r15)
|
|
; CHECK-FP128-1-DAG: std %f2, 232(%r15)
|
|
; CHECK-FP128-1: brasl %r14, bar@PLT
|
|
;
|
|
; CHECK-FP128-2-LABEL: foo:
|
|
; CHECK-FP128-2: aghi %r15, -256
|
|
; CHECK-FP128-2: lzxr %f0
|
|
; CHECK-FP128-2-DAG: std %f0, 240(%r15)
|
|
; CHECK-FP128-2-DAG: std %f2, 248(%r15)
|
|
; CHECK-FP128-2: brasl %r14, bar@PLT
|
|
;
|
|
; CHECK-STACK-LABEL: foo:
|
|
; CHECK-STACK: aghi %r15, -256
|
|
; CHECK-STACK: la [[REGISTER:%r[0-5]+]], {{224|240}}(%r15)
|
|
; CHECK-STACK: stg [[REGISTER]], 216(%r15)
|
|
; CHECK-STACK: mvghi 208(%r15), 0
|
|
; CHECK-STACK: mvhi 204(%r15), 0
|
|
; CHECK-STACK: mvghi 192(%r15), -9
|
|
; CHECK-STACK: mvghi 184(%r15), -8
|
|
; CHECK-STACK: mvghi 176(%r15), -7
|
|
; CHECK-STACK: mvghi 168(%r15), -6
|
|
; CHECK-STACK: mvghi 160(%r15), -5
|
|
; CHECK-STACK: brasl %r14, bar@PLT
|
|
|
|
call void @bar (i8 signext -1, i16 signext -2, i32 signext -3, i64 -4, float 0.0, double 0.0,
|
|
fp128 0xL00000000000000000000000000000000, i64 -5,
|
|
float -0.0, double -0.0, i8 signext -6, i16 signext -7, i32 signext -8, i64 -9,
|
|
float 0.0, double 0.0,
|
|
fp128 0xL00000000000000000000000000000000)
|
|
ret void
|
|
}
|