Stream: git-cranelift

Topic: cranelift / Issue #1172 Epilogue instructions don't set S...

GitHub (Feb 28 2020 at 23:27):

alexcrichton transferred Issue #1172:

• What are the steps to reproduce the issue?
  ```
  test compile
  target x86_64

function u0:0() system_v {
ebb0:
nop
@0001 return
}

```

• What do you expect to happen? What does actually happen? Does it panic, and
  if so, with which assertion?

```
test compile
target x86_64
function u0:0(i64 fp [%rbp]) -> i64 fp [%rbp] system_v {
    ss0 = incoming_arg 16, offset -16

                                ebb0(v4: i64 [%rbp]):
[RexOp1pushq#50]                    x86_push v4
[RexOp1copysp#8089]                 copy_special %rsp -> %rbp
[-]                                 nop
[RexOp1popq#58,%rbp]                v5 = x86_pop.i64 ; <-- this should use @0001 as srcloc
@0001 [Op1ret#c3]                   return v5
}
```

This causes debuggers to switch between function start and end as current position with cg_clif generated executables when returning from a function.

• Which Cranelift version / commit hash / branch are you using? 387593d6c94d291e614c08d7a03f77b40efa451d

Last updated: Dec 23 2024 at 13:07 UTC