search for: could_not_compute

...Check'. > Originally you said I had to add a minimst al test case to the patch, > should I add some more tests now withore complex scops? I do not see that a more complex scope would test more of the feature. You could add a test case where the access subscript is not a valid SCEV, but COULD_NOT_COMPUTE. Cheers Tobi

2011/11/19 Tobias Grosser <tobias at grosser.es>: > On 11/18/2011 01:34 PM, Marcello Maggioni wrote: >> >> Ok , this is what I believe is the final patch that adds the >> non-affine accept functionality to Polly, this should have no issues. >> >> I added three tests, two in ScopInfo (two simple tests, one expected >> fail and one success based on the

...inally you said I had to add a minimst al test case to the patch, >> should I add some more tests now withore complex scops? > > I do not see that a more complex scope would test more of the feature. You > could add a test case where the access subscript is not a valid > SCEV, but COULD_NOT_COMPUTE. > > Cheers > Tobi >

...CEV misses the nsw/nuw flags in this case: %tmp = mul nuw nsw i64 %indvar, 4 --> {0,+,4}<%for.body> Exits: <<Unknown>> Cheers Tobi P.S.: LLVM-IR test case attached. -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: could_not_compute.ll URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20111214/fe6cb6a1/attachment.ksh>

...eCheck'. > Originally you said I had to add a minimst al test case to the patch, > should I add some more tests now withore complex scops? I do not see that a more complex scope would test more of the feature. You could add a test case where the access subscript is not a valid SCEV, but COULD_NOT_COMPUTE. Cheers Tobi ------------------------------ Message: 15 Date: Sun, 20 Nov 2011 12:47:30 +0000 From: Stephen McGruer <stephen.mcgruer at gmail.com> Subject: [LLVMdev] How can I output assembly comments from emitPrologue()? To: llvmdev at cs.uiuc.edu Message-ID: <CANV974A...