From 74feef261a43392bc85280f66c75fbd4e2ccf73d Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Fri, 17 Oct 2008 01:23:35 +0000 Subject: Define patterns for shld and shrd that match immediate shift counts, and patterns that match dynamic shift counts when the subtract is obscured by a truncate node. Add DAGCombiner support for recognizing rotate patterns when the shift counts are defined by truncate nodes. Fix and simplify the code for commuting shld and shrd instructions to work even when the given instruction doesn't have a parent, and when the caller needs a new instruction. These changes allow LLVM to use the shld, shrd, rol, and ror instructions on x86 to replace equivalent code using two shifts and an or in many more cases. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@57662 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/CodeGen/X86/rot16.ll | 73 +++++++++++++++++++++++++++++++++++++++++++++++ test/CodeGen/X86/rot32.ll | 73 +++++++++++++++++++++++++++++++++++++++++++++++ test/CodeGen/X86/rot64.ll | 73 +++++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 219 insertions(+) create mode 100644 test/CodeGen/X86/rot16.ll create mode 100644 test/CodeGen/X86/rot32.ll create mode 100644 test/CodeGen/X86/rot64.ll (limited to 'test/CodeGen') diff --git a/test/CodeGen/X86/rot16.ll b/test/CodeGen/X86/rot16.ll new file mode 100644 index 0000000..c196ce2 --- /dev/null +++ b/test/CodeGen/X86/rot16.ll @@ -0,0 +1,73 @@ +; RUN: llvm-as < %s | llc -march=x86 > %t +; RUN: grep rol %t | count 3 +; RUN: grep ror %t | count 1 +; RUN: grep shld %t | count 2 +; RUN: grep shrd %t | count 2 + +define i16 @foo(i16 %x, i16 %y, i16 %z) nounwind readnone { +entry: + %0 = shl i16 %x, %z + %1 = sub i16 16, %z + %2 = lshr i16 %x, %1 + %3 = or i16 %2, %0 + ret i16 %3 +} + +define i16 @bar(i16 %x, i16 %y, i16 %z) nounwind readnone { +entry: + %0 = shl i16 %y, %z + %1 = sub i16 16, %z + %2 = lshr i16 %x, %1 + %3 = or i16 %2, %0 + ret i16 %3 +} + +define i16 @un(i16 %x, i16 %y, i16 %z) nounwind readnone { +entry: + %0 = lshr i16 %x, %z + %1 = sub i16 16, %z + %2 = shl i16 %x, %1 + %3 = or i16 %2, %0 + ret i16 %3 +} + +define i16 @bu(i16 %x, i16 %y, i16 %z) nounwind readnone { +entry: + %0 = lshr i16 %y, %z + %1 = sub i16 16, %z + %2 = shl i16 %x, %1 + %3 = or i16 %2, %0 + ret i16 %3 +} + +define i16 @xfoo(i16 %x, i16 %y, i16 %z) nounwind readnone { +entry: + %0 = lshr i16 %x, 11 + %1 = shl i16 %x, 5 + %2 = or i16 %0, %1 + ret i16 %2 +} + +define i16 @xbar(i16 %x, i16 %y, i16 %z) nounwind readnone { +entry: + %0 = shl i16 %y, 5 + %1 = lshr i16 %x, 11 + %2 = or i16 %0, %1 + ret i16 %2 +} + +define i16 @xun(i16 %x, i16 %y, i16 %z) nounwind readnone { +entry: + %0 = lshr i16 %x, 5 + %1 = shl i16 %x, 11 + %2 = or i16 %0, %1 + ret i16 %2 +} + +define i16 @xbu(i16 %x, i16 %y, i16 %z) nounwind readnone { +entry: + %0 = lshr i16 %y, 5 + %1 = shl i16 %x, 11 + %2 = or i16 %0, %1 + ret i16 %2 +} diff --git a/test/CodeGen/X86/rot32.ll b/test/CodeGen/X86/rot32.ll new file mode 100644 index 0000000..7cebcb8 --- /dev/null +++ b/test/CodeGen/X86/rot32.ll @@ -0,0 +1,73 @@ +; RUN: llvm-as < %s | llc -march=x86 > %t +; RUN: grep rol %t | count 3 +; RUN: grep ror %t | count 1 +; RUN: grep shld %t | count 2 +; RUN: grep shrd %t | count 2 + +define i32 @foo(i32 %x, i32 %y, i32 %z) nounwind readnone { +entry: + %0 = shl i32 %x, %z + %1 = sub i32 32, %z + %2 = lshr i32 %x, %1 + %3 = or i32 %2, %0 + ret i32 %3 +} + +define i32 @bar(i32 %x, i32 %y, i32 %z) nounwind readnone { +entry: + %0 = shl i32 %y, %z + %1 = sub i32 32, %z + %2 = lshr i32 %x, %1 + %3 = or i32 %2, %0 + ret i32 %3 +} + +define i32 @un(i32 %x, i32 %y, i32 %z) nounwind readnone { +entry: + %0 = lshr i32 %x, %z + %1 = sub i32 32, %z + %2 = shl i32 %x, %1 + %3 = or i32 %2, %0 + ret i32 %3 +} + +define i32 @bu(i32 %x, i32 %y, i32 %z) nounwind readnone { +entry: + %0 = lshr i32 %y, %z + %1 = sub i32 32, %z + %2 = shl i32 %x, %1 + %3 = or i32 %2, %0 + ret i32 %3 +} + +define i32 @xfoo(i32 %x, i32 %y, i32 %z) nounwind readnone { +entry: + %0 = lshr i32 %x, 25 + %1 = shl i32 %x, 7 + %2 = or i32 %0, %1 + ret i32 %2 +} + +define i32 @xbar(i32 %x, i32 %y, i32 %z) nounwind readnone { +entry: + %0 = shl i32 %y, 7 + %1 = lshr i32 %x, 25 + %2 = or i32 %0, %1 + ret i32 %2 +} + +define i32 @xun(i32 %x, i32 %y, i32 %z) nounwind readnone { +entry: + %0 = lshr i32 %x, 7 + %1 = shl i32 %x, 25 + %2 = or i32 %0, %1 + ret i32 %2 +} + +define i32 @xbu(i32 %x, i32 %y, i32 %z) nounwind readnone { +entry: + %0 = lshr i32 %y, 7 + %1 = shl i32 %x, 25 + %2 = or i32 %0, %1 + ret i32 %2 +} diff --git a/test/CodeGen/X86/rot64.ll b/test/CodeGen/X86/rot64.ll new file mode 100644 index 0000000..2408359 --- /dev/null +++ b/test/CodeGen/X86/rot64.ll @@ -0,0 +1,73 @@ +; RUN: llvm-as < %s | llc -march=x86-64 > %t +; RUN: grep rol %t | count 3 +; RUN: grep ror %t | count 1 +; RUN: grep shld %t | count 2 +; RUN: grep shrd %t | count 2 + +define i64 @foo(i64 %x, i64 %y, i64 %z) nounwind readnone { +entry: + %0 = shl i64 %x, %z + %1 = sub i64 64, %z + %2 = lshr i64 %x, %1 + %3 = or i64 %2, %0 + ret i64 %3 +} + +define i64 @bar(i64 %x, i64 %y, i64 %z) nounwind readnone { +entry: + %0 = shl i64 %y, %z + %1 = sub i64 64, %z + %2 = lshr i64 %x, %1 + %3 = or i64 %2, %0 + ret i64 %3 +} + +define i64 @un(i64 %x, i64 %y, i64 %z) nounwind readnone { +entry: + %0 = lshr i64 %x, %z + %1 = sub i64 64, %z + %2 = shl i64 %x, %1 + %3 = or i64 %2, %0 + ret i64 %3 +} + +define i64 @bu(i64 %x, i64 %y, i64 %z) nounwind readnone { +entry: + %0 = lshr i64 %y, %z + %1 = sub i64 64, %z + %2 = shl i64 %x, %1 + %3 = or i64 %2, %0 + ret i64 %3 +} + +define i64 @xfoo(i64 %x, i64 %y, i64 %z) nounwind readnone { +entry: + %0 = lshr i64 %x, 57 + %1 = shl i64 %x, 7 + %2 = or i64 %0, %1 + ret i64 %2 +} + +define i64 @xbar(i64 %x, i64 %y, i64 %z) nounwind readnone { +entry: + %0 = shl i64 %y, 7 + %1 = lshr i64 %x, 57 + %2 = or i64 %0, %1 + ret i64 %2 +} + +define i64 @xun(i64 %x, i64 %y, i64 %z) nounwind readnone { +entry: + %0 = lshr i64 %x, 7 + %1 = shl i64 %x, 57 + %2 = or i64 %0, %1 + ret i64 %2 +} + +define i64 @xbu(i64 %x, i64 %y, i64 %z) nounwind readnone { +entry: + %0 = lshr i64 %y, 7 + %1 = shl i64 %x, 57 + %2 = or i64 %0, %1 + ret i64 %2 +} -- cgit v1.1