70 lines · plain
1; Test 32-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 i32 @f1(i32 %dummy, ptr %src, i32 %b) {7; CHECK-LABEL: f1:8; CHECK: lcr [[NEG:%r[0-5]]], %r49; CHECK: laa %r2, [[NEG]], 0(%r3)10; CHECK: br %r1411 %res = atomicrmw sub ptr %src, i32 %b seq_cst12 ret i32 %res13}14 15; Check addition of 1, which needs a temporary.16define i32 @f2(i32 %dummy, ptr %src) {17; CHECK-LABEL: f2:18; CHECK: lhi [[TMP:%r[0-5]]], -119; CHECK: laa %r2, [[TMP]], 0(%r3)20; CHECK: br %r1421 %res = atomicrmw sub ptr %src, i32 1 seq_cst22 ret i32 %res23}24 25; Check the high end of the LAA range.26define i32 @f3(i32 %dummy, ptr %src, i32 %b) {27; CHECK-LABEL: f3:28; CHECK: lcr [[NEG:%r[0-5]]], %r429; CHECK: laa %r2, [[NEG]], 524284(%r3)30; CHECK: br %r1431 %ptr = getelementptr i32, ptr %src, i32 13107132 %res = atomicrmw sub ptr %ptr, i32 %b seq_cst33 ret i32 %res34}35 36; Check the next word up, which needs separate address logic.37define i32 @f4(i32 %dummy, ptr %src, i32 %b) {38; CHECK-LABEL: f4:39; CHECK-DAG: lcr [[NEG:%r[0-5]]], %r440; CHECK-DAG: agfi %r3, 52428841; CHECK: laa %r2, [[NEG]], 0(%r3)42; CHECK: br %r1443 %ptr = getelementptr i32, ptr %src, i32 13107244 %res = atomicrmw sub ptr %ptr, i32 %b seq_cst45 ret i32 %res46}47 48; Check the low end of the LAA range.49define i32 @f5(i32 %dummy, ptr %src, i32 %b) {50; CHECK-LABEL: f5:51; CHECK: lcr [[NEG:%r[0-5]]], %r452; CHECK: laa %r2, [[NEG]], -524288(%r3)53; CHECK: br %r1454 %ptr = getelementptr i32, ptr %src, i32 -13107255 %res = atomicrmw sub ptr %ptr, i32 %b seq_cst56 ret i32 %res57}58 59; Check the next word down, which needs separate address logic.60define i32 @f6(i32 %dummy, ptr %src, i32 %b) {61; CHECK-LABEL: f6:62; CHECK-DAG: lcr [[NEG:%r[0-5]]], %r463; CHECK-DAG: agfi %r3, -52429264; CHECK: laa %r2, [[NEG]], 0(%r3)65; CHECK: br %r1466 %ptr = getelementptr i32, ptr %src, i32 -13107367 %res = atomicrmw sub ptr %ptr, i32 %b seq_cst68 ret i32 %res69}70