Re: switch statement generation

mps@dent.uchicago.edu (Michael Spertus) writes:
>This is part of a more general notion of assert() where assert means check
>the expression at run time given one kind of compiler behavior e.g.
>unoptimized code generaton. And promice the expression to the optimizer
>given another kind of compiler behavior, e.g. optimized code generation.


These are actually two separate notions, and arguably should not be
bundled into the same construct. I dimly recall at least one language
that had an "assert" statement (meaning "I think this is true here, let me
know if you discover it's not") and an "assume" statement (meaning "this
is true here, for sure, whether it looks that way or not, and you may rely
on it for optimization or assertion checking").
--
Henry Spencer @ U of Toronto Zoology, henry@zoo.toronto.edu utzoo!henry
--

Return to the comp.compilers page.
Search the comp.compilers archives again.