From 130b8b3f2b49a0c04f5acb8e56c0f75245e222e8 Mon Sep 17 00:00:00 2001 From: Alex Bradbury Date: Thu, 26 Apr 2018 13:37:00 +0000 Subject: [RISCV] Implement isTruncateFree Adapted from ARM's implementation introduced in r313533 and r314280. llvm-svn: 330940 --- .../Transforms/SimplifyCFG/RISCV/lit.local.cfg | 5 ++++ .../SimplifyCFG/RISCV/select-trunc-i64.ll | 28 ++++++++++++++++++++++ 2 files changed, 33 insertions(+) create mode 100644 llvm/test/Transforms/SimplifyCFG/RISCV/lit.local.cfg create mode 100644 llvm/test/Transforms/SimplifyCFG/RISCV/select-trunc-i64.ll (limited to 'llvm/test/Transforms/SimplifyCFG/RISCV') diff --git a/llvm/test/Transforms/SimplifyCFG/RISCV/lit.local.cfg b/llvm/test/Transforms/SimplifyCFG/RISCV/lit.local.cfg new file mode 100644 index 00000000000..7aaeda5a5b3 --- /dev/null +++ b/llvm/test/Transforms/SimplifyCFG/RISCV/lit.local.cfg @@ -0,0 +1,5 @@ +config.suffixes = ['.ll'] + +targets = set(config.root.targets_to_build.split()) +if not 'RISCV' in targets: + config.unsupported = True diff --git a/llvm/test/Transforms/SimplifyCFG/RISCV/select-trunc-i64.ll b/llvm/test/Transforms/SimplifyCFG/RISCV/select-trunc-i64.ll new file mode 100644 index 00000000000..e5272b2af86 --- /dev/null +++ b/llvm/test/Transforms/SimplifyCFG/RISCV/select-trunc-i64.ll @@ -0,0 +1,28 @@ +;RUN: opt -S -simplifycfg -mtriple=riscv32 < %s | FileCheck %s + +; Test case taken from test/Transforms/SimplifyCFG/ARM/select-trunc-i64.ll. +; A correct implementation of isTruncateFree allows this test case to be +; reduced to a single basic block. + +; CHECK-LABEL: select_trunc_i64 +; CHECK-NOT: br +; CHECK: select +; CHECK: select +define 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 +} -- cgit v1.2.3