Fix arm sem

Fix cf computation
Fix regression tests in consequence