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 | |
parent | b8303eb654c1ba1833cfd048ed1f01309b19afe2 (diff) | |
download | llvm-2d664abbfca8b9fa3d99e8a2f74bd52faf007f12.tar.gz llvm-2d664abbfca8b9fa3d99e8a2f74bd52faf007f12.tar.bz2 llvm-2d664abbfca8b9fa3d99e8a2f74bd52faf007f12.tar.xz |
[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')
-rw-r--r-- | test/CodeGen/SystemZ/int-cmp-09.ll | 91 | ||||
-rw-r--r-- | test/CodeGen/SystemZ/int-cmp-11.ll | 91 | ||||
-rw-r--r-- | test/CodeGen/SystemZ/int-cmp-13.ll | 96 | ||||
-rw-r--r-- | test/CodeGen/SystemZ/int-cmp-14.ll | 96 |
4 files changed, 274 insertions, 100 deletions
diff --git a/test/CodeGen/SystemZ/int-cmp-09.ll b/test/CodeGen/SystemZ/int-cmp-09.ll index 06ebee250b..8fb0e7c41a 100644 --- a/test/CodeGen/SystemZ/int-cmp-09.ll +++ b/test/CodeGen/SystemZ/int-cmp-09.ll @@ -5,8 +5,7 @@ ; Check comparisons with 0. define double @f1(double %a, double %b, i32 %i1) { ; CHECK: f1: -; CHECK: chi %r2, 0 -; CHECK-NEXT: jl +; CHECK: cijl %r2, 0 ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 %cond = icmp slt i32 %i1, 0 @@ -17,8 +16,7 @@ define double @f1(double %a, double %b, i32 %i1) { ; Check comparisons with 1. define double @f2(double %a, double %b, i32 %i1) { ; CHECK: f2: -; CHECK: chi %r2, 1 -; CHECK-NEXT: jl +; CHECK: cijl %r2, 1 ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 %cond = icmp slt i32 %i1, 1 @@ -26,9 +24,32 @@ define double @f2(double %a, double %b, i32 %i1) { ret double %res } -; Check the high end of the CHI range. +; Check the high end of the CIJ range. define double @f3(double %a, double %b, i32 %i1) { ; CHECK: f3: +; CHECK: cijl %r2, 127 +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp slt i32 %i1, 127 + %res = select i1 %cond, double %a, double %b + ret double %res +} + +; Check the next value up, which must use CHI instead. +define double @f4(double %a, double %b, i32 %i1) { +; CHECK: f4: +; CHECK: chi %r2, 128 +; CHECK-NEXT: jl +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp slt i32 %i1, 128 + %res = select i1 %cond, double %a, double %b + ret double %res +} + +; Check the high end of the CHI range. +define double @f5(double %a, double %b, i32 %i1) { +; CHECK: f5: ; CHECK: chi %r2, 32767 ; CHECK-NEXT: jl ; CHECK: ldr %f0, %f2 @@ -39,8 +60,8 @@ define double @f3(double %a, double %b, i32 %i1) { } ; Check the next value up, which must use CFI. -define double @f4(double %a, double %b, i32 %i1) { -; CHECK: f4: +define double @f6(double %a, double %b, i32 %i1) { +; CHECK: f6: ; CHECK: cfi %r2, 32768 ; CHECK-NEXT: jl ; CHECK: ldr %f0, %f2 @@ -51,8 +72,8 @@ define double @f4(double %a, double %b, i32 %i1) { } ; Check the high end of the signed 32-bit range. -define double @f5(double %a, double %b, i32 %i1) { -; CHECK: f5: +define double @f7(double %a, double %b, i32 %i1) { +; CHECK: f7: ; CHECK: cfi %r2, 2147483647 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -63,8 +84,8 @@ define double @f5(double %a, double %b, i32 %i1) { } ; Check the next value up, which should be treated as a negative value. -define double @f6(double %a, double %b, i32 %i1) { -; CHECK: f6: +define double @f8(double %a, double %b, i32 %i1) { +; CHECK: f8: ; CHECK: cfi %r2, -2147483648 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -74,11 +95,10 @@ define double @f6(double %a, double %b, i32 %i1) { ret double %res } -; Check the high end of the negative CHI range. -define double @f7(double %a, double %b, i32 %i1) { -; CHECK: f7: -; CHECK: chi %r2, -1 -; CHECK-NEXT: jl +; Check the high end of the negative CIJ range. +define double @f9(double %a, double %b, i32 %i1) { +; CHECK: f9: +; CHECK: cijl %r2, -1 ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 %cond = icmp slt i32 %i1, -1 @@ -86,9 +106,32 @@ define double @f7(double %a, double %b, i32 %i1) { ret double %res } +; Check the low end of the CIJ range. +define double @f10(double %a, double %b, i32 %i1) { +; CHECK: f10: +; CHECK: cijl %r2, -128 +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp slt i32 %i1, -128 + %res = select i1 %cond, double %a, double %b + ret double %res +} + +; Check the next value down, which must use CHI instead. +define double @f11(double %a, double %b, i32 %i1) { +; CHECK: f11: +; CHECK: chi %r2, -129 +; CHECK-NEXT: jl +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp slt i32 %i1, -129 + %res = select i1 %cond, double %a, double %b + ret double %res +} + ; Check the low end of the CHI range. -define double @f8(double %a, double %b, i32 %i1) { -; CHECK: f8: +define double @f12(double %a, double %b, i32 %i1) { +; CHECK: f12: ; CHECK: chi %r2, -32768 ; CHECK-NEXT: jl ; CHECK: ldr %f0, %f2 @@ -99,8 +142,8 @@ define double @f8(double %a, double %b, i32 %i1) { } ; Check the next value down, which must use CFI instead. -define double @f9(double %a, double %b, i32 %i1) { -; CHECK: f9: +define double @f13(double %a, double %b, i32 %i1) { +; CHECK: f13: ; CHECK: cfi %r2, -32769 ; CHECK-NEXT: jl ; CHECK: ldr %f0, %f2 @@ -111,8 +154,8 @@ define double @f9(double %a, double %b, i32 %i1) { } ; Check the low end of the signed 32-bit range. -define double @f10(double %a, double %b, i32 %i1) { -; CHECK: f10: +define double @f14(double %a, double %b, i32 %i1) { +; CHECK: f14: ; CHECK: cfi %r2, -2147483648 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -123,8 +166,8 @@ define double @f10(double %a, double %b, i32 %i1) { } ; Check the next value down, which should be treated as a positive value. -define double @f11(double %a, double %b, i32 %i1) { -; CHECK: f11: +define double @f15(double %a, double %b, i32 %i1) { +; CHECK: f15: ; CHECK: cfi %r2, 2147483647 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 diff --git a/test/CodeGen/SystemZ/int-cmp-11.ll b/test/CodeGen/SystemZ/int-cmp-11.ll index 64386f05d1..a0f598e9d0 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 diff --git a/test/CodeGen/SystemZ/int-cmp-13.ll b/test/CodeGen/SystemZ/int-cmp-13.ll index aab95473a0..19bceecb62 100644 --- a/test/CodeGen/SystemZ/int-cmp-13.ll +++ b/test/CodeGen/SystemZ/int-cmp-13.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: je +; CHECK: cgije %r2, 0 ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 %cond = icmp eq i64 %i1, 0 @@ -14,9 +13,32 @@ define double @f1(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 @f2(double %a, double %b, i64 %i1) { ; CHECK: f2: +; CHECK: cgije %r2, 127 +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp eq 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 @f3(double %a, double %b, i64 %i1) { +; CHECK: f3: +; CHECK: cghi %r2, 128 +; CHECK-NEXT: je +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp eq i64 %i1, 128 + %res = select i1 %cond, double %a, double %b + ret double %res +} + +; Check the high end of the CGHI range. +define double @f4(double %a, double %b, i64 %i1) { +; CHECK: f4: ; CHECK: cghi %r2, 32767 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -27,8 +49,8 @@ define double @f2(double %a, double %b, i64 %i1) { } ; Check the next value up, which must use CGFI. -define double @f3(double %a, double %b, i64 %i1) { -; CHECK: f3: +define double @f5(double %a, double %b, i64 %i1) { +; CHECK: f5: ; CHECK: cgfi %r2, 32768 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -39,8 +61,8 @@ define double @f3(double %a, double %b, i64 %i1) { } ; Check the high end of the CGFI range. -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, 2147483647 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -51,8 +73,8 @@ define double @f4(double %a, double %b, i64 %i1) { } ; Check the next value up, which should use CLGFI instead. -define double @f5(double %a, double %b, i64 %i1) { -; CHECK: f5: +define double @f7(double %a, double %b, i64 %i1) { +; CHECK: f7: ; CHECK: clgfi %r2, 2147483648 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -63,8 +85,8 @@ define double @f5(double %a, double %b, i64 %i1) { } ; Check the high end of the CLGFI range. -define double @f6(double %a, double %b, i64 %i1) { -; CHECK: f6: +define double @f8(double %a, double %b, i64 %i1) { +; CHECK: f8: ; CHECK: clgfi %r2, 4294967295 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -75,8 +97,8 @@ define double @f6(double %a, double %b, i64 %i1) { } ; Check the next value up, which must use a register comparison. -define double @f7(double %a, double %b, i64 %i1) { -; CHECK: f7: +define double @f9(double %a, double %b, i64 %i1) { +; CHECK: f9: ; CHECK: cgrje %r2, ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 @@ -85,11 +107,10 @@ define double @f7(double %a, double %b, i64 %i1) { ret double %res } -; Check the high end of the negative CGHI range. -define double @f8(double %a, double %b, i64 %i1) { -; CHECK: f8: -; CHECK: cghi %r2, -1 -; CHECK-NEXT: je +; Check the high end of the negative CGIJ range. +define double @f10(double %a, double %b, i64 %i1) { +; CHECK: f10: +; CHECK: cgije %r2, -1 ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 %cond = icmp eq i64 %i1, -1 @@ -97,9 +118,32 @@ define double @f8(double %a, double %b, i64 %i1) { ret double %res } +; Check the low end of the CGIJ range. +define double @f11(double %a, double %b, i64 %i1) { +; CHECK: f11: +; CHECK: cgije %r2, -128 +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp eq 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 @f12(double %a, double %b, i64 %i1) { +; CHECK: f12: +; CHECK: cghi %r2, -129 +; CHECK-NEXT: je +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp eq i64 %i1, -129 + %res = select i1 %cond, double %a, double %b + ret double %res +} + ; Check the low end of the CGHI range. -define double @f9(double %a, double %b, i64 %i1) { -; CHECK: f9: +define double @f13(double %a, double %b, i64 %i1) { +; CHECK: f13: ; CHECK: cghi %r2, -32768 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -110,8 +154,8 @@ define double @f9(double %a, double %b, i64 %i1) { } ; Check the next value down, which must use CGFI instead. -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, -32769 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -122,8 +166,8 @@ define double @f10(double %a, double %b, i64 %i1) { } ; Check the low end of the CGFI range. -define double @f11(double %a, double %b, i64 %i1) { -; CHECK: f11: +define double @f15(double %a, double %b, i64 %i1) { +; CHECK: f15: ; CHECK: cgfi %r2, -2147483648 ; CHECK-NEXT: je ; CHECK: ldr %f0, %f2 @@ -134,8 +178,8 @@ define double @f11(double %a, double %b, i64 %i1) { } ; Check the next value down, which must use register comparison. -define double @f12(double %a, double %b, i64 %i1) { -; CHECK: f12: +define double @f16(double %a, double %b, i64 %i1) { +; CHECK: f16: ; CHECK: cgrje ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 diff --git a/test/CodeGen/SystemZ/int-cmp-14.ll b/test/CodeGen/SystemZ/int-cmp-14.ll index 28c325c005..11b56adcdc 100644 --- a/test/CodeGen/SystemZ/int-cmp-14.ll +++ b/test/CodeGen/SystemZ/int-cmp-14.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: jlh +; CHECK: cgijlh %r2, 0 ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 %cond = icmp ne i64 %i1, 0 @@ -14,9 +13,32 @@ define double @f1(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 @f2(double %a, double %b, i64 %i1) { ; CHECK: f2: +; CHECK: cgijlh %r2, 127 +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp ne 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 @f3(double %a, double %b, i64 %i1) { +; CHECK: f3: +; CHECK: cghi %r2, 128 +; CHECK-NEXT: jlh +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp ne i64 %i1, 128 + %res = select i1 %cond, double %a, double %b + ret double %res +} + +; Check the high end of the CGHI range. +define double @f4(double %a, double %b, i64 %i1) { +; CHECK: f4: ; CHECK: cghi %r2, 32767 ; CHECK-NEXT: jlh ; CHECK: ldr %f0, %f2 @@ -27,8 +49,8 @@ define double @f2(double %a, double %b, i64 %i1) { } ; Check the next value up, which must use CGFI. -define double @f3(double %a, double %b, i64 %i1) { -; CHECK: f3: +define double @f5(double %a, double %b, i64 %i1) { +; CHECK: f5: ; CHECK: cgfi %r2, 32768 ; CHECK-NEXT: jlh ; CHECK: ldr %f0, %f2 @@ -39,8 +61,8 @@ define double @f3(double %a, double %b, i64 %i1) { } ; Check the high end of the CGFI range. -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, 2147483647 ; CHECK-NEXT: jlh ; CHECK: ldr %f0, %f2 @@ -51,8 +73,8 @@ define double @f4(double %a, double %b, i64 %i1) { } ; Check the next value up, which should use CLGFI instead. -define double @f5(double %a, double %b, i64 %i1) { -; CHECK: f5: +define double @f7(double %a, double %b, i64 %i1) { +; CHECK: f7: ; CHECK: clgfi %r2, 2147483648 ; CHECK-NEXT: jlh ; CHECK: ldr %f0, %f2 @@ -63,8 +85,8 @@ define double @f5(double %a, double %b, i64 %i1) { } ; Check the high end of the CLGFI range. -define double @f6(double %a, double %b, i64 %i1) { -; CHECK: f6: +define double @f8(double %a, double %b, i64 %i1) { +; CHECK: f8: ; CHECK: clgfi %r2, 4294967295 ; CHECK-NEXT: jlh ; CHECK: ldr %f0, %f2 @@ -75,8 +97,8 @@ define double @f6(double %a, double %b, i64 %i1) { } ; Check the next value up, which must use a register comparison. -define double @f7(double %a, double %b, i64 %i1) { -; CHECK: f7: +define double @f9(double %a, double %b, i64 %i1) { +; CHECK: f9: ; CHECK: cgrjlh %r2, ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 @@ -85,11 +107,10 @@ define double @f7(double %a, double %b, i64 %i1) { ret double %res } -; Check the high end of the negative CGHI range. -define double @f8(double %a, double %b, i64 %i1) { -; CHECK: f8: -; CHECK: cghi %r2, -1 -; CHECK-NEXT: jlh +; Check the high end of the negative CGIJ range. +define double @f10(double %a, double %b, i64 %i1) { +; CHECK: f10: +; CHECK: cgijlh %r2, -1 ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 %cond = icmp ne i64 %i1, -1 @@ -97,9 +118,32 @@ define double @f8(double %a, double %b, i64 %i1) { ret double %res } +; Check the low end of the CGIJ range. +define double @f11(double %a, double %b, i64 %i1) { +; CHECK: f11: +; CHECK: cgijlh %r2, -128 +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp ne 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 @f12(double %a, double %b, i64 %i1) { +; CHECK: f12: +; CHECK: cghi %r2, -129 +; CHECK-NEXT: jlh +; CHECK: ldr %f0, %f2 +; CHECK: br %r14 + %cond = icmp ne i64 %i1, -129 + %res = select i1 %cond, double %a, double %b + ret double %res +} + ; Check the low end of the CGHI range. -define double @f9(double %a, double %b, i64 %i1) { -; CHECK: f9: +define double @f13(double %a, double %b, i64 %i1) { +; CHECK: f13: ; CHECK: cghi %r2, -32768 ; CHECK-NEXT: jlh ; CHECK: ldr %f0, %f2 @@ -110,8 +154,8 @@ define double @f9(double %a, double %b, i64 %i1) { } ; Check the next value down, which must use CGFI instead. -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, -32769 ; CHECK-NEXT: jlh ; CHECK: ldr %f0, %f2 @@ -122,8 +166,8 @@ define double @f10(double %a, double %b, i64 %i1) { } ; Check the low end of the CGFI range. -define double @f11(double %a, double %b, i64 %i1) { -; CHECK: f11: +define double @f15(double %a, double %b, i64 %i1) { +; CHECK: f15: ; CHECK: cgfi %r2, -2147483648 ; CHECK-NEXT: jlh ; CHECK: ldr %f0, %f2 @@ -134,8 +178,8 @@ define double @f11(double %a, double %b, i64 %i1) { } ; Check the next value down, which must use register comparison. -define double @f12(double %a, double %b, i64 %i1) { -; CHECK: f12: +define double @f16(double %a, double %b, i64 %i1) { +; CHECK: f16: ; CHECK: cgrjlh ; CHECK: ldr %f0, %f2 ; CHECK: br %r14 |