Lines Matching refs:complex

1 // Test regrouping of + and - operations on complex components into complex operations
6 func.func @add(%z: !fir.ref<complex<f64>>, %z1 : complex<f64>, %z2 : complex<f64>) {
9   %real1 = fir.extract_value %z1, [0 : index] : (complex<f64>) -> f64
10   %imag1 = fir.extract_value %z1, [1 : index] : (complex<f64>) -> f64
11   %real2 = fir.extract_value %z2, [0 : index] : (complex<f64>) -> f64
12   %imag2 = fir.extract_value %z2, [1 : index] : (complex<f64>) -> f64
17   %undef = fir.undefined complex<f64>
18   %insert_real = fir.insert_value %undef, %real, [0 : index] : (complex<f64>, f64) -> complex<f64>
19   %insert_imag = fir.insert_value %insert_real, %imag, [1 : index] : (complex<f64>, f64) -> complex<f64>
20   fir.store %insert_imag to %z : !fir.ref<complex<f64>>
25 func.func @sub(%z: !fir.ref<complex<f64>>, %z1 : complex<f64>, %z2 : complex<f64>) {
28   %real1 = fir.extract_value %z1, [0 : index] : (complex<f64>) -> f64
29   %imag1 = fir.extract_value %z1, [1 : index] : (complex<f64>) -> f64
30   %real2 = fir.extract_value %z2, [0 : index] : (complex<f64>) -> f64
31   %imag2 = fir.extract_value %z2, [1 : index] : (complex<f64>) -> f64
36   %undef = fir.undefined complex<f64>
37   %insert_real = fir.insert_value %undef, %real, [0 : index] : (complex<f64>, f64) -> complex<f64>
38   %insert_imag = fir.insert_value %insert_real, %imag, [1 : index] : (complex<f64>, f64) -> complex<f64>
39   fir.store %insert_imag to %z : !fir.ref<complex<f64>>
44 func.func @undefOpHiddenByBranch(%z: !fir.ref<complex<f64>>, %b: i1) {
49   %u1 = fir.undefined complex<f64>
50   %z1l = fir.call @bar1() : () -> complex<f64>
51   %z1r = fir.call @bar1() : () -> complex<f64>
52   cf.br ^bb3(%u1, %z1l, %z1r : complex<f64>, complex<f64>, complex<f64>)
54   %u2 = fir.undefined complex<f64>
55   %z2l = fir.call @bar2() : () -> complex<f64>
56   %z2r = fir.call @bar2() : () -> complex<f64>
57   cf.br ^bb3(%u2, %z2l, %z2r : complex<f64>, complex<f64>, complex<f64>)
59 // CHECK: ^bb3(%[[z1:.*]]: complex<f64>, %[[z2:.*]]: complex<f64>):  // 2 preds: ^bb1, ^bb2
60 // CHECK:  fir.addc %[[z1]], %[[z2]] : complex<f64>
62 ^bb3(%undef : complex<f64>, %z1 : complex<f64>, %z2 : complex<f64>):  // 2 preds: ^bb1, ^bb2
63   %real1 = fir.extract_value %z1, [0 : index] : (complex<f64>) -> f64
64   %imag1 = fir.extract_value %z1, [1 : index] : (complex<f64>) -> f64
65   %real2 = fir.extract_value %z2, [0 : index] : (complex<f64>) -> f64
66   %imag2 = fir.extract_value %z2, [1 : index] : (complex<f64>) -> f64
69   %insert_real = fir.insert_value %undef, %real, [0 : index] : (complex<f64>, f64) -> complex<f64>
70   %insert_imag = fir.insert_value %insert_real, %imag, [1 : index] : (complex<f64>, f64) -> complex<f64>
71   fir.store %insert_imag to %z : !fir.ref<complex<f64>>
74 func.func private @bar1() -> complex<f64>
75 func.func private @bar2() -> complex<f64>
78 func.func @close_but_bad_pattern(%z: !fir.ref<complex<f64>>, %z1 : complex<f64>, %z2 : complex<f64>) {
81   %real1 = fir.extract_value %z1, [0 : index] : (complex<f64>) -> f64
83   %imag1 = fir.extract_value %z1, [0 : index] : (complex<f64>) -> f64
84   %real2 = fir.extract_value %z2, [0 : index] : (complex<f64>) -> f64
85   %imag2 = fir.extract_value %z2, [1 : index] : (complex<f64>) -> f64
90   %undef = fir.undefined complex<f64>
93   %insert_real = fir.insert_value %undef, %real, [0 : index] : (complex<f64>, f64) -> complex<f64>
94   %insert_imag = fir.insert_value %insert_real, %imag, [1 : index] : (complex<f64>, f64) -> complex<f64>
96   fir.store %insert_imag to %z : !fir.ref<complex<f64>>