re PR rtl-optimization/11320 (Scheduler bug)