[IR][Textual] adding test to exercise the return instruction
[IR][Textual] adding test to exercise the return instruction

Summary: We do not properly translate the `ret` instruction. This is shown by the following test. We will fix that in a next diff.

Reviewed By: artempyanykh

Differential Revision: D39653486

fbshipit-source-id: 5fa031d62ba7c9f30f852d2620e4f07a4c94c609

facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer