diff options
author | Richard Sandiford <rsandifo@linux.vnet.ibm.com> | 2013-05-29 11:58:52 +0000 |
---|---|---|
committer | Richard Sandiford <rsandifo@linux.vnet.ibm.com> | 2013-05-29 11:58:52 +0000 |
commit | 2d664abbfca8b9fa3d99e8a2f74bd52faf007f12 (patch) | |
tree | ef3e64c5251a4118e32a0393799793277d7259f4 /test/CodeGen/SystemZ/int-cmp-11.ll | |
parent | b8303eb654c1ba1833cfd048ed1f01309b19afe2 (diff) | |
download | external_llvm-2d664abbfca8b9fa3d99e8a2f74bd52faf007f12.zip external_llvm-2d664abbfca8b9fa3d99e8a2f74bd52faf007f12.tar.gz external_llvm-2d664abbfca8b9fa3d99e8a2f74bd52faf007f12.tar.bz2 |
[SystemZ] Immediate compare-and-branch support
This patch adds support for the CIJ and CGIJ instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182846 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/SystemZ/int-cmp-11.ll')
-rw-r--r-- | test/CodeGen/SystemZ/int-cmp-11.ll | 91 |
1 files changed, 67 insertions, 24 deletions
diff --git a/test/CodeGen/SystemZ/int-cmp-11.ll b/test/CodeGen/SystemZ/int-cmp-11.ll index 64386f0..a0f598e 100644 --- a/test/CodeGen/SystemZ/int-cmp-11.ll +++ b/test/CodeGen/SystemZ/int-cmp-11.ll @@ -5,8 +5,7 @@ ; Check comparisons with 0. define double @f1(double %a, double %b, i64 %i1) { ; CHECK: f1: -; CHECK: cghi %r2, 0 -; CHECK-NEXT: jl +; CHECK: cgijl %r2, 0 ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 %cond = icmp slt i64 %i1, 0 @@ -17,8 +16,7 @@ define double @f1(double %a, double %b, i64 %i1) { ; Check comparisons with 1. define double @f2(double %a, double %b, i64 %i1) { ; CHECK: f2: -; CHECK: cghi %r2, 1 -; CHECK-NEXT: jl +; CHECK: cgijl %r2, 1 ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 %cond = icmp slt i64 %i1, 1 @@ -26,9 +24,32 @@ define double @f2(double %a, double %b, i64 %i1) { ret double %res } -; Check the high end of the CGHI range. +; Check the high end of the CGIJ range. define double @f3(double %a, double %b, i64 %i1) { ; CHECK: f3: +; CHECK: cgijl %r2, 127 +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp slt i64 %i1, 127 + %res = select i1 %cond, double %a, double %b + ret double %res +} + +; Check the next value up, which must use CGHI instead. +define double @f4(double %a, double %b, i64 %i1) { +; CHECK: f4: +; CHECK: cghi %r2, 128 +; CHECK-NEXT: jl +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp slt i64 %i1, 128 + %res = select i1 %cond, double %a, double %b + ret double %res +} + +; Check the high end of the CGHI range. +define double @f5(double %a, double %b, i64 %i1) { +; CHECK: f5: ; CHECK: cghi %r2, 32767 ; CHECK-NEXT: jl ; CHECK: ldr %f0, %f2 @@ -39,8 +60,8 @@ define double @f3(double %a, double %b, i64 %i1) { } ; Check the next value up, which must use CGFI. -define double @f4(double %a, double %b, i64 %i1) { -; CHECK: f4: +define double @f6(double %a, double %b, i64 %i1) { +; CHECK: f6: ; CHECK: cgfi %r2, 32768 ; CHECK-NEXT: jl ; CHECK: ldr %f0, %f2 @@ -51,8 +72,8 @@ define double @f4(double %a, double %b, i64 %i1) { } ; Check the high end of the CGFI range. -define double @f5(double %a, double %b, i64 %i1) { -; CHECK: f5: +define double @f7(double %a, double %b, i64 %i1) { +; CHECK: f7: ; CHECK: cgfi %r2, 2147483647 ; CHECK-NEXT: jl ; CHECK: ldr %f0, %f2 @@ -63,8 +84,8 @@ define double @f5(double %a, double %b, i64 %i1) { } ; Check the next value up, which must use register comparison. -define double @f6(double %a, double %b, i64 %i1) { -; CHECK: f6: +define double @f8(double %a, double %b, i64 %i1) { +; CHECK: f8: ; CHECK: cgrjl ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 @@ -73,11 +94,10 @@ define double @f6(double %a, double %b, i64 %i1) { ret double %res } -; Check the high end of the negative CGHI range. -define double @f7(double %a, double %b, i64 %i1) { -; CHECK: f7: -; CHECK: cghi %r2, -1 -; CHECK-NEXT: jl +; Check the high end of the negative CGIJ range. +define double @f9(double %a, double %b, i64 %i1) { +; CHECK: f9: +; CHECK: cgijl %r2, -1 ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 %cond = icmp slt i64 %i1, -1 @@ -85,9 +105,32 @@ define double @f7(double %a, double %b, i64 %i1) { ret double %res } +; Check the low end of the CGIJ range. +define double @f10(double %a, double %b, i64 %i1) { +; CHECK: f10: +; CHECK: cgijl %r2, -128 +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp slt i64 %i1, -128 + %res = select i1 %cond, double %a, double %b + ret double %res +} + +; Check the next value down, which must use CGHI instead. +define double @f11(double %a, double %b, i64 %i1) { +; CHECK: f11: +; CHECK: cghi %r2, -129 +; CHECK-NEXT: jl +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp slt i64 %i1, -129 + %res = select i1 %cond, double %a, double %b + ret double %res +} + ; Check the low end of the CGHI range. -define double @f8(double %a, double %b, i64 %i1) { -; CHECK: f8: +define double @f12(double %a, double %b, i64 %i1) { +; CHECK: f12: ; CHECK: cghi %r2, -32768 ; CHECK-NEXT: jl ; CHECK: ldr %f0, %f2 @@ -98,8 +141,8 @@ define double @f8(double %a, double %b, i64 %i1) { } ; Check the next value down, which must use CGFI instead. -define double @f9(double %a, double %b, i64 %i1) { -; CHECK: f9: +define double @f13(double %a, double %b, i64 %i1) { +; CHECK: f13: ; CHECK: cgfi %r2, -32769 ; CHECK-NEXT: jl ; CHECK: ldr %f0, %f2 @@ -110,8 +153,8 @@ define double @f9(double %a, double %b, i64 %i1) { } ; Check the low end of the CGFI range. -define double @f10(double %a, double %b, i64 %i1) { -; CHECK: f10: +define double @f14(double %a, double %b, i64 %i1) { +; CHECK: f14: ; CHECK: cgfi %r2, -2147483648 ; CHECK-NEXT: jl ; CHECK: ldr %f0, %f2 @@ -122,8 +165,8 @@ define double @f10(double %a, double %b, i64 %i1) { } ; Check the next value down, which must use register comparison. -define double @f11(double %a, double %b, i64 %i1) { -; CHECK: f11: +define double @f15(double %a, double %b, i64 %i1) { +; CHECK: f15: ; CHECK: cgrjl ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 |