65 lines · plain
1; Test 64-bit atomic additions, 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: laag %r2, %r4, 0(%r3)9; CHECK: br %r1410 %res = atomicrmw add ptr %src, i64 %b seq_cst11 ret i64 %res12}13 14; Check addition of 1, which needs a temporary.15define i64 @f2(i64 %dummy, ptr %src) {16; CHECK-LABEL: f2:17; CHECK: lghi [[TMP:%r[0-5]]], 118; CHECK: laag %r2, [[TMP]], 0(%r3)19; CHECK: br %r1420 %res = atomicrmw add ptr %src, i64 1 seq_cst21 ret i64 %res22}23 24; Check the high end of the LAAG range.25define i64 @f3(i64 %dummy, ptr %src, i64 %b) {26; CHECK-LABEL: f3:27; CHECK: laag %r2, %r4, 524280(%r3)28; CHECK: br %r1429 %ptr = getelementptr i64, ptr %src, i64 6553530 %res = atomicrmw add ptr %ptr, i64 %b seq_cst31 ret i64 %res32}33 34; Check the next doubleword up, which needs separate address logic.35define i64 @f4(i64 %dummy, ptr %src, i64 %b) {36; CHECK-LABEL: f4:37; CHECK: agfi %r3, 52428838; CHECK: laag %r2, %r4, 0(%r3)39; CHECK: br %r1440 %ptr = getelementptr i64, ptr %src, i64 6553641 %res = atomicrmw add ptr %ptr, i64 %b seq_cst42 ret i64 %res43}44 45; Check the low end of the LAAG range.46define i64 @f5(i64 %dummy, ptr %src, i64 %b) {47; CHECK-LABEL: f5:48; CHECK: laag %r2, %r4, -524288(%r3)49; CHECK: br %r1450 %ptr = getelementptr i64, ptr %src, i64 -6553651 %res = atomicrmw add ptr %ptr, i64 %b seq_cst52 ret i64 %res53}54 55; Check the next doubleword down, which needs separate address logic.56define i64 @f6(i64 %dummy, ptr %src, i64 %b) {57; CHECK-LABEL: f6:58; CHECK: agfi %r3, -52429659; CHECK: laag %r2, %r4, 0(%r3)60; CHECK: br %r1461 %ptr = getelementptr i64, ptr %src, i64 -6553762 %res = atomicrmw add ptr %ptr, i64 %b seq_cst63 ret i64 %res64}65