1; Test loading of 64-bit constants. 2; 3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 4 5declare void @foo(i64, i64, i64, i64) 6 7; Check 0. 8define i64 @f1() { 9; CHECK-LABEL: f1: 10; CHECK: lghi %r2, 0 11; CHECK-NEXT: br %r14 12 ret i64 0 13} 14 15; Check the high end of the LGHI range. 16define i64 @f2() { 17; CHECK-LABEL: f2: 18; CHECK: lghi %r2, 32767 19; CHECK-NEXT: br %r14 20 ret i64 32767 21} 22 23; Check the next value up, which must use LLILL instead. 24define i64 @f3() { 25; CHECK-LABEL: f3: 26; CHECK: llill %r2, 32768 27; CHECK-NEXT: br %r14 28 ret i64 32768 29} 30 31; Check the high end of the LLILL range. 32define i64 @f4() { 33; CHECK-LABEL: f4: 34; CHECK: llill %r2, 65535 35; CHECK-NEXT: br %r14 36 ret i64 65535 37} 38 39; Check the first useful LLILH value, which is the next one up. 40define i64 @f5() { 41; CHECK-LABEL: f5: 42; CHECK: llilh %r2, 1 43; CHECK-NEXT: br %r14 44 ret i64 65536 45} 46 47; Check the first useful LGFI value, which is the next one up again. 48define i64 @f6() { 49; CHECK-LABEL: f6: 50; CHECK: lgfi %r2, 65537 51; CHECK-NEXT: br %r14 52 ret i64 65537 53} 54 55; Check the high end of the LGFI range. 56define i64 @f7() { 57; CHECK-LABEL: f7: 58; CHECK: lgfi %r2, 2147483647 59; CHECK-NEXT: br %r14 60 ret i64 2147483647 61} 62 63; Check the next value up, which should use LLILH instead. 64define i64 @f8() { 65; CHECK-LABEL: f8: 66; CHECK: llilh %r2, 32768 67; CHECK-NEXT: br %r14 68 ret i64 2147483648 69} 70 71; Check the next value up again, which should use LLILF. 72define i64 @f9() { 73; CHECK-LABEL: f9: 74; CHECK: llilf %r2, 2147483649 75; CHECK-NEXT: br %r14 76 ret i64 2147483649 77} 78 79; Check the high end of the LLILH range. 80define i64 @f10() { 81; CHECK-LABEL: f10: 82; CHECK: llilh %r2, 65535 83; CHECK-NEXT: br %r14 84 ret i64 4294901760 85} 86 87; Check the next value up, which must use LLILF. 88define i64 @f11() { 89; CHECK-LABEL: f11: 90; CHECK: llilf %r2, 4294901761 91; CHECK-NEXT: br %r14 92 ret i64 4294901761 93} 94 95; Check the high end of the LLILF range. 96define i64 @f12() { 97; CHECK-LABEL: f12: 98; CHECK: llilf %r2, 4294967295 99; CHECK-NEXT: br %r14 100 ret i64 4294967295 101} 102 103; Check the lowest useful LLIHL value, which is the next one up. 104define i64 @f13() { 105; CHECK-LABEL: f13: 106; CHECK: llihl %r2, 1 107; CHECK-NEXT: br %r14 108 ret i64 4294967296 109} 110 111; Check the next value up, which must use a combination of two instructions. 112define i64 @f14() { 113; CHECK-LABEL: f14: 114; CHECK: llihl %r2, 1 115; CHECK-NEXT: oill %r2, 1 116; CHECK-NEXT: br %r14 117 ret i64 4294967297 118} 119 120; Check the high end of the OILL range. 121define i64 @f15() { 122; CHECK-LABEL: f15: 123; CHECK: llihl %r2, 1 124; CHECK-NEXT: oill %r2, 65535 125; CHECK-NEXT: br %r14 126 ret i64 4295032831 127} 128 129; Check the next value up, which should use OILH instead. 130define i64 @f16() { 131; CHECK-LABEL: f16: 132; CHECK: llihl %r2, 1 133; CHECK-NEXT: oilh %r2, 1 134; CHECK-NEXT: br %r14 135 ret i64 4295032832 136} 137 138; Check the next value up again, which should use OILF. 139define i64 @f17() { 140; CHECK-LABEL: f17: 141; CHECK: llihl %r2, 1 142; CHECK-NEXT: oilf %r2, 65537 143; CHECK-NEXT: br %r14 144 ret i64 4295032833 145} 146 147; Check the high end of the OILH range. 148define i64 @f18() { 149; CHECK-LABEL: f18: 150; CHECK: llihl %r2, 1 151; CHECK-NEXT: oilh %r2, 65535 152; CHECK-NEXT: br %r14 153 ret i64 8589869056 154} 155 156; Check the high end of the OILF range. 157define i64 @f19() { 158; CHECK-LABEL: f19: 159; CHECK: llihl %r2, 1 160; CHECK-NEXT: oilf %r2, 4294967295 161; CHECK-NEXT: br %r14 162 ret i64 8589934591 163} 164 165; Check the high end of the LLIHL range. 166define i64 @f20() { 167; CHECK-LABEL: f20: 168; CHECK: llihl %r2, 65535 169; CHECK-NEXT: br %r14 170 ret i64 281470681743360 171} 172 173; Check the lowest useful LLIHH value, which is 1<<32 greater than the above. 174define i64 @f21() { 175; CHECK-LABEL: f21: 176; CHECK: llihh %r2, 1 177; CHECK-NEXT: br %r14 178 ret i64 281474976710656 179} 180 181; Check the lowest useful LLIHF value, which is 1<<32 greater again. 182define i64 @f22() { 183; CHECK-LABEL: f22: 184; CHECK: llihf %r2, 65537 185; CHECK-NEXT: br %r14 186 ret i64 281479271677952 187} 188 189; Check the highest end of the LLIHH range. 190define i64 @f23() { 191; CHECK-LABEL: f23: 192; CHECK: llihh %r2, 65535 193; CHECK-NEXT: br %r14 194 ret i64 -281474976710656 195} 196 197; Check the next value up, which must use OILL too. 198define i64 @f24() { 199; CHECK-LABEL: f24: 200; CHECK: llihh %r2, 65535 201; CHECK-NEXT: oill %r2, 1 202; CHECK-NEXT: br %r14 203 ret i64 -281474976710655 204} 205 206; Check the high end of the LLIHF range. 207define i64 @f25() { 208; CHECK-LABEL: f25: 209; CHECK: llihf %r2, 4294967295 210; CHECK-NEXT: br %r14 211 ret i64 -4294967296 212} 213 214; Check -1. 215define i64 @f26() { 216; CHECK-LABEL: f26: 217; CHECK: lghi %r2, -1 218; CHECK-NEXT: br %r14 219 ret i64 -1 220} 221 222; Check the low end of the LGHI range. 223define i64 @f27() { 224; CHECK-LABEL: f27: 225; CHECK: lghi %r2, -32768 226; CHECK-NEXT: br %r14 227 ret i64 -32768 228} 229 230; Check the next value down, which must use LGFI instead. 231define i64 @f28() { 232; CHECK-LABEL: f28: 233; CHECK: lgfi %r2, -32769 234; CHECK-NEXT: br %r14 235 ret i64 -32769 236} 237 238; Check the low end of the LGFI range. 239define i64 @f29() { 240; CHECK-LABEL: f29: 241; CHECK: lgfi %r2, -2147483648 242; CHECK-NEXT: br %r14 243 ret i64 -2147483648 244} 245 246; Check the next value down, which needs a two-instruction sequence. 247define i64 @f30() { 248; CHECK-LABEL: f30: 249; CHECK: llihf %r2, 4294967295 250; CHECK-NEXT: oilf %r2, 2147483647 251; CHECK-NEXT: br %r14 252 ret i64 -2147483649 253} 254 255; Check that constant loads are rematerialized. 256define i64 @f31() { 257; CHECK-LABEL: f31: 258; CHECK-DAG: lghi %r2, 42 259; CHECK-DAG: lgfi %r3, 65537 260; CHECK-DAG: llilf %r4, 2147483649 261; CHECK-DAG: llihf %r5, 65537 262; CHECK: brasl %r14, foo@PLT 263; CHECK-DAG: llill %r2, 32768 264; CHECK-DAG: llilh %r3, 1 265; CHECK-DAG: llihl %r4, 1 266; CHECK-DAG: llihh %r5, 1 267; CHECK: brasl %r14, foo@PLT 268; CHECK-DAG: lghi %r2, 42 269; CHECK-DAG: lgfi %r3, 65537 270; CHECK-DAG: llilf %r4, 2147483649 271; CHECK-DAG: llihf %r5, 65537 272; CHECK: brasl %r14, foo@PLT 273; CHECK-DAG: llill %r2, 32768 274; CHECK-DAG: llilh %r3, 1 275; CHECK-DAG: llihl %r4, 1 276; CHECK-DAG: llihh %r5, 1 277; CHECK: brasl %r14, foo@PLT 278; CHECK: lghi %r2, 42 279; CHECK: br %r14 280 call void @foo(i64 42, i64 65537, i64 2147483649, i64 281479271677952) 281 call void @foo(i64 32768, i64 65536, i64 4294967296, i64 281474976710656) 282 call void @foo(i64 42, i64 65537, i64 2147483649, i64 281479271677952) 283 call void @foo(i64 32768, i64 65536, i64 4294967296, i64 281474976710656) 284 ret i64 42 285} 286