mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-20 19:42:54 +02:00
ca6877343b
Math is hard, and isScaledConstantInRange() always returned false for negative constants. It was doing unsigned division of negative numbers before casting back to signed. llvm-svn: 140425
42 lines
1.0 KiB
LLVM
42 lines
1.0 KiB
LLVM
; RUN: llc < %s -march=arm -mattr=+vfp2 | FileCheck %s
|
|
|
|
define float @f1(float %a) {
|
|
; CHECK: f1:
|
|
; CHECK: mov r0, #0
|
|
ret float 0.000000e+00
|
|
}
|
|
|
|
define float @f2(float* %v, float %u) {
|
|
; CHECK: f2:
|
|
; CHECK: vldr.32{{.*}}[
|
|
%tmp = load float* %v ; <float> [#uses=1]
|
|
%tmp1 = fadd float %tmp, %u ; <float> [#uses=1]
|
|
ret float %tmp1
|
|
}
|
|
|
|
define float @f2offset(float* %v, float %u) {
|
|
; CHECK: f2offset:
|
|
; CHECK: vldr.32{{.*}}, #4]
|
|
%addr = getelementptr float* %v, i32 1
|
|
%tmp = load float* %addr
|
|
%tmp1 = fadd float %tmp, %u
|
|
ret float %tmp1
|
|
}
|
|
|
|
define float @f2noffset(float* %v, float %u) {
|
|
; CHECK: f2noffset:
|
|
; CHECK: vldr.32{{.*}}, #-4]
|
|
%addr = getelementptr float* %v, i32 -1
|
|
%tmp = load float* %addr
|
|
%tmp1 = fadd float %tmp, %u
|
|
ret float %tmp1
|
|
}
|
|
|
|
define void @f3(float %a, float %b, float* %v) {
|
|
; CHECK: f3:
|
|
; CHECK: vstr.32{{.*}}[
|
|
%tmp = fadd float %a, %b ; <float> [#uses=1]
|
|
store float %tmp, float* %v
|
|
ret void
|
|
}
|