А что генерит компилятор? Поставьте точку на s1:=, запустите и нажмите ALT+CTRL+C.
Вот для 32бит:
Project1.dpr.9: s1:='00000000';
0045E31A B86C9B4600 mov eax,$00469b6c
0045E31F BAA0E34500 mov edx,$0045e3a0
0045E324 E80F6AFAFF call @LStrAsg
Project1.dpr.10: s2:='00000000';
0045E329 B8709B4600 mov eax,$00469b70
0045E32E BAA0E34500 mov edx,$0045e3a0
0045E333 E8006AFAFF call @LStrAsg
Project1.dpr.11: if s1=s2 then
0045E338 A16C9B4600 mov eax,[$00469b6c]
0045E33D 8B15709B4600 mov edx,[$00469b70]
0045E343 E8A06DFAFF call @LStrCmp
0045E348 751B jnz $0045e365