mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-30 21:29:28 +00:00
Patch by Bill Seurer; committed on his behalf. These test cases generate slightly different code sequences when VSX is activated and thus fail. The update turns off VSX explicitly for the existing checks and then adds a second set of checks for most of them that test the VSX instruction output. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@220019 91177308-0d34-0410-b5e6-96231b3b80d8
181 lines
4.4 KiB
LLVM
181 lines
4.4 KiB
LLVM
; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -mattr=-vsx | FileCheck %s
|
|
; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -enable-no-infs-fp-math -enable-no-nans-fp-math -mattr=-vsx | FileCheck -check-prefix=CHECK-FM %s
|
|
; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -enable-no-infs-fp-math -enable-no-nans-fp-math -mattr=+vsx | FileCheck -check-prefix=CHECK-FM-VSX %s
|
|
target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
|
|
target triple = "powerpc64-unknown-linux-gnu"
|
|
|
|
define double @zerocmp1(double %a, double %y, double %z) #0 {
|
|
entry:
|
|
%cmp = fcmp ult double %a, 0.000000e+00
|
|
%z.y = select i1 %cmp, double %z, double %y
|
|
ret double %z.y
|
|
|
|
; CHECK: @zerocmp1
|
|
; CHECK-NOT: fsel
|
|
; CHECK: blr
|
|
|
|
; CHECK-FM: @zerocmp1
|
|
; CHECK-FM: fsel 1, 1, 2, 3
|
|
; CHECK-FM: blr
|
|
|
|
; CHECK-FM-VSX: @zerocmp1
|
|
; CHECK-FM-VSX: fsel 1, 1, 2, 3
|
|
; CHECK-FM-VSX: blr
|
|
}
|
|
|
|
define double @zerocmp2(double %a, double %y, double %z) #0 {
|
|
entry:
|
|
%cmp = fcmp ogt double %a, 0.000000e+00
|
|
%y.z = select i1 %cmp, double %y, double %z
|
|
ret double %y.z
|
|
|
|
; CHECK: @zerocmp2
|
|
; CHECK-NOT: fsel
|
|
; CHECK: blr
|
|
|
|
; CHECK-FM: @zerocmp2
|
|
; CHECK-FM: fneg [[REG:[0-9]+]], 1
|
|
; CHECK-FM: fsel 1, [[REG]], 3, 2
|
|
; CHECK-FM: blr
|
|
|
|
; CHECK-FM-VSX: @zerocmp2
|
|
; CHECK-FM-VSX: xsnegdp [[REG:[0-9]+]], 1
|
|
; CHECK-FM-VSX: fsel 1, [[REG]], 3, 2
|
|
; CHECK-FM-VSX: blr
|
|
}
|
|
|
|
define double @zerocmp3(double %a, double %y, double %z) #0 {
|
|
entry:
|
|
%cmp = fcmp oeq double %a, 0.000000e+00
|
|
%y.z = select i1 %cmp, double %y, double %z
|
|
ret double %y.z
|
|
|
|
; CHECK: @zerocmp3
|
|
; CHECK-NOT: fsel
|
|
; CHECK: blr
|
|
|
|
; CHECK-FM: @zerocmp3
|
|
; CHECK-FM: fsel [[REG:[0-9]+]], 1, 2, 3
|
|
; CHECK-FM: fneg [[REG2:[0-9]+]], 1
|
|
; CHECK-FM: fsel 1, [[REG2]], [[REG]], 3
|
|
; CHECK-FM: blr
|
|
|
|
; CHECK-FM-VSX: @zerocmp3
|
|
; CHECK-FM-VSX: xsnegdp [[REG2:[0-9]+]], 1
|
|
; CHECK-FM-VSX: fsel [[REG:[0-9]+]], 1, 2, 3
|
|
; CHECK-FM-VSX: fsel 1, [[REG2]], [[REG]], 3
|
|
; CHECK-FM-VSX: blr
|
|
}
|
|
|
|
define double @min1(double %a, double %b) #0 {
|
|
entry:
|
|
%cmp = fcmp ole double %a, %b
|
|
%cond = select i1 %cmp, double %a, double %b
|
|
ret double %cond
|
|
|
|
; CHECK: @min1
|
|
; CHECK-NOT: fsel
|
|
; CHECK: blr
|
|
|
|
; CHECK-FM: @min1
|
|
; CHECK-FM: fsub [[REG:[0-9]+]], 2, 1
|
|
; CHECK-FM: fsel 1, [[REG]], 1, 2
|
|
; CHECK-FM: blr
|
|
|
|
; CHECK-FM-VSX: @min1
|
|
; CHECK-FM-VSX: xssubdp [[REG:[0-9]+]], 2, 1
|
|
; CHECK-FM-VSX: fsel 1, [[REG]], 1, 2
|
|
; CHECK-FM-VSX: blr
|
|
}
|
|
|
|
define double @max1(double %a, double %b) #0 {
|
|
entry:
|
|
%cmp = fcmp oge double %a, %b
|
|
%cond = select i1 %cmp, double %a, double %b
|
|
ret double %cond
|
|
|
|
; CHECK: @max1
|
|
; CHECK-NOT: fsel
|
|
; CHECK: blr
|
|
|
|
; CHECK-FM: @max1
|
|
; CHECK-FM: fsub [[REG:[0-9]+]], 1, 2
|
|
; CHECK-FM: fsel 1, [[REG]], 1, 2
|
|
; CHECK-FM: blr
|
|
|
|
; CHECK-FM-VSX: @max1
|
|
; CHECK-FM-VSX: xssubdp [[REG:[0-9]+]], 1, 2
|
|
; CHECK-FM-VSX: fsel 1, [[REG]], 1, 2
|
|
; CHECK-FM-VSX: blr
|
|
}
|
|
|
|
define double @cmp1(double %a, double %b, double %y, double %z) #0 {
|
|
entry:
|
|
%cmp = fcmp ult double %a, %b
|
|
%z.y = select i1 %cmp, double %z, double %y
|
|
ret double %z.y
|
|
|
|
; CHECK: @cmp1
|
|
; CHECK-NOT: fsel
|
|
; CHECK: blr
|
|
|
|
; CHECK-FM: @cmp1
|
|
; CHECK-FM: fsub [[REG:[0-9]+]], 1, 2
|
|
; CHECK-FM: fsel 1, [[REG]], 3, 4
|
|
; CHECK-FM: blr
|
|
|
|
; CHECK-FM-VSX: @cmp1
|
|
; CHECK-FM-VSX: xssubdp [[REG:[0-9]+]], 1, 2
|
|
; CHECK-FM-VSX: fsel 1, [[REG]], 3, 4
|
|
; CHECK-FM-VSX: blr
|
|
}
|
|
|
|
define double @cmp2(double %a, double %b, double %y, double %z) #0 {
|
|
entry:
|
|
%cmp = fcmp ogt double %a, %b
|
|
%y.z = select i1 %cmp, double %y, double %z
|
|
ret double %y.z
|
|
|
|
; CHECK: @cmp2
|
|
; CHECK-NOT: fsel
|
|
; CHECK: blr
|
|
|
|
; CHECK-FM: @cmp2
|
|
; CHECK-FM: fsub [[REG:[0-9]+]], 2, 1
|
|
; CHECK-FM: fsel 1, [[REG]], 4, 3
|
|
; CHECK-FM: blr
|
|
|
|
; CHECK-FM-VSX: @cmp2
|
|
; CHECK-FM-VSX: xssubdp [[REG:[0-9]+]], 2, 1
|
|
; CHECK-FM-VSX: fsel 1, [[REG]], 4, 3
|
|
; CHECK-FM-VSX: blr
|
|
}
|
|
|
|
define double @cmp3(double %a, double %b, double %y, double %z) #0 {
|
|
entry:
|
|
%cmp = fcmp oeq double %a, %b
|
|
%y.z = select i1 %cmp, double %y, double %z
|
|
ret double %y.z
|
|
|
|
; CHECK: @cmp3
|
|
; CHECK-NOT: fsel
|
|
; CHECK: blr
|
|
|
|
; CHECK-FM: @cmp3
|
|
; CHECK-FM: fsub [[REG:[0-9]+]], 1, 2
|
|
; CHECK-FM: fsel [[REG2:[0-9]+]], [[REG]], 3, 4
|
|
; CHECK-FM: fneg [[REG3:[0-9]+]], [[REG]]
|
|
; CHECK-FM: fsel 1, [[REG3]], [[REG2]], 4
|
|
; CHECK-FM: blr
|
|
|
|
; CHECK-FM-VSX: @cmp3
|
|
; CHECK-FM-VSX: xssubdp [[REG:[0-9]+]], 1, 2
|
|
; CHECK-FM-VSX: xsnegdp [[REG3:[0-9]+]], [[REG]]
|
|
; CHECK-FM-VSX: fsel [[REG2:[0-9]+]], [[REG]], 3, 4
|
|
; CHECK-FM-VSX: fsel 1, [[REG3]], [[REG2]], 4
|
|
; CHECK-FM-VSX: blr
|
|
}
|
|
|
|
attributes #0 = { nounwind readnone }
|
|
|