AliveToolkit / alive2

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

unexpected result when tgt is asm #1010

Closed regehr closed 5 months ago

regehr commented 5 months ago

I'm having trouble with this refinement check when tgt is asm, it's saying function did not return https://alive2.llvm.org/ce/z/hDtweU

declare i1 @g(ptr)

define i1 @src(ptr %x) {
  %a = call i1 @g(ptr %x)
  ret i1 %a
}

define i1 @tgt(ptr %0) {
  %x = call i1 @g(ptr %0)
  ret i1 %x
}