Merge remote-tracking branch 'origin/master' into xc7dsp

diff --cc CHANGELOG
index c30f45b37922b8c30d5c48bd5071e460d7e85421,0adf1e813fa27c36f5c1f9129abf3825106687c3..481f33a6c4c76479d87d2278f5dff2ef28cdeec2
--- 1/CHANGELOG
--- 2/CHANGELOG
+++ b/CHANGELOG
@@@ -41,12 -41,8 +41,14 @@@ Yosys 0.9 .. Yosys 0.9-de
      - Removed "shregmap -tech xilinx" (superseded by "xilinx_srl")
      - Added "_TECHMAP_WIREINIT_*_" attribute and "_TECHMAP_REMOVEINIT_*_" wire for "techmap" pass
      - Added "-match-init" option to "dff2dffs" pass
+     - Added "techmap_autopurge" support to techmap
+     - Added "add -mod <modname[s]>"
 +    - Added +/mul2dsp.v for decomposing wide multipliers to custom-sized ones
 +    - Added "ice40_dsp" for Lattice iCE40 DSP packing
 +    - Added "xilinx_dsp" for Xilinx DSP packing
 +    - "synth_xilinx" to now infer DSP blocks (-nodsp to disable)
 +    - "synth_ecp5" to now infer DSP blocks (-nodsp to disable, experimental)
 +    - "synth_ice40 -dsp" to infer DSP blocks
  
  Yosys 0.8 .. Yosys 0.9
  ----------------------