[LLVMbugs] [Bug 6832] New: ScalarReplAggregates generate wrong alignement on store

[bugzilla-daemon at llvm.org]

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

           Summary: ScalarReplAggregates generate wrong alignement on
                    store
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: quickslyver at free.fr
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=4676)
 --> (http://llvm.org/bugs/attachment.cgi?id=4676)
before scalarrepl

Command used: opt bugr.bc -scalarrepl -o - | llvm-dis

The generated alignment of most stores are wrong.


$ llvm-dis -o - bugr.bc 
; ModuleID = 'bugr.bc'
target datalayout =
"e-p:32:32:32-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-n32"
target triple = "arm-u-u"

%0 = type { %struct.anon, %struct.anon }
%struct.anon = type { [4 x i8], [4 x i8] }

@c = external global %0                           ; <%0*> [#uses=1]

define arm_aapcscc void @good() nounwind {
entry:
  %x0 = alloca %struct.anon, align 4              ; <%struct.anon*> [#uses=2]
  %tmp = bitcast %struct.anon* %x0 to i8*         ; <i8*> [#uses=1]
  call void @llvm.memset.p0i8.i32(i8* %tmp, i8 0, i32 8, i32 4, i1 false)
  %tmp1 = bitcast %struct.anon* %x0 to i8*        ; <i8*> [#uses=1]
  call void @llvm.memcpy.p0i8.p0i8.i32(i8* getelementptr inbounds (%0* @c, i32
0, i32 0, i32 0, i32 0), i8* %tmp1, i32 8, i32 4, i1 false)
  ret void
}

declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1) nounwind

declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32,
i1) nounwind

--------------------------------------------------------------------------------
$ opt bugr.bc -scalarrepl -o - | llvm-dis
; ModuleID = '<stdin>'
target datalayout =
"e-p:32:32:32-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-n32"
target triple = "arm-u-u"

%0 = type { %struct.anon, %struct.anon }
%struct.anon = type { [4 x i8], [4 x i8] }

@c = external global %0                           ; <%0*> [#uses=1]

define arm_aapcscc void @good() nounwind {
entry:
  %0 = bitcast i8* getelementptr inbounds (%0* @c, i32 0, i32 0, i32 0, i32 0)
to %struct.anon* ; <%struct.anon*> [#uses=1]
  %1 = bitcast i8* getelementptr inbounds (%0* @c, i32 0, i32 0, i32 0, i32 0)
to [4 x i8]* ; <[4 x i8]*> [#uses=4]
  %.010 = getelementptr inbounds [4 x i8]* %1, i32 0, i32 0 ; <i8*> [#uses=1]
  store i8 0, i8* %.010, align 4
  %.112 = getelementptr inbounds [4 x i8]* %1, i32 0, i32 1 ; <i8*> [#uses=1]
  store i8 0, i8* %.112, align 4
  %.2 = getelementptr inbounds [4 x i8]* %1, i32 0, i32 2 ; <i8*> [#uses=1]
  store i8 0, i8* %.2, align 4
  %.3 = getelementptr inbounds [4 x i8]* %1, i32 0, i32 3 ; <i8*> [#uses=1]
  store i8 0, i8* %.3, align 4
  %.1 = getelementptr inbounds %struct.anon* %0, i32 0, i32 1 ; <[4 x i8]*>
[#uses=4]
  %.1.0 = getelementptr inbounds [4 x i8]* %.1, i32 0, i32 0 ; <i8*> [#uses=1]
  store i8 0, i8* %.1.0, align 4
  %.1.1 = getelementptr inbounds [4 x i8]* %.1, i32 0, i32 1 ; <i8*> [#uses=1]
  store i8 0, i8* %.1.1, align 4
  %.1.2 = getelementptr inbounds [4 x i8]* %.1, i32 0, i32 2 ; <i8*> [#uses=1]
  store i8 0, i8* %.1.2, align 4
  %.1.3 = getelementptr inbounds [4 x i8]* %.1, i32 0, i32 3 ; <i8*> [#uses=1]
  store i8 0, i8* %.1.3, align 4
  ret void
}

declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1) nounwind

declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32,
i1) nounwind

-- 
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.