Re: [GHC] #5567: LLVM: Improve alias analysis / performance

2012-01-12 Thread GHC 
#5567: LLVM: Improve alias analysis / performance
-+--
Reporter:  dterei|   Owner:  dterei 
Type:  task  |  Status:  new
Priority:  normal|   Milestone:  7.6.1  
   Component:  Compiler (LLVM)   | Version: 
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  Runtime performance bug
  Difficulty:|Testcase: 
   Blockedby:|Blocking: 
 Related:|  
-+--

Comment(by dterei):

 Pushed an improvement: e10589a505b44f4f0394500c6a0d2db5baa7f3f4

 This gets the good code generated for the above benchmark improving
 performance by around 20%! Also added control to enable or disable if TBAA
 is used with: ba52053b95ccb417ca7ce08e85a45e49b5f49b0a

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5567: LLVM: Improve alias analysis / performance

2012-01-12 Thread GHC 
#5567: LLVM: Improve alias analysis / performance
-+--
Reporter:  dterei|   Owner:  dterei 
Type:  task  |  Status:  new
Priority:  normal|   Milestone:  7.6.1  
   Component:  Compiler (LLVM)   | Version: 
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  Runtime performance bug
  Difficulty:|Testcase: 
   Blockedby:|Blocking: 
 Related:|  
-+--

Comment(by dterei):

 OK, tried this benchmark:

 {{{
 module Main(main) where

 import Data.Array.Base
 import Data.Array.IO
 import Data.Array.MArray

 main :: IO ()
 main = do
 arr <- newArray_ (0, 200)
 go arr 2 0 100

 go :: IOUArray Int Int -> Int -> Int -> Int -> IO ()
 go arr stride x y | x < y = do unsafeWrite arr (x * stride) 1337
go arr stride (x + 1) y
  | otherwise = return ()
 }}}

 And not working as I seem to be adding the TBAA info wrong. I think we
 need an unknown type (for pointers loaded from RX registers) that doesn't
 alias Sp.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5567: LLVM: Improve alias analysis / performance

2012-01-12 Thread GHC 
#5567: LLVM: Improve alias analysis / performance
-+--
Reporter:  dterei|   Owner:  dterei 
Type:  task  |  Status:  new
Priority:  normal|   Milestone:  7.6.1  
   Component:  Compiler (LLVM)   | Version: 
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  Runtime performance bug
  Difficulty:|Testcase: 
   Blockedby:|Blocking: 
 Related:|  
-+--

Comment(by dterei):

 Pushed some patches for doing TBAA with LLVM:

 0f15f8a76d334becf992a83870d0b327cc3c40b6
 71e5ee7d1656444ad23d0610ddaf9fc99a58b190

 No improvement to nofib, haven't tried other benchmarks to see.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5567: LLVM: Improve alias analysis / performance

2012-01-09 Thread GHC 
#5567: LLVM: Improve alias analysis / performance
-+--
Reporter:  dterei|   Owner:  dterei 
Type:  task  |  Status:  new
Priority:  normal|   Milestone:  7.6.1  
   Component:  Compiler (LLVM)   | Version: 
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  Runtime performance bug
  Difficulty:|Testcase: 
   Blockedby:|Blocking: 
 Related:|  
-+--

Comment(by dterei):

 Johan and I have started some work on this, wiki page about it is here:

 
http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/LLVM/Alias

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5567: LLVM: Improve alias analysis / performance

2011-11-11 Thread GHC 
#5567: LLVM: Improve alias analysis / performance
-+--
Reporter:  dterei|Owner:  dterei 
Type:  task  |   Status:  new
Priority:  normal|Milestone:  7.6.1  
   Component:  Compiler (LLVM)   |  Version: 
Keywords:| Testcase: 
   Blockedby:|   Difficulty: 
  Os:  Unknown/Multiple  | Blocking: 
Architecture:  Unknown/Multiple  |  Failure:  Runtime performance bug
-+--
Changes (by igloo):

  * milestone:  => 7.6.1


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5567: LLVM: Improve alias analysis / performance

2011-10-18 Thread GHC 
#5567: LLVM: Improve alias analysis / performance
-+--
Reporter:  dterei|   Owner:  dterei 
Type:  task  |  Status:  new
Priority:  normal|   Component:  Compiler (LLVM)
 Version:|Keywords: 
Testcase:|   Blockedby: 
  Os:  Unknown/Multiple  |Blocking: 
Architecture:  Unknown/Multiple  | Failure:  Runtime performance bug
-+--

Comment(by dterei):

 http://llvm.org/bugs/show_bug.cgi?id=1512

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5567: LLVM: Improve alias analysis / performance

2011-10-18 Thread GHC 
#5567: LLVM: Improve alias analysis / performance
-+--
Reporter:  dterei|   Owner:  dterei 
Type:  task  |  Status:  new
Priority:  normal|   Component:  Compiler (LLVM)
 Version:|Keywords: 
Testcase:|   Blockedby: 
  Os:  Unknown/Multiple  |Blocking: 
Architecture:  Unknown/Multiple  | Failure:  Runtime performance bug
-+--

Comment(by dterei):

 http://dterei.blogspot.com/2011/09/ghc-project-for-all.html

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs