search for: isfirstclasstyp

Hi LLVM, In lib/VMCare/Verifier.cpp::visitInstruction, we have such code 1287 // Check that the return value of the instruction is either void or a legal 1288 // value type. 1289 Assert1(I.getType() == Type::getVoidTy(I.getContext()) || 1290 I.getType()->isFirstClassType() 1291 || ((isa<CallInst>(I) || isa<InvokeInst>(I)) 1292 && isa<StructType>(I.getType())), 1293 "Instruction returns a non-scalar type!", &I); line 1291-1292 allows the return type to be struct typ. But are these two lines...

Happy New Year all, I've just updated to the latest CVS version and cygwin port is still broken. When building full llvm: llvm[3]: Compiling crtend.c for Debug build (bytecode) llvm[3]: Compiling listend.ll for Debug build llvm[3]: Linking comp_main.bc component... assertion "(Result->isFirstClassType() || Result == Type::VoidTy || isa<OpaqueType>(Result)) && "LLVM functions cannot return aggregates"" failed: file "Type.cpp", line 373 make[3]: *** [/cygdrive/d/3rd-party/llvm/runtime/GCCLibraries/crtend/Debug/comp_ main.bc] Error 1 Any ideas? Has anybody b...

...ot the following error in 1.5 release. As far as installation is concerned, everything went fine. llc hello.bc -o hello.bs llc((anonymous namespace)::PrintStackTrace()+0x17)[0xd435f1] llc((anonymous namespace)::SignalHandler(int)+0xbd)[0xd437ff] /lib64/tls/libc.so.6[0x3ff522e410] llc(llvm::Type::isFirstClassType() const+0x13)[0x8fc38d] llc(llvm::FunctionType::FunctionType(llvm::Type const*, std::vector<llvm::Type const*, std::allocator<llvm::Type const*> > const&, bool)+0x13b)[0xc420ed] llc(llvm::FunctionType::get(llvm::Type const*, std::vector<llvm::Type const*, std::allocator<llv...

...braries/crtend' llvm[3]: Compiling Exception.cpp for Debug build (bytecode) llvm[3]: Linking comp_genericeh.bc component... llvm[3]: Compiling crtend.c for Debug build (bytecode) llvm[3]: Compiling listend.ll for Debug build llvm[3]: Linking comp_main.bc component... assertion "(Result->isFirstClassType() || Result == Type::VoidTy || isa<OpaqueType>(Result)) && "LLVM functions cannot return aggregates"" failed: file "Type.cpp", line 373 make[3]: *** [/cygdrive/d/3rd-party/llvm/runtime/GCCLibraries/crtend/Debug/comp_main. bc] Error 1 make[3]: Leaving director...

...@@ Assert1(I.getType() != Type::VoidTy || !I.hasName(), "Instruction has a name, but provides a void value!", &I); + // Check that the return value of the instruction is either void or a legal + // value type. + Assert1(I.getType() == Type::VoidTy || I.getType()->isFirstClassType(), + "Instruction returns a non-scalar type!", &I); + // Check that all uses of the instruction, if they are instructions // themselves, actually have parent basic blocks. If the use is not an // instruction, it is an error! -Chris -- http://llvm.cs.uiuc.edu/ ht...

.../llvm/runtime/GCCLibra ries/crtend/comp_main.lst \ /cygdrive/d/3rd-party/llvm/runtime/GCCLibraries/crtend/Debug/crtend.bc /cygdrive/d/3rd-party/llvm/runtime/GCCLibraries/crtend/Debug/listend.bc -o /cygdrive/d/3rd-party/llvm/runtime/GCCLibraries/crtend/Debug/comp_main.b c assertion "(Result->isFirstClassType() || Result == Type::VoidTy || isa<OpaqueType>(Result)) && "LLVM functions cannot return aggregates"" failed: file "Type.cpp", line 373 make: *** [/cygdrive/d/3rd-party/llvm/runtime/GCCLibraries/crtend/Debug/comp_main. bc] Error 1 Any ideas? Thanks in advan...

...et kicked out of my shell (which sucks). For example: >>> Type.function(Type.void(), [Type.void()]) Type.cpp:474: llvm::FunctionType::FunctionType(const llvm::Type*, const std::vector<const llvm::Type*, std::allocator<const llvm::Type*> >&, bool): Assertion `(Params[i]->isFirstClassType() || isa<OpaqueType>(Params[i])) && "Function arguments must be value types!"' failed. Aborted (core dumped) I would like LLVM to raise an exception which the python wrapper could catch and pass to my program. I know that the current LLVM code does not use exceptions....

The XPL compiler produced the attached OneOfEach.bc file without error or warning from either LLVM or XPLC. However when I llvm-dis the file, I get: llvm-dis: Failed value look-up for name 'entry' The Bytecode Reader prints this out when it can't find the associated value for the name. Obviously I botched something in the XPL compiler but I would have thought the verified would

On Nov 12, 2008, at 5:07 PM, David Greene wrote: > On Wednesday 12 November 2008 18:58, Chris Lattner wrote: >> On Nov 12, 2008, at 3:37 PM, David Greene wrote: >>>>> Unfortunately, calling FunctionType::refineAbstractType(opaque, >>>>> void >>>>> (...)) >>>>> doesn't work because RefineAbstractType doesn't recurse

...= 0x3a8d420 remAbstractTypeUser[0x3a8c810, opaque][0] User = 0x3a8d000 *** BLAMMO! *** llvm/lib/VMCore/Type.cpp:474: llvm::FunctionType::FunctionType(const llvm::Type*, const std::vector<const llvm::Type*, std::allocator<const llvm::Type*> >&, bool): Assertion `(Params[i]->isFirstClassType() || isa<OpaqueType>(Params[i])) && "Function arguments must be value types!"' failed. Caught signal 6 Any idea what's happening? Is it just the case that I shouldn't be doing two refinements that yield the same type? How do I know in general that that wil...

On Wednesday 12 November 2008 18:58, Chris Lattner wrote: > On Nov 12, 2008, at 3:37 PM, David Greene wrote: > >>> Unfortunately, calling FunctionType::refineAbstractType(opaque, void > >>> (...)) > >>> doesn't work because RefineAbstractType doesn't recurse down into > >>> the > >>> pointee types. > >> > >>

On Sep 13, 2008, at 1:07 PM, Matthijs Kooijman wrote: > Hi Dan, > >> Changing PromoteCastOfAllocation to not replace aggregate allocas >> with >> non-aggregate allocas if they have GEP users sounds reasonable to me. > This sounds reasonable indeed, but still a bit arbitrary. Haven't > figured out > anything better yet, though. > >> Finding the

Hi Dan, > Changing PromoteCastOfAllocation to not replace aggregate allocas with > non-aggregate allocas if they have GEP users sounds reasonable to me. This sounds reasonable indeed, but still a bit arbitrary. Haven't figured out anything better yet, though. > Finding the maximum alignment is sometimes still useful though, so > it would be nice to update the alignment field of

...=========================================== --- lib/Transforms/Scalar/InstructionCombining.cpp (revision 56433) +++ lib/Transforms/Scalar/InstructionCombining.cpp (working copy) @@ -8707,7 +8800,7 @@ break; } - if (SrcETy->isSingleValueType()) + if (SrcETy->isFirstClassType()) NewPtrTy = PointerType::getUnqual(SrcETy); } } -------------- next part -------------- Index: test/Transforms/InstCombine/2008-09-22-preserve-struct-alloca.ll =================================================================== --- test/Transforms/InstCombine/2008-09-22-preserve...