mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-24 21:42:54 +02:00
58c34c0e80
Also fix some of the tests that were actually testing wrong behavior -
An input operand in {st} is only popped by the inline asm when {st} is
also in the clobber list.
The original bug reports all had ~{st} clobbers as they should.
llvm-svn: 133916
163 lines
4.5 KiB
LLVM
163 lines
4.5 KiB
LLVM
; RUN: llc < %s -mtriple=i386-apple-darwin | FileCheck %s
|
|
|
|
; There should be no stack manipulations between the inline asm and ret.
|
|
; CHECK: test1
|
|
; CHECK: InlineAsm End
|
|
; CHECK-NEXT: ret
|
|
define x86_fp80 @test1() {
|
|
%tmp85 = call x86_fp80 asm sideeffect "fld0", "={st(0)}"()
|
|
ret x86_fp80 %tmp85
|
|
}
|
|
|
|
; CHECK: test2
|
|
; CHECK: InlineAsm End
|
|
; CHECK-NEXT: ret
|
|
define double @test2() {
|
|
%tmp85 = call double asm sideeffect "fld0", "={st(0)}"()
|
|
ret double %tmp85
|
|
}
|
|
|
|
; Setting up argument in st(0) should be a single fld.
|
|
; CHECK: test3
|
|
; CHECK: fld
|
|
; CHECK-NEXT: InlineAsm Start
|
|
; Asm consumes stack, nothing should be popped.
|
|
; CHECK: InlineAsm End
|
|
; CHECK-NOT: fstp
|
|
; CHECK: ret
|
|
define void @test3(x86_fp80 %X) {
|
|
call void asm sideeffect "frob ", "{st(0)},~{st},~{dirflag},~{fpsr},~{flags}"( x86_fp80 %X)
|
|
ret void
|
|
}
|
|
|
|
; CHECK: test4
|
|
; CHECK: fld
|
|
; CHECK-NEXT: InlineAsm Start
|
|
; CHECK: InlineAsm End
|
|
; CHECK-NOT: fstp
|
|
; CHECK: ret
|
|
define void @test4(double %X) {
|
|
call void asm sideeffect "frob ", "{st(0)},~{st},~{dirflag},~{fpsr},~{flags}"( double %X)
|
|
ret void
|
|
}
|
|
|
|
; Same as test3/4, but using value from fadd.
|
|
; The fadd can be done in xmm or x87 regs - we don't test that.
|
|
; CHECK: test5
|
|
; CHECK: InlineAsm End
|
|
; CHECK-NOT: fstp
|
|
; CHECK: ret
|
|
define void @test5(double %X) {
|
|
%Y = fadd double %X, 123.0
|
|
call void asm sideeffect "frob ", "{st(0)},~{st},~{dirflag},~{fpsr},~{flags}"( double %Y)
|
|
ret void
|
|
}
|
|
|
|
; CHECK: test6
|
|
define void @test6(double %A, double %B, double %C,
|
|
double %D, double %E) nounwind {
|
|
entry:
|
|
; Uses the same value twice, should have one fstp after the asm.
|
|
; CHECK: foo
|
|
; CHECK: InlineAsm End
|
|
; CHECK-NEXT: fstp
|
|
; CHECK-NOT: fstp
|
|
tail call void asm sideeffect "foo $0 $1", "f,f,~{dirflag},~{fpsr},~{flags}"( double %A, double %A ) nounwind
|
|
; Uses two different values, should be in st(0)/st(1) and both be popped.
|
|
; CHECK: bar
|
|
; CHECK: InlineAsm End
|
|
; CHECK-NEXT: fstp
|
|
; CHECK-NEXT: fstp
|
|
tail call void asm sideeffect "bar $0 $1", "f,f,~{dirflag},~{fpsr},~{flags}"( double %B, double %C ) nounwind
|
|
; Uses two different values, one of which isn't killed in this asm, it
|
|
; should not be popped after the asm.
|
|
; CHECK: baz
|
|
; CHECK: InlineAsm End
|
|
; CHECK-NEXT: fstp
|
|
; CHECK-NOT: fstp
|
|
tail call void asm sideeffect "baz $0 $1", "f,f,~{dirflag},~{fpsr},~{flags}"( double %D, double %E ) nounwind
|
|
; This is the last use of %D, so it should be popped after.
|
|
; CHECK: baz
|
|
; CHECK: InlineAsm End
|
|
; CHECK-NEXT: fstp
|
|
; CHECK-NOT: fstp
|
|
; CHECK: ret
|
|
tail call void asm sideeffect "baz $0", "f,~{dirflag},~{fpsr},~{flags}"( double %D ) nounwind
|
|
ret void
|
|
}
|
|
|
|
; PR4185
|
|
; Passing a non-killed value to asm in {st}.
|
|
; Make sure it is duped before.
|
|
; asm kills st(0), so we shouldn't pop anything
|
|
; CHECK: testPR4185
|
|
; CHECK: fld %st(0)
|
|
; CHECK: fistpl
|
|
; CHECK-NOT: fstp
|
|
; CHECK: fistpl
|
|
; CHECK-NOT: fstp
|
|
; CHECK: ret
|
|
; A valid alternative would be to remat the constant pool load before each
|
|
; inline asm.
|
|
define void @testPR4185() {
|
|
return:
|
|
call void asm sideeffect "fistpl $0", "{st},~{st}"(double 1.000000e+06)
|
|
call void asm sideeffect "fistpl $0", "{st},~{st}"(double 1.000000e+06)
|
|
ret void
|
|
}
|
|
|
|
; PR4459
|
|
; The return value from ceil must be duped before being consumed by asm.
|
|
; CHECK: testPR4459
|
|
; CHECK: ceil
|
|
; CHECK: fld %st(0)
|
|
; CHECK-NOT: fxch
|
|
; CHECK: fistpl
|
|
; CHECK-NOT: fxch
|
|
; CHECK: fstpt
|
|
; CHECK: test
|
|
define void @testPR4459(x86_fp80 %a) {
|
|
entry:
|
|
%0 = call x86_fp80 @ceil(x86_fp80 %a)
|
|
call void asm sideeffect "fistpl $0", "{st},~{st}"( x86_fp80 %0)
|
|
call void @test3(x86_fp80 %0 )
|
|
ret void
|
|
}
|
|
declare x86_fp80 @ceil(x86_fp80)
|
|
|
|
; PR4484
|
|
; test1 leaves a value on the stack that is needed after the asm.
|
|
; CHECK: testPR4484
|
|
; CHECK: test1
|
|
; CHECK-NOT: fstp
|
|
; Load %a from stack after ceil
|
|
; CHECK: fldt
|
|
; CHECK-NOT: fxch
|
|
; CHECK: fistpl
|
|
; CHECK-NOT: fstp
|
|
; Set up call to test.
|
|
; CHECK: fstpt
|
|
; CHECK: test
|
|
define void @testPR4484(x86_fp80 %a) {
|
|
entry:
|
|
%0 = call x86_fp80 @test1()
|
|
call void asm sideeffect "fistpl $0", "{st},~{st}"(x86_fp80 %a)
|
|
call void @test3(x86_fp80 %0)
|
|
ret void
|
|
}
|
|
|
|
; PR4485
|
|
; CHECK: testPR4485
|
|
define void @testPR4485(x86_fp80* %a) {
|
|
entry:
|
|
%0 = load x86_fp80* %a, align 16
|
|
%1 = fmul x86_fp80 %0, 0xK4006B400000000000000
|
|
%2 = fmul x86_fp80 %1, 0xK4012F424000000000000
|
|
tail call void asm sideeffect "fistpl $0", "{st},~{st}"(x86_fp80 %2)
|
|
%3 = load x86_fp80* %a, align 16
|
|
%4 = fmul x86_fp80 %3, 0xK4006B400000000000000
|
|
%5 = fmul x86_fp80 %4, 0xK4012F424000000000000
|
|
tail call void asm sideeffect "fistpl $0", "{st},~{st}"(x86_fp80 %5)
|
|
ret void
|
|
}
|