Questions regarding licensing issues

2012-11-07 Thread nkavv
Dear all, this is a repeat of an email to licens...@fsf.org; unfortunately I didn't get any response from there. I'm the author of a high-level synthesis tool (sort of hardware compiler) that is about to be commercialized. The tool will be available under a non-GPL compatible license.

Re: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi, You can't expect to get legal advice from a list like this, and if you do get advice, you can't trust it. You have to consult an attorney to evaluate issues like this, and even then you can't get guaranteed definitive advice. Copyright issues are complex, as Supap Kirtsaeng is discovering

Re: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi Robert, There are two comfortable ways to conform to the GPL. a) make all your own stuff GPL'ed b) write proprietary code, that links in only modules with the standard library exception. I guess I'm naturally going for b), that was the original intention. Anything else, and you are

Re: Fwd: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi Richard, If you have a legal question, you should ask an attorney who specializes in copyright law as it applies to computer software. Do not rely on anything you get as a response to your question online. There are not many lawyers in Greece that deal with open-source licenses. If NAC

Re: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi Richard, If you want to argue that, I'd suggest you not do so on this email list: it's not going to be well-received. I don't want to sound b@d@ss or something, even though I am ^_^. This is not my saying, just that my army colleagues wouldn't shake hands when I fulfilled my service.

Re: Fwd: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi Richard Would these solve my problem? No, not as long as it's *your* machine. It would need to be a machine designed by a third-party that's completely independent of you. I would like to follow the approach of let's say MMIX (a virtual architecture). 1. Write a totally GPL-ed tool

Re: Fwd: Questions regarding licensing issues

2012-11-07 Thread nkavv
Quoting Richard Kenner ken...@vlsi1.ultra.nyu.edu: There are not many lawyers in Greece that deal with open-source licenses. The legal issue here has nothing whatsoever to do with open-source licenses: the exact same issue comes up with proprietary licenses and that, in fact, is where most of

Re: Fwd: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi Robert One principle that can be applied is that if you have a program in two pieces, then they are independent if either of them can be used (and is used in practice) with other programs. But if the two pieces can only work together, that seems part of the same program. I tried to get this

Re: Fwd: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi all, I believe in free software as a contribution to a better society and believe in the use of licenses such as GPLv3 to promote software sharing by providing a software commons that can be used by those who will contribute their changes to that commons, and do not consider this list - or

Re: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi Andrew AFAICS GPL,v3+ restricts my freedom... I thought that its purpose was to protect my freedom. No. I don't simply want to pile on after everything that has been said, but this is a common misconception. It isn't the purpose of the GPL to protect the rights of developers to impose

Re: Fwd: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi all, what I basically want to do is a kind of MMIX, an abstract machine that amongst other uses could be amenable to hardware compilation. This specific use is not of interest to neither this list nor GCC developers in general. There are many other uses for such a representation such

Re: Fwd: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi You missed the part about (and is used in practice). This terminology is superficial. Looks carelessly written. A tool with either one user or one million users would equally fit the definition. You can't take something that is not permissible under copyright law I think you are

Re: Fwd: Questions regarding licensing issues

2012-11-07 Thread nkavv
The purpose of this discussion (whoa, 30+ thread in the gcc mailing list for being b@d@ss) is that I will learn the sufficient amount of things so I WON'T commit the crime. I would like to be clear from the start so I won't have any problems; I really want to serve my one trillion users

Re: Fwd: Questions regarding licensing issues

2012-11-07 Thread nkavv
Hi Arnaud, This is all nice and well and I'm sure you're having lots of fun with these discussions, but gcc@gcc.gnu.org is NOT an appropriate list for such discussions, so please move this discussion elsewhere, there are people on this list who would rather not receive these unrelated emails,

Re: [SPAM] Re: Attempting changes to the GIMPLifier

2012-04-23 Thread nkavv
Hi Richard 1. Printing global variables. Look at the cgraph (.000i.cgraph) dump. 2. Preserving function arguments (what I call an interface). I think we do that now. Thank you very much! I'll grab the latest release and have a look. Best regards, Nikolaos Kavvadias Both 1 and 2 are

Re: Status of the DLX backend for GCC?

2008-01-02 Thread nkavv
Hi Gerald do you have a working download location for the latter? Right now, http://www.gnu.org/software/gcc/extensions.html has a broken link and I'd like to address this if possible. The dlx backend was in gcc-2.7.2.3 (it is a 2.7.2.3 actually :) distribution from this site:

Re: Status of the DLX backend for GCC?

2007-12-30 Thread nkavv
Hi Gerald and friends (what follows is a copy of a message sent earlier today to Gerald) At http://www.gnu.org/software/gcc/extensions.html we have a reference to the DLX port of GCC, which corresponds to the DLX machine described in Computer Architecture: A Quantitative Approach by Hennessy

Re: Status of the DLX backend for GCC?

2007-12-30 Thread nkavv
Offtopic: if you still have such an old gcc-1.09 (?) release around, please make it available so it can be uploaded here: ftp://sourceware.org/pub/gcc/old-releases/ Oops, reality check :) My glibc version for DLX is 1.09. The GCC version seems to be either 1.37.1 or more probably 1.39.

Some clarifications regarding GIMPLE and LTO

2006-11-26 Thread nkavv
Hi there i'm looking for a way to emit (dump) complete global and local symbol table entries for any given (C) program. For now, it would be satisfactory if this was properly handled for single-source-file programs. But what i would like to do basically is to store the entire information that

GIMPLE issues and status of gimple-tuples

2006-11-18 Thread nkavv
Hi there i have went through some of the GIMPLE stuff (mostly went through the GCCSummit 2003 paper). I think i have some reservations on the structure and semantics of GIMPLE. Most of my compiler experience comes from interactions with the SUIF2/MachSUIF2 infrastructure ; admittedly Machine-SUIF

Re: GIMPLE issues and status of gimple-tuples

2006-11-18 Thread nkavv
a a. Conditional jumps in GIMPLE are not true three-address-code since they specify two (2) branch targets (in their general form). E.g.: if (cond) then goto target1; else goto target2; IMHO, this should be split (or at least made splittable) into: if (cond) then goto

Re: GIMPLE issues and status of gimple-tuples

2006-11-18 Thread nkavv
Sorry, but our NetCat (he he) ate part of my previous e-mail. She (yep it's a she) lives in our mail server... Here's what was left out... b. Are LOOP_EXPRs decomposable to combinations of if-then-else and gotos? It would help for VM (virtual machine) execution of GIMPLE IR. Ideally, a

Issue with hard regs

2006-10-16 Thread nkavv
Hi there i'm in the process of coding a GCC backend for a certain RISC-like architecture. Its register architecture consists of an integer register file (32 regs) and two additional hard regs that should be programmer visible. Accesses to these hard regs are also emitted related to certain RTL

Re: Issue with hard regs

2006-10-16 Thread nkavv
Hi Ian Can i disable filling/spilling for this register class? Sure: make the registers fixed. Or look at how the MIPS port handles HI and LO, with particular reference to mips_secondary_reload_class. Ian what i'm trying to do is to code a backend for a standard DLX. Most things work

Status of DLX backend for gcc-3.x

2006-09-23 Thread nkavv
Hi there is anyone working on a DLX backend for gcc-3.x? I recall of a DLX backend for dlx-2.7.2.x, but this backend cannot be properly integrated in a recent gcc (3.0 and above). A clean DLX backend would be a very good start point for developing backends for different RISC-based machines

Re: Value range propagation pass in 4.0.1 RC1 (or not)

2005-06-07 Thread nkavv
Dear Diego, is the newest version of your pass (including the June 01 modifications at gcc-patches) applicable to all statements in a basic block and not only to the conditionals? I mean, i saw the gcc-4.0.0 release version (VRP in tree-ssa-dom.c). In this version two things happen: a.

Re: Using inline assembly with specific register indices

2005-04-05 Thread nkavv
Quoting Eric Christopher [EMAIL PROTECTED]: On Tue, 2005-04-05 at 22:25 +0100, Richard Sandiford wrote: [EMAIL PROTECTED] writes: asm(cop2a %0, %1;, :: r (cp2rb(i)) : r (cp2rb(j))); In addition to Daniel's reply: you wouldn't want to use r here. That's for general registers only.

Using inline assembly with specific register indices

2005-04-04 Thread nkavv
Hi guys/ladies, I'm currently designing an ISA add-on to the MIPS architecture. My intention is to use it (it is an algorithm accelerator actually) as a COP2 (coprocessor #2). The corresponding microarchitecture is stable (works at register-transfer level, not subject to change). Plus, I would be

Re: Using inline assembly with specific register indices

2005-04-04 Thread nkavv
Thanks Daniel! actually my 2 messages were send back-to-back. I have just read both your responses and I can see that i could use stringify approach to force the assembly output of GCC to what I want. Nikolaos Kavvadias