uni import, foldCopies: folding copies to/from %rsp causes problems

[matsc-at-sics-se]

load_sicstus_run_time.mir.zip

$ uni import -f load_sicstus_run_time load_sicstus_run_time.mir -o load_sicstus_run_time.uni --target=X86 --explicitcallreg --maxblocksize=25 -d --lint

We observe:

Output from dropDebugLocations:
[...]
    COPY %44, %rsp
    SUB64rr %45, %44, %43, implicit-def %eflags
    COPY %rsp, %45
[...]
Output from foldCopies:
[...]
    o0:  [t4:rdi,t5:rsi,t6:edx,t163:rbx,t164:rbp,t165:r12,t166:r13,t167:r14,t168:r15,t93:rsp,t170:rip] <- (in) []
[...]
    o80: [t93] <- SUB64rr [t93,t43]
[...]

and trouble after that:

singleDefinitions: t9:rsp is defined more than once
noIstrRedefinitions: operands [t9] in operation o62 are both used and defined