недействительные индексы getelementptr

Question

Я получаю "недействительные индексы getelementptr" на последней строке этого LLVM ИК-кода:

%alc = alloca %mytype* 
store %mytype* %obj, %mytype** %alc 
%ldc = load %mytype** %alc 
%gcs = getelementptr inbounds %mytype* %ldc, i32 0, i32 1 

где MyType определяется следующим образом:

%mytype = type {i32, %tp1**, %tp1} 

У меня есть еще один аналогичный тип, который индексирует его, не вызывает вышеуказанную ошибку и определяется как:

%mytype2 = type {i32, i16*, %tp1} 

Любая помощь для решить эту проблему будет оценено.

Answer 1

Ошибка вызвана тем, что %mytype не определяет действительный тип. Обычно LLVM сообщает об ошибке самого типа, но если определение типа появляется позже, чем использование getelementptr (GEP), тогда вы получите только ошибку GEP, а не тип.

Если вы переместите определение %mytype, чтобы появиться перед GEP в ИК-файле, вы увидите более подходящее сообщение об ошибке.

В этом случае, я предполагаю, что проблема в том, что %mytype является неполным - либо определение %tp1 отсутствует, или определение к типу он использует (например, %tp2, который я вижу в своем комментарии, что он использует) отсутствует или что-то в этом роде.

Кстати, вы можете использовать мой IR editor, это поможет вам быстро найти такие ошибки.