135 lines · plain
1; Test 32-bit GPR accesses to a PC-relative location.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s4 5@gsrc16 = dso_local global i16 16@gsrc32 = dso_local global i32 17@gdst16 = dso_local global i16 28@gdst32 = dso_local global i32 29@gsrc16u = dso_local global i16 1, align 1, section "foo"10@gsrc32u = dso_local global i32 1, align 2, section "foo"11@gdst16u = dso_local global i16 2, align 1, section "foo"12@gdst32u = dso_local global i32 2, align 2, section "foo"13@garray8 = dso_local global [2 x i8] [i8 100, i8 101]14@garray16 = dso_local global [2 x i16] [i16 102, i16 103]15 16; Check sign-extending loads from i16.17define dso_local i32 @f1() {18; CHECK-LABEL: f1:19; CHECK: lhrl %r2, gsrc1620; CHECK: br %r1421 %val = load i16, ptr@gsrc1622 %ext = sext i16 %val to i3223 ret i32 %ext24}25 26; Check zero-extending loads from i16.27define dso_local i32 @f2() {28; CHECK-LABEL: f2:29; CHECK: llhrl %r2, gsrc1630; CHECK: br %r1431 %val = load i16, ptr@gsrc1632 %ext = zext i16 %val to i3233 ret i32 %ext34}35 36; Check truncating 16-bit stores.37define dso_local void @f3(i32 %val) {38; CHECK-LABEL: f3:39; CHECK: sthrl %r2, gdst1640; CHECK: br %r1441 %half = trunc i32 %val to i1642 store i16 %half, ptr@gdst1643 ret void44}45 46; Check plain loads and stores.47define dso_local void @f4() {48; CHECK-LABEL: f4:49; CHECK: lrl %r0, gsrc3250; CHECK: strl %r0, gdst3251; CHECK: br %r1452 %val = load i32, ptr@gsrc3253 store i32 %val, ptr@gdst3254 ret void55}56 57; Repeat f1 with an unaligned variable.58define dso_local i32 @f5() {59; CHECK-LABEL: f5:60; CHECK: lgrl [[REG:%r[0-5]]], gsrc16u61; CHECK: lh %r2, 0([[REG]])62; CHECK: br %r1463 %val = load i16, ptr@gsrc16u, align 164 %ext = sext i16 %val to i3265 ret i32 %ext66}67 68; Repeat f2 with an unaligned variable.69define dso_local i32 @f6() {70; CHECK-LABEL: f6:71; CHECK: lgrl [[REG:%r[0-5]]], gsrc16u72; CHECK: llh %r2, 0([[REG]])73; CHECK: br %r1474 %val = load i16, ptr@gsrc16u, align 175 %ext = zext i16 %val to i3276 ret i32 %ext77}78 79; Repeat f3 with an unaligned variable.80define dso_local void @f7(i32 %val) {81; CHECK-LABEL: f7:82; CHECK: lgrl [[REG:%r[0-5]]], gdst16u83; CHECK: sth %r2, 0([[REG]])84; CHECK: br %r1485 %half = trunc i32 %val to i1686 store i16 %half, ptr@gdst16u, align 187 ret void88}89 90; Repeat f4 with unaligned variables.91define dso_local void @f8() {92; CHECK-LABEL: f8:93; CHECK: larl [[REG:%r[0-5]]], gsrc32u94; CHECK: l [[VAL:%r[0-5]]], 0([[REG]])95; CHECK: larl [[REG:%r[0-5]]], gdst32u96; CHECK: st [[VAL]], 0([[REG]])97; CHECK: br %r1498 %val = load i32, ptr@gsrc32u, align 299 store i32 %val, ptr@gdst32u, align 2100 ret void101}102 103; Test a case where we want to use one LARL for accesses to two different104; parts of a variable.105define dso_local void @f9() {106; CHECK-LABEL: f9:107; CHECK: larl [[REG:%r[0-5]]], garray8108; CHECK: llc [[VAL:%r[0-5]]], 0([[REG]])109; CHECK: srl [[VAL]], 1110; CHECK: stc [[VAL]], 1([[REG]])111; CHECK: br %r14112 %ptr1 = getelementptr [2 x i8], ptr@garray8, i64 0, i64 0113 %ptr2 = getelementptr [2 x i8], ptr@garray8, i64 0, i64 1114 %val = load i8, ptr %ptr1115 %shr = lshr i8 %val, 1116 store i8 %shr, ptr %ptr2117 ret void118}119 120; Test a case where we want to use separate relative-long addresses for121; two different parts of a variable.122define dso_local void @f10() {123; CHECK-LABEL: f10:124; CHECK: llhrl [[VAL:%r[0-5]]], garray16125; CHECK: srl [[VAL]], 1126; CHECK: sthrl [[VAL]], garray16+2127; CHECK: br %r14128 %ptr1 = getelementptr [2 x i16], ptr@garray16, i64 0, i64 0129 %ptr2 = getelementptr [2 x i16], ptr@garray16, i64 0, i64 1130 %val = load i16, ptr %ptr1131 %shr = lshr i16 %val, 1132 store i16 %shr, ptr %ptr2133 ret void134}135