explicit branch promotion