https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65416
--- Comment #1 from jcmvbkbc at gcc dot gnu.org ---
It's ok up to sched2 pass, but sched2 does the following to it:
;; ======================================================
;; -- basic block 62 from 252 to 295 -- after reload
;; ======================================================
;; 0--> b 0: i 253 a3=[`*.LC13'] :nothing
;; 1--> b 0: i 252 a10=a2 :nothing
;; 2--> b 0: i 254 a10=call [a3] :nothing
;; 3--> b 0: i 257 a11=[`*.LC22'] :nothing
;; 4--> b 0: i 259 a3=[`*.LC13'] :nothing
;; 5--> b 0: i 258 a10=a2 :nothing
;; 6--> b 0: i 260 a10=call [a3] :nothing
;; 7--> b 0: i 261 a11=[a7+0x4] :nothing
;; 8--> b 0: i 262 a10=a2 :nothing
;; 9--> b 0: i 264 a10=call [a3] :nothing
;; 10--> b 0: i 265 a3=sp-0x20 :nothing
;; 11--> b 0: i 271 a4=[`*.LC23'] :nothing
;; 12--> b 0: i 276 [a3+0x8]=a2 :nothing
;; 13--> b 0: i 277 a2=0 :nothing
;; 14--> b 0: i 278 [a3+0xc]=a2 :nothing
;; 15--> b 0: i 279 a2=[`*.LC26'] :nothing
;; 16--> b 0: i 272 [a4]=a3 :nothing
;; 17--> b 0: i 626 a4=[a7] :nothing
;; 18--> b 0: i 280 a2=[a2] :nothing
;; 19--> b 0: i 273 [a3]=a4 :nothing
;; 20--> b 0: i 274 a4=[`*.LC25'] :nothing
;; 21--> b 0: i 627 [a7+0x14]=a2 :nothing
;; 22--> b 0: i 281 a10=[a7+0x18] :nothing
;; 23--> b 0: i 282 a2=[`*.LC27'] :nothing
;; 24--> b 0: i 625 sp=a3 :nothing
;; 25--> b 0: i 275 [a3+0x4]=a4 :nothing
;; 26--> b 0: i 283 call [a2] :nothing
;; 27--> b 0: i 285 a2=[`*.LC28'] :nothing
;; 29--> b 0: i 286 a10=[a2] :nothing
;; 30--> b 0: i 287 a2=[`*.LC29'] :nothing
;; 32--> b 0: i 288 call [a2] :nothing
;; 33--> b 0: i 290 a3=[`*.LC30'] :nothing
;; 35--> b 0: i 291 a10=[a3] :nothing
;; 37--> b 0: i 293 call [a2] :nothing
;; 38--> b 0: i 628 a2=[a7+0x10] :nothing
;; 39--> b 0: i 302 a10=[`*.LC31'] :nothing
;; 40--> b 0: i 295 pc={(a2==0)?L657:pc} :nothing
;; Ready list (final):
;; total time = 40
;; new head = 253
;; new tail = 295
