; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=ifuncs --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t
; RUN: FileCheck --check-prefixes=CHECK-FINAL --input-file=%t %s
; Check some cases that should probably be invalid IR don't break
; anything.
; CHECK-FINAL: @ifunc_with_arg = ifunc void (), ptr @resolver_with_arg
@ifunc_with_arg = ifunc void (), ptr @resolver_with_arg
define ptr @resolver_with_arg(i64 %arg) {
%cast = inttoptr i64 %arg to ptr
ret ptr %cast
}
; CHECK-INTERESTINGNESS: define void @call_with_arg()
define void @call_with_arg() {
; CHECK-FINAL: define void @call_with_arg() {
; CHECK-FINAL-NEXT: call void @ifunc_with_arg()
; CHECK-FINAL-NEXT: ret void
call void @ifunc_with_arg()
ret void
}