[GHC] #5233: Support specifying the assembly that should be generated
GHC
cvs-ghc at haskell.org
Tue Oct 9 18:01:58 CEST 2012
#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.tibell at 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
More information about the Glasgow-haskell-bugs
mailing list