diff options
Diffstat (limited to 'test/CodeGen/SystemZ/int-const-05.ll')
| -rw-r--r-- | test/CodeGen/SystemZ/int-const-05.ll | 39 |
1 files changed, 19 insertions, 20 deletions
diff --git a/test/CodeGen/SystemZ/int-const-05.ll b/test/CodeGen/SystemZ/int-const-05.ll index b85fd6b68207..98d6851c197d 100644 --- a/test/CodeGen/SystemZ/int-const-05.ll +++ b/test/CodeGen/SystemZ/int-const-05.ll @@ -4,7 +4,7 @@ ; Check moves of zero. define void @f1(i32 *%a) { -; CHECK: f1: +; CHECK-LABEL: f1: ; CHECK: mvhi 0(%r2), 0 ; CHECK: br %r14 store i32 0, i32 *%a @@ -13,7 +13,7 @@ define void @f1(i32 *%a) { ; Check the high end of the signed 16-bit range. define void @f2(i32 *%a) { -; CHECK: f2: +; CHECK-LABEL: f2: ; CHECK: mvhi 0(%r2), 32767 ; CHECK: br %r14 store i32 32767, i32 *%a @@ -22,7 +22,7 @@ define void @f2(i32 *%a) { ; Check the next value up, which can't use MVHI. define void @f3(i32 *%a) { -; CHECK: f3: +; CHECK-LABEL: f3: ; CHECK-NOT: mvhi ; CHECK: br %r14 store i32 32768, i32 *%a @@ -31,7 +31,7 @@ define void @f3(i32 *%a) { ; Check moves of -1. define void @f4(i32 *%a) { -; CHECK: f4: +; CHECK-LABEL: f4: ; CHECK: mvhi 0(%r2), -1 ; CHECK: br %r14 store i32 -1, i32 *%a @@ -40,7 +40,7 @@ define void @f4(i32 *%a) { ; Check the low end of the MVHI range. define void @f5(i32 *%a) { -; CHECK: f5: +; CHECK-LABEL: f5: ; CHECK: mvhi 0(%r2), -32768 ; CHECK: br %r14 store i32 -32768, i32 *%a @@ -49,7 +49,7 @@ define void @f5(i32 *%a) { ; Check the next value down, which can't use MVHI. define void @f6(i32 *%a) { -; CHECK: f6: +; CHECK-LABEL: f6: ; CHECK-NOT: mvhi ; CHECK: br %r14 store i32 -32769, i32 *%a @@ -58,7 +58,7 @@ define void @f6(i32 *%a) { ; Check the high end of the MVHI range. define void @f7(i32 *%a) { -; CHECK: f7: +; CHECK-LABEL: f7: ; CHECK: mvhi 4092(%r2), 42 ; CHECK: br %r14 %ptr = getelementptr i32 *%a, i64 1023 @@ -66,34 +66,33 @@ define void @f7(i32 *%a) { ret void } -; Check the next word up, which needs separate address logic. -; Other sequences besides this one would be OK. +; Check the next word up, which is out of range. We prefer STY in that case. define void @f8(i32 *%a) { -; CHECK: f8: -; CHECK: aghi %r2, 4096 -; CHECK: mvhi 0(%r2), 42 +; CHECK-LABEL: f8: +; CHECK: lhi [[TMP:%r[0-5]]], 42 +; CHECK: sty [[TMP]], 4096(%r2) ; CHECK: br %r14 %ptr = getelementptr i32 *%a, i64 1024 store i32 42, i32 *%ptr ret void } -; Check negative displacements, which also need separate address logic. +; Check negative displacements, for which we again prefer STY. define void @f9(i32 *%a) { -; CHECK: f9: -; CHECK: aghi %r2, -4 -; CHECK: mvhi 0(%r2), 42 +; CHECK-LABEL: f9: +; CHECK: lhi [[TMP:%r[0-5]]], 42 +; CHECK: sty [[TMP]], -4(%r2) ; CHECK: br %r14 %ptr = getelementptr i32 *%a, i64 -1 store i32 42, i32 *%ptr ret void } -; Check that MVHI does not allow an index +; Check that MVHI does not allow an index. define void @f10(i64 %src, i64 %index) { -; CHECK: f10: -; CHECK: agr %r2, %r3 -; CHECK: mvhi 0(%r2), 42 +; CHECK-LABEL: f10: +; CHECK: lhi [[TMP:%r[0-5]]], 42 +; CHECK: st [[TMP]], 0({{%r2,%r3|%r3,%r2}}) ; CHECK: br %r14 %add = add i64 %src, %index %ptr = inttoptr i64 %add to i32 * |
