Pushing basic block pass updates