search for: getlow

Sure. I will submit a patch. BTW, what's the difference between the bounds I was expecting APInt NewLower = getLower() - Other.getUpper() + 1; APInt NewUpper = getUpper() - Other.getLower(); and the two you mentioned NewLower = Lower - (Upper-1) NewUpper = (Upper-1) - Lower + 1 They look equivalent to me. Did I miss anything? Thanks. - xi On Jun 22, 2011, at 2:39 PM, Nick Lewycky wrote: > Thanks, I t...

Hi, I have a question about ConstantRange::sub(const ConstantRange &Other) at lib/Support/ConstantRange.cpp:524. The code computes the new bounds as follows. APInt NewLower = getLower() - Other.getLower(); APInt NewUpper = getUpper() - Other.getUpper() + 1; Could someone explain this to me? I was expecting something like APInt NewLower = getLower() - Other.getUpper() + 1; APInt NewUpper = getUpper() - Other.getLower(); Thanks. - xi

On 22 June 2011 12:51, Xi Wang <xi.wang at gmail.com> wrote: > Sure. I will submit a patch. > > BTW, what's the difference between the bounds I was expecting > > APInt NewLower = getLower() - Other.getUpper() + 1; > APInt NewUpper = getUpper() - Other.getLower(); > > and the two you mentioned > > NewLower = Lower - (Upper-1) > NewUpper = (Upper-1) - Lower + 1 > > They look equivalent to me. Did I miss anything? Thanks. > ... they are. Sorry, I was jus...

...add the test. On 20 June 2011 23:09, Xi Wang <xi.wang at gmail.com> wrote: > Hi, > > I have a question about ConstantRange::sub(const ConstantRange &Other) at > lib/Support/ConstantRange.cpp:524. The code computes the new bounds as > follows. > > APInt NewLower = getLower() - Other.getLower(); > APInt NewUpper = getUpper() - Other.getUpper() + 1; > > Could someone explain this to me? I was expecting something like > > APInt NewLower = getLower() - Other.getUpper() + 1; > APInt NewUpper = getUpper() - Other.getLower(); > These aren't q...

...> for (Instruction &I : BB) { > if (Value* v = dyn_cast<Value>(&I)) > if (v->getType()->isIntegerTy()) { > ConstantRange r = LV.getConstantRange(v, &BB, &I); > I.dump(); > printf("LOWER VALUE : %llu\n",r.getLower().getRawData()); > printf("UPPER VALUE : %llu\n",r.getUpper().getRawData()); > } > } About your other question, "the value range pass was not able to determine any size, even of the induction variable, is it a correct behavior?". Yes, returning a...

...t;> > if (Value* v = dyn_cast<Value>(&I)) >> > if (v->getType()->isIntegerTy()) { >> > ConstantRange r = LV.getConstantRange(v, &BB, &I); >> > I.dump(); >> > printf("LOWER VALUE : %llu\n",r.getLower().getRawData()); >> > printf("UPPER VALUE : %llu\n",r.getUpper().getRawData()); >> > } >> > } >> >> About your other question, "the value range pass was not able to >> determine any size, even of the induction variabl...

Hello, I am trying to figure out, what vrp propagation does in llvm. I tried this program: #include <stdio.h> int main() { int s = 0; int j = 0; for (int i = 0; i < 100; i++) { j = j+i+1; s+=j; } return (s+j); } And got this under optimized version ( I don't want everything to be eliminated) define i32 @main()

...e '{' 1>F:\Documents and Settings\Mason\My Documents\VC\llvm\include\llvm/Support/IntegersSubset.h(316) : error C2065: 'i' : undeclared identifier 1>F:\Documents and Settings\Mason\My Documents\VC\llvm\include\llvm/Support/IntegersSubset.h(316) : error C2227: left of '->getLow' must point to class/struct/union/generic type 1>        type is ''unknown-type'' 1>F:\Documents and Settings\Mason\My Documents\VC\llvm\include\llvm/Support/IntegersSubset.h(318) : error C2065: 'i' : undeclared identifier 1>F:\Documents and Settings\Mason\My Do...

...r of the range is the last possible loop // value. Also note that we already checked for a full range. APInt One(BitWidth,1); APInt A = cast<SCEVConstant>(getOperand(1))->getValue()->getValue(); APInt End = A.sge(One) ? (Range.getUpper() - One) : Range.getLower(); // The exit value should be (End+A)/A. APInt ExitVal = (End + A).udiv(A); ConstantInt *ExitValue = ConstantInt::get(SE.getContext(), ExitVal); In gdb, $6 = {BitWidth = 8, {VAL = 254, pVal = 0xfe}} (gdb) p ExitVal.isNegative() $7 = true (gdb) p ExitValue->dump() i8 -2...

...bution + more frequent use of FFT for convolution by better treatment of joint lattices AUTOMATIC GENERATION OF IMAGE DISTRIBUTION + slot r is now /much/ faster / slimmer for results of *,/,^ + slot d for results of *,/, exp() now is correct at 0 by extrapolation COMFORT METHODS + getLow/getUp methods (for "reasonable" endpoints for distributions with possibly unbounded support) for *DiscreteDistribution, *AbscontDistribution, *UnivarLebDecDistribution, *UnivarMixingDistribution + q.r, p.l (methods for right continuous quantile functi...

...bution + more frequent use of FFT for convolution by better treatment of joint lattices AUTOMATIC GENERATION OF IMAGE DISTRIBUTION + slot r is now /much/ faster / slimmer for results of *,/,^ + slot d for results of *,/, exp() now is correct at 0 by extrapolation COMFORT METHODS + getLow/getUp methods (for "reasonable" endpoints for distributions with possibly unbounded support) for *DiscreteDistribution, *AbscontDistribution, *UnivarLebDecDistribution, *UnivarMixingDistribution + q.r, p.l (methods for right continuous quantile functi...