Если код, как приведённый - ошибка - дубль метки, потому как L1$ - это отнюдь не локальная метка

Если правильная локальная метка, возможны три сценарии.
- ошибка - дубль метки
- ошибка - метка не определена
- нет ошибки - переход на одну из меток

Ищем в документации и читаем про понятие - блок локальных меток