| ; Test 64-bit atomic XORs. | |
| ; | |
| ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s | |
| ; Check XORs of a variable. | |
| define i64 @f1(i64 %dummy, i64 *%src, i64 %b) { | |
| ; CHECK-LABEL: f1: | |
| ; CHECK: lg %r2, 0(%r3) | |
| ; CHECK: [[LABEL:\.[^ ]*]]: | |
| ; CHECK: lgr %r0, %r2 | |
| ; CHECK: xgr %r0, %r4 | |
| ; CHECK: csg %r2, %r0, 0(%r3) | |
| ; CHECK: jl [[LABEL]] | |
| ; CHECK: br %r14 | |
| %res = atomicrmw xor i64 *%src, i64 %b seq_cst | |
| ret i64 %res | |
| } | |
| ; Check the lowest useful XILF value. | |
| define i64 @f2(i64 %dummy, i64 *%src) { | |
| ; CHECK-LABEL: f2: | |
| ; CHECK: lg %r2, 0(%r3) | |
| ; CHECK: [[LABEL:\.[^ ]*]]: | |
| ; CHECK: lgr %r0, %r2 | |
| ; CHECK: xilf %r0, 1 | |
| ; CHECK: csg %r2, %r0, 0(%r3) | |
| ; CHECK: jl [[LABEL]] | |
| ; CHECK: br %r14 | |
| %res = atomicrmw xor i64 *%src, i64 1 seq_cst | |
| ret i64 %res | |
| } | |
| ; Check the high end of the XILF range. | |
| define i64 @f3(i64 %dummy, i64 *%src) { | |
| ; CHECK-LABEL: f3: | |
| ; CHECK: xilf %r0, 4294967295 | |
| ; CHECK: br %r14 | |
| %res = atomicrmw xor i64 *%src, i64 4294967295 seq_cst | |
| ret i64 %res | |
| } | |
| ; Check the lowest useful XIHF value, which is one greater than above. | |
| define i64 @f4(i64 %dummy, i64 *%src) { | |
| ; CHECK-LABEL: f4: | |
| ; CHECK: xihf %r0, 1 | |
| ; CHECK: br %r14 | |
| %res = atomicrmw xor i64 *%src, i64 4294967296 seq_cst | |
| ret i64 %res | |
| } | |
| ; Check the next value up, which must use a register. (We could use | |
| ; combinations of XIH* and XIL* instead, but that isn't implemented.) | |
| define i64 @f5(i64 %dummy, i64 *%src) { | |
| ; CHECK-LABEL: f5: | |
| ; CHECK: xgr | |
| ; CHECK: br %r14 | |
| %res = atomicrmw xor i64 *%src, i64 4294967297 seq_cst | |
| ret i64 %res | |
| } | |
| ; Check the high end of the XIHF range. | |
| define i64 @f6(i64 %dummy, i64 *%src) { | |
| ; CHECK-LABEL: f6: | |
| ; CHECK: xihf %r0, 4294967295 | |
| ; CHECK: br %r14 | |
| %res = atomicrmw xor i64 *%src, i64 -4294967296 seq_cst | |
| ret i64 %res | |
| } | |
| ; Check the next value up, which must use a register. | |
| define i64 @f7(i64 %dummy, i64 *%src) { | |
| ; CHECK-LABEL: f7: | |
| ; CHECK: xgr | |
| ; CHECK: br %r14 | |
| %res = atomicrmw xor i64 *%src, i64 -4294967295 seq_cst | |
| ret i64 %res | |
| } |