62 |
then [(lhs, IL.OP(HighOps.Subscript(IL.Var.ty x), x::indices))] |
then [(lhs, IL.OP(HighOps.Subscript(IL.Var.ty x), x::indices))] |
63 |
else [(lhs, IL.OP(HighOps.Slice(IL.Var.ty lhs, mask), x::indices))] |
else [(lhs, IL.OP(HighOps.Slice(IL.Var.ty lhs, mask), x::indices))] |
64 |
end |
end |
65 |
| S.E_Input(_, name, NONE) => [(lhs, IL.OP(HighOps.Input name, []))] |
| S.E_Input(_, name, NONE) => |
66 |
|
[(lhs, IL.OP(HighOps.Input(IL.Var.ty lhs, name), []))] |
67 |
| S.E_Input(_, name, SOME dflt) => |
| S.E_Input(_, name, SOME dflt) => |
68 |
[(lhs, IL.OP(HighOps.InputWithDefault name, [lookup env dflt]))] |
[(lhs, IL.OP(HighOps.InputWithDefault(IL.Var.ty lhs, name), [lookup env dflt]))] |
69 |
| S.E_Field fld => [(lhs, IL.OP(HighOps.Field fld, []))] |
| S.E_Field fld => [(lhs, IL.OP(HighOps.Field fld, []))] |
70 |
| S.E_LoadImage info => [(lhs, IL.OP(HighOps.LoadImage info, []))] |
| S.E_LoadImage info => [(lhs, IL.OP(HighOps.LoadImage info, []))] |
71 |
(* end case *)) |
(* end case *)) |