add a case Nate sent me
authorChris Lattner <sabre@nondot.org>
Sat, 5 Nov 2005 08:57:56 +0000 (08:57 +0000)
committerChris Lattner <sabre@nondot.org>
Sat, 5 Nov 2005 08:57:56 +0000 (08:57 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@24195 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Target/PowerPC/README.txt

index 463e406779acc18ee2ea5c66114937b57a3bda6e..88582966994acd5d2e540503f7f08141321de8f5 100644 (file)
@@ -217,3 +217,26 @@ _test:
         stw r2, 0(r3)
         blr
 
+===-------------------------------------------------------------------------===
+
+Compile this:
+
+int %f1(int %a, int %b) {
+        %tmp.1 = and int %a, 15         ; <int> [#uses=1]
+        %tmp.3 = and int %b, 240                ; <int> [#uses=1]
+        %tmp.4 = or int %tmp.3, %tmp.1          ; <int> [#uses=1]
+        ret int %tmp.4
+}
+
+without a copy.  We make this currently:
+
+_f1:
+        rlwinm r2, r4, 0, 24, 27
+        rlwimi r2, r3, 0, 28, 31
+        or r3, r2, r2
+        blr
+
+The two-addr pass or RA needs to learn when it is profitable to commute an
+instruction to avoid a copy AFTER the 2-addr instruction.  The 2-addr pass
+currently only commutes to avoid inserting a copy BEFORE the two addr instr.
+