search for: strictest

On Tue, Jan 27, 2015 at 8:58 PM, Sanjoy Das <sanjoy at playingwithpointers.com> wrote: > > Ah, yes. You are right, we cannot always assume that %y would be zero in > > the second case. > > This wouldn't be the first time we've lost information that we could use > to > > optimize a program by transforming it. > > > > Do you think this result

...m is sufficient. Can you talk > about cases where this matters to you? Mostly it involves tying into our memory dependence analysis which annotates things on program points. I need a way to translate back to our optimizer data structures. So it's not "flow-sensitive AA" in the strictest sense but it does require program point information. I looked at MemoryDependenceAnalysis and it's not quite what I want. I need to know things like "does this load and store pair interfere," not "give me the most recent instruction that interferes with this memory operation.&q...

...t all. "fuse/nbdfuse.c" and "ublk/nbdublk.c" need wrapping, but not in their option tables. Renaming the options in these four other files, just for consistency's sake, seems overkill. Instead, I think we should pick a different approach for "copy/main.c". In the strictest sense, I only need to shorten DESTINATION_IS_ZERO_OPTION by three characters. Should I rename it to DEST_IS_ZERO_OPTION, or TARGET_IS_ZERO_OPTION? (The latter is better, because we already have a "--target-is-zero" long option, aliasing "--destination-is-zero".) So I'd repl...

...ich column should be used -- student_id or supervisor_id -- and ActionModel instead blindly goes for user_id, the index column name derived from the class name. Kaboom! The documentation states that :foreign_key declarations are ignored when :through is used. If this is meant in its widest and strictest sense, it means that column names in the join table must be named exactly like the tables they reference, which makes it impossible to join records from the same table more than once. If this is so, the 1.1 joins, while conceptually nice, are of limited usefulness. Adding a :source => :cou...

...llvm-dwarfdump that merely want to print the contents to the best of their ability, even if the table is malformed/dodgy in some other way. It might print warnings, but these should not prevent it continuing to parse what it can. 2) "Strict" or "Verify" mode - this would be the strictest mode, which would emit an error if it sees things like the aforementioned bad line_range or filenames tables. Optionally, we could even extend this to also cover things like addresses that don't make sense (possibly with or without special handling for fixups for GC-sections-processed output),...

...VM IR is inlining; unless you're going to prevent functions that use stricter/laxer FP rules from being inlined into each other (which sounds disastrous), you're going to need to communicate strictness on an instruction-by-instruction basis. If the backend wants to handle that by using the strictest rule that it sees in use anywhere in the function because pattern-matching is otherwise too error-prone, ok, that's its right; but the IR really should be per-instruction. John. > > -Andy >   <> > From: Ulrich Weigand [mailto:Ulrich.Weigand at de.ibm.com <mailto:Ulrich....

Exec. Summary: step() basically ``fails'' whereas MASS' stepAIC() does work This may not be a bug in the strictest sense, but at least something for the wish list. Unfortunately I have no time currently to investigate further myself but want to be sure this won't be forgotten: The example is using a real data set with 216 observations on 9 variables -- where we have anonymized variable and factor level n...

...g; >unless you're going to prevent functions that use stricter/laxer FP rules from being inlined >into >each other (which sounds disastrous), you're going to need to communicate strictness on an >instruction-by-instruction basis. If the backend wants to handle that by using the strictest >rule that it sees in use anywhere in the function because pattern-matching is otherwise too >error-prone, ok, that's its right; but the IR really should be per-instruction. I added a function level attribute, strictfp, which is meant to help with this. I don’t believe the inlining handl...

Hi, This was quite unexpected: setGeneric("foo", function(x) standardGeneric("foo")) setMethod("foo", "vector", identity) foo(matrix(1:12, ncol=3)) # [1] 1 2 3 4 5 6 7 8 9 10 11 12 foo(array(1:24, 4:2)) # [1] 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 If I define a method for array objects,

...g; >unless you're going to prevent functions that use stricter/laxer FP rules from being inlined >into >each other (which sounds disastrous), you're going to need to communicate strictness on an >instruction-by-instruction basis. If the backend wants to handle that by using the strictest >rule that it sees in use anywhere in the function because pattern-matching is otherwise too >error-prone, ok, that's its right; but the IR really should be per-instruction. I added a function level attribute, strictfp, which is meant to help with this. I don’t believe the inlining handl...

...quot;, "fast" models (which are > effectively combination of flags above). >From a user's perspective, I think that it is important to have categories defining: - finite math (as precise as normal, but might do odd things for NaNs or Infty, etc.) - I'd suppose this is a strictest "fast" option. - algebraic-equivalence - The compiler might do anything that is algebraically the same (even if the numerics could be quite different) - This is probably the loosest "fast" option. -Hal > > So that metadata would be able to say "fast",...

On 05/15/2018 09:13 PM, Michael Lawrence wrote: > My understanding is that array (or any other structure) does not > "simply" inherit from vector, because structures are not vectors in > the strictest sense. Basically, once a vector gains attributes, it is > a structure, not a vector. The methods package accommodates this by > defining an "is" relationship between "structure" and "vector" via an > "explicit coerce", such that any "structure&q...

...using the OS X sandbox_init(3) service. It's a bit disappointing that the OS X developers chose such as namespace-polluting header and function names "sandbox.h", "sandbox_init()", etc. It already forced me to rename a header in OpenSSH. Anyway, the OS X sandbox uses the strictest of the canned policies: "kSBXProfilePureComputation". It passes regress tests and seems to deny calls to fork() as expected. Barring objections, I'll commit this soon - please test. Anyone want to write a FreeBSD capsicum sandbox while I sleep? Take a look at one of the existing sand...

I'm not quite understanding how one would use the existing alias analysis framework to represent a flow-sensitive analysis. Let's say I have a load and a store and I want to determine whether the load loads from the same place the store stores to. Today we'd do something like this: AA.alias(load->getPointerOperand(), /* get the size */ store->getPointerOperand()), /*

On Aug 18, 2008, at 3:19 PM, David Greene wrote: > I'm not quite understanding how one would use the existing alias > analysis > framework to represent a flow-sensitive analysis. Yep, the current infrastructure isn't set up to support this. I haven't seen a real world case where flow sensitive AA is useful. Normally, the conversion to SSA form is sufficient. Can you

================================================ "French is the language that turns dirt into romance." Stephen King ================================================ Release Announcements --------------------- This is the last bugfix release of the Samba 4.1 release series. There will very likely be security releases beyond this point only. Changes since 4.1.20:

================================================ "French is the language that turns dirt into romance." Stephen King ================================================ Release Announcements --------------------- This is the last bugfix release of the Samba 4.1 release series. There will very likely be security releases beyond this point only. Changes since 4.1.20:

...uot; libraries. I also had an error reading my answer file in 4.10, but I noticed the Bug 13846, which corrected that issue. Is there a location for patches for 4.10.0 ? In wscript I modify it with the following: # gentoo always adds this. We want our normal build to be as # strict as the strictest OS we support, so adding this here # allows us to find problems on our development hosts faster. # It also results in faster load time. conf.env.asneeded_ldflags = conf.ADD_LDFLAGS('-Wl,--as-needed', testflags=True) # MY_MODIFICATION ... my_libs = os.getenv(MY_LDFLAGS&...

My understanding is that array (or any other structure) does not "simply" inherit from vector, because structures are not vectors in the strictest sense. Basically, once a vector gains attributes, it is a structure, not a vector. The methods package accommodates this by defining an "is" relationship between "structure" and "vector" via an "explicit coerce", such that any "structure" passed to...

...survey, you need only exit the survey window, and your data will not be collected. When you have completed the survey, please press the appropriate button to submit your responses, and then close the survey window. All of your responses will be anonymous and all of your data will be held in the strictest confidence. From your responses, it will not be possible to identify you or your organization. Since the data obtained from this questionnaire will be used in my doctoral dissertation, the results may possibly appear in an academic or trade publication. None of your responses will ever be revealed....