AnyDSL / MimIR

MimIR is my Intermediate Representation
https://anydsl.github.io/MimIR/
MIT License
46 stars 9 forks source link

Reshape phase messes up types #208

Open leissa opened 1 year ago

leissa commented 1 year ago

Branch: feature/fun Repository: git@github.com:AnyDSL/thorin2.git

Call: ./build/bin/thorin lit/clos/malloc.thorin.disabled -o - -p clos

<unknown location>: error: cannot pass argument 
'(_61485#0:(.Idx 2), _61593, f_reshape_62035)' of type 
'[%mem.M, %mem.Ptr (.Cn [[%mem.M, .Idx 4294967296], .Cn [%mem.M, .Idx 4294967296]], 0), .Cn [%mem.M, .Idx 4294967296, .Cn [%mem.M, .Idx 4294967296]]]' to 
'%mem.store (.Cn [[%mem.M, .Idx 4294967296], .Cn [%mem.M, .Idx 4294967296]], 0)' of domain 
'[%mem.M, %mem.Ptr (.Cn [[%mem.M, .Idx 4294967296], .Cn [%mem.M, .Idx 4294967296]], 0), .Cn [[%mem.M, .Idx 4294967296], .Cn [%mem.M, .Idx 4294967296]]]'

Eliding -p clos works. Fiddling around with verbose output points the finger to the reshape pass.