# File Sode.tmp.rb, line 1137
def emit_div(no,operand1,operand2)
  $outfile4.puts "# emit div $eq_no = #{$eq_no}"
  $outfile4.puts "pr = " + $eq_rec[$eq_no].priority.to_s
  $outfile4.puts "k2 =  k - pr "
  $outfile4.puts no + "[k2] = ((" + operand1 + "[k2] - ats(k2," + operand2 + "," + no + ",2))/" + operand2 + "[1])"
  return
end