예 를 들 어 , 가드 코드 가 '< q > A ' 일 경우 < q > 는 가드 이 고 A 는 인스트 럭 션 을 나타낸다 . 이 때 , 가드 코드 '< q > A ' 는 ' q ' 가 참인 경우 에 만 인스트 럭 션 A 를 실행 하 게 된다 . q 가 거짓 이 라면 인스트 럭 션 A 는 실행 되 지 않 는다 . 즉 , 이프 컨 버 젼 은 인스트 럭 션 을 실행 하 기 에 앞서 가드 가 참 인지 를 판단 하 고 , 가드 가 참인 경우 에 만 인스트 럭 션 을 실행 하 게 한다 .