Implement branch instructions.