diff options
author | Sam Parker <sam.parker@arm.com> | 2017-09-18 14:28:51 +0000 |
---|---|---|
committer | Sam Parker <sam.parker@arm.com> | 2017-09-18 14:28:51 +0000 |
commit | 71efbe4c683577c335eee898c0a47e5d8ba0c386 (patch) | |
tree | 30afb6bc84fad186881f8c35b5e92be408f45d2a /llvm/test/Transforms/SimplifyCFG/ARM/select-trunc-i64.ll | |
parent | 00161c996106ff151227b8fc63e08597d58a3e7d (diff) | |
download | bcm5719-llvm-71efbe4c683577c335eee898c0a47e5d8ba0c386.tar.gz bcm5719-llvm-71efbe4c683577c335eee898c0a47e5d8ba0c386.zip |
[ARM] Implement isTruncateFree
Implement the isTruncateFree hooks, lifted from AArch64, that are
used by TargetTransformInfo. This allows simplifycfg to reduce the
test case into a single basic block.
Differential Revision: https://reviews.llvm.org/D37516
llvm-svn: 313533
Diffstat (limited to 'llvm/test/Transforms/SimplifyCFG/ARM/select-trunc-i64.ll')
-rw-r--r-- | llvm/test/Transforms/SimplifyCFG/ARM/select-trunc-i64.ll | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/llvm/test/Transforms/SimplifyCFG/ARM/select-trunc-i64.ll b/llvm/test/Transforms/SimplifyCFG/ARM/select-trunc-i64.ll new file mode 100644 index 00000000000..9484de77db4 --- /dev/null +++ b/llvm/test/Transforms/SimplifyCFG/ARM/select-trunc-i64.ll @@ -0,0 +1,25 @@ +;RUN: opt -S -simplifycfg -mtriple=arm < %s | FileCheck %s +target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" + +; CHECK-LABEL: select_trunc_i64 +; CHECK-NOT: br +; CHECK: select +; CHECK: select +define arm_aapcscc i32 @select_trunc_i64(i32 %a, i32 %b) { +entry: + %conv = sext i32 %a to i64 + %conv1 = sext i32 %b to i64 + %add = add nsw i64 %conv1, %conv + %cmp = icmp sgt i64 %add, 2147483647 + br i1 %cmp, label %cond.end7, label %cond.false + +cond.false: ; preds = %entry + %0 = icmp sgt i64 %add, -2147483648 + %cond = select i1 %0, i64 %add, i64 -2147483648 + %extract.t = trunc i64 %cond to i32 + br label %cond.end7 + +cond.end7: ; preds = %cond.false, %entry + %cond8.off0 = phi i32 [ 2147483647, %entry ], [ %extract.t, %cond.false ] + ret i32 %cond8.off0 +} |