140 lines · plain
1; Test 16-bit atomic NANDs.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s4; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-SHIFT15; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-SHIFT26 7; Check NAND of a variable.8; - CHECK is for the main loop.9; - CHECK-SHIFT1 makes sure that the negated shift count used by the second10; RLL is set up correctly. The negation is independent of the NILL and L11; tested in CHECK.12; - CHECK-SHIFT2 makes sure that %b is shifted into the high part of the word13; before being used, and that the low bits are set to 1. This sequence is14; independent of the other loop prologue instructions.15define i16 @f1(ptr %src, i16 %b) {16; CHECK-LABEL: f1:17; CHECK: risbg [[RISBG:%r[1-9]+]], %r2, 0, 189, 0{{$}}18; CHECK-DAG: sll %r2, 319; CHECK-DAG: l [[OLD:%r[0-9]+]], 0([[RISBG]])20; CHECK: [[LABEL:\.[^:]*]]:21; CHECK: rll [[ROT:%r[0-9]+]], [[OLD]], 0(%r2)22; CHECK: nr [[ROT]], %r323; CHECK: xilf [[ROT]], 429490176024; CHECK: rll [[NEW:%r[0-9]+]], [[ROT]], 0({{%r[1-9]+}})25; CHECK: cs [[OLD]], [[NEW]], 0([[RISBG]])26; CHECK: jl [[LABEL]]27; CHECK: rll %r2, [[OLD]], 16(%r2)28; CHECK: br %r1429;30; CHECK-SHIFT1-LABEL: f1:31; CHECK-SHIFT1: sll %r2, 332; CHECK-SHIFT1: lcr [[NEGSHIFT:%r[1-9]+]], %r233; CHECK-SHIFT1: rll34; CHECK-SHIFT1: rll {{%r[0-9]+}}, {{%r[0-9]+}}, 0([[NEGSHIFT]])35; CHECK-SHIFT1: rll36; CHECK-SHIFT1: br %r1437;38; CHECK-SHIFT2-LABEL: f1:39; CHECK-SHIFT2: sll %r3, 1640; CHECK-SHIFT2: oill %r3, 6553541; CHECK-SHIFT2: rll42; CHECK-SHIFT2: nr {{%r[0-9]+}}, %r343; CHECK-SHIFT2: rll44; CHECK-SHIFT2: rll45; CHECK-SHIFT2: br %r1446 %res = atomicrmw nand ptr %src, i16 %b seq_cst47 ret i16 %res48}49 50; Check the minimum signed value. We AND the rotated word with 0x8000ffff.51define i16 @f2(ptr %src) {52; CHECK-LABEL: f2:53; CHECK: risbg [[RISBG:%r[1-9]+]], %r2, 0, 189, 0{{$}}54; CHECK-DAG: sll %r2, 355; CHECK-DAG: l [[OLD:%r[0-9]+]], 0([[RISBG]])56; CHECK: [[LABEL:\.[^:]*]]:57; CHECK: rll [[ROT:%r[0-9]+]], [[OLD]], 0(%r2)58; CHECK: nilh [[ROT]], 3276859; CHECK: xilf [[ROT]], 429490176060; CHECK: rll [[NEW:%r[0-9]+]], [[ROT]], 0([[NEGSHIFT:%r[1-9]+]])61; CHECK: cs [[OLD]], [[NEW]], 0([[RISBG]])62; CHECK: jl [[LABEL]]63; CHECK: rll %r2, [[OLD]], 16(%r2)64; CHECK: br %r1465;66; CHECK-SHIFT1-LABEL: f2:67; CHECK-SHIFT1: sll %r2, 368; CHECK-SHIFT1: lcr [[NEGSHIFT:%r[1-9]+]], %r269; CHECK-SHIFT1: rll70; CHECK-SHIFT1: rll {{%r[0-9]+}}, {{%r[0-9]+}}, 0([[NEGSHIFT]])71; CHECK-SHIFT1: rll72; CHECK-SHIFT1: br %r1473;74; CHECK-SHIFT2-LABEL: f2:75; CHECK-SHIFT2: br %r1476 %res = atomicrmw nand ptr %src, i16 -32768 seq_cst77 ret i16 %res78}79 80; Check NANDs of -2 (-1 isn't useful). We AND the rotated word with 0xfffeffff.81define i16 @f3(ptr %src) {82; CHECK-LABEL: f3:83; CHECK: nilh [[ROT]], 6553484; CHECK: xilf [[ROT]], 429490176085; CHECK: br %r1486;87; CHECK-SHIFT1-LABEL: f3:88; CHECK-SHIFT1: br %r1489; CHECK-SHIFT2-LABEL: f3:90; CHECK-SHIFT2: br %r1491 %res = atomicrmw nand ptr %src, i16 -2 seq_cst92 ret i16 %res93}94 95; Check ANDs of 1. We AND the rotated word with 0x0001ffff.96define i16 @f4(ptr %src) {97; CHECK-LABEL: f4:98; CHECK: nilh [[ROT]], 199; CHECK: xilf [[ROT]], 4294901760100; CHECK: br %r14101;102; CHECK-SHIFT1-LABEL: f4:103; CHECK-SHIFT1: br %r14104; CHECK-SHIFT2-LABEL: f4:105; CHECK-SHIFT2: br %r14106 %res = atomicrmw nand ptr %src, i16 1 seq_cst107 ret i16 %res108}109 110; Check the maximum signed value. We AND the rotated word with 0x7fffffff.111define i16 @f5(ptr %src) {112; CHECK-LABEL: f5:113; CHECK: nilh [[ROT]], 32767114; CHECK: xilf [[ROT]], 4294901760115; CHECK: br %r14116;117; CHECK-SHIFT1-LABEL: f5:118; CHECK-SHIFT1: br %r14119; CHECK-SHIFT2-LABEL: f5:120; CHECK-SHIFT2: br %r14121 %res = atomicrmw nand ptr %src, i16 32767 seq_cst122 ret i16 %res123}124 125; Check NANDs of a large unsigned value. We AND the rotated word with126; 0xfffdffff.127define i16 @f6(ptr %src) {128; CHECK-LABEL: f6:129; CHECK: nilh [[ROT]], 65533130; CHECK: xilf [[ROT]], 4294901760131; CHECK: br %r14132;133; CHECK-SHIFT1-LABEL: f6:134; CHECK-SHIFT1: br %r14135; CHECK-SHIFT2-LABEL: f6:136; CHECK-SHIFT2: br %r14137 %res = atomicrmw nand ptr %src, i16 65533 seq_cst138 ret i16 %res139}140