search for: demorgan

Displaying 6 results from an estimated 6 matches for "demorgan".

2014 Jun 16
1
index.search
...!character.only) { topic <- substitute(topic) if (!is.character(topic)) topic <- deparse(topic)[1L] } pkgpaths <- find.package(package, lib.loc, verbose = verbose) file <- index.search(topic, pkgpaths, TRUE) return(file) } > example2("deMorgan", package="QCA") Error in example2("deMorgan", package = "QCA") : could not find function "index.search" I've tried an explicit library(utils), with the same result. ?index.search doesn't yield anything better... Could anyone point me in the...
2016 Jul 27
2
Remove zext-unfolding from InstCombine
...the wrong direction. > Am 21.07.2016 um 18:51 schrieb Sanjay Patel <spatel at rotateright.com>: > > I've been fixing similar problems recently (eg, https://llvm.org/bugs/show_bug.cgi?id=28476 ). I think your example (the test in zext-or-icmp.ll) is another missed application of DeMorgan's Law: > > char foo(char a, char b) { > return (((a & 1) == 0) | (b == 0)); > } > > char goo(char a, char b) { > return !(((a & 1) != 0) & (b != 0)); > } > > Make sure I didn't botch that translation: the 1st is the C equivalent of zext-or-ic...
2016 Aug 04
2
Remove zext-unfolding from InstCombine
...th D22864. No problem, thank you for your answer! > If I'm understanding it correctly, my foo() example and zext_or_icmp_icmp() will be equivalent after your patch is added to InstCombine. Yes, that’s correct. > If that's right, then you will be able to add a pattern match in matchDeMorgansLaws() for that exact sequence of instructions where we only have one icmp that is zexted. As you noted, we can't add the 'not' ops back in because there's another fold that removes them. > > It may be helpful to look at the chunk of code that I removed from matchDeMorgansLaw...
2016 Jul 21
2
Remove zext-unfolding from InstCombine
Hi all, I have a question regarding a transformation that is carried out in InstCombine, which has been introduced by r48715. It unfolds expressions of the form `zext(or(icmp, (icmp)))` to `or(zext(icmp), zext(icmp)))` to expose pairs of `zext(icmp)`. In a subsequent iteration these `zext(icmp)` pairs could then (possibly) be optimized by another optimization (which has already been there before
2005 Feb 23
1
Problem saving logic regression result equation to disk file
...39;t always want to see the plot plot(logicfit) # I'd like to write my regression equation to a file and # then run many times to test my parameter selection # with a known case before exploring unknown cases logicfit # In this case I want either of these equivalent answers # (equivalent via DeMorgan's Theorem), and no others, # such as single node results. I want to run this say 100s (later 1000s) of times and look at the variation in the results. I want to figure out what parameters I should use so I only see these results: score 0 +1 * (X6 and (not X2)) -1 * ((not X6) or X2) # I...
2009 Apr 15
6
Intersection of two sets of intervals
Hi, Algorithm question: I have two sets of "intervals", where an interval is an ordered pair [a,b] of two numbers. Is there an efficient way in R to generate the intersection of two lists of same? For concreteness: I'm representing a set of intervals with a data.frame: > list1 = as.data.frame(list(open=c(1,5), close=c(2,10))) > list1 open close 1 1 2 2 5