mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-04 07:29:20 +00:00
d50bcb2162
This patch adds support for the CRJ and CGRJ instructions. Support for the immediate forms will be a separate patch. The architecture has a large number of comparison instructions. I think it's generally better to concentrate on using the "best" comparison instruction first and foremost, then only use something like CRJ if CR really was the natual choice of comparison instruction. The patch therefore opportunistically converts separate CR and BRC instructions into a single CRJ while emitting instructions in ISelLowering. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182764 91177308-0d34-0410-b5e6-96231b3b80d8
56 lines
1.9 KiB
LLVM
56 lines
1.9 KiB
LLVM
; Test 8-bit compare and swap.
|
|
;
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-MAIN
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-SHIFT
|
|
|
|
; Check compare and swap with a variable.
|
|
; - CHECK is for the main loop.
|
|
; - CHECK-SHIFT makes sure that the negated shift count used by the second
|
|
; RLL is set up correctly. The negation is independent of the NILL and L
|
|
; tested in CHECK. CHECK-SHIFT also checks that %r3 is not modified before
|
|
; being used in the RISBG (in contrast to things like atomic addition,
|
|
; which shift %r3 left so that %b is at the high end of the word).
|
|
define i8 @f1(i8 %dummy, i8 *%src, i8 %cmp, i8 %swap) {
|
|
; CHECK-MAIN: f1:
|
|
; CHECK-MAIN: sllg [[SHIFT:%r[1-9]+]], %r3, 3
|
|
; CHECK-MAIN: nill %r3, 65532
|
|
; CHECK-MAIN: l [[OLD:%r[0-9]+]], 0(%r3)
|
|
; CHECK-MAIN: [[LOOP:\.[^ ]*]]:
|
|
; CHECK-MAIN: rll %r2, [[OLD]], 8([[SHIFT]])
|
|
; CHECK-MAIN: risbg %r4, %r2, 32, 55, 0
|
|
; CHECK-MAIN: crjlh %r2, %r4, [[EXIT:\.[^ ]*]]
|
|
; CHECK-MAIN: risbg %r5, %r2, 32, 55, 0
|
|
; CHECK-MAIN: rll [[NEW:%r[0-9]+]], %r5, -8({{%r[1-9]+}})
|
|
; CHECK-MAIN: cs [[OLD]], [[NEW]], 0(%r3)
|
|
; CHECK-MAIN: jlh [[LOOP]]
|
|
; CHECK-MAIN: [[EXIT]]:
|
|
; CHECK-MAIN-NOT: %r2
|
|
; CHECK-MAIN: br %r14
|
|
;
|
|
; CHECK-SHIFT: f1:
|
|
; CHECK-SHIFT: sllg [[SHIFT:%r[1-9]+]], %r3, 3
|
|
; CHECK-SHIFT: lcr [[NEGSHIFT:%r[1-9]+]], [[SHIFT]]
|
|
; CHECK-SHIFT: rll
|
|
; CHECK-SHIFT: rll {{%r[0-9]+}}, %r5, -8([[NEGSHIFT]])
|
|
%res = cmpxchg i8 *%src, i8 %cmp, i8 %swap seq_cst
|
|
ret i8 %res
|
|
}
|
|
|
|
; Check compare and swap with constants. We should force the constants into
|
|
; registers and use the sequence above.
|
|
define i8 @f2(i8 *%src) {
|
|
; CHECK: f2:
|
|
; CHECK: lhi [[CMP:%r[0-9]+]], 42
|
|
; CHECK: risbg [[CMP]], {{%r[0-9]+}}, 32, 55, 0
|
|
; CHECK: risbg
|
|
; CHECK: br %r14
|
|
;
|
|
; CHECK-SHIFT: f2:
|
|
; CHECK-SHIFT: lhi [[SWAP:%r[0-9]+]], 88
|
|
; CHECK-SHIFT: risbg
|
|
; CHECK-SHIFT: risbg [[SWAP]], {{%r[0-9]+}}, 32, 55, 0
|
|
; CHECK-SHIFT: br %r14
|
|
%res = cmpxchg i8 *%src, i8 42, i8 88 seq_cst
|
|
ret i8 %res
|
|
}
|