/* { dg-do compile } */
/* { dg-options "-march=armv7e-m -mfloat-abi=hard -mfpu=fpv5-d16" } */

double __RTL (startwith ("mach")) foo (void)
{
(function "foo"
  (insn-chain
    (cnote 1 NOTE_INSN_DELETED)
    (cnote 3 [bb 2] NOTE_INSN_BASIC_BLOCK)
    (cinsn/f 16 (parallel [
                    (set (mem/c:BLK (pre_modify:SI (reg/f:SI sp)
                                (plus:SI (reg/f:SI sp)
                                    (const_int -8))) [1  A8])
                        (unspec:BLK [
                                (reg:SI r4)
                            ] UNSPEC_PUSH_MULT))
                    (use (reg/f:SI r7))
                ]) "foo.c":2
             (expr_list:REG_FRAME_RELATED_EXPR (sequence [
                        (set/f (reg/f:SI sp)
                            (plus:SI (reg/f:SI sp)
                                (const_int -8)))
                        (set/f (mem/c:SI (reg/f:SI sp) [1  S4 A32])
                            (reg:SI r4))
                        (set/f (mem/c:SI (plus:SI (reg/f:SI sp)
                                    (const_int 4)) [1  S4 A32])
                            (reg/f:SI r7))
                    ])))
    (cinsn/f 17 (set (reg/f:SI r7)
                (plus:SI (reg/f:SI sp)
                    (const_int 0))) "foo.c":2)
    (cnote 18 NOTE_INSN_PROLOGUE_END)
    (cnote 2 NOTE_INSN_FUNCTION_BEG)
    (cinsn 5 (set (reg:DF r3 [orig:110 _1 ] [110])
                (const_double:DF 1.0e+0 [0x0.8p+1])) "foo.c":3)
    (cinsn 8 (set (reg:DF s14 [orig:111 <retval> ] [111])
                (reg:DF r3 [orig:110 _1 ] [110])) "foo.c":3)
    (cinsn 12 (set (reg/i:DF s0)
                (reg:DF s14 [orig:111 <retval> ] [111])) "foo.c":4)
    (cinsn 13 (use (reg/i:DF s0)) "foo.c":4)
    (cnote 19 NOTE_INSN_EPILOGUE_BEG)
    (cinsn 20 (unspec_volatile [
                    (const_int 0)
                ] VUNSPEC_BLOCKAGE) "foo.c":4)
    (cinsn/f 21 (set (reg/f:SI sp)
                (reg/f:SI r7)) "foo.c":4
             (expr_list:REG_CFA_ADJUST_CFA (set (reg/f:SI sp)
                    (reg/f:SI r7))))
    (cinsn 22 (unspec:SI [
                    (reg/f:SI sp)
                ] UNSPEC_REGISTER_USE) "foo.c":4)
    (cinsn/f 23 (parallel [
                    (set/f (reg/f:SI sp)
                        (plus:SI (reg/f:SI sp)
                            (const_int 8)))
                    (set/f (reg:SI r4)
                        (mem/c:SI (reg/f:SI sp) [1  S4 A32]))
                    (set/f (reg/f:SI r7)
                        (mem/c:SI (plus:SI (reg/f:SI sp)
                                (const_int 4)) [1  S4 A32]))
                ]) "foo.c":4
             (expr_list:REG_CFA_ADJUST_CFA (set (reg/f:SI sp)
                    (plus:SI (reg/f:SI sp)
                        (const_int 8)))
                (expr_list:REG_CFA_RESTORE (reg/f:SI r7)
                    (expr_list:REG_CFA_RESTORE (reg:SI r4)))))
    (cjump_insn 24 (simple_return) "foo.c":4)
    (cbarrier 25)
    (cnote 15 NOTE_INSN_DELETED)
  ) ;; insn-chain
  (crtl
    (return_rtx 
      (reg/i:DF s0)
    ) ;; return_rtx
  ) ;; crtl
) ;; function "foo"
}