Lines Matching full:would

20    certifying a register based language as safe at run time would be a
21    pretty expensive operation to have to do.  Additionally, we would like
38      the trusted compiler generated the code.  This would be much quicker
94      constructs would be fairly low, but would give us lots of important
95      information... something else that would/could be important is to
96      have exceptions as first class types so that they would be handled in
107       would just have an array type (distinct from the pointer
108       types).  This would allow us to have arbitrarily complex index
110       for example.  Perhaps also, switch jump tables would be first class
111       types as well?  This would allow better reasoning about the program.
124    calculated, etc... we would have to determine what is reasonable.  This
125    would generally be used to make IP optimizations cheaper for the
147 >          We would need to compactly encode it somehow.
149 Yes yes yes!  :)  I think it would be *VERY* useful to include this kind
161 If nothing else, not designing this in would severely limit our future