Array bound checks removal increasing importance
"Nordlöw" via Digitalmars-d
digitalmars-d at puremagic.com
Sun Jun 1 14:32:22 PDT 2014
> For $/n VRP can't be used because it's geared toward constants,
> not relative to variables. So VRP could inform of something
> like "this number is between 0 and 5", not "this number is
> between 0 and a.length". -- Andrei
That's what I thought of aswell. Are there any plans to formalize
the structures and algorithms of such expressions and their
propagations? I guess LLVM or GCC must have thought of these
things, right?
More information about the Digitalmars-d
mailing list