Commit 604121df authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Layout and comments only

parent e6b0189e
......@@ -121,11 +121,8 @@ cgExpr (StgOpApp (StgFCallOp fcall _) stg_args res_ty) = do
| (stg_arg, (rep,expr)) <- stg_args `zip` reps_n_amodes,
nonVoidArg rep]
-- in
arg_tmps <- mapM assignTemp arg_exprs
let
arg_hints = zip arg_tmps (map (typeHint.stgArgType) stg_args)
-- in
let arg_hints = zip arg_tmps (map (typeHint.stgArgType) stg_args)
{-
Now, allocate some result regs.
-}
......
......@@ -16,7 +16,6 @@ import CoreUtils ( rhsIsStatic, manifestArity, exprType, findDefault )
import StgSyn
import Type
import Coercion ( mkUnsafeCoercion )
import TyCon ( isAlgTyCon )
import Id
import Var ( Var, globalIdDetails, idType )
......@@ -505,8 +504,8 @@ coreToStgApp maybe_thunk_body f args
res_ty = exprType (mkApps (Var f) args)
app = case globalIdDetails f of
DataConWorkId dc | saturated -> StgConApp dc args'
PrimOpId op -> ASSERT( saturated )
StgOpApp (StgPrimOp op) args' res_ty
PrimOpId op -> ASSERT( saturated )
StgOpApp (StgPrimOp op) args' res_ty
FCallId call -> ASSERT( saturated )
StgOpApp (StgFCallOp call (idUnique f)) args' res_ty
_other -> StgApp f args'
......
......@@ -173,8 +173,9 @@ constructors, primitives, and literals.
| StgOpApp StgOp -- Primitive op or foreign call
[GenStgArg occ] -- Saturated
Type -- Result type; we need to know the result type
-- so that we can assign result registers.
Type -- Result type
-- We need to know this so that we can
-- assign result registers
\end{code}
%************************************************************************
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment