MLCompiler/CodeTree/CODETREE_SIMPLIFIER.sml

142     fun simplify(c, s) = mapCodetree (simpGeneral s) c
190             val optCont = simplify(container, context)
214                 simplify(mkEnv(List.map (Declar o #1) arguments, loop), context)
239                         ({addr = newAddr, value = simplify(value, context), use = use }, typ)
245                 val beginBody = simplify(loop, context)
288                     val beginBody = simplify(changeLoops loop, context)
301             case simplify(test, context) of
446             val expBody = simplify(exp, context)
449             val handleBody = simplify(handler, context)
509             split(simplify(c, s), tailDecs)
720                     simplify (body,
856                 val copiedArgs = map (fn (arg, argType) => (simplify(arg, context), argType)) argList
865                 val copiedArgs = map (fn (arg, argType) => (simplify(arg, context), argType)) argList
1108             (Arbitrary{oper=ArbCompare TestEqual, shortCond=genCond, arg1=genArg1, arg2=genArg2, longCall=simplify(longCall, context)}, decArgs, EnvSpecNone)
1126                     (Binary{oper=WordComparison{test=test, isSigned=true}, arg1=simplify(longCall, context), arg2=CodeZero},
1169         |   _ => (Arbitrary{oper=ArbCompare test, shortCond=genCond, arg1=genArg1, arg2=genArg2, longCall=simplify(longCall, context)}, decArgs, EnvSpecNone)
1182                 (simplify(longCall, context), decArgs, EnvSpecNone)
1184                 (Arbitrary{oper=ArbArith arith, shortCond=genCond, arg1=genArg1, arg2=genArg2, longCall=simplify(longCall, context)}, decArgs, EnvSpecNone)
1185         |   _ => (Arbitrary{oper=ArbArith arith, shortCond=genCond, arg1=genArg1, arg2=genArg2, longCall=simplify(longCall, context)}, decArgs, EnvSpecNone)
1388                                 it.  If we're in a nested andalso/orelse that may mean we can simplify