Missing compose simplifications

[nofiv]

Hello, I believe that expressions like ({0x46 0 8, expr_id 8 32} & 0x40)?(0x20, 0x30) could be further simplified, however expr_simp() doesn't seem to contain such pass. Am I missing something please?

[serpilliere]

Hi @nofiv
You are right: we may add a simplification here.
Moreover this simplification seems quite "generic" so it's interesting to add it to the engine.
Do you want to try to do a PR or do you prefer I add it ?

[nofiv]

Hello @serpilliere , I will try to do the PR

[serpilliere]

In fact it seems I have missing #1347
I totally missed it from the submitted PR.

It seams that it's exactly what you requested right?

[nofiv]

Oh, great. Yes, that's exactly what I wanted