<?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>codeGen/StgCmmPrim.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-2"></a><span class='hs-comment'>--</span>
<a name="line-3"></a><span class='hs-comment'>-- Stg to C--: primitive operations</span>
<a name="line-4"></a><span class='hs-comment'>--</span>
<a name="line-5"></a><span class='hs-comment'>-- (c) The University of Glasgow 2004-2006</span>
<a name="line-6"></a><span class='hs-comment'>--</span>
<a name="line-7"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-8"></a>
<a name="line-9"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>StgCmmPrim</span> <span class='hs-layout'>(</span>
<a name="line-10"></a> <span class='hs-varid'>cgOpApp</span>
<a name="line-11"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-12"></a>
<a name="line-13"></a><span class='hs-cpp'>#include "HsVersions.h"</span>
<a name="line-14"></a>
<a name="line-15"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>StgCmmLayout</span>
<a name="line-16"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>StgCmmForeign</span>
<a name="line-17"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>StgCmmEnv</span>
<a name="line-18"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>StgCmmMonad</span>
<a name="line-19"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>StgCmmUtils</span>
<a name="line-20"></a>
<a name="line-21"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>MkZipCfgCmm</span>
<a name="line-22"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>StgSyn</span>
<a name="line-23"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Cmm</span>
<a name="line-24"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Type</span> <span class='hs-layout'>(</span> <span class='hs-conid'>Type</span><span class='hs-layout'>,</span> <span class='hs-varid'>tyConAppTyCon</span> <span class='hs-layout'>)</span>
<a name="line-25"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>TyCon</span>
<a name="line-26"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>CLabel</span>
<a name="line-27"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>CmmUtils</span>
<a name="line-28"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>PrimOp</span>
<a name="line-29"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>SMRep</span>
<a name="line-30"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Constants</span>
<a name="line-31"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>FastString</span>
<a name="line-32"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Outputable</span>
<a name="line-33"></a>
<a name="line-34"></a><span class='hs-comment'>------------------------------------------------------------------------</span>
<a name="line-35"></a><span class='hs-comment'>-- Primitive operations and foreign calls</span>
<a name="line-36"></a><span class='hs-comment'>------------------------------------------------------------------------</span>
<a name="line-37"></a>
<a name="line-38"></a><span class='hs-comment'>{- Note [Foreign call results]
<a name="line-39"></a> ~~~~~~~~~~~~~~~~~~~~~~~~~~~
<a name="line-40"></a>A foreign call always returns an unboxed tuple of results, one
<a name="line-41"></a>of which is the state token. This seems to happen even for pure
<a name="line-42"></a>calls.
<a name="line-43"></a>
<a name="line-44"></a>Even if we returned a single result for pure calls, it'd still be
<a name="line-45"></a>right to wrap it in a singleton unboxed tuple, because the result
<a name="line-46"></a>might be a Haskell closure pointer, we don't want to evaluate it. -}</span>
<a name="line-47"></a>
<a name="line-48"></a><a name="cgOpApp"></a><span class='hs-comment'>----------------------------------</span>
<a name="line-49"></a><span class='hs-definition'>cgOpApp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>StgOp</span> <span class='hs-comment'>-- The op</span>
<a name="line-50"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>StgArg</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- Arguments</span>
<a name="line-51"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Type</span> <span class='hs-comment'>-- Result type (always an unboxed tuple)</span>
<a name="line-52"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-53"></a>
<a name="line-54"></a><span class='hs-comment'>-- Foreign calls </span>
<a name="line-55"></a><span class='hs-definition'>cgOpApp</span> <span class='hs-layout'>(</span><span class='hs-conid'>StgFCallOp</span> <span class='hs-varid'>fcall</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-varid'>stg_args</span> <span class='hs-varid'>res_ty</span>
<a name="line-56"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-layout'>{</span> <span class='hs-layout'>(</span><span class='hs-varid'>res_regs</span><span class='hs-layout'>,</span> <span class='hs-varid'>res_hints</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>newUnboxedTupleRegs</span> <span class='hs-varid'>res_ty</span>
<a name="line-57"></a> <span class='hs-comment'>-- Choose result regs r1, r2</span>
<a name="line-58"></a> <span class='hs-comment'>-- Note [Foreign call results]</span>
<a name="line-59"></a> <span class='hs-layout'>;</span> <span class='hs-varid'>cgForeignCall</span> <span class='hs-varid'>res_regs</span> <span class='hs-varid'>res_hints</span> <span class='hs-varid'>fcall</span> <span class='hs-varid'>stg_args</span>
<a name="line-60"></a> <span class='hs-comment'>-- r1, r2 = foo( x, y )</span>
<a name="line-61"></a> <span class='hs-layout'>;</span> <span class='hs-varid'>emitReturn</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmReg</span> <span class='hs-varop'>.</span> <span class='hs-conid'>CmmLocal</span><span class='hs-layout'>)</span> <span class='hs-varid'>res_regs</span><span class='hs-layout'>)</span> <span class='hs-layout'>}</span>
<a name="line-62"></a> <span class='hs-comment'>-- return (r1, r2) </span>
<a name="line-63"></a>
<a name="line-64"></a><span class='hs-comment'>-- tagToEnum# is special: we need to pull the constructor </span>
<a name="line-65"></a><span class='hs-comment'>-- out of the table, and perform an appropriate return.</span>
<a name="line-66"></a>
<a name="line-67"></a><span class='hs-definition'>cgOpApp</span> <span class='hs-layout'>(</span><span class='hs-conid'>StgPrimOp</span> <span class='hs-conid'>TagToEnumOp</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>res_ty</span>
<a name="line-68"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ASSERT</span><span class='hs-layout'>(</span><span class='hs-varid'>isEnumerationTyCon</span> <span class='hs-varid'>tycon</span><span class='hs-layout'>)</span>
<a name="line-69"></a> <span class='hs-keyword'>do</span> <span class='hs-layout'>{</span> <span class='hs-varid'>args'</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getNonVoidArgAmodes</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-70"></a> <span class='hs-layout'>;</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>amode</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>args'</span> <span class='hs-keyword'>of</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>amode</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>amode</span>
<a name="line-71"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>panic</span> <span class='hs-str'>"TagToEnumOp had void arg"</span>
<a name="line-72"></a> <span class='hs-layout'>;</span> <span class='hs-varid'>emitReturn</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>tagToClosure</span> <span class='hs-varid'>tycon</span> <span class='hs-varid'>amode</span><span class='hs-keyglyph'>]</span> <span class='hs-layout'>}</span>
<a name="line-73"></a> <span class='hs-keyword'>where</span>
<a name="line-74"></a> <span class='hs-comment'>-- If you're reading this code in the attempt to figure</span>
<a name="line-75"></a> <span class='hs-comment'>-- out why the compiler panic'ed here, it is probably because</span>
<a name="line-76"></a> <span class='hs-comment'>-- you used tagToEnum# in a non-monomorphic setting, e.g., </span>
<a name="line-77"></a> <span class='hs-comment'>-- intToTg :: Enum a => Int -> a ; intToTg (I# x#) = tagToEnum# x#</span>
<a name="line-78"></a> <span class='hs-comment'>-- That won't work.</span>
<a name="line-79"></a> <span class='hs-varid'>tycon</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>tyConAppTyCon</span> <span class='hs-varid'>res_ty</span>
<a name="line-80"></a>
<a name="line-81"></a><span class='hs-definition'>cgOpApp</span> <span class='hs-layout'>(</span><span class='hs-conid'>StgPrimOp</span> <span class='hs-varid'>primop</span><span class='hs-layout'>)</span> <span class='hs-varid'>args</span> <span class='hs-varid'>res_ty</span>
<a name="line-82"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>primOpOutOfLine</span> <span class='hs-varid'>primop</span>
<a name="line-83"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-layout'>{</span> <span class='hs-varid'>cmm_args</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getNonVoidArgAmodes</span> <span class='hs-varid'>args</span>
<a name="line-84"></a> <span class='hs-layout'>;</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>fun</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLabel</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkRtsPrimOpLabel</span> <span class='hs-varid'>primop</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-85"></a> <span class='hs-layout'>;</span> <span class='hs-varid'>emitCall</span> <span class='hs-layout'>(</span><span class='hs-conid'>PrimOpCall</span><span class='hs-layout'>,</span> <span class='hs-conid'>PrimOpReturn</span><span class='hs-layout'>)</span> <span class='hs-varid'>fun</span> <span class='hs-varid'>cmm_args</span> <span class='hs-layout'>}</span>
<a name="line-86"></a>
<a name="line-87"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>ReturnsPrim</span> <span class='hs-conid'>VoidRep</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>result_info</span>
<a name="line-88"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>cgPrimOp</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>primop</span> <span class='hs-varid'>args</span>
<a name="line-89"></a> <span class='hs-varid'>emitReturn</span> <span class='hs-conid'>[]</span>
<a name="line-90"></a>
<a name="line-91"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>ReturnsPrim</span> <span class='hs-varid'>rep</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>result_info</span>
<a name="line-92"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>res</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>newTemp</span> <span class='hs-layout'>(</span><span class='hs-varid'>primRepCmmType</span> <span class='hs-varid'>rep</span><span class='hs-layout'>)</span>
<a name="line-93"></a> <span class='hs-varid'>cgPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>primop</span> <span class='hs-varid'>args</span>
<a name="line-94"></a> <span class='hs-varid'>emitReturn</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CmmReg</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-95"></a>
<a name="line-96"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>ReturnsAlg</span> <span class='hs-varid'>tycon</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>result_info</span><span class='hs-layout'>,</span> <span class='hs-varid'>isUnboxedTupleTyCon</span> <span class='hs-varid'>tycon</span>
<a name="line-97"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-layout'>(</span><span class='hs-varid'>regs</span><span class='hs-layout'>,</span> <span class='hs-sel'>_hints</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>newUnboxedTupleRegs</span> <span class='hs-varid'>res_ty</span>
<a name="line-98"></a> <span class='hs-varid'>cgPrimOp</span> <span class='hs-varid'>regs</span> <span class='hs-varid'>primop</span> <span class='hs-varid'>args</span>
<a name="line-99"></a> <span class='hs-varid'>emitReturn</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmReg</span> <span class='hs-varop'>.</span> <span class='hs-conid'>CmmLocal</span><span class='hs-layout'>)</span> <span class='hs-varid'>regs</span><span class='hs-layout'>)</span>
<a name="line-100"></a>
<a name="line-101"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>ReturnsAlg</span> <span class='hs-varid'>tycon</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>result_info</span>
<a name="line-102"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>isEnumerationTyCon</span> <span class='hs-varid'>tycon</span>
<a name="line-103"></a> <span class='hs-comment'>-- c.f. cgExpr (...TagToEnumOp...)</span>
<a name="line-104"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>tag_reg</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>newTemp</span> <span class='hs-varid'>bWord</span>
<a name="line-105"></a> <span class='hs-varid'>cgPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>tag_reg</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>primop</span> <span class='hs-varid'>args</span>
<a name="line-106"></a> <span class='hs-varid'>emitReturn</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>tagToClosure</span> <span class='hs-varid'>tycon</span>
<a name="line-107"></a> <span class='hs-layout'>(</span><span class='hs-conid'>CmmReg</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>tag_reg</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-108"></a>
<a name="line-109"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>panic</span> <span class='hs-str'>"cgPrimop"</span>
<a name="line-110"></a> <span class='hs-keyword'>where</span>
<a name="line-111"></a> <span class='hs-varid'>result_info</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getPrimOpResultInfo</span> <span class='hs-varid'>primop</span>
<a name="line-112"></a>
<a name="line-113"></a><span class='hs-definition'>cgOpApp</span> <span class='hs-layout'>(</span><span class='hs-conid'>StgPrimCallOp</span> <span class='hs-varid'>primcall</span><span class='hs-layout'>)</span> <span class='hs-varid'>args</span> <span class='hs-sel'>_res_ty</span>
<a name="line-114"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-layout'>{</span> <span class='hs-varid'>cmm_args</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getNonVoidArgAmodes</span> <span class='hs-varid'>args</span>
<a name="line-115"></a> <span class='hs-layout'>;</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>fun</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLabel</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkPrimCallLabel</span> <span class='hs-varid'>primcall</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-116"></a> <span class='hs-layout'>;</span> <span class='hs-varid'>emitCall</span> <span class='hs-layout'>(</span><span class='hs-conid'>PrimOpCall</span><span class='hs-layout'>,</span> <span class='hs-conid'>PrimOpReturn</span><span class='hs-layout'>)</span> <span class='hs-varid'>fun</span> <span class='hs-varid'>cmm_args</span> <span class='hs-layout'>}</span>
<a name="line-117"></a>
<a name="line-118"></a><a name="cgPrimOp"></a><span class='hs-comment'>---------------------------------------------------</span>
<a name="line-119"></a><span class='hs-definition'>cgPrimOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>LocalReg</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- where to put the results</span>
<a name="line-120"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>PrimOp</span> <span class='hs-comment'>-- the op</span>
<a name="line-121"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>StgArg</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- arguments</span>
<a name="line-122"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-123"></a>
<a name="line-124"></a><span class='hs-definition'>cgPrimOp</span> <span class='hs-varid'>results</span> <span class='hs-varid'>op</span> <span class='hs-varid'>args</span>
<a name="line-125"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>arg_exprs</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>getNonVoidArgAmodes</span> <span class='hs-varid'>args</span>
<a name="line-126"></a> <span class='hs-varid'>emitPrimOp</span> <span class='hs-varid'>results</span> <span class='hs-varid'>op</span> <span class='hs-varid'>arg_exprs</span>
<a name="line-127"></a>
<a name="line-128"></a>
<a name="line-129"></a><span class='hs-comment'>------------------------------------------------------------------------</span>
<a name="line-130"></a><span class='hs-comment'>-- Emitting code for a primop</span>
<a name="line-131"></a><span class='hs-comment'>------------------------------------------------------------------------</span>
<a name="line-132"></a>
<a name="line-133"></a><a name="emitPrimOp"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>LocalReg</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- where to put the results</span>
<a name="line-134"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>PrimOp</span> <span class='hs-comment'>-- the op</span>
<a name="line-135"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CmmExpr</span><span class='hs-keyglyph'>]</span> <span class='hs-comment'>-- arguments</span>
<a name="line-136"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-137"></a>
<a name="line-138"></a><span class='hs-comment'>-- First we handle various awkward cases specially. The remaining</span>
<a name="line-139"></a><span class='hs-comment'>-- easy cases are then handled by translateOp, defined below.</span>
<a name="line-140"></a>
<a name="line-141"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res_r</span><span class='hs-layout'>,</span><span class='hs-varid'>res_c</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>IntAddCOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>aa</span><span class='hs-layout'>,</span><span class='hs-varid'>bb</span><span class='hs-keyglyph'>]</span>
<a name="line-142"></a><span class='hs-comment'>{-
<a name="line-143"></a> With some bit-twiddling, we can define int{Add,Sub}Czh portably in
<a name="line-144"></a> C, and without needing any comparisons. This may not be the
<a name="line-145"></a> fastest way to do it - if you have better code, please send it! --SDM
<a name="line-146"></a>
<a name="line-147"></a> Return : r = a + b, c = 0 if no overflow, 1 on overflow.
<a name="line-148"></a>
<a name="line-149"></a> We currently don't make use of the r value if c is != 0 (i.e.
<a name="line-150"></a> overflow), we just convert to big integers and try again. This
<a name="line-151"></a> could be improved by making r and c the correct values for
<a name="line-152"></a> plugging into a new J#.
<a name="line-153"></a>
<a name="line-154"></a> { r = ((I_)(a)) + ((I_)(b)); \
<a name="line-155"></a> c = ((StgWord)(~(((I_)(a))^((I_)(b))) & (((I_)(a))^r))) \
<a name="line-156"></a> >> (BITS_IN (I_) - 1); \
<a name="line-157"></a> }
<a name="line-158"></a> Wading through the mass of bracketry, it seems to reduce to:
<a name="line-159"></a> c = ( (~(a^b)) & (a^r) ) >>unsigned (BITS_IN(I_)-1)
<a name="line-160"></a>
<a name="line-161"></a>-}</span>
<a name="line-162"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-varop'>$</span> <span class='hs-varid'>catAGraphs</span> <span class='hs-keyglyph'>[</span>
<a name="line-163"></a> <span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res_r</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordAdd</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>aa</span><span class='hs-layout'>,</span><span class='hs-varid'>bb</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-164"></a> <span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res_c</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span>
<a name="line-165"></a> <span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordUShr</span> <span class='hs-keyglyph'>[</span>
<a name="line-166"></a> <span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordAnd</span> <span class='hs-keyglyph'>[</span>
<a name="line-167"></a> <span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordNot</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordXor</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>aa</span><span class='hs-layout'>,</span><span class='hs-varid'>bb</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span>
<a name="line-168"></a> <span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordXor</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>aa</span><span class='hs-layout'>,</span> <span class='hs-conid'>CmmReg</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res_r</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-169"></a> <span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span>
<a name="line-170"></a> <span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkIntCLit</span> <span class='hs-layout'>(</span><span class='hs-varid'>wORD_SIZE_IN_BITS</span> <span class='hs-comment'>-</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-171"></a> <span class='hs-keyglyph'>]</span>
<a name="line-172"></a> <span class='hs-keyglyph'>]</span>
<a name="line-173"></a>
<a name="line-174"></a>
<a name="line-175"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res_r</span><span class='hs-layout'>,</span><span class='hs-varid'>res_c</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>IntSubCOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>aa</span><span class='hs-layout'>,</span><span class='hs-varid'>bb</span><span class='hs-keyglyph'>]</span>
<a name="line-176"></a><span class='hs-comment'>{- Similarly:
<a name="line-177"></a> #define subIntCzh(r,c,a,b) \
<a name="line-178"></a> { r = ((I_)(a)) - ((I_)(b)); \
<a name="line-179"></a> c = ((StgWord)((((I_)(a))^((I_)(b))) & (((I_)(a))^r))) \
<a name="line-180"></a> >> (BITS_IN (I_) - 1); \
<a name="line-181"></a> }
<a name="line-182"></a>
<a name="line-183"></a> c = ((a^b) & (a^r)) >>unsigned (BITS_IN(I_)-1)
<a name="line-184"></a>-}</span>
<a name="line-185"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-varop'>$</span> <span class='hs-varid'>catAGraphs</span> <span class='hs-keyglyph'>[</span>
<a name="line-186"></a> <span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res_r</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordSub</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>aa</span><span class='hs-layout'>,</span><span class='hs-varid'>bb</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-187"></a> <span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res_c</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span>
<a name="line-188"></a> <span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordUShr</span> <span class='hs-keyglyph'>[</span>
<a name="line-189"></a> <span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordAnd</span> <span class='hs-keyglyph'>[</span>
<a name="line-190"></a> <span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordXor</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>aa</span><span class='hs-layout'>,</span><span class='hs-varid'>bb</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span>
<a name="line-191"></a> <span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordXor</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>aa</span><span class='hs-layout'>,</span> <span class='hs-conid'>CmmReg</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res_r</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-192"></a> <span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span>
<a name="line-193"></a> <span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkIntCLit</span> <span class='hs-layout'>(</span><span class='hs-varid'>wORD_SIZE_IN_BITS</span> <span class='hs-comment'>-</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-194"></a> <span class='hs-keyglyph'>]</span>
<a name="line-195"></a> <span class='hs-keyglyph'>]</span>
<a name="line-196"></a>
<a name="line-197"></a>
<a name="line-198"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>ParOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-199"></a> <span class='hs-keyglyph'>=</span>
<a name="line-200"></a> <span class='hs-comment'>-- for now, just implement this in a C function</span>
<a name="line-201"></a> <span class='hs-comment'>-- later, we might want to inline it.</span>
<a name="line-202"></a> <span class='hs-varid'>emitCCall</span>
<a name="line-203"></a> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>res</span><span class='hs-layout'>,</span><span class='hs-conid'>NoHint</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-204"></a> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLabel</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkRtsCodeLabel</span> <span class='hs-layout'>(</span><span class='hs-varid'>sLit</span> <span class='hs-str'>"newSpark"</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-205"></a> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>CmmReg</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmGlobal</span> <span class='hs-conid'>BaseReg</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>AddrHint</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varid'>arg</span><span class='hs-layout'>,</span><span class='hs-conid'>AddrHint</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-206"></a>
<a name="line-207"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>ReadMutVarOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>mutv</span><span class='hs-keyglyph'>]</span>
<a name="line-208"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmLoadIndexW</span> <span class='hs-varid'>mutv</span> <span class='hs-varid'>fixedHdrSize</span> <span class='hs-varid'>gcWord</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-209"></a>
<a name="line-210"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>WriteMutVarOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>mutv</span><span class='hs-layout'>,</span><span class='hs-varid'>var</span><span class='hs-keyglyph'>]</span>
<a name="line-211"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-212"></a> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkStore</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmOffsetW</span> <span class='hs-varid'>mutv</span> <span class='hs-varid'>fixedHdrSize</span><span class='hs-layout'>)</span> <span class='hs-varid'>var</span><span class='hs-layout'>)</span>
<a name="line-213"></a> <span class='hs-varid'>emitCCall</span>
<a name="line-214"></a> <span class='hs-keyglyph'>[</span><span class='hs-comment'>{-no results-}</span><span class='hs-keyglyph'>]</span>
<a name="line-215"></a> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLabel</span> <span class='hs-varid'>mkDirty_MUT_VAR_Label</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-216"></a> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>CmmReg</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmGlobal</span> <span class='hs-conid'>BaseReg</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>AddrHint</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varid'>mutv</span><span class='hs-layout'>,</span><span class='hs-conid'>AddrHint</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-217"></a>
<a name="line-218"></a><span class='hs-comment'>-- #define sizzeofByteArrayzh(r,a) \</span>
<a name="line-219"></a><span class='hs-comment'>-- r = (((StgArrWords *)(a))->words * sizeof(W_))</span>
<a name="line-220"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>SizeofByteArrayOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-221"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-varop'>$</span>
<a name="line-222"></a> <span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordMul</span> <span class='hs-keyglyph'>[</span>
<a name="line-223"></a> <span class='hs-varid'>cmmLoadIndexW</span> <span class='hs-varid'>arg</span> <span class='hs-varid'>fixedHdrSize</span> <span class='hs-varid'>bWord</span><span class='hs-layout'>,</span>
<a name="line-224"></a> <span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkIntCLit</span> <span class='hs-varid'>wORD_SIZE</span><span class='hs-layout'>)</span>
<a name="line-225"></a> <span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-226"></a>
<a name="line-227"></a><span class='hs-comment'>-- #define sizzeofMutableByteArrayzh(r,a) \</span>
<a name="line-228"></a><span class='hs-comment'>-- r = (((StgArrWords *)(a))->words * sizeof(W_))</span>
<a name="line-229"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>SizeofMutableByteArrayOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-230"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>SizeofByteArrayOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-231"></a>
<a name="line-232"></a>
<a name="line-233"></a><span class='hs-comment'>-- #define touchzh(o) /* nothing */</span>
<a name="line-234"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>TouchOp</span> <span class='hs-keyglyph'>[</span><span class='hs-sel'>_arg</span><span class='hs-keyglyph'>]</span>
<a name="line-235"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nopC</span>
<a name="line-236"></a>
<a name="line-237"></a><span class='hs-comment'>-- #define byteArrayContentszh(r,a) r = BYTE_ARR_CTS(a)</span>
<a name="line-238"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>ByteArrayContents_Char</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-239"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmOffsetB</span> <span class='hs-varid'>arg</span> <span class='hs-varid'>arrWordsHdrSize</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-240"></a>
<a name="line-241"></a><span class='hs-comment'>-- #define stableNameToIntzh(r,s) (r = ((StgStableName *)s)->sn)</span>
<a name="line-242"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>StableNameToIntOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-243"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmLoadIndexW</span> <span class='hs-varid'>arg</span> <span class='hs-varid'>fixedHdrSize</span> <span class='hs-varid'>bWord</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-244"></a>
<a name="line-245"></a><span class='hs-comment'>-- #define eqStableNamezh(r,sn1,sn2) \</span>
<a name="line-246"></a><span class='hs-comment'>-- (r = (((StgStableName *)sn1)->sn == ((StgStableName *)sn2)->sn))</span>
<a name="line-247"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>EqStableNameOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg1</span><span class='hs-layout'>,</span><span class='hs-varid'>arg2</span><span class='hs-keyglyph'>]</span>
<a name="line-248"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordEq</span> <span class='hs-keyglyph'>[</span>
<a name="line-249"></a> <span class='hs-varid'>cmmLoadIndexW</span> <span class='hs-varid'>arg1</span> <span class='hs-varid'>fixedHdrSize</span> <span class='hs-varid'>bWord</span><span class='hs-layout'>,</span>
<a name="line-250"></a> <span class='hs-varid'>cmmLoadIndexW</span> <span class='hs-varid'>arg2</span> <span class='hs-varid'>fixedHdrSize</span> <span class='hs-varid'>bWord</span>
<a name="line-251"></a> <span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-252"></a>
<a name="line-253"></a>
<a name="line-254"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>ReallyUnsafePtrEqualityOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg1</span><span class='hs-layout'>,</span><span class='hs-varid'>arg2</span><span class='hs-keyglyph'>]</span>
<a name="line-255"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordEq</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg1</span><span class='hs-layout'>,</span><span class='hs-varid'>arg2</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-256"></a>
<a name="line-257"></a><span class='hs-comment'>-- #define addrToHValuezh(r,a) r=(P_)a</span>
<a name="line-258"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>AddrToHValueOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-259"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-varid'>arg</span><span class='hs-layout'>)</span>
<a name="line-260"></a>
<a name="line-261"></a><span class='hs-comment'>-- #define dataToTagzh(r,a) r=(GET_TAG(((StgClosure *)a)->header.info))</span>
<a name="line-262"></a><span class='hs-comment'>-- Note: argument may be tagged!</span>
<a name="line-263"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>DataToTagOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-264"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>getConstrTag</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmUntag</span> <span class='hs-varid'>arg</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-265"></a>
<a name="line-266"></a><span class='hs-comment'>{- Freezing arrays-of-ptrs requires changing an info table, for the
<a name="line-267"></a> benefit of the generational collector. It needs to scavenge mutable
<a name="line-268"></a> objects, even if they are in old space. When they become immutable,
<a name="line-269"></a> they can be removed from this scavenge list. -}</span>
<a name="line-270"></a>
<a name="line-271"></a><span class='hs-comment'>-- #define unsafeFreezzeArrayzh(r,a)</span>
<a name="line-272"></a><span class='hs-comment'>-- {</span>
<a name="line-273"></a><span class='hs-comment'>-- SET_INFO((StgClosure *)a,&stg_MUT_ARR_PTRS_FROZEN0_info);</span>
<a name="line-274"></a><span class='hs-comment'>-- r = a;</span>
<a name="line-275"></a><span class='hs-comment'>-- }</span>
<a name="line-276"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>UnsafeFreezeArrayOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-277"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-varop'>$</span> <span class='hs-varid'>catAGraphs</span>
<a name="line-278"></a> <span class='hs-keyglyph'>[</span> <span class='hs-varid'>setInfo</span> <span class='hs-varid'>arg</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLabel</span> <span class='hs-varid'>mkMAP_FROZEN_infoLabel</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-279"></a> <span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-varid'>arg</span> <span class='hs-keyglyph'>]</span>
<a name="line-280"></a>
<a name="line-281"></a><span class='hs-comment'>-- #define unsafeFreezzeByteArrayzh(r,a) r=(a)</span>
<a name="line-282"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>UnsafeFreezeByteArrayOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-283"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-varid'>arg</span><span class='hs-layout'>)</span>
<a name="line-284"></a>
<a name="line-285"></a><span class='hs-comment'>-- Reading/writing pointer arrays</span>
<a name="line-286"></a>
<a name="line-287"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>r</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>ReadArrayOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>obj</span><span class='hs-layout'>,</span><span class='hs-varid'>ix</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doReadPtrArrayOp</span> <span class='hs-varid'>r</span> <span class='hs-varid'>obj</span> <span class='hs-varid'>ix</span>
<a name="line-288"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>r</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>IndexArrayOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>obj</span><span class='hs-layout'>,</span><span class='hs-varid'>ix</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doReadPtrArrayOp</span> <span class='hs-varid'>r</span> <span class='hs-varid'>obj</span> <span class='hs-varid'>ix</span>
<a name="line-289"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>WriteArrayOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>obj</span><span class='hs-layout'>,</span><span class='hs-varid'>ix</span><span class='hs-layout'>,</span><span class='hs-varid'>v</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWritePtrArrayOp</span> <span class='hs-varid'>obj</span> <span class='hs-varid'>ix</span> <span class='hs-varid'>v</span>
<a name="line-290"></a>
<a name="line-291"></a><span class='hs-comment'>-- IndexXXXoffAddr</span>
<a name="line-292"></a>
<a name="line-293"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Char</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-294"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_WideChar</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-295"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Int</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-296"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Word</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-297"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Addr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-298"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Float</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>f32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-299"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Double</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>f64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-300"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_StablePtr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-301"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Int8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-302"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Int16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_16ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b16</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-303"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Int32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-304"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Int64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>b64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-305"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Word8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-306"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Word16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_16ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b16</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-307"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Word32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-308"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexOffAddrOp_Word64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>b64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-309"></a>
<a name="line-310"></a><span class='hs-comment'>-- ReadXXXoffAddr, which are identical, for our purposes, to IndexXXXoffAddr.</span>
<a name="line-311"></a>
<a name="line-312"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Char</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-313"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_WideChar</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-314"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Int</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-315"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Word</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-316"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Addr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-317"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Float</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>f32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-318"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Double</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>f64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-319"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_StablePtr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-320"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Int8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-321"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Int16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_16ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b16</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-322"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Int32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-323"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Int64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>b64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-324"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Word8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-325"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Word16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_16ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b16</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-326"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Word32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-327"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadOffAddrOp_Word64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>b64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-328"></a>
<a name="line-329"></a><span class='hs-comment'>-- IndexXXXArray</span>
<a name="line-330"></a>
<a name="line-331"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Char</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-332"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_WideChar</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-333"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Int</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-334"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Word</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-335"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Addr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-336"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Float</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>f32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-337"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Double</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>f64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-338"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_StablePtr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-339"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Int8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-340"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Int16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_16ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b16</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-341"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Int32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-342"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Int64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>b64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-343"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Word8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-344"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Word16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_16ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b16</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-345"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Word32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-346"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>IndexByteArrayOp_Word64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>b64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-347"></a>
<a name="line-348"></a><span class='hs-comment'>-- ReadXXXArray, identical to IndexXXXArray.</span>
<a name="line-349"></a>
<a name="line-350"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Char</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-351"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_WideChar</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-352"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Int</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-353"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Word</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-354"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Addr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-355"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Float</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>f32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-356"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Double</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>f64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-357"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_StablePtr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>bWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-358"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Int8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-359"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Int16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_16ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b16</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-360"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Int32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_s_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-361"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Int64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>b64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-362"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Word8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_8ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b8</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-363"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Word16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_16ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b16</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-364"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Word32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_u_32ToWord</span><span class='hs-layout'>)</span> <span class='hs-varid'>b32</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-365"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>ReadByteArrayOp_Word64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doIndexByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>b64</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-366"></a>
<a name="line-367"></a><span class='hs-comment'>-- WriteXXXoffAddr</span>
<a name="line-368"></a>
<a name="line-369"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Char</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo8</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-370"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_WideChar</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo32</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-371"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Int</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-372"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Word</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-373"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Addr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-374"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Float</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-375"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Double</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-376"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_StablePtr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-377"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Int8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo8</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-378"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Int16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo16</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-379"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Int32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo32</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-380"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Int64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-381"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Word8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo8</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-382"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Word16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo16</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-383"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Word32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo32</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-384"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteOffAddrOp_Word64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteOffAddrOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-385"></a>
<a name="line-386"></a><span class='hs-comment'>-- WriteXXXArray</span>
<a name="line-387"></a>
<a name="line-388"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Char</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo8</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-389"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_WideChar</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo32</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-390"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Int</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-391"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Word</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-392"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Addr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-393"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Float</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-394"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Double</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-395"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_StablePtr</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-396"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Int8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo8</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-397"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Int16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo16</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-398"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Int32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo32</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-399"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Int64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-400"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Word8</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo8</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-401"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Word16</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo16</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-402"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Word32</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>mo_WordTo32</span><span class='hs-layout'>)</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-403"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-varid'>res</span> <span class='hs-conid'>WriteByteArrayOp_Word64</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>doWriteByteArrayOp</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>res</span> <span class='hs-varid'>args</span>
<a name="line-404"></a>
<a name="line-405"></a>
<a name="line-406"></a><span class='hs-comment'>-- The rest just translate straightforwardly</span>
<a name="line-407"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>op</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span>
<a name="line-408"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>nopOp</span> <span class='hs-varid'>op</span>
<a name="line-409"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-varid'>arg</span><span class='hs-layout'>)</span>
<a name="line-410"></a>
<a name="line-411"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>mop</span><span class='hs-layout'>,</span><span class='hs-varid'>rep</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>narrowOp</span> <span class='hs-varid'>op</span>
<a name="line-412"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span>
<a name="line-413"></a> <span class='hs-conid'>CmmMachOp</span> <span class='hs-layout'>(</span><span class='hs-varid'>mop</span> <span class='hs-varid'>rep</span> <span class='hs-varid'>wordWidth</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-layout'>(</span><span class='hs-varid'>mop</span> <span class='hs-varid'>wordWidth</span> <span class='hs-varid'>rep</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>arg</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-414"></a>
<a name="line-415"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>op</span> <span class='hs-varid'>args</span>
<a name="line-416"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>prim</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>callishOp</span> <span class='hs-varid'>op</span>
<a name="line-417"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>emitPrimCall</span> <span class='hs-varid'>res</span> <span class='hs-varid'>prim</span> <span class='hs-varid'>args</span>
<a name="line-418"></a>
<a name="line-419"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mop</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>translateOp</span> <span class='hs-varid'>op</span>
<a name="line-420"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>stmt</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mop</span> <span class='hs-varid'>args</span><span class='hs-layout'>)</span> <span class='hs-keyword'>in</span>
<a name="line-421"></a> <span class='hs-varid'>emit</span> <span class='hs-varid'>stmt</span>
<a name="line-422"></a>
<a name="line-423"></a><span class='hs-definition'>emitPrimOp</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>op</span> <span class='hs-keyword'>_</span>
<a name="line-424"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pprPanic</span> <span class='hs-str'>"emitPrimOp: can't translate PrimOp"</span> <span class='hs-layout'>(</span><span class='hs-varid'>ppr</span> <span class='hs-varid'>op</span><span class='hs-layout'>)</span>
<a name="line-425"></a>
<a name="line-426"></a>
<a name="line-427"></a><span class='hs-comment'>-- These PrimOps are NOPs in Cmm</span>
<a name="line-428"></a>
<a name="line-429"></a><a name="nopOp"></a><span class='hs-definition'>nopOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>PrimOp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span>
<a name="line-430"></a><span class='hs-definition'>nopOp</span> <span class='hs-conid'>Int2WordOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-431"></a><span class='hs-definition'>nopOp</span> <span class='hs-conid'>Word2IntOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-432"></a><span class='hs-definition'>nopOp</span> <span class='hs-conid'>Int2AddrOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-433"></a><span class='hs-definition'>nopOp</span> <span class='hs-conid'>Addr2IntOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-434"></a><span class='hs-definition'>nopOp</span> <span class='hs-conid'>ChrOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <span class='hs-comment'>-- Int# and Char# are rep'd the same</span>
<a name="line-435"></a><span class='hs-definition'>nopOp</span> <span class='hs-conid'>OrdOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-436"></a><span class='hs-definition'>nopOp</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-437"></a>
<a name="line-438"></a><span class='hs-comment'>-- These PrimOps turn into double casts</span>
<a name="line-439"></a>
<a name="line-440"></a><a name="narrowOp"></a><span class='hs-definition'>narrowOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>PrimOp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-conid'>Width</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Width</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>MachOp</span><span class='hs-layout'>,</span> <span class='hs-conid'>Width</span><span class='hs-layout'>)</span>
<a name="line-441"></a><span class='hs-definition'>narrowOp</span> <span class='hs-conid'>Narrow8IntOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_SS_Conv</span><span class='hs-layout'>,</span> <span class='hs-conid'>W8</span><span class='hs-layout'>)</span>
<a name="line-442"></a><span class='hs-definition'>narrowOp</span> <span class='hs-conid'>Narrow16IntOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_SS_Conv</span><span class='hs-layout'>,</span> <span class='hs-conid'>W16</span><span class='hs-layout'>)</span>
<a name="line-443"></a><span class='hs-definition'>narrowOp</span> <span class='hs-conid'>Narrow32IntOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_SS_Conv</span><span class='hs-layout'>,</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-444"></a><span class='hs-definition'>narrowOp</span> <span class='hs-conid'>Narrow8WordOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_UU_Conv</span><span class='hs-layout'>,</span> <span class='hs-conid'>W8</span><span class='hs-layout'>)</span>
<a name="line-445"></a><span class='hs-definition'>narrowOp</span> <span class='hs-conid'>Narrow16WordOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_UU_Conv</span><span class='hs-layout'>,</span> <span class='hs-conid'>W16</span><span class='hs-layout'>)</span>
<a name="line-446"></a><span class='hs-definition'>narrowOp</span> <span class='hs-conid'>Narrow32WordOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_UU_Conv</span><span class='hs-layout'>,</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-447"></a><span class='hs-definition'>narrowOp</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span>
<a name="line-448"></a>
<a name="line-449"></a><span class='hs-comment'>-- Native word signless ops</span>
<a name="line-450"></a>
<a name="line-451"></a><a name="translateOp"></a><span class='hs-definition'>translateOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>PrimOp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>MachOp</span>
<a name="line-452"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntAddOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordAdd</span>
<a name="line-453"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntSubOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSub</span>
<a name="line-454"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordAddOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordAdd</span>
<a name="line-455"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordSubOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSub</span>
<a name="line-456"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>AddrAddOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordAdd</span>
<a name="line-457"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>AddrSubOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSub</span>
<a name="line-458"></a>
<a name="line-459"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntEqOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordEq</span>
<a name="line-460"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntNeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordNe</span>
<a name="line-461"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordEqOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordEq</span>
<a name="line-462"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordNeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordNe</span>
<a name="line-463"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>AddrEqOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordEq</span>
<a name="line-464"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>AddrNeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordNe</span>
<a name="line-465"></a>
<a name="line-466"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>AndOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordAnd</span>
<a name="line-467"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>OrOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordOr</span>
<a name="line-468"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>XorOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordXor</span>
<a name="line-469"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>NotOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordNot</span>
<a name="line-470"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>SllOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordShl</span>
<a name="line-471"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>SrlOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordUShr</span>
<a name="line-472"></a>
<a name="line-473"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>AddrRemOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordURem</span>
<a name="line-474"></a>
<a name="line-475"></a><span class='hs-comment'>-- Native word signed ops</span>
<a name="line-476"></a>
<a name="line-477"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntMulOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordMul</span>
<a name="line-478"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntMulMayOfloOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_S_MulMayOflo</span> <span class='hs-varid'>wordWidth</span><span class='hs-layout'>)</span>
<a name="line-479"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntQuotOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSQuot</span>
<a name="line-480"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntRemOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSRem</span>
<a name="line-481"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntNegOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSNeg</span>
<a name="line-482"></a>
<a name="line-483"></a>
<a name="line-484"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntGeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSGe</span>
<a name="line-485"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntLeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSLe</span>
<a name="line-486"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntGtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSGt</span>
<a name="line-487"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>IntLtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSLt</span>
<a name="line-488"></a>
<a name="line-489"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>ISllOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordShl</span>
<a name="line-490"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>ISraOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordSShr</span>
<a name="line-491"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>ISrlOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordUShr</span>
<a name="line-492"></a>
<a name="line-493"></a><span class='hs-comment'>-- Native word unsigned ops</span>
<a name="line-494"></a>
<a name="line-495"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordGeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordUGe</span>
<a name="line-496"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordLeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordULe</span>
<a name="line-497"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordGtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordUGt</span>
<a name="line-498"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordLtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordULt</span>
<a name="line-499"></a>
<a name="line-500"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordMulOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordMul</span>
<a name="line-501"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordQuotOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordUQuot</span>
<a name="line-502"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>WordRemOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordURem</span>
<a name="line-503"></a>
<a name="line-504"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>AddrGeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordUGe</span>
<a name="line-505"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>AddrLeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordULe</span>
<a name="line-506"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>AddrGtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordUGt</span>
<a name="line-507"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>AddrLtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordULt</span>
<a name="line-508"></a>
<a name="line-509"></a><span class='hs-comment'>-- Char# ops</span>
<a name="line-510"></a>
<a name="line-511"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>CharEqOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_Eq</span> <span class='hs-varid'>wordWidth</span><span class='hs-layout'>)</span>
<a name="line-512"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>CharNeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_Ne</span> <span class='hs-varid'>wordWidth</span><span class='hs-layout'>)</span>
<a name="line-513"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>CharGeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_U_Ge</span> <span class='hs-varid'>wordWidth</span><span class='hs-layout'>)</span>
<a name="line-514"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>CharLeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_U_Le</span> <span class='hs-varid'>wordWidth</span><span class='hs-layout'>)</span>
<a name="line-515"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>CharGtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_U_Gt</span> <span class='hs-varid'>wordWidth</span><span class='hs-layout'>)</span>
<a name="line-516"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>CharLtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_U_Lt</span> <span class='hs-varid'>wordWidth</span><span class='hs-layout'>)</span>
<a name="line-517"></a>
<a name="line-518"></a><span class='hs-comment'>-- Double ops</span>
<a name="line-519"></a>
<a name="line-520"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleEqOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Eq</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-521"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleNeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Ne</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-522"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleGeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Ge</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-523"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleLeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Le</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-524"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleGtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Gt</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-525"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleLtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Lt</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-526"></a>
<a name="line-527"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleAddOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Add</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-528"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleSubOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Sub</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-529"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleMulOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Mul</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-530"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleDivOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Quot</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-531"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>DoubleNegOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Neg</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-532"></a>
<a name="line-533"></a><span class='hs-comment'>-- Float ops</span>
<a name="line-534"></a>
<a name="line-535"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatEqOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Eq</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-536"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatNeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Ne</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-537"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatGeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Ge</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-538"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatLeOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Le</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-539"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatGtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Gt</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-540"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatLtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Lt</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-541"></a>
<a name="line-542"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatAddOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Add</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-543"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatSubOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Sub</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-544"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatMulOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Mul</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-545"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatDivOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Quot</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-546"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>FloatNegOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_F_Neg</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-547"></a>
<a name="line-548"></a><span class='hs-comment'>-- Conversions</span>
<a name="line-549"></a>
<a name="line-550"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>Int2DoubleOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_SF_Conv</span> <span class='hs-varid'>wordWidth</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-551"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>Double2IntOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_FS_Conv</span> <span class='hs-conid'>W64</span> <span class='hs-varid'>wordWidth</span><span class='hs-layout'>)</span>
<a name="line-552"></a>
<a name="line-553"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>Int2FloatOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_SF_Conv</span> <span class='hs-varid'>wordWidth</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-554"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>Float2IntOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_FS_Conv</span> <span class='hs-conid'>W32</span> <span class='hs-varid'>wordWidth</span><span class='hs-layout'>)</span>
<a name="line-555"></a>
<a name="line-556"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>Float2DoubleOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_FF_Conv</span> <span class='hs-conid'>W32</span> <span class='hs-conid'>W64</span><span class='hs-layout'>)</span>
<a name="line-557"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>Double2FloatOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>MO_FF_Conv</span> <span class='hs-conid'>W64</span> <span class='hs-conid'>W32</span><span class='hs-layout'>)</span>
<a name="line-558"></a>
<a name="line-559"></a><span class='hs-comment'>-- Word comparisons masquerading as more exotic things.</span>
<a name="line-560"></a>
<a name="line-561"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>SameMutVarOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordEq</span>
<a name="line-562"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>SameMVarOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordEq</span>
<a name="line-563"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>SameMutableArrayOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordEq</span>
<a name="line-564"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>SameMutableByteArrayOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordEq</span>
<a name="line-565"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>SameTVarOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordEq</span>
<a name="line-566"></a><span class='hs-definition'>translateOp</span> <span class='hs-conid'>EqStablePtrOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>mo_wordEq</span>
<a name="line-567"></a>
<a name="line-568"></a><span class='hs-definition'>translateOp</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span>
<a name="line-569"></a>
<a name="line-570"></a><span class='hs-comment'>-- These primops are implemented by CallishMachOps, because they sometimes</span>
<a name="line-571"></a><span class='hs-comment'>-- turn into foreign calls depending on the backend.</span>
<a name="line-572"></a>
<a name="line-573"></a><a name="callishOp"></a><span class='hs-definition'>callishOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>PrimOp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>CallishMachOp</span>
<a name="line-574"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoublePowerOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Pwr</span>
<a name="line-575"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleSinOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Sin</span>
<a name="line-576"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleCosOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Cos</span>
<a name="line-577"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleTanOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Tan</span>
<a name="line-578"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleSinhOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Sinh</span>
<a name="line-579"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleCoshOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Cosh</span>
<a name="line-580"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleTanhOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Tanh</span>
<a name="line-581"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleAsinOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Asin</span>
<a name="line-582"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleAcosOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Acos</span>
<a name="line-583"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleAtanOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Atan</span>
<a name="line-584"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleLogOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Log</span>
<a name="line-585"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleExpOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Exp</span>
<a name="line-586"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>DoubleSqrtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F64_Sqrt</span>
<a name="line-587"></a>
<a name="line-588"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatPowerOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Pwr</span>
<a name="line-589"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatSinOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Sin</span>
<a name="line-590"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatCosOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Cos</span>
<a name="line-591"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatTanOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Tan</span>
<a name="line-592"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatSinhOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Sinh</span>
<a name="line-593"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatCoshOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Cosh</span>
<a name="line-594"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatTanhOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Tanh</span>
<a name="line-595"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatAsinOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Asin</span>
<a name="line-596"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatAcosOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Acos</span>
<a name="line-597"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatAtanOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Atan</span>
<a name="line-598"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatLogOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Log</span>
<a name="line-599"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatExpOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Exp</span>
<a name="line-600"></a><span class='hs-definition'>callishOp</span> <span class='hs-conid'>FloatSqrtOp</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>MO_F32_Sqrt</span>
<a name="line-601"></a>
<a name="line-602"></a><span class='hs-definition'>callishOp</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span>
<a name="line-603"></a>
<a name="line-604"></a><span class='hs-comment'>------------------------------------------------------------------------------</span>
<a name="line-605"></a><span class='hs-comment'>-- Helpers for translating various minor variants of array indexing.</span>
<a name="line-606"></a>
<a name="line-607"></a><a name="doIndexOffAddrOp"></a><span class='hs-definition'>doIndexOffAddrOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>MachOp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmType</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>LocalReg</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CmmExpr</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-608"></a><span class='hs-definition'>doIndexOffAddrOp</span> <span class='hs-varid'>maybe_post_read_cast</span> <span class='hs-varid'>rep</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>addr</span><span class='hs-layout'>,</span><span class='hs-varid'>idx</span><span class='hs-keyglyph'>]</span>
<a name="line-609"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkBasicIndexedRead</span> <span class='hs-num'>0</span> <span class='hs-varid'>maybe_post_read_cast</span> <span class='hs-varid'>rep</span> <span class='hs-varid'>res</span> <span class='hs-varid'>addr</span> <span class='hs-varid'>idx</span>
<a name="line-610"></a><span class='hs-definition'>doIndexOffAddrOp</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span>
<a name="line-611"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>panic</span> <span class='hs-str'>"CgPrimOp: doIndexOffAddrOp"</span>
<a name="line-612"></a>
<a name="line-613"></a><a name="doIndexByteArrayOp"></a><span class='hs-definition'>doIndexByteArrayOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>MachOp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmType</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>LocalReg</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CmmExpr</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-614"></a><span class='hs-definition'>doIndexByteArrayOp</span> <span class='hs-varid'>maybe_post_read_cast</span> <span class='hs-varid'>rep</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>addr</span><span class='hs-layout'>,</span><span class='hs-varid'>idx</span><span class='hs-keyglyph'>]</span>
<a name="line-615"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkBasicIndexedRead</span> <span class='hs-varid'>arrWordsHdrSize</span> <span class='hs-varid'>maybe_post_read_cast</span> <span class='hs-varid'>rep</span> <span class='hs-varid'>res</span> <span class='hs-varid'>addr</span> <span class='hs-varid'>idx</span>
<a name="line-616"></a><span class='hs-definition'>doIndexByteArrayOp</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span>
<a name="line-617"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>panic</span> <span class='hs-str'>"CgPrimOp: doIndexByteArrayOp"</span>
<a name="line-618"></a>
<a name="line-619"></a><a name="doReadPtrArrayOp"></a><span class='hs-definition'>doReadPtrArrayOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>LocalReg</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-620"></a><span class='hs-definition'>doReadPtrArrayOp</span> <span class='hs-varid'>res</span> <span class='hs-varid'>addr</span> <span class='hs-varid'>idx</span>
<a name="line-621"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkBasicIndexedRead</span> <span class='hs-varid'>arrPtrsHdrSize</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>gcWord</span> <span class='hs-varid'>res</span> <span class='hs-varid'>addr</span> <span class='hs-varid'>idx</span>
<a name="line-622"></a>
<a name="line-623"></a>
<a name="line-624"></a><a name="doWriteOffAddrOp"></a><span class='hs-definition'>doWriteOffAddrOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>MachOp</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>LocalReg</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CmmExpr</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-625"></a><span class='hs-definition'>doWriteOffAddrOp</span> <span class='hs-varid'>maybe_pre_write_cast</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>addr</span><span class='hs-layout'>,</span><span class='hs-varid'>idx</span><span class='hs-layout'>,</span><span class='hs-varid'>val</span><span class='hs-keyglyph'>]</span>
<a name="line-626"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkBasicIndexedWrite</span> <span class='hs-num'>0</span> <span class='hs-varid'>maybe_pre_write_cast</span> <span class='hs-varid'>addr</span> <span class='hs-varid'>idx</span> <span class='hs-varid'>val</span>
<a name="line-627"></a><span class='hs-definition'>doWriteOffAddrOp</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span>
<a name="line-628"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>panic</span> <span class='hs-str'>"CgPrimOp: doWriteOffAddrOp"</span>
<a name="line-629"></a>
<a name="line-630"></a><a name="doWriteByteArrayOp"></a><span class='hs-definition'>doWriteByteArrayOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>MachOp</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>LocalReg</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CmmExpr</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-631"></a><span class='hs-definition'>doWriteByteArrayOp</span> <span class='hs-varid'>maybe_pre_write_cast</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>addr</span><span class='hs-layout'>,</span><span class='hs-varid'>idx</span><span class='hs-layout'>,</span><span class='hs-varid'>val</span><span class='hs-keyglyph'>]</span>
<a name="line-632"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkBasicIndexedWrite</span> <span class='hs-varid'>arrWordsHdrSize</span> <span class='hs-varid'>maybe_pre_write_cast</span> <span class='hs-varid'>addr</span> <span class='hs-varid'>idx</span> <span class='hs-varid'>val</span>
<a name="line-633"></a><span class='hs-definition'>doWriteByteArrayOp</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span>
<a name="line-634"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>panic</span> <span class='hs-str'>"CgPrimOp: doWriteByteArrayOp"</span>
<a name="line-635"></a>
<a name="line-636"></a><a name="doWritePtrArrayOp"></a><span class='hs-definition'>doWritePtrArrayOp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-637"></a><span class='hs-definition'>doWritePtrArrayOp</span> <span class='hs-varid'>addr</span> <span class='hs-varid'>idx</span> <span class='hs-varid'>val</span>
<a name="line-638"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>mkBasicIndexedWrite</span> <span class='hs-varid'>arrPtrsHdrSize</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>addr</span> <span class='hs-varid'>idx</span> <span class='hs-varid'>val</span>
<a name="line-639"></a> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>setInfo</span> <span class='hs-varid'>addr</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLabel</span> <span class='hs-varid'>mkMAP_DIRTY_infoLabel</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-640"></a> <span class='hs-comment'>-- the write barrier. We must write a byte into the mark table:</span>
<a name="line-641"></a> <span class='hs-comment'>-- bits8[a + header_size + StgMutArrPtrs_size(a) + x >> N]</span>
<a name="line-642"></a> <span class='hs-varid'>emit</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mkStore</span> <span class='hs-layout'>(</span>
<a name="line-643"></a> <span class='hs-varid'>cmmOffsetExpr</span>
<a name="line-644"></a> <span class='hs-layout'>(</span><span class='hs-varid'>cmmOffsetExprW</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmOffsetB</span> <span class='hs-varid'>addr</span> <span class='hs-varid'>arrPtrsHdrSize</span><span class='hs-layout'>)</span>
<a name="line-645"></a> <span class='hs-layout'>(</span><span class='hs-varid'>loadArrPtrsSize</span> <span class='hs-varid'>addr</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-646"></a> <span class='hs-layout'>(</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>mo_wordUShr</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>idx</span><span class='hs-layout'>,</span>
<a name="line-647"></a> <span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkIntCLit</span> <span class='hs-varid'>mUT_ARR_PTRS_CARD_BITS</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-648"></a> <span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLit</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmInt</span> <span class='hs-num'>1</span> <span class='hs-conid'>W8</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-649"></a>
<a name="line-650"></a><a name="loadArrPtrsSize"></a><span class='hs-definition'>loadArrPtrsSize</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span>
<a name="line-651"></a><span class='hs-definition'>loadArrPtrsSize</span> <span class='hs-varid'>addr</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>CmmLoad</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmOffsetB</span> <span class='hs-varid'>addr</span> <span class='hs-varid'>off</span><span class='hs-layout'>)</span> <span class='hs-varid'>bWord</span>
<a name="line-652"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>off</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fixedHdrSize</span><span class='hs-varop'>*</span><span class='hs-varid'>wORD_SIZE</span> <span class='hs-varop'>+</span> <span class='hs-varid'>oFFSET_StgMutArrPtrs_ptrs</span>
<a name="line-653"></a>
<a name="line-654"></a><a name="mkBasicIndexedRead"></a><span class='hs-definition'>mkBasicIndexedRead</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ByteOff</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>MachOp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmType</span>
<a name="line-655"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>LocalReg</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-656"></a><span class='hs-definition'>mkBasicIndexedRead</span> <span class='hs-varid'>off</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>read_rep</span> <span class='hs-varid'>res</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span>
<a name="line-657"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmLoadIndexOffExpr</span> <span class='hs-varid'>off</span> <span class='hs-varid'>read_rep</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-658"></a><span class='hs-definition'>mkBasicIndexedRead</span> <span class='hs-varid'>off</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>cast</span><span class='hs-layout'>)</span> <span class='hs-varid'>read_rep</span> <span class='hs-varid'>res</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span>
<a name="line-659"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkAssign</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmLocal</span> <span class='hs-varid'>res</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>cast</span> <span class='hs-keyglyph'>[</span>
<a name="line-660"></a> <span class='hs-varid'>cmmLoadIndexOffExpr</span> <span class='hs-varid'>off</span> <span class='hs-varid'>read_rep</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-661"></a>
<a name="line-662"></a><a name="mkBasicIndexedWrite"></a><span class='hs-definition'>mkBasicIndexedWrite</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ByteOff</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>MachOp</span>
<a name="line-663"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>FCode</span> <span class='hs-conid'>()</span>
<a name="line-664"></a><span class='hs-definition'>mkBasicIndexedWrite</span> <span class='hs-varid'>off</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span> <span class='hs-varid'>val</span>
<a name="line-665"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>emit</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkStore</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmIndexOffExpr</span> <span class='hs-varid'>off</span> <span class='hs-layout'>(</span><span class='hs-varid'>typeWidth</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmExprType</span> <span class='hs-varid'>val</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span><span class='hs-layout'>)</span> <span class='hs-varid'>val</span><span class='hs-layout'>)</span>
<a name="line-666"></a><span class='hs-definition'>mkBasicIndexedWrite</span> <span class='hs-varid'>off</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>cast</span><span class='hs-layout'>)</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span> <span class='hs-varid'>val</span>
<a name="line-667"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkBasicIndexedWrite</span> <span class='hs-varid'>off</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span> <span class='hs-layout'>(</span><span class='hs-conid'>CmmMachOp</span> <span class='hs-varid'>cast</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>val</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-668"></a>
<a name="line-669"></a><span class='hs-comment'>-- ----------------------------------------------------------------------------</span>
<a name="line-670"></a><span class='hs-comment'>-- Misc utils</span>
<a name="line-671"></a>
<a name="line-672"></a><a name="cmmIndexOffExpr"></a><span class='hs-definition'>cmmIndexOffExpr</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ByteOff</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Width</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span>
<a name="line-673"></a><span class='hs-definition'>cmmIndexOffExpr</span> <span class='hs-varid'>off</span> <span class='hs-varid'>width</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span>
<a name="line-674"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>cmmIndexExpr</span> <span class='hs-varid'>width</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmOffsetB</span> <span class='hs-varid'>base</span> <span class='hs-varid'>off</span><span class='hs-layout'>)</span> <span class='hs-varid'>idx</span>
<a name="line-675"></a>
<a name="line-676"></a><a name="cmmLoadIndexOffExpr"></a><span class='hs-definition'>cmmLoadIndexOffExpr</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ByteOff</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmType</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span>
<a name="line-677"></a><span class='hs-definition'>cmmLoadIndexOffExpr</span> <span class='hs-varid'>off</span> <span class='hs-varid'>ty</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span>
<a name="line-678"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>CmmLoad</span> <span class='hs-layout'>(</span><span class='hs-varid'>cmmIndexOffExpr</span> <span class='hs-varid'>off</span> <span class='hs-layout'>(</span><span class='hs-varid'>typeWidth</span> <span class='hs-varid'>ty</span><span class='hs-layout'>)</span> <span class='hs-varid'>base</span> <span class='hs-varid'>idx</span><span class='hs-layout'>)</span> <span class='hs-varid'>ty</span>
<a name="line-679"></a>
<a name="line-680"></a><a name="setInfo"></a><span class='hs-definition'>setInfo</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmExpr</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CmmAGraph</span>
<a name="line-681"></a><span class='hs-definition'>setInfo</span> <span class='hs-varid'>closure_ptr</span> <span class='hs-varid'>info_ptr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkStore</span> <span class='hs-varid'>closure_ptr</span> <span class='hs-varid'>info_ptr</span>
<a name="line-682"></a>
</pre></body>
</html>
