On Wed, Aug 27, 2014 at 1:48 AM, Tomas Lycken <[email protected]> wrote:
> I would say trust but verify > > Is there a nice way to verify things like this (e.g. “is there branching > in this method?”) for people like me who don’t understand the output of > code_llvm (or anything else remotely assembler-like…)? > The only way to tell, really is to look at the type-inferred code and LLVM, so @code_typed and @code_llvm are you options. You don't really have to understand all of what's going on – I usually look at LLVM code kind of impressionistically.
