Roundtrip `tensor` of `complex<i1>`s

[erick-xanadu]

https://godbolt.org/z/5GYYfPs6G

I believe that only the real component of complex is getting parsed.

Input:

%complex_tensor_i1 = "test.op"() {"value" = dense<[(true, true), (false, true)]> : tensor<2xcomplex<i1>>} : () -> tensor<2xcomplex<i1>>

Expected output:

"builtin.module"() ({
  %0 = "test.op"() {value = dense<[(true,true), (false,true)]> : tensor<2xcomplex<i1>>} : () -> tensor<2xcomplex<i1>>
}) : () -> ()

Observed output:

"builtin.module"() ({
  %0 = "test.op"() {value = dense<[(true,false), (false,false)]> : tensor<2xcomplex<i1>>} : () -> tensor<2xcomplex<i1>>
}) : () -> ()

[llvmbot]

@llvm/issue-subscribers-mlir

Author: None (erick-xanadu)

https://godbolt.org/z/5GYYfPs6G

I believe that only the real component of complex<i1> is getting parsed.

Input:

%complex_tensor_i1 = "test.op"() {"value" = dense<[(true, true), (false, true)]> : tensor<2xcomplex<i1>>} : () -> tensor<2xcomplex<i1>>

Expected output:

"builtin.module"() ({
  %0 = "test.op"() {value = dense<[(true,true), (false,true)]> : tensor<2xcomplex<i1>>} : () -> tensor<2xcomplex<i1>>
}) : () -> ()

Observed output:

"builtin.module"() ({
  %0 = "test.op"() {value = dense<[(true,false), (false,false)]> : tensor<2xcomplex<i1>>} : () -> tensor<2xcomplex<i1>>
}) : () -> ()

[erick-xanadu]

It may be that only the real component of the first complex value is getting parsed correctly:

Input:

%complex_tensor_i1 = "test.op"() {"value" = dense<[(false, true), (true, false)]> : tensor<2xcomplex<i1>>} : () -> tensor<2xcomplex<i1>>

Output:

"builtin.module"() ({
  %0 = "test.op"() {value = dense<[(false,false), (false,false)]> : tensor<2xcomplex<i1>>} : () -> tensor<2xcomplex<i1>>
}) : () -> ()