Another `LLVM error: function failed verification (4)`

I went through previous issues about this but didn't see much. Here's another somewhat heavy (sorry!!!) MWE:

```
using TensorKit, TupleTools
using TensorOperations
using VectorInterface: Zero, One
using Enzyme, EnzymeTestUtils
using Random

function randcircshift(N₁::Int, N₂::Int, k::Int = rand(0:(N₁ + N₂)))
N = N₁ + N₂
@assert 0 ≤ k ≤ N
p = TupleTools.vcat(ntuple(identity, N₁), reverse(ntuple(identity, N₂) .+ N₁))
n = rand(0:N)
_p = TupleTools.circshift(p, n)
return (tuple(_p[1:k]...), reverse(tuple(_p[(k + 1):end]...)))
end

trivtuple(N) = ntuple(identity, N)

Base.@constprop :aggressive function _repartition(p::IndexTuple, N₁::Int)
length(p) >= N₁ ||
throw(ArgumentError("cannot repartition $(typeof(p)) to $N₁, $(length(p) - N₁)"))
return TupleTools.getindices(p, trivtuple(N₁)),
TupleTools.getindices(p, trivtuple(length(p) - N₁) .+ N₁)
end
Base.@constprop :aggressive function _repartition(p::Index2Tuple, N₁::Int)
return _repartition(linearize(p), N₁)
end
function _repartition(p::Union{IndexTuple, Index2Tuple}, ::Index2Tuple{N₁}) where {N₁}
return _repartition(p, N₁)
end
function _repartition(p::Union{IndexTuple, Index2Tuple}, t::AbstractTensorMap)
return _repartition(p, TensorKit.numout(t))
end

# Float32 and finite differences don't mix well
default_tol(::Type{<:Union{Float32, Complex{Float32}}}) = 1.0e-2
default_tol(::Type{<:Union{Float64, Complex{Float64}}}) = 1.0e-5

I_A4Z4 = A4Irrep ⊠ Z4Element{2}
VRepA4Twistedℤ₄ = (
Vect[I_A4Z4]((0, 0) => 2, (1, 1) => 1, (2, 3) => 0, (3, 2) => 1),
Vect[I_A4Z4]((0, 0) => 1, (1, 1) => 1, (2, 3) => 1, (3, 2) => 0)',
Vect[I_A4Z4]((0, 0) => 2, (1, 1) => 1, (2, 3) => 1, (3, 2) => 1),
Vect[I_A4Z4]((0, 0) => 0, (1, 1) => 1, (2, 3) => 1, (3, 2) => 1)',
Vect[I_A4Z4]((0, 0) => 0, (1, 1) => 2, (2, 3) => 0, (3, 2) => 1),
)

T = ComplexF64
V = VRepA4Twistedℤ₄
atol = default_tol(T)
rtol = default_tol(T)

Random.seed!(456)
for _ in 1:5
k1 = rand(0:2)
k2 = rand(0:1)
V1 = map(v -> rand(Bool) ? v' : v, rand(V, k1))
V2 = map(v -> rand(Bool) ? v' : v, rand(V, k2))
V3 = prod(x -> x ⊗ x', V2[1:k2]; init = one(V[1]))
V4 = prod(x -> x ⊗ x', V2[(k2 + 1):end]; init = one(V[1]))

k′ = rand(0:(k1 + 2k2))
(_p, _q) = randcircshift(k′, k1 + 2k2 - k′, k1)
p = _repartition(_p, rand(0:k1))
q = (tuple(_q[1:2:end]...), tuple(_q[2:2:end]...))
ip = _repartition(invperm(linearize((_p, _q))), k′)
A = randn(T, permute(prod(V1) ⊗ V3 ← V4, ip))
if !all(isempty, p) && !all(isempty, q)
α = randn(T)
β = randn(T)
C = randn!(TensorOperations.tensoralloc_add(T, A, p, false, Val(false)))
EnzymeTestUtils.test_reverse(TensorKit.planartrace!, Duplicated, (C, Duplicated), (A, Duplicated), (p, Const), (q, Const), (α, Const), (β, Const), (TensorOperations.DefaultBackend(), Const), (TensorOperations.DefaultAllocator(), Const); atol, rtol)
end
```

When I run this with:

```
Enzyme v0.13.185
Enzyme_jll v0.0.289+0
TensorKit v0.17.1
Julia v1.12.6
```

I get this very exciting dump:

```
Instruction does not dominate all uses!
%704 = call token (...) @llvm.julia.gc_preserve_begin(ptr addrspace(10) @"ejl_inserted$jl_global_20935$false$4853528752"), !dbg !117892
call void @llvm.julia.gc_preserve_end(token %704), !dbg !117713
; Function Attrs: mustprogress willreturn
define internal fastcc nonnull "enzyme_type"="{[-1]:Pointer, [-1,0]:Pointer, [-1,0,0]:Integer, [-1,0,1]:Integer, [-1,0,2]:Integer, [-1,0,3]:Integer, [-1,0,4]:Integer, [-1,0,5]:Integer, [-1,0,6]:Integer, [-1,0,7]:Integer, [-1,0,8]:Pointer, [-1,8]:Pointer, [-1,8,0]:Integer, [-1,8,1]:Integer, [-1,8,2]:Integer, [-1,8,3]:Integer, [-1,8,4]:Integer, [-1,8,5]:Integer, [-1,8,6]:Integer, [-1,8,7]:Integer, [-1,8,8]:Pointer, [-1,8,8,-1]:Integer, [-1,16]:Pointer, [-1,16,0]:Integer, [-1,16,1]:Integer, [-1,16,2]:Integer, [-1,16,3]:Integer, [-1,16,4]:Integer, [-1,16,5]:Integer, [-1,16,6]:Integer, [-1,16,7]:Integer, [-1,16,8]:Pointer, [-1,16,8,-1]:Float@double, [-1,24]:Integer, [-1,25]:Integer, [-1,26]:Integer, [-1,27]:Integer, [-1,28]:Integer, [-1,29]:Integer, [-1,30]:Integer, [-1,31]:Integer, [-1,32]:Integer, [-1,33]:Integer, [-1,34]:Integer, [-1,35]:Integer, [-1,36]:Integer, [-1,37]:Integer, [-1,38]:Integer, [-1,39]:Integer, [-1,40]:Integer, [-1,41]:Integer, [-1,42]:Integer, [-1,43]:Integer, [-1,44]:Integer, [-1,45]:Integer, [-1,46]:Integer, [-1,47]:Integer, [-1,48]:Integer, [-1,49]:Integer, [-1,50]:Integer, [-1,51]:Integer, [-1,52]:Integer, [-1,53]:Integer, [-1,54]:Integer, [-1,55]:Integer, [-1,56]:Integer, [-1,57]:Integer, [-1,58]:Integer, [-1,59]:Integer, [-1,60]:Integer, [-1,61]:Integer, [-1,62]:Integer, [-1,63]:Integer}" ptr addrspace(10) @preprocess_julia_planar_trace_23173(ptr addrspace(11) nocapture noundef nonnull readonly align 8 dereferenceable(32) "enzyme_inactive" "enzyme_type"="{[-1]:Pointer, [-1,0]:Integer, [-1,1]:Integer, [-1,2]:Integer, [-1,3]:Integer, [-1,4]:Integer, [-1,5]:Integer, [-1,6]:Integer, [-1,7]:Integer, [-1,8]:Integer, [-1,9]:Integer, [-1,10]:Integer, [-1,11]:Integer, [-1,12]:Integer, [-1,13]:Anything, [-1,14]:Anything, [-1,15]:Anything, [-1,16]:Integer, [-1,17]:Integer, [-1,18]:Integer, [-1,19]:Integer, [-1,20]:Integer, [-1,21]:Integer, [-1,22]:Integer, [-1,23]:Integer, [-1,24]:Integer, [-1,25]:Integer, [-1,26]:Integer, [-1,27]:Integer, [-1,28]:Integer, [-1,29]:Integer, [-1,30]:Integer, [-1,31]:Integer}" "enzymejl_parmtype"="5252307792" "enzymejl_parmtype_ref"="1" "enzymejl_parmtype_str"="FusionTree{ProductSector{Tuple{A4Irrep, Z4Element{2}}}, 3, 1, 2}" %"f::FusionTree", ptr addrspace(11) nocapture noundef nonnull readonly align 8 dereferenceable(16) "enzyme_inactive" "enzyme_type"="{[-1]:Pointer, [-1,0]:Integer, [-1,1]:Integer, [-1,2]:Integer, [-1,3]:Integer, [-1,4]:Integer, [-1,5]:Integer, [-1,6]:Integer, [-1,7]:Integer, [-1,8]:Integer, [-1,9]:Integer, [-1,10]:Integer, [-1,11]:Integer, [-1,12]:Integer, [-1,13]:Integer, [-1,14]:Integer, [-1,15]:Integer}" "enzymejl_parmtype"="4826318528" "enzymejl_parmtype_ref"="1" "enzymejl_parmtype_str"="Tuple{Tuple{Int64}, Tuple{Int64}}" %"#3::Tuple") unnamed_addr #529 !dbg !58529 {
top:
%0 = call noalias nonnull dereferenceable(5) dereferenceable_or_null(5) ptr @malloc(i64 5), !enzyme_fromstack !57905
%1 = call noalias nonnull dereferenceable(5) dereferenceable_or_null(5) ptr @malloc(i64 5), !enzyme_fromstack !57905
%"new::Complex" = call noalias nonnull dereferenceable(16) dereferenceable_or_null(16) ptr @malloc(i64 16), !enzyme_fromstack !57903
%pgcstack = call ptr @julia.get_pgcstack() #609
%ptls_field = getelementptr inbounds i8, ptr %pgcstack, i64 16
%ptls_load = load ptr, ptr %ptls_field, align 8, !tbaa !581
%2 = getelementptr inbounds i8, ptr %ptls_load, i64 16
%safepoint = load ptr, ptr %2, align 8, !tbaa !585
fence syncscope("singlethread") seq_cst
call void @julia.safepoint(ptr %safepoint) #609, !dbg !58530
fence syncscope("singlethread") seq_cst
%3 = call token (...) @llvm.julia.gc_preserve_begin(ptr addrspace(10) @"ejl_inserted$jl_global_20935$false$4853528752") #609, !dbg !58531
call void @llvm.julia.gc_preserve_end(token %3) #609, !dbg !58534
%current_task1 = getelementptr inbounds i8, ptr %pgcstack, i64 -152, !dbg !58535
%"new::Dict" = call noalias nonnull align 8 dereferenceable(64) "enzyme_ReadOnlyOrThrow" "enzyme_type"="{[-1]:Pointer, [-1,0]:Pointer, [-1,0,0]:Integer, [-1,0,1]:Integer, [-1,0,2]:Integer, [-1,0,3]:Integer, [-1,0,4]:Integer, [-1,0,5]:Integer, [-1,0,6]:Integer, [-1,0,7]:Integer, [-1,0,8]:Pointer, [-1,8]:Pointer, [-1,8,0]:Integer, [-1,8,1]:Integer, [-1,8,2]:Integer, [-1,8,3]:Integer, [-1,8,4]:Integer, [-1,8,5]:Integer, [-1,8,6]:Integer, [-1,8,7]:Integer, [-1,8,8]:Pointer, [-1,8,8,-1]:Integer, [-1,16]:Pointer, [-1,16,0]:Integer, [-1,16,1]:Integer, [-1,16,2]:Integer, [-1,16,3]:Integer, [-1,16,4]:Integer, [-1,16,5]:Integer, [-1,16,6]:Integer, [-1,16,7]:Integer, [-1,16,8]:Pointer, [-1,16,8,-1]:Float@double, [-1,24]:Integer, [-1,25]:Integer, [-1,26]:Integer, [-1,27]:Integer, [-1,28]:Integer, [-1,29]:Integer, [-1,30]:Integer, [-1,31]:Integer, [-1,32]:Integer, [-1,33]:Integer, [-1,34]:Integer, [-1,35]:Integer, [-1,36]:Integer, [-1,37]:Integer, [-1,38]:Integer, [-1,39]:Integer, [-1,40]:Integer, [-1,41]:Integer, [-1,42]:Integer, [-1,43]:Integer, [-1,44]:Integer, [-1,45]:Integer, [-1,46]:Integer, [-1,47]:Integer, [-1,48]:Integer, [-1,49]:Integer, [-1,50]:Integer, [-1,51]:Integer, [-1,52]:Integer, [-1,53]:Integer, [-1,54]:Integer, [-1,55]:Integer, [-1,56]:Integer, [-1,57]:Integer, [-1,58]:Integer, [-1,59]:Integer, [-1,60]:Integer, [-1,61]:Integer, [-1,62]:Integer, [-1,63]:Integer}" ptr addrspace(10) @julia.gc_alloc_obj(ptr nonnull %current_task1, i64 64, ptr addrspace(10) @"ejl_inserted$_Main_Base_Dict_23175$false$5567133456") #610, !dbg !58535, !enzymejl_gc_alloc_rt !8987
%4 = addrspacecast ptr addrspace(10) %"new::Dict" to ptr addrspace(11), !dbg !58535
store ptr addrspace(10) null, ptr addrspace(11) %4, align 8, !dbg !58535, !tbaa !592, !alias.scope !596, !noalias !58536
%5 = getelementptr inbounds i8, ptr addrspace(11) %4, i64 8, !dbg !58535
store ptr addrspace(10) null, ptr addrspace(11) %5, align 8, !dbg !58535, !tbaa !592, !alias.scope !596, !noalias !58536
%6 = getelementptr inbounds i8, ptr addrspace(11) %4, i64 16, !dbg !58535
store ptr addrspace(10) null, ptr addrspace(11) %6, align 8, !dbg !58535, !tbaa !592, !alias.scope !596, !noalias !58536
store atomic ptr addrspace(10) @"ejl_inserted$jl_global_20935$false$4853528752", ptr addrspace(11) %4 release, align 8, !dbg !58535, !tbaa !592, !alias.scope !596, !noalias !58536
store atomic ptr addrspace(10) @"ejl_inserted$jl_global_23039$false$5058645680", ptr addrspace(11) %5 release, align 8, !dbg !58535, !tbaa !592, !alias.scope !596, !noalias !58536
store atomic ptr addrspace(10) @"ejl_inserted$jl_global_20431$false$4665833968", ptr addrspace(11) %6 release, align 8, !dbg !58535, !tbaa !592, !alias.scope !596, !noalias !58536
%"new::Dict.ndel_ptr" = getelementptr inbounds i8, ptr addrspace(11) %4, i64 24, !dbg !58535
%"new::Dict.idxfloor_ptr" = getelementptr inbounds i8, ptr addrspace(11) %4, i64 48, !dbg !58535
call void @llvm.memset.p11.i64(ptr addrspace(11) noundef align 8 dereferenceable(24) %"new::Dict.ndel_ptr", i8 0, i64 24, i1 false) #609, !dbg !58535, !enzyme_truetype !1007
store i64 1, ptr addrspace(11) %"new::Dict.idxfloor_ptr", align 8, !dbg !58535, !tbaa !1008, !alias.scope !596, !noalias !58536
%"new::Dict.maxprobe_ptr" = getelementptr inbounds i8, ptr addrspace(11) %4, i64 56, !dbg !58535
store i64 0, ptr addrspace(11) %"new::Dict.maxprobe_ptr", align 8, !dbg !58535, !tbaa !1008, !alias.scope !596, !noalias !58536
%"#3::Tuple.unbox" = load i64, ptr addrspace(11) %"#3::Tuple", align 8, !dbg !58539, !tbaa !920, !alias.scope !1046, !noalias !1047, !enzyme_inactive !0, !enzyme_type !617, !enzymejl_source_type_Int64 !0, !enzymejl_byref_BITS_VALUE !0
%"#3::Tuple.unbox.fr" = freeze i64 %"#3::Tuple.unbox", !dbg !58541
%7 = add i64 %"#3::Tuple.unbox.fr", -1, !dbg !58539
%boundscheck = icmp ult i64 %7, 3, !dbg !58539
br i1 %boundscheck, label %pass, label %fail, !dbg !58539

L41: ; preds = %pass5
%8 = sext i8 %.unbox to i16, !dbg !58543
%.lhs.trunc741 = sub nsw i16 3, %8, !dbg !58548
%9 = srem i16 %.lhs.trunc741, 3, !dbg !58550
%10 = icmp sgt i16 %9, -1, !dbg !58551
br i1 %10, label %L62, label %L64, !dbg !58552

L62: ; preds = %L41
%11 = trunc i16 %9 to i8, !dbg !58553
br label %L68, !dbg !58557

L64: ; preds = %L41
%12 = call fastcc [1 x ptr addrspace(10)] @julia_ArgumentError_20454(ptr addrspace(10) addrspacecast (ptr inttoptr (i64 4730608640 to ptr) to ptr addrspace(10))) #609, !dbg !58552
%"box::ArgumentError455" = call noalias nonnull align 8 dereferenceable(8) "enzyme_ReadOnlyOrThrow" "enzyme_inactive" "enzyme_type"="{[-1]:Pointer, [-1,-1]:Pointer}" ptr addrspace(10) @julia.gc_alloc_obj(ptr nonnull %current_task1, i64 8, ptr addrspace(10) @"ejl_inserted$_Core_ArgumentError_20403$false$4906584048") #610, !dbg !58552, !enzymejl_gc_alloc_rt !1125
%13 = addrspacecast ptr addrspace(10) %"box::ArgumentError455" to ptr addrspace(11), !dbg !58552, !enzyme_inactive !0
%14 = extractvalue [1 x ptr addrspace(10)] %12, 0, !dbg !58552, !enzyme_type !903
store ptr addrspace(10) %14, ptr addrspace(11) %13, align 8, !dbg !58552, !tbaa !1126, !alias.scope !596, !noalias !58536
%15 = addrspacecast ptr addrspace(10) %"box::ArgumentError455" to ptr addrspace(12), !dbg !58552, !enzyme_inactive !0
call void @ijl_throw(ptr addrspace(12) %15) #609, !dbg !58552
unreachable, !dbg !58552
...
ERROR: LoadError: Some tests did not pass: 0 passed, 0 failed, 1 errored, 0 broken.
in expression starting at /Users/khyatt/.julia/dev/TensorKit/planar_mwe.jl:54
test_reverse: planartrace! with return activity Duplicated on (::Tensor{ComplexF64, GradedSpace{ProductSector{Tuple{A4Irrep, Z4Element{2}}}, NTuple{16, Int64}}, 1, Vector{ComplexF64}}, Duplicated), (::TensorMap{ComplexF64, GradedSpace{ProductSector{Tuple{A4Irrep, Z4Element{2}}}, NTuple{16, Int64}}, 0, 3, Vector{ComplexF64}}, Duplicated), (::Tuple{Tuple{Int64}, Tuple{}}, Const), (::Tuple{Tuple{Int64}, Tuple{Int64}}, Const), (::ComplexF64, Const), (::ComplexF64, Const), (::TensorOperations.DefaultBackend, Const), (::TensorOperations.DefaultAllocator, Const): Error During Test at /Users/khyatt/.julia/packages/EnzymeTestUtils/fNmYk/src/test_reverse.jl:84
Got exception outside of a @test
LLVM error: function failed verification (4)
```

The full thing is too big even for a Gist, but you should be able to recreate it with the MWE.