search for: ivcanon

Tobias Grosser wrote: > You create a map from the old_loop to a symbolic expression. What type would > this symbolic expression have? Would it be a SCEVExpr? evaluateAtIteration takes a scev, so apply will take a scev, or a map (loop->scev). You can always build a ScevUnknown from an SSA name and use that in the apply. > At the moment, we calculate at the beginning of each >

On Fri, Nov 30, 2012, at 08:46 PM, Sebastian Pop wrote: > Hi Tobi, > > I would like to remove the SCEVRewriter code and replace it with a call > to > SCEVAddRec::apply (see attached a patch that adds just this function). > More > precisely I want to add another function called apply_map that applies a > map > (loop -> expr) on a given scev. This is the apply

Hi Tobi, I would like to remove the SCEVRewriter code and replace it with a call to SCEVAddRec::apply (see attached a patch that adds just this function). More precisely I want to add another function called apply_map that applies a map (loop -> expr) on a given scev. This is the apply function on a multi-variate polynomial. So here is an overview of how I would like the scev code generator

...-finline-functions-called-once -fivopts -fkeep-static-consts # -fleading-underscore -flocal-alloc -fmove-loop-invariants -fpeephole # -freg-struct-return -fsched-interblock -fsched-spec # -fsched-stalled-insns-dep -fshow-column -fsplit-ivs-in-unroller # -ftoplevel-reorder -ftree-loop-im -ftree-loop-ivcanon # -ftree-loop-optimize -ftree-vect-loop-version -funit-at-a-time # -fverbose-asm -fzero-initialized-in-bss -m128bit-long-double -m32 -m80387 # -maccumulate-outgoing-args -malign-stringops -matt-stubs # -mconstant-cfstrings -mfancy-math-387 -mfp-ret-in-387 -mieee-fp -mmmx # -mno-red-zone -mno-sse4 -...

...ree-ssa-dse.o tree-ssa-dom.o domwalk.o tree-tailcall.o gimple-low.o tree-iterator.o tree-phinodes.o tree-ssanames.o tree-sra.o tree-complex.o tree-ssa-loop.o tree-ssa-loop-niter.o tree-ssa-loop-manip.o tree-ssa-threadupdate.o tree-vectorizer.o tree-vect-analyze.o tree-vect-transform.o tree-ssa-loop-ivcanon.o tree-ssa-propagate.o tree-ssa-loop-ivopts.o tree-if-conv.o tree-ssa-loop-unswitch.o alias.o bb-reorder.o bitmap.o builtins.o caller-save.o calls.o cfg.o cfganal.o cfgbuild.o cfgcleanup.o cfglayout.o cfgloop.o cfgloopanal.o cfgloopmanip.o loop-init.o loop-unswitch.o loop-unroll.o cfgrtl.o combine....

...s.o differs ./tree-ssa-ccp.o differs ./tree-ssa-copy.o differs ./tree-ssa-copyrename.o differs ./tree-ssa-dce.o differs ./tree-ssa-dom.o differs ./tree-ssa-dse.o differs ./tree-ssa-forwprop.o differs ./tree-ssa-live.o differs ./tree-ssa-loop-ch.o differs ./tree-ssa-loop-im.o differs ./tree-ssa-loop-ivcanon.o differs ./tree-ssa-loop-ivopts.o differs ./tree-ssa-loop-manip.o differs ./tree-ssa-loop-memset.o differs ./tree-ssa-loop-niter.o differs ./tree-ssa-loop-prefetch.o differs ./tree-ssa-loop-unswitch.o differs ./tree-ssanames.o differs ./tree-ssa.o differs ./tree-ssa-operands.o differs ./tree-ssa-p...

...sa-copy.o differs > ./tree-ssa-copyrename.o differs > ./tree-ssa-dce.o differs > ./tree-ssa-dom.o differs > ./tree-ssa-dse.o differs > ./tree-ssa-forwprop.o differs > ./tree-ssa-live.o differs > ./tree-ssa-loop-ch.o differs > ./tree-ssa-loop-im.o differs > ./tree-ssa-loop-ivcanon.o differs > ./tree-ssa-loop-ivopts.o differs > ./tree-ssa-loop-manip.o differs > ./tree-ssa-loop-memset.o differs > ./tree-ssa-loop-niter.o differs > ./tree-ssa-loop-prefetch.o differs > ./tree-ssa-loop-unswitch.o differs > ./tree-ssanames.o differs > ./tree-ssa.o differs &g...