<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html> <head> <!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ --> <title>nativeGen/RegAlloc/Linear/FreeRegs.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a> <a name="line-2"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>RegAlloc</span><span class='hs-varop'>.</span><span class='hs-conid'>Linear</span><span class='hs-varop'>.</span><span class='hs-conid'>FreeRegs</span> <span class='hs-layout'>(</span> <a name="line-3"></a> <span class='hs-conid'>FreeRegs</span><span class='hs-conid'>()</span><span class='hs-layout'>,</span> <a name="line-4"></a> <span class='hs-varid'>noFreeRegs</span><span class='hs-layout'>,</span> <a name="line-5"></a> <span class='hs-varid'>releaseReg</span><span class='hs-layout'>,</span> <a name="line-6"></a> <span class='hs-varid'>initFreeRegs</span><span class='hs-layout'>,</span> <a name="line-7"></a> <span class='hs-varid'>getFreeRegs</span><span class='hs-layout'>,</span> <a name="line-8"></a> <span class='hs-varid'>allocateReg</span><span class='hs-layout'>,</span> <a name="line-9"></a> <span class='hs-varid'>maxSpillSlots</span> <a name="line-10"></a><span class='hs-layout'>)</span> <a name="line-11"></a> <a name="line-12"></a><span class='hs-cpp'>#include "HsVersions.h"</span> <a name="line-13"></a> <a name="line-14"></a><span class='hs-keyword'>where</span> <a name="line-15"></a> <a name="line-16"></a><span class='hs-comment'>-- -----------------------------------------------------------------------------</span> <a name="line-17"></a><span class='hs-comment'>-- The free register set</span> <a name="line-18"></a><span class='hs-comment'>-- This needs to be *efficient*</span> <a name="line-19"></a><span class='hs-comment'>-- Here's an inefficient 'executable specification' of the FreeRegs data type:</span> <a name="line-20"></a><span class='hs-comment'>--</span> <a name="line-21"></a><span class='hs-comment'>-- type FreeRegs = [RegNo]</span> <a name="line-22"></a><span class='hs-comment'>-- noFreeRegs = 0</span> <a name="line-23"></a><span class='hs-comment'>-- releaseReg n f = if n `elem` f then f else (n : f)</span> <a name="line-24"></a><span class='hs-comment'>-- initFreeRegs = allocatableRegs</span> <a name="line-25"></a><span class='hs-comment'>-- getFreeRegs cls f = filter ( (==cls) . regClass . RealReg ) f</span> <a name="line-26"></a><span class='hs-comment'>-- allocateReg f r = filter (/= r) f</span> <a name="line-27"></a> <a name="line-28"></a> <a name="line-29"></a><span class='hs-cpp'>#if defined(powerpc_TARGET_ARCH) </span> <a name="line-30"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>RegAlloc</span><span class='hs-varop'>.</span><span class='hs-conid'>Linear</span><span class='hs-varop'>.</span><span class='hs-conid'>PPC</span><span class='hs-varop'>.</span><span class='hs-conid'>FreeRegs</span> <a name="line-31"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>PPC</span><span class='hs-varop'>.</span><span class='hs-conid'>Instr</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxSpillSlots</span><span class='hs-layout'>)</span> <a name="line-32"></a> <a name="line-33"></a><span class='hs-cpp'>#elif defined(sparc_TARGET_ARCH)</span> <a name="line-34"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>RegAlloc</span><span class='hs-varop'>.</span><span class='hs-conid'>Linear</span><span class='hs-varop'>.</span><span class='hs-conid'>SPARC</span><span class='hs-varop'>.</span><span class='hs-conid'>FreeRegs</span> <a name="line-35"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>SPARC</span><span class='hs-varop'>.</span><span class='hs-conid'>Instr</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxSpillSlots</span><span class='hs-layout'>)</span> <a name="line-36"></a> <a name="line-37"></a><span class='hs-cpp'>#elif defined(i386_TARGET_ARCH) || defined(x86_64_TARGET_ARCH)</span> <a name="line-38"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>RegAlloc</span><span class='hs-varop'>.</span><span class='hs-conid'>Linear</span><span class='hs-varop'>.</span><span class='hs-conid'>X86</span><span class='hs-varop'>.</span><span class='hs-conid'>FreeRegs</span> <a name="line-39"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>X86</span><span class='hs-varop'>.</span><span class='hs-conid'>Instr</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxSpillSlots</span><span class='hs-layout'>)</span> <a name="line-40"></a> <a name="line-41"></a><span class='hs-cpp'>#else</span> <a name="line-42"></a><span class='hs-cpp'>#error "RegAlloc.Linear.FreeRegs not defined for this architecture."</span> <a name="line-43"></a> <a name="line-44"></a><span class='hs-cpp'>#endif</span> <a name="line-45"></a> </pre></body> </html>