search

AliveToolkit / alive2

Automatic verification of LLVM optimizations
MIT License
719 stars 93 forks source link

false positive with indirect calls #1054

Closed nunoplopes closed 2 weeks ago

nunoplopes commented 2 weeks ago

from ph7:

define i32 @src(ptr %f, ptr %arg) {
  call void @fn()
  call void %f(ptr %arg)
  ret i32 0
}

define i32 @tgt(ptr %f, ptr %arg) {
  call void @fn()
  call void %f(ptr %arg)
  ret i32 0
}

declare void @fn()
regehr commented 2 weeks ago

ah, glad you ran across this one-- I've been seeing it come up for arm-tv as well.

SPEC CPU 2017 has a ton of indirect calls in it.