[llvm-commits] [llvm-gcc-4.2] r76208 - in /llvm-gcc-4.2/trunk/gcc: llvm-backend.cpp llvm-convert.cpp
anton at korobeynikov.info
Fri Jul 17 15:47:36 CDT 2009
> Ah, it's deciding it's unreachable because of the *bar. So it's not
> really a question of whether loading from an uninitialized alloca is
> defined, but whether the contents of the local are defined.
> Okay, I guess... as long as it doesn't break tying a variable to an
> allocatable register. (I'm specifically worried about a variable
> being overwritten because it gets allocated over.)
It's up to programmer. :) Note that we only translate loads and stores
to such variables (modelled as inline asm reading / writing to the
specified register), so I think this should be perfectly ok.
With best regards, Anton Korobeynikov
Faculty of Mathematics and Mechanics, Saint Petersburg State University
More information about the llvm-commits