70 lines · plain
1; Test 64-bit atomic subtractions, z196 version.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z196 | FileCheck %s4 5; Check addition of a variable.6define i64 @f1(i64 %dummy, ptr %src, i64 %b) {7; CHECK-LABEL: f1:8; CHECK: lcgr [[NEG:%r[0-5]]], %r49; CHECK: laag %r2, [[NEG]], 0(%r3)10; CHECK: br %r1411 %res = atomicrmw sub ptr %src, i64 %b seq_cst12 ret i64 %res13}14 15; Check addition of 1, which needs a temporary.16define i64 @f2(i64 %dummy, ptr %src) {17; CHECK-LABEL: f2:18; CHECK: lghi [[TMP:%r[0-5]]], -119; CHECK: laag %r2, [[TMP]], 0(%r3)20; CHECK: br %r1421 %res = atomicrmw sub ptr %src, i64 1 seq_cst22 ret i64 %res23}24 25; Check the high end of the LAAG range.26define i64 @f3(i64 %dummy, ptr %src, i64 %b) {27; CHECK-LABEL: f3:28; CHECK: lcgr [[NEG:%r[0-5]]], %r429; CHECK: laag %r2, [[NEG]], 524280(%r3)30; CHECK: br %r1431 %ptr = getelementptr i64, ptr %src, i64 6553532 %res = atomicrmw sub ptr %ptr, i64 %b seq_cst33 ret i64 %res34}35 36; Check the next doubleword up, which needs separate address logic.37define i64 @f4(i64 %dummy, ptr %src, i64 %b) {38; CHECK-LABEL: f4:39; CHECK-DAG: lcgr [[NEG:%r[0-5]]], %r440; CHECK-DAG: agfi %r3, 52428841; CHECK: laag %r2, [[NEG]], 0(%r3)42; CHECK: br %r1443 %ptr = getelementptr i64, ptr %src, i64 6553644 %res = atomicrmw sub ptr %ptr, i64 %b seq_cst45 ret i64 %res46}47 48; Check the low end of the LAAG range.49define i64 @f5(i64 %dummy, ptr %src, i64 %b) {50; CHECK-LABEL: f5:51; CHECK: lcgr [[NEG:%r[0-5]]], %r452; CHECK: laag %r2, [[NEG]], -524288(%r3)53; CHECK: br %r1454 %ptr = getelementptr i64, ptr %src, i64 -6553655 %res = atomicrmw sub ptr %ptr, i64 %b seq_cst56 ret i64 %res57}58 59; Check the next doubleword down, which needs separate address logic.60define i64 @f6(i64 %dummy, ptr %src, i64 %b) {61; CHECK-LABEL: f6:62; CHECK-DAG: lcgr [[NEG:%r[0-5]]], %r463; CHECK-DAG: agfi %r3, -52429664; CHECK: laag %r2, [[NEG]], 0(%r3)65; CHECK: br %r1466 %ptr = getelementptr i64, ptr %src, i64 -6553767 %res = atomicrmw sub ptr %ptr, i64 %b seq_cst68 ret i64 %res69}70