bgregoir
bgregoir
This example can not be compiled. b and b2 will receive the zf flag. So maybe we should not emit an "internal compilation error" and more a user error.
Hi, thank for the proposal. For the moment this feature does not seem to be a blocking point for users since they can write code using normal while loop. Since...
I think it is hard to do it during unrolling (it is an iterative process). But we can add a check after unrolling.
The pull request is ready for review. We should certainly add some explanation in the change log
I don't understand why the CI is not happy!
But why it is a problem for this branch and not for main ?
Hi Tiago, We were aware of this problem. I remember discussing this with Vincent. Unfortunately I don't remember the possible solution, maybe Vincent will remember them. For the 32 bytes...
I not sure that what I say is correct, but I think a systematic way of doing this kind of access, will be to replace ADR r (.glob_data + i)...
Did you try to replace "reg bool lt" by "inline bool lt" ?
I think this is fix with the last commit of #692