1 ; Test 64-bit ORs in which the second operand is constant. 2 ; 3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 4 5 ; Check the lowest useful OILL value. 6 define i64 @f1(i64 %a) { 7 ; CHECK-LABEL: f1: 8 ; CHECK: oill %r2, 1 9 ; CHECK: br %r14 10 %or = or i64 %a, 1 11 ret i64 %or 12 } 13 14 ; Check the high end of the OILL range. 15 define i64 @f2(i64 %a) { 16 ; CHECK-LABEL: f2: 17 ; CHECK: oill %r2, 65535 18 ; CHECK: br %r14 19 %or = or i64 %a, 65535 20 ret i64 %or 21 } 22 23 ; Check the lowest useful OILH value, which is the next value up. 24 define i64 @f3(i64 %a) { 25 ; CHECK-LABEL: f3: 26 ; CHECK: oilh %r2, 1 27 ; CHECK: br %r14 28 %or = or i64 %a, 65536 29 ret i64 %or 30 } 31 32 ; Check the lowest useful OILF value, which is the next value up again. 33 define i64 @f4(i64 %a) { 34 ; CHECK-LABEL: f4: 35 ; CHECK: oilf %r2, 4294901759 36 ; CHECK: br %r14 37 %or = or i64 %a, 4294901759 38 ret i64 %or 39 } 40 41 ; Check the high end of the OILH range. 42 define i64 @f5(i64 %a) { 43 ; CHECK-LABEL: f5: 44 ; CHECK: oilh %r2, 65535 45 ; CHECK: br %r14 46 %or = or i64 %a, 4294901760 47 ret i64 %or 48 } 49 50 ; Check the high end of the OILF range. 51 define i64 @f6(i64 %a) { 52 ; CHECK-LABEL: f6: 53 ; CHECK: oilf %r2, 4294967295 54 ; CHECK: br %r14 55 %or = or i64 %a, 4294967295 56 ret i64 %or 57 } 58 59 ; Check the lowest useful OIHL value, which is the next value up. 60 define i64 @f7(i64 %a) { 61 ; CHECK-LABEL: f7: 62 ; CHECK: oihl %r2, 1 63 ; CHECK: br %r14 64 %or = or i64 %a, 4294967296 65 ret i64 %or 66 } 67 68 ; Check the next value up again, which must use two ORs. 69 define i64 @f8(i64 %a) { 70 ; CHECK-LABEL: f8: 71 ; CHECK: oihl %r2, 1 72 ; CHECK: oill %r2, 1 73 ; CHECK: br %r14 74 %or = or i64 %a, 4294967297 75 ret i64 %or 76 } 77 78 ; Check the high end of the OILL range. 79 define i64 @f9(i64 %a) { 80 ; CHECK-LABEL: f9: 81 ; CHECK: oihl %r2, 1 82 ; CHECK: oill %r2, 65535 83 ; CHECK: br %r14 84 %or = or i64 %a, 4295032831 85 ret i64 %or 86 } 87 88 ; Check the next value up, which must use OILH 89 define i64 @f10(i64 %a) { 90 ; CHECK-LABEL: f10: 91 ; CHECK: oihl %r2, 1 92 ; CHECK: oilh %r2, 1 93 ; CHECK: br %r14 94 %or = or i64 %a, 4295032832 95 ret i64 %or 96 } 97 98 ; Check the next value up again, which must use OILF 99 define i64 @f11(i64 %a) { 100 ; CHECK-LABEL: f11: 101 ; CHECK: oihl %r2, 1 102 ; CHECK: oilf %r2, 65537 103 ; CHECK: br %r14 104 %or = or i64 %a, 4295032833 105 ret i64 %or 106 } 107 108 ; Check the high end of the OIHL range. 109 define i64 @f12(i64 %a) { 110 ; CHECK-LABEL: f12: 111 ; CHECK: oihl %r2, 65535 112 ; CHECK: br %r14 113 %or = or i64 %a, 281470681743360 114 ret i64 %or 115 } 116 117 ; Check a combination of the high end of the OIHL range and the high end 118 ; of the OILF range. 119 define i64 @f13(i64 %a) { 120 ; CHECK-LABEL: f13: 121 ; CHECK: oihl %r2, 65535 122 ; CHECK: oilf %r2, 4294967295 123 ; CHECK: br %r14 124 %or = or i64 %a, 281474976710655 125 ret i64 %or 126 } 127 128 ; Check the lowest useful OIHH value. 129 define i64 @f14(i64 %a) { 130 ; CHECK-LABEL: f14: 131 ; CHECK: oihh %r2, 1 132 ; CHECK: br %r14 133 %or = or i64 %a, 281474976710656 134 ret i64 %or 135 } 136 137 ; Check the next value up, which needs two ORs. 138 define i64 @f15(i64 %a) { 139 ; CHECK-LABEL: f15: 140 ; CHECK: oihh %r2, 1 141 ; CHECK: oill %r2, 1 142 ; CHECK: br %r14 143 %or = or i64 %a, 281474976710657 144 ret i64 %or 145 } 146 147 ; Check the lowest useful OIHF value. 148 define i64 @f16(i64 %a) { 149 ; CHECK-LABEL: f16: 150 ; CHECK: oihf %r2, 65537 151 ; CHECK: br %r14 152 %or = or i64 %a, 281479271677952 153 ret i64 %or 154 } 155 156 ; Check the high end of the OIHH range. 157 define i64 @f17(i64 %a) { 158 ; CHECK-LABEL: f17: 159 ; CHECK: oihh %r2, 65535 160 ; CHECK: br %r14 161 %or = or i64 %a, 18446462598732840960 162 ret i64 %or 163 } 164 165 ; Check the high end of the OIHF range. 166 define i64 @f18(i64 %a) { 167 ; CHECK-LABEL: f18: 168 ; CHECK: oihf %r2, 4294967295 169 ; CHECK: br %r14 170 %or = or i64 %a, -4294967296 171 ret i64 %or 172 } 173 174 ; Check the highest useful OR value. 175 define i64 @f19(i64 %a) { 176 ; CHECK-LABEL: f19: 177 ; CHECK: oihf %r2, 4294967295 178 ; CHECK: oilf %r2, 4294967294 179 ; CHECK: br %r14 180 %or = or i64 %a, -2 181 ret i64 %or 182 } 183
