#5233: Support specifying the assembly that should be generated -------------------------------+-------------------------------------------- Reporter: tibbe | Owner: simonmar Type: feature request | Status: closed Priority: normal | Milestone: 7.8.1 Component: Test Suite | Version: 7.0.3 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by simonmar):
* status: patch => closed * difficulty: => Unknown * resolution: => fixed * milestone: 7.6.2 => 7.8.1 Comment: Committed, thanks: {{{ commit a351a67a242f8484764fe450b973b2d4ac9d098e Author: Johan Tibell <johan.tib...@gmail.com> Date: Tue May 31 11:56:58 2011 +0200 Make it possible to test the generated assembly This test framework feature is inspired by a similar feature in LLVM. The programmer writes a bit of Cmm #include "Cmm.h" // Large memcpy's should lower to calls. callMemcpy { W_ dst, src; prim %memcpy(dst "ptr", src "ptr", 1024, 4) []; } and asserts what the generated assembly should look like, modulo register naming. callMemcpy: movq ; Move arguments into place movq movl movl call memcpy Patch edited and updated by Simon Marlow, and I also added a test for unrolling memcpy and a simple constant-propagation test. }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5233#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs