+
+(*failwith ("NOT IMPLEMENTED: " ^ __MODULE__ ^ ".exp")*)
+
+let exp ~access ~pointer =
+ match access with
+ | InReg {register} ->
+ T.TEMP register
+ | InFrame {offset_from_frame_pointer} ->
+ T.MEM (T.BINOP (T.PLUS, pointer, T.CONST offset_from_frame_pointer))