+ | munch_cond (T.BINOP(T.GT, T.TEMP t, T.CONST n)) = ([X.CMP(X.TEMP t, X.CONST n)], X.G, X.LE)
+ | munch_cond (T.BINOP(T.GT, T.CONST n, T.TEMP t)) = ([X.CMP(X.TEMP t, X.CONST n)], X.L, X.GE)
+ | munch_cond (T.BINOP(T.GT, e1, T.CONST n)) =
+ let val t = X.TEMP (Temp.new ("const gt") 4) in (munch_exp t e1 @ [X.CMP(t, X.CONST n)], X.G, X.LE) end
+ | munch_cond (T.BINOP(T.GT, T.CONST n, e1)) =
+ let val t = X.TEMP (Temp.new ("const gt") 4) in (munch_exp t e1 @ [X.CMP(t, X.CONST n)], X.L, X.GE) end
+ | munch_cond (T.BINOP(T.GT, e1, T.TEMP t)) =
+ let val t1 = X.TEMP (Temp.new ("const gt") 4) in (munch_exp t1 e1 @ [X.CMP(t1, X.TEMP t)], X.G, X.LE) end
+ | munch_cond (T.BINOP(T.GT, T.TEMP t, e1)) =
+ let val t1 = X.TEMP (Temp.new ("const gt") 4) in (munch_exp t1 e1 @ [X.CMP(t1, X.TEMP t)], X.L, X.GE) end
+ | munch_cond (T.BINOP(T.GT, e1, e2)) =
+ let
+ val t1 = X.TEMP (Temp.new ("var gt 1") 4)
+ val t2 = X.TEMP (Temp.new ("var gt 2") 4)
+ in
+ (munch_exp t1 e1 @ munch_exp t2 e2 @
+ [X.CMP(t1, t2)], X.G, X.LE)
+ end
+ | munch_cond (T.BINOP(T.GE, T.TEMP t, T.CONST n)) = ([X.CMP(X.TEMP t, X.CONST n)], X.GE, X.L)
+ | munch_cond (T.BINOP(T.GE, T.CONST n, T.TEMP t)) = ([X.CMP(X.TEMP t, X.CONST n)], X.LE, X.G)
+ | munch_cond (T.BINOP(T.GE, e1, T.CONST n)) =
+ let val t = X.TEMP (Temp.new ("const ge") 4) in (munch_exp t e1 @ [X.CMP(t, X.CONST n)], X.GE, X.L) end
+ | munch_cond (T.BINOP(T.GE, T.CONST n, e1)) =
+ let val t = X.TEMP (Temp.new ("const ge") 4) in (munch_exp t e1 @ [X.CMP(t, X.CONST n)], X.LE, X.G) end
+ | munch_cond (T.BINOP(T.GE, e1, T.TEMP t)) =
+ let val t1 = X.TEMP (Temp.new ("const ge") 4) in (munch_exp t1 e1 @ [X.CMP(t1, X.TEMP t)], X.GE, X.L) end
+ | munch_cond (T.BINOP(T.GE, T.TEMP t, e1)) =
+ let val t1 = X.TEMP (Temp.new ("const ge") 4) in (munch_exp t1 e1 @ [X.CMP(t1, X.TEMP t)], X.LE, X.G) end
+ | munch_cond (T.BINOP(T.GE, e1, e2)) =
+ let
+ val t1 = X.TEMP (Temp.new ("var ge 1") 4)
+ val t2 = X.TEMP (Temp.new ("var ge 2") 4)
+ in
+ (munch_exp t1 e1 @ munch_exp t2 e2 @
+ [X.CMP(t1, t2)], X.GE, X.L)
+ end
+ | munch_cond (T.BINOP(T.LOGOR, e1, e2)) =
+ let
+ val (insn1, pos1, neg1) = munch_cond e1
+ val (insn2, pos2, neg2) = munch_cond e2
+ val t1 = X.TEMP (Temp.new("logor c 1") 4)
+ val t2 = X.TEMP (Temp.new("logor c 2") 4)
+ val l = Label.new ()
+ in
+ if (effect e2 orelse (length insn2 > 10))
+ then ((insn1) @
+ [X.SETcc (pos1, t1), X.Jcc (pos1, l)] @
+ (insn2) @
+ [X.SETcc (pos2, t1), X.LABEL l, X.TEST(X.OSIZE (X.Byte, t1), X.OSIZE (X.Byte, t1))],
+ X.NE, X.E)
+ else (insn1 @ [X.SETcc (pos1, t1)] @ insn2 @ [X.SETcc (pos2, t2), X.OR(X.OSIZE (X.Byte, t1), X.OSIZE (X.Byte, t2))], X.NE, X.E)
+ end
+ | munch_cond (T.BINOP(T.LOGAND, e1, e2)) =
+ let
+ val (insn1, pos1, neg1) = munch_cond e1
+ val (insn2, pos2, neg2) = munch_cond e2
+ val t1 = X.TEMP (Temp.new("logand c 1") 4)
+ val t2 = X.TEMP (Temp.new("logand c 2") 4)
+ val l = Label.new ()
+ in
+ if (effect e2 orelse (length insn2 > 10))
+ then ((insn1) @
+ [X.SETcc (pos1, t1), X.Jcc (neg1, l)] @
+ (insn2) @
+ [X.SETcc (pos2, t1), X.LABEL l, X.TEST(X.OSIZE (X.Byte, t1), X.OSIZE (X.Byte, t1))],
+ X.NE, X.E)
+ else (insn1 @ [X.SETcc (pos1, t1)] @ insn2 @ [X.SETcc (pos2, t2), X.AND(X.OSIZE (X.Byte, t1), X.OSIZE (X.Byte, t2))], X.NE, X.E)
+ end
+ | munch_cond e =
+ let
+ val t = X.TEMP (Temp.new ("munch c") 4)
+ in
+ (munch_exp t e @ [ X.TEST (t,t) ], X.NE, X.E)
+ end
+
+ (* munch_lval : T.exp -> (X.insn list * X.operand)
+ * Takes an expression that has been typechecked as being a valid lvalue, and then returns an instruction list and an operand to store your shit in.
+ *)
+ fun munch_lval (T.TEMP t) = ([], X.TEMP t)
+ | munch_lval (T.MEMORY m) =
+ let
+ val t = Temp.new "lv addr" 8
+ in
+ (munch_exp (X.TEMP t) m, X.REL (X.TEMP t, X.CONST 0w0))
+ end
+ | munch_lval _ = raise ErrorMsg.InternalError "That wasn't really a valid lvalue..."