[llvm] b2e2950 - llvm-reduce: Remove xfailed test for ifunc with constant expression (#133389)

[via llvm-commits]

Author: Matt Arsenault
Date: 2025-03-29T07:43:42+07:00
New Revision: b2e2950358ff6fc201e408145b30db63b33d486b

URL: https://github.com/llvm/llvm-project/commit/b2e2950358ff6fc201e408145b30db63b33d486b
DIFF: https://github.com/llvm/llvm-project/commit/b2e2950358ff6fc201e408145b30db63b33d486b.diff

LOG: llvm-reduce: Remove xfailed test for ifunc with constant expression (#133389)

The verifier does reject this now

Added: 
    

Modified: 
    

Removed: 
    llvm/test/tools/llvm-reduce/remove-ifunc-constantexpr.ll


################################################################################
diff  --git a/llvm/test/tools/llvm-reduce/remove-ifunc-constantexpr.ll b/llvm/test/tools/llvm-reduce/remove-ifunc-constantexpr.ll
deleted file mode 100644
index 5e3a7e77bac2c..0000000000000
--- a/llvm/test/tools/llvm-reduce/remove-ifunc-constantexpr.ll
+++ /dev/null
@@ -1,27 +0,0 @@
-; XFAIL: *
-; The verifier should xeject this
-; 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-INTERESTINGNESS: @ifunc_getelementptr
-
-; FIXME: Why is this legal?
- at ifunc_getelementptr = ifunc void (), ptr getelementptr (i8, ptr @resolver1, i32 4)
-
-define ptr @resolver1() {
-  ret ptr inttoptr (i64 123 to ptr)
-}
-
-define void @call_ifunc_getelementptr(ptr %ptr) {
-  ; CHECK-FINAL-LABEL: define void @call_ifunc_getelementptr(ptr %ptr) {
-  ; CHECK-FINAL-NEXT: call void @ifunc_getelementptr()
-  ; CHECK-FINAL-NEXT: store ptr @ifunc_getelementptr, ptr %ptr, align 8
-  ; CHECK-FINAL-NEXT: store ptr %ptr, ptr @ifunc_getelementptr, align 8
-  ; CHECK-FINAL-NEXT: ret void
-  call void @ifunc_getelementptr()
-  store ptr @ifunc_getelementptr, ptr %ptr
-  store ptr %ptr, ptr @ifunc_getelementptr
-  ret void
-}
-
-