266 |
of IL.STATE x => bindSimple (env, lhs, T.E_State(getStateVar x)) |
of IL.STATE x => bindSimple (env, lhs, T.E_State(getStateVar x)) |
267 |
| IL.VAR x => bindSimple (env, lhs, useVar env x) |
| IL.VAR x => bindSimple (env, lhs, useVar env x) |
268 |
| IL.LIT lit => bindSimple (env, lhs, T.E_Lit lit) |
| IL.LIT lit => bindSimple (env, lhs, T.E_Lit lit) |
|
(* DEPRECATED |
|
|
| IL.OP(Op.LoadImage info, [a]) => let |
|
|
val (env, t) = doLHS() |
|
|
in |
|
|
(env, [T.S_LoadImage(t, ImageInfo.dim info, useVar env a)]) |
|
|
end |
|
|
*) |
|
269 |
| IL.OP(Op.Input(InP.INP{ty=Ty.DynSeqTy _, name, desc, init}), []) => let |
| IL.OP(Op.Input(InP.INP{ty=Ty.DynSeqTy _, name, desc, init}), []) => let |
270 |
val (env, t) = doLHS() |
val (env, t) = doLHS() |
271 |
in |
in |
295 |
in |
in |
296 |
(env, stms@[T.S_Input(t, name, desc, SOME exp)]) |
(env, stms@[T.S_Input(t, name, desc, SOME exp)]) |
297 |
end |
end |
|
(* |
|
|
| IL.OP(Op.InputWithDefault(ty, name, desc), [a]) => let |
|
|
val (env, t) = doLHS() |
|
|
in |
|
|
(env, [T.S_Input(t, name, desc, SOME(useVar env a))]) |
|
|
end |
|
|
| IL.OP(Op.InputNrrd(ty, name, desc), []) => let |
|
|
val (env, t) = doLHS() |
|
|
val stm = (case ty |
|
|
of Ty.ImageTy imgInfo => T.S_InputImage(t, name, desc, NONE) |
|
|
| Ty.DynSeqTy _ => T.S_InputSeq(t, name, desc, NONE) |
|
|
| _ => raise Fail "bogus type for InputNrrd" |
|
|
(* end case *)) |
|
|
in |
|
|
(env, [stm]) |
|
|
end |
|
|
| IL.OP(Op.InputNrrdWithDefault(ty, name, desc, nrrdName), []) => let |
|
|
val (env, t) = doLHS() |
|
|
val stm = (case ty |
|
|
of Ty.ImageTy imgInfo => T.S_InputImage(t, name, desc, SOME nrrdName) |
|
|
| Ty.DynSeqTy _ => T.S_InputSeq(t, name, desc, SOME nrrdName) |
|
|
| _ => raise Fail "bogus type for InputNrrdWithDefault" |
|
|
(* end case *)) |
|
|
in |
|
|
(env, [stm]) |
|
|
end |
|
|
*) |
|
298 |
| IL.OP(rator, args) => let |
| IL.OP(rator, args) => let |
299 |
val exp = T.E_Op(rator, List.map (useVar env) args) |
val exp = T.E_Op(rator, List.map (useVar env) args) |
300 |
in |
in |