From 83d2e066c12d2ff42f07c90a4cf5495d2669a28a Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Tue, 20 Jan 2009 01:07:33 +0000 Subject: [PATCH] Add a README entry noticed while investigating PR3216. llvm-svn: 62558 --- llvm/lib/Target/README.txt | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/llvm/lib/Target/README.txt b/llvm/lib/Target/README.txt index 4e4668698ad2..756f38a64913 100644 --- a/llvm/lib/Target/README.txt +++ b/llvm/lib/Target/README.txt @@ -1651,3 +1651,25 @@ globalopt to remove the "stored only" global. //===---------------------------------------------------------------------===// +This code: + +define inreg i32 @foo(i8* inreg %p) nounwind { + %tmp0 = load i8* %p + %tmp1 = ashr i8 %tmp0, 5 + %tmp2 = sext i8 %tmp1 to i32 + ret i32 %tmp2 +} + +could be dagcombine'd to a sign-extending load with a shift. +For example, on x86 this currently gets this: + + movb (%eax), %al + sarb $5, %al + movsbl %al, %eax + +while it could get this: + + movsbl (%eax), %eax + sarl $5, %eax + +//===---------------------------------------------------------------------===//