[LLVMbugs] [Bug 13969] New: new SROA misses a case that old SROA got

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Fri Sep 28 01:34:18 PDT 2012


http://llvm.org/bugs/show_bug.cgi?id=13969

             Bug #: 13969
           Summary: new SROA misses a case that old SROA got
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nicholas at mxc.ca
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 9277
  --> http://llvm.org/bugs/attachment.cgi?id=9277
larger testcase

Testcase as a .ll file:

target datalayout =
"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct = type { double* }

define void @test() {
entry:
  %e = alloca double, align 8
  %run = alloca %struct, align 8
  %0 = getelementptr inbounds %struct* %run, i64 0, i32 0
  store double* %e, double** %0, align 8
  ret void
}

opt -sroa doesn't eliminate %e, opt -scalarrepl does. This is heavily reduced,
so I've attached a less-reduced testcase so that you can see how %e and %run
actually get used.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.



More information about the llvm-bugs mailing list