6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-26 21:32:10 +00:00
Code Issues Projects Releases Wiki Activity

An empty global constant (one of size 0) may have a section immediately

Browse Source 
following it. However, the EmitGlobalConstant method wasn't emitting a body for
the constant. The assembler doesn't like that. Before, we were generating this:

  .zerofill __DATA, __common, __cmd, 1, 3

This fix puts us back to that semantic.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95336 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Bill Wendling 2010-02-05 00:17:02 +00:00
parent fc375d2200
commit 744f579b63
2 changed files with 51 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
lib/CodeGen/AsmPrinter/AsmPrinter.cpp
View File

@ -1120,6 +1120,7 @@ static void EmitGlobalConstantLargeInt(const ConstantInt *CI,
void AsmPrinter::EmitGlobalConstant(const Constant *CV, unsigned AddrSpace) {
if (isa<ConstantAggregateZero>(CV) || isa<UndefValue>(CV)) {
uint64_t Size = TM.getTargetData()->getTypeAllocSize(CV->getType());
if (Size == 0) Size = 1; // An empty "_foo:" followed by a section is undef.
return OutStreamer.EmitZeros(Size, AddrSpace);
}

50
test/CodeGen/PowerPC/2010-02-04-EmptyGlobal.ll Normal file
View File

@ -0,0 +1,50 @@
; RUN: llc < %s -mtriple=powerpc-apple-darwin10 -relocation-model=pic -disable-fp-elim | FileCheck %s
; <rdar://problem/7604010>
%struct.NSString = type opaque
%struct._DTOpaqueAssertStruct = type { }
%struct.objc_selector = type opaque
@_cmd = constant %struct._DTOpaqueAssertStruct zeroinitializer ; <%struct._DTOpaqueAssertStruct*> [#uses=1]
@OBJC_IMAGE_INFO = private constant [2 x i32] zeroinitializer, section "__OBJC, __image_info,regular" ; <[2 x i32]*> [#uses=1]
@llvm.used = appending global [1 x i8*] [i8* bitcast ([2 x i32]* @OBJC_IMAGE_INFO to i8*)], section "llvm.metadata" ; <[1 x i8*]*> [#uses=0]
define void @_DTAssertionFailureHandler(i8* %objp, i8* %selp, i32 %lineNumber, %struct.NSString* %msgFormat, ...) nounwind ssp {
entry:
%objp_addr = alloca i8* ; <i8**> [#uses=1]
%selp_addr = alloca i8* ; <i8**> [#uses=3]
%lineNumber_addr = alloca i32 ; <i32*> [#uses=1]
%msgFormat_addr = alloca %struct.NSString* ; <%struct.NSString**> [#uses=1]
%iftmp.0 = alloca %struct.objc_selector* ; <%struct.objc_selector**> [#uses=3]
%sel = alloca %struct.objc_selector* ; <%struct.objc_selector**> [#uses=1]
%"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
store i8* %objp, i8** %objp_addr
store i8* %selp, i8** %selp_addr
store i32 %lineNumber, i32* %lineNumber_addr
store %struct.NSString* %msgFormat, %struct.NSString** %msgFormat_addr
%0 = load i8** %selp_addr, align 4 ; <i8*> [#uses=1]
%1 = icmp ne i8* %0, bitcast (%struct._DTOpaqueAssertStruct* @_cmd to i8*) ; <i1> [#uses=1]
br i1 %1, label %bb, label %bb1
bb: ; preds = %entry
%2 = load i8** %selp_addr, align 4 ; <i8*> [#uses=1]
%3 = bitcast i8* %2 to %struct.objc_selector** ; <%struct.objc_selector**> [#uses=1]
%4 = load %struct.objc_selector** %3, align 4 ; <%struct.objc_selector*> [#uses=1]
store %struct.objc_selector* %4, %struct.objc_selector** %iftmp.0, align 4
br label %bb2
bb1: ; preds = %entry
store %struct.objc_selector* null, %struct.objc_selector** %iftmp.0, align 4
br label %bb2
bb2: ; preds = %bb1, %bb
%5 = load %struct.objc_selector** %iftmp.0, align 4 ; <%struct.objc_selector*> [#uses=1]
store %struct.objc_selector* %5, %struct.objc_selector** %sel, align 4
br label %return
return: ; preds = %bb2
ret void
; CHECK: __cmd:
; CHECK-NEXT: .space 1
}