65 lines · plain
1; Test 32-bit atomic ANDs, z196 version.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z196 | FileCheck %s4 5; Check AND of a variable.6define i32 @f1(i32 %dummy, ptr %src, i32 %b) {7; CHECK-LABEL: f1:8; CHECK: lan %r2, %r4, 0(%r3)9; CHECK: br %r1410 %res = atomicrmw and ptr %src, i32 %b seq_cst11 ret i32 %res12}13 14; Check AND of 1, which needs a temporary.15define i32 @f2(i32 %dummy, ptr %src) {16; CHECK-LABEL: f2:17; CHECK: lhi [[TMP:%r[0-5]]], 118; CHECK: lan %r2, [[TMP]], 0(%r3)19; CHECK: br %r1420 %res = atomicrmw and ptr %src, i32 1 seq_cst21 ret i32 %res22}23 24; Check the high end of the LAN range.25define i32 @f3(i32 %dummy, ptr %src, i32 %b) {26; CHECK-LABEL: f3:27; CHECK: lan %r2, %r4, 524284(%r3)28; CHECK: br %r1429 %ptr = getelementptr i32, ptr %src, i32 13107130 %res = atomicrmw and ptr %ptr, i32 %b seq_cst31 ret i32 %res32}33 34; Check the next word up, which needs separate address logic.35define i32 @f4(i32 %dummy, ptr %src, i32 %b) {36; CHECK-LABEL: f4:37; CHECK: agfi %r3, 52428838; CHECK: lan %r2, %r4, 0(%r3)39; CHECK: br %r1440 %ptr = getelementptr i32, ptr %src, i32 13107241 %res = atomicrmw and ptr %ptr, i32 %b seq_cst42 ret i32 %res43}44 45; Check the low end of the LAN range.46define i32 @f5(i32 %dummy, ptr %src, i32 %b) {47; CHECK-LABEL: f5:48; CHECK: lan %r2, %r4, -524288(%r3)49; CHECK: br %r1450 %ptr = getelementptr i32, ptr %src, i32 -13107251 %res = atomicrmw and ptr %ptr, i32 %b seq_cst52 ret i32 %res53}54 55; Check the next word down, which needs separate address logic.56define i32 @f6(i32 %dummy, ptr %src, i32 %b) {57; CHECK-LABEL: f6:58; CHECK: agfi %r3, -52429259; CHECK: lan %r2, %r4, 0(%r3)60; CHECK: br %r1461 %ptr = getelementptr i32, ptr %src, i32 -13107362 %res = atomicrmw and ptr %ptr, i32 %b seq_cst63 ret i32 %res64}65