[llvm-commits] [llvm] r126445 - in /llvm/trunk: lib/Transforms/Utils/SimplifyCFG.cpp test/Transforms/SimplifyCFG/select-gep.ll

[Benjamin Kramer]

Author: d0k
Date: Thu Feb 24 16:46:11 2011
New Revision: 126445

URL: http://llvm.org/viewvc/llvm-project?rev=126445&view=rev
Log:
SimplifyCFG: GEPs with constant indices are cheap enough to be executed unconditionally.

Added:
    llvm/trunk/test/Transforms/SimplifyCFG/select-gep.ll
Modified:
    llvm/trunk/lib/Transforms/Utils/SimplifyCFG.cpp

Modified: llvm/trunk/lib/Transforms/Utils/SimplifyCFG.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/SimplifyCFG.cpp?rev=126445&r1=126444&r2=126445&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Utils/SimplifyCFG.cpp (original)
+++ llvm/trunk/lib/Transforms/Utils/SimplifyCFG.cpp Thu Feb 24 16:46:11 2011
@@ -247,6 +247,11 @@
     if (PBB->getFirstNonPHIOrDbg() != I)
       return false;
     break;
+  case Instruction::GetElementPtr:
+    // GEPs are cheap if all indices are constant.
+    if (!cast<GetElementPtrInst>(I)->hasAllConstantIndices())
+      return false;
+    break;
   case Instruction::Add:
   case Instruction::Sub:
   case Instruction::And:

Added: llvm/trunk/test/Transforms/SimplifyCFG/select-gep.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/SimplifyCFG/select-gep.ll?rev=126445&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/SimplifyCFG/select-gep.ll (added)
+++ llvm/trunk/test/Transforms/SimplifyCFG/select-gep.ll Thu Feb 24 16:46:11 2011
@@ -0,0 +1,20 @@
+; RUN: opt -S -simplifycfg %s | FileCheck %s
+
+define i8* @test1(i8* %x) nounwind {
+entry:
+  %tmp1 = load i8* %x, align 1
+  %cmp = icmp eq i8 %tmp1, 47
+  br i1 %cmp, label %if.then, label %if.end
+
+if.then:
+  %incdec.ptr = getelementptr inbounds i8* %x, i64 1
+  br label %if.end
+
+if.end:
+  %x.addr = phi i8* [ %incdec.ptr, %if.then ], [ %x, %entry ]
+  ret i8* %x.addr
+
+; CHECK: @test1
+; CHECK: %x.addr = select i1 %cmp, i8* %incdec.ptr, i8* %x
+; CHECK: ret i8* %x.addr
+}