[Haskell-cafe] Testing of GHC extensions & optimizations

Hi, For those familiar with GHC source code & internals, how are extensions & optimizations tested? And what are the quality policies for accepting new code into GHC? I am interested in testing compilers in general using random testing. Is it used on GHC?