[PATCH] D11977: Use modulo semantic to generate non-integer-overflow assumptions

[Johannes Doerfert via llvm-commits]

This time with attachments.

On 08/14, Johannes Doerfert via llvm-commits wrote:
> Attached 2 json files, without_overflow_assumptions.json
> and with_overflow_assumptions.json. The former is a recent upstream
> commit with (I think) 4 lnt runs, the latter the current integer
> wrapping patch applied to the upstream head with 2 lnt runs.
> 
> We have 5 benchmarks that have more than 15% compile time regression:
>                                                   ; regress ; prev   ; Current;   σ   
>  MultiSource/Applications/SIBsim4/SIBsim4         ; 136.24% ; 2.5200 ; 5.9533 ; 0.2801 
>  MultiSource/Benchmarks/ASC_Sequoia/IRSmk/IRSmk   ; 21.86%  ; 0.5334 ; 0.6500 ; 0.0016 
>  SingleSource/Regression/C++/2003-05-14-expr_stmt ; 16.67%  ; 0.1200 ; 0.1400 ; -      
>  MultiSource/Applications/oggenc/oggenc           ; 16.34%  ; 7.0400 ; 8.1900 ; 0.2633 
>  SingleSource/Regression/C++/EH/dead_try_block    ; 15.38%  ; 0.1300 ; 0.1500 ; 0.0016 
> 
> Also the execution time regressed by more than 15% a few times:
>                                                                              ;    Δ   ; Previous;  Current;   σ
>   SingleSource/Benchmarks/Polybench/stencils/fdtd-apml/fdtd-apml             ; 50.00% ; 0.3400  ; 0.5100  ; 0.0016
>   SingleSource/Benchmarks/Polybench/linear-algebra/kernels/trisolv/trisolv   ; 35.27% ; 0.0567  ; 0.0767  ; -     
>   SingleSource/Benchmarks/Shootout-C++/strcat                                ; 33.33% ; 0.0300  ; 0.0400  ; -     
>   MultiSource/Benchmarks/Olden/treeadd/treeadd                               ; 24.01% ; 0.0833  ; 0.1033  ; 0.0050
>   SingleSource/Benchmarks/Polybench/linear-algebra/kernels/bicg/bicg         ; 22.22% ; 0.0900  ; 0.1100  ; 0.0016
>   SingleSource/Benchmarks/Polybench/linear-algebra/kernels/symm/symm         ; 19.73% ; 12.7233 ; 15.2333 ; 0.2967
>   SingleSource/Benchmarks/Polybench/linear-algebra/kernels/cholesky/cholesky ; 18.05% ; 0.4433  ; 0.5233  ; 0.0050
>   SingleSource/Benchmarks/Polybench/linear-algebra/kernels/gesummv/gesummv   ; 16.70% ; 0.1000  ; 0.1167  ; 0.0016
> 
> However I am not sure how much, especially of the runtime results, is
> real or only some noise.
> 
> All in all I think this is as good as it gets for now.
> 
> On 08/14, Tobias Grosser wrote:
> > grosser added a comment.
> > 
> > > jdoerfert updated this revision to Diff 32136.
> > 
> > >  jdoerfert added a comment.
> > 
> > > 
> > 
> > > Separated assumed and boundary context and minimized the compile time overhead
> > 
> > 
> > Hi Johannes,
> > 
> > can you give more details on the current compile-time overhead? Maybe an LNT result
> > page, or the top-5 offenders?
> > 
> > Best,
> > Tobias
> > 
> > 
> > http://reviews.llvm.org/D11977
> > 
> > 
> > 
> > -- 
> > You received this message because you are subscribed to the Google Groups "Polly Development" group.
> > To unsubscribe from this group and stop receiving emails from it, send an email to polly-dev+unsubscribe at googlegroups.com.
> > For more options, visit https://groups.google.com/d/optout.
> 
> -- 
> 
> Johannes Doerfert
> Researcher / PhD Student
> 
> Compiler Design Lab (Prof. Hack)
> Saarland University, Computer Science
> Building E1.3, Room 4.31
> 
> Tel. +49 (0)681 302-57521 : doerfert at cs.uni-saarland.de
> Fax. +49 (0)681 302-3065  : http://www.cdl.uni-saarland.de/people/doerfert



> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits


-- 

Johannes Doerfert
Researcher / PhD Student

Compiler Design Lab (Prof. Hack)
Saarland University, Computer Science
Building E1.3, Room 4.31

Tel. +49 (0)681 302-57521 : doerfert at cs.uni-saarland.de
Fax. +49 (0)681 302-3065  : http://www.cdl.uni-saarland.de/people/doerfert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: without_overflow_assumptions.json
Type: application/json
Size: 746735 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150814/4f10e7fa/attachment-0002.json>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: with_overflow_assumptions.json
Type: application/json
Size: 375299 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150814/4f10e7fa/attachment-0003.json>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 213 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150814/4f10e7fa/attachment-0001.sig>