mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-28 22:29:56 +00:00
44b486ed78
Before this change, the SystemZ backend would use BRCL for all branches
and only consider shortening them to BRC when generating an object file.
E.g. a branch on equal would use the JGE alias of BRCL in assembly output,
but might be shortened to the JE alias of BRC in ELF output. This was
a useful first step, but it had two problems:
(1) The z assembler isn't traditionally supposed to perform branch shortening
or branch relaxation. We followed this rule by not relaxing branches
in assembler input, but that meant that generating assembly code and
then assembling it would not produce the same result as going directly
to object code; the former would give long branches everywhere, whereas
the latter would use short branches where possible.
(2) Other useful branches, like COMPARE AND BRANCH, do not have long forms.
We would need to do something else before supporting them.
(Although COMPARE AND BRANCH does not change the condition codes,
the plan is to model COMPARE AND BRANCH as a CC-clobbering instruction
during codegen, so that we can safely lower it to a separate compare
and long branch where necessary. This is not a valid transformation
for the assembler proper to make.)
This patch therefore moves branch relaxation to a pre-emit pass.
For now, calls are still shortened from BRASL to BRAS by the assembler,
although this too is not really the traditional behaviour.
The first test takes about 1.5s to run, and there are likely to be
more tests in this vein once further branch types are added. The feeling
on IRC was that 1.5s is a bit much for a single test, so I've restricted
it to SystemZ hosts for now.
The patch exposes (and fixes) some typos in the main CodeGen/SystemZ tests.
A later patch will remove the {{g}}s from that directory.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182274 91177308-0d34-0410-b5e6-96231b3b80d8
226 lines
6.4 KiB
LLVM
226 lines
6.4 KiB
LLVM
; Test 32-bit ordered comparisons that are really between a memory halfword
|
|
; and a constant.
|
|
;
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
|
|
|
|
; Check unsigned comparison near the low end of the CLHHSI range, using zero
|
|
; extension.
|
|
define double @f1(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f1:
|
|
; CHECK: clhhsi 0(%r2), 1
|
|
; CHECK-NEXT: j{{g?}}h
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = zext i16 %val to i32
|
|
%cond = icmp ugt i32 %ext, 1
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check unsigned comparison near the low end of the CLHHSI range, using sign
|
|
; extension.
|
|
define double @f2(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f2:
|
|
; CHECK: clhhsi 0(%r2), 1
|
|
; CHECK-NEXT: j{{g?}}h
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = sext i16 %val to i32
|
|
%cond = icmp ugt i32 %ext, 1
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check unsigned comparison near the high end of the CLHHSI range, using zero
|
|
; extension.
|
|
define double @f3(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f3:
|
|
; CHECK: clhhsi 0(%r2), 65534
|
|
; CHECK-NEXT: j{{g?}}l
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = zext i16 %val to i32
|
|
%cond = icmp ult i32 %ext, 65534
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check unsigned comparison near the high end of the CLHHSI range, using sign
|
|
; extension.
|
|
define double @f4(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f4:
|
|
; CHECK: clhhsi 0(%r2), 65534
|
|
; CHECK-NEXT: j{{g?}}l
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = sext i16 %val to i32
|
|
%cond = icmp ult i32 %ext, -2
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check unsigned comparison above the high end of the CLHHSI range, using zero
|
|
; extension. The condition is always true.
|
|
define double @f5(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f5:
|
|
; CHECK-NOT: clhhsi
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = zext i16 %val to i32
|
|
%cond = icmp ult i32 %ext, 65536
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; When using unsigned comparison with sign extension, equality with values
|
|
; in the range [32768, MAX-32769] is impossible, and ordered comparisons with
|
|
; those values are effectively sign tests. Since such comparisons are
|
|
; unlikely to occur in practice, we don't bother optimizing the second case,
|
|
; and simply ignore CLHHSI for this range. First check the low end of the
|
|
; range.
|
|
define double @f6(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f6:
|
|
; CHECK-NOT: clhhsi
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = sext i16 %val to i32
|
|
%cond = icmp ult i32 %ext, 32768
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; ...and then the high end.
|
|
define double @f7(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f7:
|
|
; CHECK-NOT: clhhsi
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = sext i16 %val to i32
|
|
%cond = icmp ult i32 %ext, -32769
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check signed comparison near the low end of the CLHHSI range, using zero
|
|
; extension. This is equivalent to unsigned comparison.
|
|
define double @f8(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f8:
|
|
; CHECK: clhhsi 0(%r2), 1
|
|
; CHECK-NEXT: j{{g?}}h
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = zext i16 %val to i32
|
|
%cond = icmp sgt i32 %ext, 1
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check signed comparison near the low end of the CLHHSI range, using sign
|
|
; extension. This should use CHHSI instead.
|
|
define double @f9(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f9:
|
|
; CHECK: chhsi 0(%r2), 1
|
|
; CHECK-NEXT: j{{g?}}h
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = sext i16 %val to i32
|
|
%cond = icmp sgt i32 %ext, 1
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check signed comparison near the high end of the CLHHSI range, using zero
|
|
; extension. This is equivalent to unsigned comparison.
|
|
define double @f10(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f10:
|
|
; CHECK: clhhsi 0(%r2), 65534
|
|
; CHECK-NEXT: j{{g?}}l
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = zext i16 %val to i32
|
|
%cond = icmp slt i32 %ext, 65534
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check signed comparison near the high end of the CLHHSI range, using sign
|
|
; extension. This should use CHHSI instead.
|
|
define double @f11(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f11:
|
|
; CHECK: chhsi 0(%r2), -2
|
|
; CHECK-NEXT: j{{g?}}l
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = sext i16 %val to i32
|
|
%cond = icmp slt i32 %ext, -2
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check signed comparison above the high end of the CLHHSI range, using zero
|
|
; extension. The condition is always true.
|
|
define double @f12(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f12:
|
|
; CHECK-NOT: cli
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = zext i16 %val to i32
|
|
%cond = icmp slt i32 %ext, 65536
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check signed comparison near the high end of the CHHSI range, using sign
|
|
; extension.
|
|
define double @f13(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f13:
|
|
; CHECK: chhsi 0(%r2), 32766
|
|
; CHECK-NEXT: j{{g?}}l
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = sext i16 %val to i32
|
|
%cond = icmp slt i32 %ext, 32766
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check signed comparison above the high end of the CHHSI range, using sign
|
|
; extension. This condition is always true.
|
|
define double @f14(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f14:
|
|
; CHECK-NOT: chhsi
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = sext i16 %val to i32
|
|
%cond = icmp slt i32 %ext, 32768
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check signed comparison near the low end of the CHHSI range, using sign
|
|
; extension.
|
|
define double @f15(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f15:
|
|
; CHECK: chhsi 0(%r2), -32767
|
|
; CHECK-NEXT: j{{g?}}h
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = sext i16 %val to i32
|
|
%cond = icmp sgt i32 %ext, -32767
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|
|
|
|
; Check signed comparison below the low end of the CHHSI range, using sign
|
|
; extension. This condition is always true.
|
|
define double @f16(double %a, double %b, i16 *%ptr) {
|
|
; CHECK: f16:
|
|
; CHECK-NOT: chhsi
|
|
; CHECK: br %r14
|
|
%val = load i16 *%ptr
|
|
%ext = sext i16 %val to i32
|
|
%cond = icmp sgt i32 %ext, -32769
|
|
%res = select i1 %cond, double %a, double %b
|
|
ret double %res
|
|
}
|