Viewing profile — thedigitalengel

In any case, Java's stack-based bytecode is really a register machine in disguise. It isn't a general stack machine -- for instance, at a given "PC" the shape of the expression sta…

Thank you for taking time out to comment! :) > But you said that the JMM guarantees that all reads in C_i - C_(i-1) > will see writes in C_(i-1); this means that C_3 which reads > …

> Should the first 'illegal' read legal? Well it depends. :) I did mean "illegal", though there certainly are many illegal transforms that look legal and vice versa.

Unfortunately, the solution ultimately proposed doesn't work in this case: int _a = 50; int result = min(num, _a); you end up expanding to "int _a = _a;" which creates a new int _a…

Thank you for taking out time to comment. :) > - It doesn't address how you decide which edges to speculatively > consider executable. > > - Optimizers intentionally do not play th…

(Disclaimer: I know nothing about Ruby, but I know some things about JIT compilers) Another way to handle this is to assume that Fixnum#+ hasn't changed when compiling a method tha…

Related: https://github.com/sanjoy/bfjit (a brainfuck interpreter with a tracing JIT for hot loops).

A quick solution involves starting at a corner, and placing each queen one horizontal and two vertical (a constrained knight's move, basically) away from the previous one. This wor…

I'm from the same place as the artagnon. Anti-weed laws are almost never enforced, and weed is incredibly cheap (you'll get enough weed to get 10 people stoned out of their minds f…

A "false" register dependency is a Write-after-read (WAR) [1]. As far as three address code making register renaming easier, I'm not sure what the author had in mind -- isn't `add …

For multiple functions taking different arguments you could exploit atexit's specified calling order data_t *global; int main() { atexit(callback); atexit(set_global_to_x); atexit(…

I don't know if this counts, but the linux kernel famously uses a JIT to filter network packets: https://github.com/torvalds/linux/blob/master/arch/x86/net/b...

It isn't truly arch-independent till it assumes PARAMETER_CONSTANT and FUNCTION_CONSTANT will be stored as direct immediates in the generated code. On some archs, for instance, 0xF…

On llvm: http://llvm.org/docs/LangRef.html#trampoline-intrinsics

Representing self is actually not that difficult or mind-bending; you just need a representation that is isomorphic to the program source. For instance, you could store the ASCII s…