FloatingPointTest.dpr.11: begin
0000000000471830 55               push   rbp
0000000000471831 4889E5           mov    rbp,rsp
0000000000471834 48B8000000000000F83F movabs rax,0x3ff8000000000000
FloatingPointTest.dpr.12: Result := 1.5;
000000000047183E 488945F8         mov    QWORD PTR [rbp-0x8],rax
FloatingPointTest.dpr.13: end;
0000000000471842 F20F1045F8       movsd  xmm0,QWORD PTR [rbp-0x8]
0000000000471847 5D               pop    rbp
0000000000471848 C3               ret    
0000000000471849 0F1F8000000000   nop    DWORD PTR [rax+0x0]
FloatingPointTest.dpr.16: begin
0000000000471850 55               push   rbp
0000000000471851 4889E5           mov    rbp,rsp
0000000000471854 48B80000000000000440 movabs rax,0x4004000000000000
FloatingPointTest.dpr.17: Result := 2.5;
000000000047185E 488945F8         mov    QWORD PTR [rbp-0x8],rax
FloatingPointTest.dpr.18: end;
0000000000471862 F20F1045F8       movsd  xmm0,QWORD PTR [rbp-0x8]
0000000000471867 5D               pop    rbp
0000000000471868 C3               ret    
0000000000471869 0F1F8000000000   nop    DWORD PTR [rax+0x0]
FloatingPointTest.dpr.23: begin
0000000000471870 55               push   rbp
0000000000471871 4889E5           mov    rbp,rsp
0000000000471874 4883EC40         sub    rsp,0x40
0000000000471878 488D0519230600   lea    rax,[rip+0x62319]        # 0x4d3b98 <System.Output>
FloatingPointTest.dpr.24: a := InitA;
000000000047187F 488945E0         mov    QWORD PTR [rbp-0x20],rax
0000000000471883 E8A8FFFFFF       call   0x471830 <Floatingpointtest.InitA()>
0000000000471888 F20F1145F8       movsd  QWORD PTR [rbp-0x8],xmm0
FloatingPointTest.dpr.25: b := InitB;
000000000047188D E8BEFFFFFF       call   0x471850 <Floatingpointtest.InitB()>
0000000000471892 F20F1145F0       movsd  QWORD PTR [rbp-0x10],xmm0
FloatingPointTest.dpr.26: c := a * b;
0000000000471897 DD45F0           fld    QWORD PTR [rbp-0x10]
000000000047189A DD45F8           fld    QWORD PTR [rbp-0x8]
000000000047189D DEC9             fmulp  st(1),st
000000000047189F DD5DE8           fstp   QWORD PTR [rbp-0x18]
FloatingPointTest.dpr.27: writeln(c);
00000000004718A2 DD45E8           fld    QWORD PTR [rbp-0x18]
00000000004718A5 4889E0           mov    rax,rsp
00000000004718A8 DB38             fstp   TBYTE PTR [rax]
00000000004718AA 488D3DE7220600   lea    rdi,[rip+0x622e7]        # 0x4d3b98 <System.Output>
00000000004718B1 E85A0CFBFF       call   0x422510 <System._Write0Ext(System.TTextRec&, long double)>
00000000004718B6 4889C7           mov    rdi,rax
00000000004718B9 E8920CFBFF       call   0x422550 <System._WriteLn(System.TTextRec&)>
00000000004718BE 488945D8         mov    QWORD PTR [rbp-0x28],rax
00000000004718C2 E8D99DFAFF       call   0x41b6a0 <System.__IOTest()>
FloatingPointTest.dpr.28: end;
00000000004718C7 4883C440         add    rsp,0x40