[libre-riscv-dev] daily kan-ban update 06may2020

[Luke Kenneth Casson Leighton]

btw at some point, michael, we need to stop using the "standard"
python operators and use explicit functions.

oh.  this is another way to fix it.  add functions eq, gt, ge to
globals, and get the codegenerato to do this instead:

  BO[2] | (eq(CTR[M:64],0)) ^ BO[3]

then, eq() can return a SelectableInt(x, bits=1) without having that
duplicated everywhere.

l.