1 ; Test 64-bit atomic NANDs. 2 ; 3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s 4 5 ; Check NANDs of a variable. 6 define i64 @f1(i64 %dummy, i64 *%src, i64 %b) { 7 ; CHECK-LABEL: f1: 8 ; CHECK: lg %r2, 0(%r3) 9 ; CHECK: [[LABEL:\.[^:]*]]: 10 ; CHECK: lgr %r0, %r2 11 ; CHECK: ngr %r0, %r4 12 ; CHECK: lcgr %r0, %r0 13 ; CHECK: aghi %r0, -1 14 ; CHECK: csg %r2, %r0, 0(%r3) 15 ; CHECK: jl [[LABEL]] 16 ; CHECK: br %r14 17 %res = atomicrmw nand i64 *%src, i64 %b seq_cst 18 ret i64 %res 19 } 20 21 ; Check NANDs of 1, which are done using a register. (We could use RISBG 22 ; instead, but that isn't implemented yet.) 23 define i64 @f2(i64 %dummy, i64 *%src) { 24 ; CHECK-LABEL: f2: 25 ; CHECK: ngr 26 ; CHECK: br %r14 27 %res = atomicrmw nand i64 *%src, i64 1 seq_cst 28 ret i64 %res 29 } 30 31 ; Check the equivalent of NIHF with 1, which can use RISBG instead. 32 define i64 @f3(i64 %dummy, i64 *%src) { 33 ; CHECK-LABEL: f3: 34 ; CHECK: lg %r2, 0(%r3) 35 ; CHECK: [[LABEL:\.[^:]*]]: 36 ; CHECK: risbg %r0, %r2, 31, 191, 0 37 ; CHECK: lcgr %r0, %r0 38 ; CHECK: aghi %r0, -1 39 ; CHECK: csg %r2, %r0, 0(%r3) 40 ; CHECK: jl [[LABEL]] 41 ; CHECK: br %r14 42 %res = atomicrmw nand i64 *%src, i64 8589934591 seq_cst 43 ret i64 %res 44 } 45 46 ; Check the lowest NIHF value outside the range of RISBG. 47 define i64 @f4(i64 %dummy, i64 *%src) { 48 ; CHECK-LABEL: f4: 49 ; CHECK: lg %r2, 0(%r3) 50 ; CHECK: [[LABEL:\.[^:]*]]: 51 ; CHECK: lgr %r0, %r2 52 ; CHECK: nihf %r0, 2 53 ; CHECK: lcgr %r0, %r0 54 ; CHECK: aghi %r0, -1 55 ; CHECK: csg %r2, %r0, 0(%r3) 56 ; CHECK: jl [[LABEL]] 57 ; CHECK: br %r14 58 %res = atomicrmw nand i64 *%src, i64 12884901887 seq_cst 59 ret i64 %res 60 } 61 62 ; Check the next value up, which must use a register. 63 define i64 @f5(i64 %dummy, i64 *%src) { 64 ; CHECK-LABEL: f5: 65 ; CHECK: ngr 66 ; CHECK: br %r14 67 %res = atomicrmw nand i64 *%src, i64 12884901888 seq_cst 68 ret i64 %res 69 } 70 71 ; Check the lowest NIHH value outside the range of RISBG. 72 define i64 @f6(i64 %dummy, i64 *%src) { 73 ; CHECK-LABEL: f6: 74 ; CHECK: nihh {{%r[0-5]}}, 2 75 ; CHECK: br %r14 76 %res = atomicrmw nand i64 *%src, i64 844424930131967 seq_cst 77 ret i64 %res 78 } 79 80 ; Check the next value up, which must use a register. 81 define i64 @f7(i64 %dummy, i64 *%src) { 82 ; CHECK-LABEL: f7: 83 ; CHECK: ngr 84 ; CHECK: br %r14 85 %res = atomicrmw nand i64 *%src, i64 281474976710656 seq_cst 86 ret i64 %res 87 } 88 89 ; Check the highest NILL value outside the range of RISBG. 90 define i64 @f8(i64 %dummy, i64 *%src) { 91 ; CHECK-LABEL: f8: 92 ; CHECK: nill {{%r[0-5]}}, 65530 93 ; CHECK: br %r14 94 %res = atomicrmw nand i64 *%src, i64 -6 seq_cst 95 ret i64 %res 96 } 97 98 ; Check the lowest NILL value outside the range of RISBG. 99 define i64 @f9(i64 %dummy, i64 *%src) { 100 ; CHECK-LABEL: f9: 101 ; CHECK: nill {{%r[0-5]}}, 2 102 ; CHECK: br %r14 103 %res = atomicrmw nand i64 *%src, i64 -65534 seq_cst 104 ret i64 %res 105 } 106 107 ; Check the highest useful NILF value. 108 define i64 @f10(i64 %dummy, i64 *%src) { 109 ; CHECK-LABEL: f10: 110 ; CHECK: nilf {{%r[0-5]}}, 4294901758 111 ; CHECK: br %r14 112 %res = atomicrmw nand i64 *%src, i64 -65538 seq_cst 113 ret i64 %res 114 } 115 116 ; Check the highest NILH value outside the range of RISBG. 117 define i64 @f11(i64 %dummy, i64 *%src) { 118 ; CHECK-LABEL: f11: 119 ; CHECK: nilh {{%r[0-5]}}, 65530 120 ; CHECK: br %r14 121 %res = atomicrmw nand i64 *%src, i64 -327681 seq_cst 122 ret i64 %res 123 } 124 125 ; Check the lowest NILH value outside the range of RISBG. 126 define i64 @f12(i64 %dummy, i64 *%src) { 127 ; CHECK-LABEL: f12: 128 ; CHECK: nilh {{%r[0-5]}}, 2 129 ; CHECK: br %r14 130 %res = atomicrmw nand i64 *%src, i64 -4294770689 seq_cst 131 ret i64 %res 132 } 133 134 ; Check the lowest NILF value outside the range of RISBG. 135 define i64 @f13(i64 %dummy, i64 *%src) { 136 ; CHECK-LABEL: f13: 137 ; CHECK: nilf {{%r[0-5]}}, 2 138 ; CHECK: br %r14 139 %res = atomicrmw nand i64 *%src, i64 -4294967294 seq_cst 140 ret i64 %res 141 } 142 143 ; Check the highest NIHL value outside the range of RISBG. 144 define i64 @f14(i64 %dummy, i64 *%src) { 145 ; CHECK-LABEL: f14: 146 ; CHECK: nihl {{%r[0-5]}}, 65530 147 ; CHECK: br %r14 148 %res = atomicrmw nand i64 *%src, i64 -21474836481 seq_cst 149 ret i64 %res 150 } 151 152 ; Check the lowest NIHL value outside the range of RISBG. 153 define i64 @f15(i64 %dummy, i64 *%src) { 154 ; CHECK-LABEL: f15: 155 ; CHECK: nihl {{%r[0-5]}}, 2 156 ; CHECK: br %r14 157 %res = atomicrmw nand i64 *%src, i64 -281462091808769 seq_cst 158 ret i64 %res 159 } 160 161 ; Check the highest NIHH value outside the range of RISBG. 162 define i64 @f16(i64 %dummy, i64 *%src) { 163 ; CHECK-LABEL: f16: 164 ; CHECK: nihh {{%r[0-5]}}, 65530 165 ; CHECK: br %r14 166 %res = atomicrmw nand i64 *%src, i64 -1407374883553281 seq_cst 167 ret i64 %res 168 } 169 170 ; Check the highest useful NIHF value. 171 define i64 @f17(i64 %dummy, i64 *%src) { 172 ; CHECK-LABEL: f17: 173 ; CHECK: nihf {{%r[0-5]}}, 4294901758 174 ; CHECK: br %r14 175 %res = atomicrmw nand i64 *%src, i64 -281479271677953 seq_cst 176 ret i64 %res 177 } 178
