Реплицировать инструкции llvm

Question

Я пытаюсь реплицировать инструкцию (например, добавление двоичной операции) и показать их в IRL LLVM, но следующий код возвращает только 1-ю инструкцию (add1), которую я создал. Как вернуть оба встроенных инструкции ?

 IRBuilder<> builder(op); 

     Value *lhs = op->getOperand(0); 
     Value *rhs = op->getOperand(1); 
     Value *add1 = builder.CreateAdd(lhs, rhs); 
     Value *add2 = builder.CreateAdd(lhs, rhs); 

     for (auto &U : op->uses()) { 
      User *user = U.getUser(); // A User is anything with operands. 
      user->setOperand(U.getOperandNo(), add1); 
      user->setOperand(U.getOperandNo(), add2); 
     } 

Answer 1

Предположите инструкцию add. У вас есть BinaryOperator, который имеет два операнда, например:. %op = add i32 10, 32 Вы берете их как Value *lhs = op->getOperand(0); и Value *rhs = op->getOperand(1);

Так тариф так хорошо. Теперь вы создаете две новые команды add перед фактическим добавлением, так как вы строите свой IRBuilder с опцией в качестве точки вставки.

%add1 = add i32 10, 32 
%add2 = add i32 10, 32 
%op = add i32 10, 32 

Наконец вы обновляете пользователей исходной инструкции, например, что-то вроде другой BinaryOperator: %0 = mul i32 %op, %op

Когда вы посмотрите внимательно на вашем цикле вы увидите, что вы установили оба (add1 и add2) к тому же операндом Пользователя. После вашего цикла умножение будет выглядеть %0 = mul i32 %add2, %add2

Если сбросить BasicBlock где инструкции вставлены непосредственно после установки, вы должны увидеть что-то вроде:

%add1 = add i32 10, 32 
%add2 = add i32 10, 32 
%op = add i32 10, 32 
%0 = mul i32 %add2, %add2 

Но если запустить другой LLVM Pass, выполняющие мертвыми устранение кода (например, InstCombine), вы будете в конечном итоге с:

%add2 = add i32 10, 32 
%0 = mul i32 %add2, %add2 

Поскольку add1 не имеет пользователей. Вы немедленно заменили использование add1 на add2. И op также ушел, потому что теперь все пользователи используют add2 вместо op.

С вашего вопроса трудно угадать, что вы намеревались с вашим кодом, но вот почему вы увидите только одну из своих инструкций в финальном IR.