mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-21 00:32:23 +00:00
fe532ad6d6
This is a resubmit of r182877, which was reverted because it broken MCJIT tests on ARM. The patch leaves MCJIT on ARM as it was before: only enabled for iOS. I've CC'ed people from the original review and revert. FastISel was only enabled for iOS ARM and Thumb2, this patch enables it for ARM (not Thumb2) on Linux and NaCl, but not MCJIT. Thumb2 support needs a bit more work, mainly around register class restrictions. The patch punts to SelectionDAG when doing TLS relocation on non-Darwin targets. I will fix this and other FastISel-to-SelectionDAG failures in a separate patch. The patch also forces FastISel to retain frame pointers: iOS always keeps them for backtracking (so emitted code won't change because of this), but Linux was getting much worse code that was incorrect when using big frames (such as test-suite's lencod). I'll also fix this in a later patch, it will probably require a peephole so that FastISel doesn't rematerialize frame pointers back-to-back. The test changes are straightforward, similar to: http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130513/174279.html They also add a vararg test that got dropped in that change. I ran all of lnt test-suite on A15 hardware with --optimize-option=-O0 and all the tests pass. All the tests also pass on x86 make check-all. I also re-ran the check-all tests that failed on ARM, and they all seem to pass. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@183966 91177308-0d34-0410-b5e6-96231b3b80d8
252 lines
6.2 KiB
LLVM
252 lines
6.2 KiB
LLVM
; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=armv7-apple-ios | FileCheck %s --check-prefix=ARM
|
|
; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=armv7-linux-gnueabi | FileCheck %s --check-prefix=ARM
|
|
; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=thumbv7-apple-ios | FileCheck %s --check-prefix=THUMB
|
|
|
|
define void @t1a(float %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t1a
|
|
; THUMB: t1a
|
|
%cmp = fcmp oeq float %a, 0.000000e+00
|
|
; ARM: vcmpe.f32 s{{[0-9]+}}, #0
|
|
; THUMB: vcmpe.f32 s{{[0-9]+}}, #0
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
declare void @foo()
|
|
|
|
; Shouldn't be able to encode -0.0 imm.
|
|
define void @t1b(float %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t1b
|
|
; THUMB: t1b
|
|
%cmp = fcmp oeq float %a, -0.000000e+00
|
|
; ARM: vldr
|
|
; ARM: vcmpe.f32 s{{[0-9]+}}, s{{[0-9]+}}
|
|
; THUMB: vldr
|
|
; THUMB: vcmpe.f32 s{{[0-9]+}}, s{{[0-9]+}}
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @t2a(double %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t2a
|
|
; THUMB: t2a
|
|
%cmp = fcmp oeq double %a, 0.000000e+00
|
|
; ARM: vcmpe.f64 d{{[0-9]+}}, #0
|
|
; THUMB: vcmpe.f64 d{{[0-9]+}}, #0
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
; Shouldn't be able to encode -0.0 imm.
|
|
define void @t2b(double %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t2b
|
|
; THUMB: t2b
|
|
%cmp = fcmp oeq double %a, -0.000000e+00
|
|
; ARM: vldr
|
|
; ARM: vcmpe.f64 d{{[0-9]+}}, d{{[0-9]+}}
|
|
; THUMB: vldr
|
|
; THUMB: vcmpe.f64 d{{[0-9]+}}, d{{[0-9]+}}
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @t4(i8 signext %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t4
|
|
; THUMB: t4
|
|
%cmp = icmp eq i8 %a, -1
|
|
; ARM: cmn r{{[0-9]}}, #1
|
|
; THUMB: cmn.w r{{[0-9]}}, #1
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @t5(i8 zeroext %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t5
|
|
; THUMB: t5
|
|
%cmp = icmp eq i8 %a, 1
|
|
; ARM: cmp r{{[0-9]}}, #1
|
|
; THUMB: cmp r{{[0-9]}}, #1
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @t6(i16 signext %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t6
|
|
; THUMB: t6
|
|
%cmp = icmp eq i16 %a, -1
|
|
; ARM: cmn r{{[0-9]}}, #1
|
|
; THUMB: cmn.w r{{[0-9]}}, #1
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @t7(i16 zeroext %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t7
|
|
; THUMB: t7
|
|
%cmp = icmp eq i16 %a, 1
|
|
; ARM: cmp r{{[0-9]}}, #1
|
|
; THUMB: cmp r{{[0-9]}}, #1
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @t8(i32 %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t8
|
|
; THUMB: t8
|
|
%cmp = icmp eq i32 %a, -1
|
|
; ARM: cmn r{{[0-9]}}, #1
|
|
; THUMB: cmn.w r{{[0-9]}}, #1
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @t9(i32 %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t9
|
|
; THUMB: t9
|
|
%cmp = icmp eq i32 %a, 1
|
|
; ARM: cmp r{{[0-9]}}, #1
|
|
; THUMB: cmp r{{[0-9]}}, #1
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @t10(i32 %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t10
|
|
; THUMB: t10
|
|
%cmp = icmp eq i32 %a, 384
|
|
; ARM: cmp r{{[0-9]}}, #384
|
|
; THUMB: cmp.w r{{[0-9]}}, #384
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @t11(i32 %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t11
|
|
; THUMB: t11
|
|
%cmp = icmp eq i32 %a, 4096
|
|
; ARM: cmp r{{[0-9]}}, #4096
|
|
; THUMB: cmp.w r{{[0-9]}}, #4096
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @t12(i8 %a) uwtable ssp {
|
|
entry:
|
|
; ARM: t12
|
|
; THUMB: t12
|
|
%cmp = icmp ugt i8 %a, -113
|
|
; ARM: cmp r{{[0-9]}}, #143
|
|
; THUMB: cmp r{{[0-9]}}, #143
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @foo()
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret void
|
|
}
|
|
|
|
; rdar://11038907
|
|
; When comparing LONG_MIN/INT_MIN use a cmp instruction.
|
|
define void @t13() nounwind ssp {
|
|
entry:
|
|
; ARM: t13
|
|
; THUMB: t13
|
|
%cmp = icmp slt i32 -123, -2147483648
|
|
; ARM: cmp r{{[0-9]}}, #-2147483648
|
|
; THUMB: cmp.w r{{[0-9]}}, #-2147483648
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
ret void
|
|
|
|
if.end: ; preds = %entry
|
|
ret void
|
|
}
|
|
|