diff options
| author | Richard Sandiford <rsandifo@linux.vnet.ibm.com> | 2013-10-16 11:10:55 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@linux.vnet.ibm.com> | 2013-10-16 11:10:55 +0000 |
| commit | d1a4f579bf45aec933c79292b6b9663581438738 (patch) | |
| tree | 4da52c699044d9938c699425da7148601d5e89d8 /test/CodeGen/SystemZ/branch-07.ll | |
| parent | 5d7e93c0d44a96a416d2f1d1518954d8fed73f40 (diff) | |
| download | external_llvm-d1a4f579bf45aec933c79292b6b9663581438738.zip external_llvm-d1a4f579bf45aec933c79292b6b9663581438738.tar.gz external_llvm-d1a4f579bf45aec933c79292b6b9663581438738.tar.bz2 | |
[SystemZ] Improve handling of SETCC
We previously used the default expansion to SELECT_CC, which in turn would
expand to "LHI; BRC; LHI". In most cases it's better to use an IPM-based
sequence instead.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@192784 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/SystemZ/branch-07.ll')
| -rw-r--r-- | test/CodeGen/SystemZ/branch-07.ll | 30 |
1 files changed, 14 insertions, 16 deletions
diff --git a/test/CodeGen/SystemZ/branch-07.ll b/test/CodeGen/SystemZ/branch-07.ll index b715a05..bac6071 100644 --- a/test/CodeGen/SystemZ/branch-07.ll +++ b/test/CodeGen/SystemZ/branch-07.ll @@ -97,10 +97,9 @@ exit: ; Test a vector of 0/-1 results for i32 EQ. define i64 @f7(i64 %a, i64 %b) { ; CHECK-LABEL: f7: -; CHECK: lhi [[REG:%r[0-5]]], -1 -; CHECK: crje {{%r[0-5]}} -; CHECK: lhi [[REG]], 0 -; CHECK-NOT: sra +; CHECK: ipm [[REG:%r[0-5]]] +; CHECK: afi [[REG]], -268435456 +; CHECK: sra [[REG]], 31 ; CHECK: br %r14 %avec = bitcast i64 %a to <2 x i32> %bvec = bitcast i64 %b to <2 x i32> @@ -113,10 +112,9 @@ define i64 @f7(i64 %a, i64 %b) { ; Test a vector of 0/-1 results for i32 NE. define i64 @f8(i64 %a, i64 %b) { ; CHECK-LABEL: f8: -; CHECK: lhi [[REG:%r[0-5]]], -1 -; CHECK: crjlh {{%r[0-5]}} -; CHECK: lhi [[REG]], 0 -; CHECK-NOT: sra +; CHECK: ipm [[REG:%r[0-5]]] +; CHECK: afi [[REG]], 1879048192 +; CHECK: sra [[REG]], 31 ; CHECK: br %r14 %avec = bitcast i64 %a to <2 x i32> %bvec = bitcast i64 %b to <2 x i32> @@ -129,10 +127,10 @@ define i64 @f8(i64 %a, i64 %b) { ; Test a vector of 0/-1 results for i64 EQ. define void @f9(i64 %a, i64 %b, <2 x i64> *%dest) { ; CHECK-LABEL: f9: -; CHECK: lghi [[REG:%r[0-5]]], -1 -; CHECK: crje {{%r[0-5]}} -; CHECK: lghi [[REG]], 0 -; CHECK-NOT: sra +; CHECK: ipm [[REG:%r[0-5]]] +; CHECK: afi [[REG]], -268435456 +; CHECK: sllg [[REG2:%r[0-5]]], [[REG]], 32 +; CHECK: srag {{%r[0-5]}}, [[REG2]], 63 ; CHECK: br %r14 %avec = bitcast i64 %a to <2 x i32> %bvec = bitcast i64 %b to <2 x i32> @@ -145,10 +143,10 @@ define void @f9(i64 %a, i64 %b, <2 x i64> *%dest) { ; Test a vector of 0/-1 results for i64 NE. define void @f10(i64 %a, i64 %b, <2 x i64> *%dest) { ; CHECK-LABEL: f10: -; CHECK: lghi [[REG:%r[0-5]]], -1 -; CHECK: crjlh {{%r[0-5]}} -; CHECK: lghi [[REG]], 0 -; CHECK-NOT: sra +; CHECK: ipm [[REG:%r[0-5]]] +; CHECK: afi [[REG]], 1879048192 +; CHECK: sllg [[REG2:%r[0-5]]], [[REG]], 32 +; CHECK: srag {{%r[0-5]}}, [[REG2]], 63 ; CHECK: br %r14 %avec = bitcast i64 %a to <2 x i32> %bvec = bitcast i64 %b to <2 x i32> |