# File Sode.tmp.rb, line 1045
def emit_add(no,operand1,operand2)
  $outfile4.puts "# emit add $eq_no = #{$eq_no}"
  $outfile4.puts "pr = " + $eq_rec[$eq_no].priority.to_s
  $outfile4.puts "k2 =  k - pr "
  $outfile4.puts no.to_s + "[k2] = (" + operand1 + "[k2]+(" + operand2 + "[k2]))"
  return
end