Предположим, у нас есть функция с именем hello.world, которая содержит два BasicBlock bb.1 и bb.2, например:
hello.world
bb.1
bb.2
i32 @hello.world(i32 %x) bb.1: %a = i32 %x bb.2: %b = i32 %a ret i32 %b
Является ли переменная %a в bb.1 видимой для %b в bb.2?
%a
%b
Ваш код недействителен, потому что bb.1 не заканчивается инструкцией-терминатором. Заканчивайте его на br label %bb.2, и ответ будет положительным. *
br label %bb.2