Questions tagged [code-generation]
Questions about the parts of a compiler that select assembly instructions or machine code specific to a specific target computer architecture.
32 questions
3
votes
0
answers
95
views
Are there any meta programming paradigms that cant be implemented through macros?
I would like to know if there are any limitations to macro systems, like the ones that many LISP dialects have. Can all meta programming paradigms be implemented through a LISP-ish macro system? Or ...
- 31
1
vote
1
answer
138
views
Creating an executable after code generation - compiler design
I am learning about and building a very basic compiler. My question is about code generation. I have read on a lot of materials about code generation when building a compiler and I get the concept.
...
- 45
0
votes
1
answer
71
views
time complexity of loops
what is the time complexity of:
for (i = 1; i <= n; i = 2*i)
for (j = 0; j < i; j++)
sum++;
?
I thought it is O(nlogn) since the otter loop ...
5
votes
6
answers
2k
views
Why is backpatching needed during intermediate code generation? For what purposes?
I understand how backpatching works during intermediate code generation, but I do not understand why it is needed.
A common argument for using backpatching during intermediate code generation is as ...
- 9,711
0
votes
0
answers
45
views
Do Field separators delimit only fields or also data units inside fields?
At least intuitively, I understand the following terms to be rigorously associated:
Field Separator (FS) as a delimiter which delimits text segments such as words, sentences or lines/fields and an ...
1
vote
1
answer
551
views
How to build 4 codewords with a code distance of 5?
I wonder how can I construct 4 (distinct) codewords given the fact that code distance is 5. As far as I know that the code distance is the number of distinct bits between any 2 codewords. How to ...
1
vote
1
answer
759
views
What makes a nested function in gcc so complicated?
Disclaimer: I'm not a compiler expert, but some of my best friends are! :)
I do a lot of embedded systems programming where stack (and other memory) is limited. Most of my code is written in gcc, ...
- 445
1
vote
1
answer
202
views
Generate code from automata
I am trying to figure out the process of generating code (set of instructions, implementation language specifics dont matter at this time) from an automaton.
The description of my intent is vague ...
0
votes
2
answers
249
views
Can algorithms of arbitrarily worse complexity be systematically created?
We’ve all seen this:
Can we get worse?
Part 1: Can mathematical operations of increasing orders of growth be generated, with or without Knuth’s up-arrow notation?
Part 2: If they can, can algorithms ...
- 147
1
vote
2
answers
472
views
Can I program a universal Turing machine to accept arbitrary input encodings?
I've been reading about building Turing machines for specific purposes, and some sources talk about input encodings and some talk about programming specific machines, but I've been unable to find ...
- 777
6
votes
1
answer
363
views
How to generate branch tables from SSA form?
Branch tables are usually described as an efficient way a compiler can implement a switch statement, and that actually seems how GCC and Clang do it (and LLVM even has an opcode just for that).
If a ...
- 731
1
vote
1
answer
128
views
Software code generation from the (operational) semantics - reference request for automatic programming
Are there research trends that try to research code generation directly from the (operational or some other kind of) semantics? One can imagine cognitive architecture that discovers and reasons about ...
- 1,411
3
votes
1
answer
132
views
Is there a computer science theory behind automatic source code generation
The OpenAPI specification aims at standardizing the representation of REST based systems in json and yaml formats. A short version of the petstore is below:
...
- 133
1
vote
1
answer
380
views
How to Identify which instructions are represented by this microcode
I'm having issues with a question how to identify which instruction are represented by this microcode.
The pc starts at 5000 and 7000 and 7001 have values 31 and 64 - I'm really confused how to ...
- 123
2
votes
1
answer
5k
views
How are codes like 5421 and 2421 unique?
For the number 6, if I need to represent it in 5421 code form, should I code it as
1001 or 0110? Why should I choose the one over the other?
Similarly for the number 5 in 2421, is it 1011 or 0101?
...
- 21
5
votes
1
answer
635
views
Implementing a Compiler with Macros
I've been thinking about embedded languages (domain-specific or otherwise), and in particular the approach where we define a datatype to represent terms of the embedded language, e.g. (in Haskell):
<...
- 662
1
vote
3
answers
190
views
Is it possible to define branches which, once taken once, will become the default forever?
Assuming I have a very simple branching:
switch on var:
1 => branch1
2 => branch2
default => branch3
And I wish to implement a program that will ...
- 111
1
vote
2
answers
833
views
How to generate (Java) source code in academically acceptable way - using abstract syntax tree?
I am trying to do automated programming research: business software generation from the knowledge base that is implemented as Scheme (Lisp dialect) code (in the framework of http://opencog.org/ ...
- 1,411
0
votes
1
answer
280
views
How to represent software code for code generation / automatic programming? How to integrate procedural and declarative knowledge?
I am learning about deontic logics and there I can make the following inferences: If A then there is **duty to create an entity of class C**, ...
- 1,411
0
votes
1
answer
173
views
What is the quickest way to allocate a set of points to a fixed number groups based on Euclidean distances from a point in each group?
Example, if i have certain geographic points in an array A=[a,b,c,d...n] and have 10 points distributed in the solution space B= [1,2,3...10], how can I allocate each member of A to the nearest point ...
- 3
-1
votes
2
answers
9k
views
In a bottom-up evaluation of a syntax directed definition, inherited attributes can
In a bottom-up evaluation of a syntax directed definition, inherited attributes can
always be evaluated
be evaluated only if the definition is L-attributed
be evaluated only if the definition has ...
- 475
5
votes
1
answer
470
views
The importance of the language semantics for code generation and frameworks for code generation in model-driven development
I am implementing worflow where the code in industrial programming languages (JavaScript and Java) should be generated from the formal (formally verified) expressions (from ontologies as objects and ...
- 1,411
6
votes
3
answers
693
views
Is there a described algorithm converting _from_ Continuation Passing Style?
Continuation Passing Style (CPS) is a form of code where the control is passed explicitly, by passing the continuation of the code at each call point, unlike direct style.
There are many descriptions ...
- 245
0
votes
2
answers
2k
views
Number of operations performed in increment operators [closed]
How many operations are performed in the following in order to get a running time function of an algorithm:
x = x + 1
x += 1
<...
- 259
2
votes
0
answers
41
views
Codes for correcting a single deletion and re-ranking of a permutation
I was struggling with this paper about codes which can correct single deletion and re-ranking in permutations, http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6875337
[Published in:...
- 1,175
2
votes
1
answer
184
views
Assigning one variable to another in 3 address code?
3 address code is a very common topic in many of the CS theories. I encountered it while studying Compiler Design. According to the Wikipedia article, it says -
Each TAC instruction has at most ...
- 21
3
votes
1
answer
132
views
About codes over $\mathbb{F}_2$
I was looking through these notes but I am not sure I can locate the answer to these questions of mine - it would be great if someone can just even point out what to look for!
So any set of binary ...
- 1,175
1
vote
1
answer
81
views
Programs for artificial system design? [closed]
Are there program systems that can discover the need of routines - and then design them, code them and use them as parts of the system?
Any group of humans trying to pursue an activity has to develop ...
- 121
0
votes
1
answer
639
views
Conversion from assembly program to low-level machine language
While studying COMPILER-DESIGN through an online book from Google Books, referenced as Compiler Design by A.A.Puntambekar, I got stuck across a line. Actually, I am more curious to know the inner-...
- 424
19
votes
6
answers
13k
views
Why do compilers produce assembly code?
Assembly language is converted in to machine language by assembler. Why would a compiler convert high-level language to assembly? Can't it directly convert from the high-level language to machine code?...
- 293
1
vote
2
answers
474
views
Some questions regarding compilers and assemblers
Lots of basic questions are there in my mind. I need to clear them.
Statement 1: A compiler converts a human-readable codes to object codes, and those are converted to a machine code (executable) by ...
- 513
0
votes
1
answer
148
views
What are current approaches to auto-parallelisation?
I am looking for answers which provide short overview of models and current state of research for auto-parallelisation of sequential code.
- 530