Skip to content

Migrate test/passes.jl to FileCheck.jl#3224

Open
vchuravy wants to merge 4 commits into
mainfrom
vc/filecheck
Open

Migrate test/passes.jl to FileCheck.jl#3224
vchuravy wants to merge 4 commits into
mainfrom
vc/filecheck

Conversation

@vchuravy

Copy link
Copy Markdown
Member

Replace LLVM.jl IR introspection in the dead-arg removal pass tests with
FileCheck directives over the printed post-pass module. The hand-written
input IR is unchanged; only the assertion mechanism changes.

Adds FileCheck to the test project.

Co-Authored-By: Claude Opus 4.8 noreply@anthropic.com

Replace LLVM.jl IR introspection in the dead-arg removal pass tests with
FileCheck directives over the printed post-pass module. The hand-written
input IR is unchanged; only the assertion mechanism changes.

Adds FileCheck to the test project.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
vchuravy and others added 3 commits June 29, 2026 12:47
The mismatched-calling-convention testset hard-coded typed-pointer
syntax (i32* %arg1, i32* %arg2) in its @check, but under opaque
pointers the callee prints as
  define internal fastcc void @callee(ptr nocapture writeonly %arg1, ...)
Match the intent instead: the callee is preserved with both arguments.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
The Partial return preservation testset hard-coded opaque-pointer syntax
(store atomic ptr addrspace(10) %v1), which fails on Julia 1.10/1.11
default configs that print typed pointers (store atomic {} addrspace(10)*
%v1). Match on the stored value instead so it works under both.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant