Есть ли способ избежать удаления дублирующейся инструкции загрузки при компиляции с использованием LLVM - PullRequest
Новая
       34

Есть ли способ избежать удаления дублирующейся инструкции загрузки при компиляции с использованием LLVM

0 голосов
/ 31 января 2019

Я работаю над созданием прохода внешнего модуля LLVM.Итак, в основном мне нужно продублировать все инструкции по загрузке и сохранить в другом реестре.При значении -O0 для инструмента clang, opt и llc эта дублированная инструкция загрузки удаляется.Я посмотрел на окончательную сборку, используя objdump, я мог видеть, что дублирующая инструкция загрузки была удалена.Я хочу решение, которое каким-то образом не удаляет дублирующую инструкцию загрузки.

Фактическая программа на C: 

int main(){
    int* p = (int *)(0x600000);//Some address
    int x=0x01, y=0x01;
    int z;
    z=x+y;
    *p=z;
}

Соответствующий IR: 

define i32 @main() #0 {
entry:
  %p = alloca i32*, align 8
  %x = alloca i32, align 4
  %y = alloca i32, align 4
  %z = alloca i32, align 4
  store i32* inttoptr (i64 6291456 to i32*), i32** %p, align 8
  store i32 1, i32* %x, align 4
  store i32 1, i32* %y, align 4
  %0 = load i32, i32* %x, align 4
  %1 = load i32, i32* %y, align 4
  %add = add nsw i32 %0, %1
  store i32 %add, i32* %z, align 4
  %2 = load i32, i32* %z, align 4
  %3 = load i32*, i32** %p, align 8
  store i32 %2, i32* %3, align 4
  ret i32 0
}

Но когда мойпроход включен, этот IR изменится, и я дублирую только инструкции по загрузке с адресом загрузки, являющимся одним и тем же запоминающим устройством, даже для дублированной загрузки.

Изменился бы IR, 

define i32 @main() #0 {
entry:
  %p = alloca i32*, align 8
  %x = alloca i32, align 4
  %y = alloca i32, align 4
  %z = alloca i32, align 4
  store i32* inttoptr (i64 6291456 to i32*), i32** %p, align 8
  store i32 1, i32* %x, align 4
  store i32 1, i32* %y, align 4
  %0 = load i32, i32* %x, align 4
  %1 = load i32, i32* %y, align 4
  %2 = load i32, i32* %x, align 4 //Added
  %3 = load i32, i32* %y, align 4 //Added
  %add = add nsw i32 %0, %1
  store i32 %add, i32* %z, align 4
  %4 = load i32, i32* %z, align 4
  %5 = load i32*, i32** %p, align 8
  %6 = load i32, i32* %z, align 4 //Added
  %7 = load i32*, i32** %p, align 8        //Added
  store i32 %4, i32* %5, align 4
  ret i32 0
}

Я могуувидеть измененный IR на уровне IR, но не на уровне окончательной сборки после ООО.Я думаю, что ООО удаляет все дублированные нагрузки.Как мне остановить удаление от llc?

Примечание: я пытался сделать все переменные изменчивыми.Для этого это работает, я могу видеть дублированные нагрузки после ООО.Но это не правильное решение.Я не могу сделать все тысячи переменных изменчивыми: (.

...