tree 025d36eed0a43d5612edb64bfb3c4b3b97549e2a
parent f44da0701a90dc7658ef1ef8e10de66288264bcf
author Christoffer Quist Adamsen <christofferqa@google.com> 1578922333 +0100
committer Christoffer Quist Adamsen <christofferqa@google.com> 1578983025 +0000

Always insert Assume instructions after inlining

Change-Id: Ibf5f983df64bd327d5f5f4ab30c27e91e5f014bd