[llvm-dev] RFC: Complex in LLVM

[Manuel Jacob via llvm-dev]

On 2019-07-01 20:56, David Greene via llvm-dev wrote:
> [...]
> 
> All of the real/imaginary data manipulation obscures the underlying
> arithmetic.  It makes it difficult to reason about the algebraic
> properties of expressions.  For expressiveness and optimization 
> ability,
> it will be nice to have a higher-level representation for complex in
> LLVM IR.  In general, it is desirable to defer lowering of complex 
> until
> the optimizer has had a reasonable chance to exploit its properties.

Do you have a concrete example where having a high-level complex type 
would make the optimizer's job easier?

> [...]

-Manuel