From a648df2871d2f266cdaf8a913553bfb5de027ee0 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Fri, 17 Feb 2006 04:20:13 +0000 Subject: [PATCH] add note about div by power of 2 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@26253 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Target/X86/README.txt | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/lib/Target/X86/README.txt b/lib/Target/X86/README.txt index 5a2da2d3d26..bab702e96e3 100644 --- a/lib/Target/X86/README.txt +++ b/lib/Target/X86/README.txt @@ -443,3 +443,35 @@ when we can spare a register. It reduces code size. It's not clear whether we should use pxor or xorps / xorpd to clear XMM registers. The choice may depend on subtarget information. We should do some more experiments on different x86 machines. + +//===---------------------------------------------------------------------===// + +Evaluate what the best way to codegen sdiv X, (2^C) is. For X/8, we currently +get this: + +int %test1(int %X) { + %Y = div int %X, 8 + ret int %Y +} + +_test1: + movl 4(%esp), %eax + movl %eax, %ecx + sarl $31, %ecx + shrl $29, %ecx + addl %ecx, %eax + sarl $3, %eax + ret + +GCC knows several different ways to codegen it, one of which is this: + +_test1: + movl 4(%esp), %eax + cmpl $-1, %eax + leal 7(%eax), %ecx + cmovle %ecx, %eax + sarl $3, %eax + ret + +which is probably slower, but it's interesting at least :) + -- 2.34.1