mlir/test/Dialect/IRDL/test-cmath.mlir

   1 // RUN: mlir-opt %s --irdl-file=%S/cmath.irdl.mlir | mlir-opt --irdl-file=%S/cmath.irdl.mlir | FileCheck %s
   2
   3 module {
   4   // CHECK: func.func @conorm(%[[p:[^:]*]]: !cmath.complex<f32>, %[[q:[^:]*]]: !cmath.complex<f32>) -> f32 {
   5   // CHECK:   %[[norm_p:[^ ]*]] = "cmath.norm"(%[[p]]) : (!cmath.complex<f32>) -> f32
   6   // CHECK:   %[[norm_q:[^ ]*]] = "cmath.norm"(%[[q]]) : (!cmath.complex<f32>) -> f32
   7   // CHECK:   %[[pq:[^ ]*]] = arith.mulf %[[norm_p]], %[[norm_q]] : f32
   8   // CHECK:   return %[[pq]] : f32
   9   // CHECK: }
  10   func.func @conorm(%p: !cmath.complex<f32>, %q: !cmath.complex<f32>) -> f32 {
  11     %norm_p = "cmath.norm"(%p) : (!cmath.complex<f32>) -> f32
  12     %norm_q = "cmath.norm"(%q) : (!cmath.complex<f32>) -> f32
  13     %pq = arith.mulf %norm_p, %norm_q : f32
  14     return %pq : f32
  15   }
  16
  17   // CHECK: func.func @conorm2(%[[p:[^:]*]]: !cmath.complex<f32>, %[[q:[^:]*]]: !cmath.complex<f32>) -> f32 {
  18   // CHECK:   %[[pq:[^ ]*]] = "cmath.mul"(%[[p]], %[[q]]) : (!cmath.complex<f32>, !cmath.complex<f32>) -> !cmath.complex<f32>
  19   // CHECK:   %[[conorm:[^ ]*]] = "cmath.norm"(%[[pq]]) : (!cmath.complex<f32>) -> f32
  20   // CHECK:   return %[[conorm]] : f32
  21   // CHECK: }
  22   func.func @conorm2(%p: !cmath.complex<f32>, %q: !cmath.complex<f32>) -> f32 {
  23     %pq = "cmath.mul"(%p, %q) : (!cmath.complex<f32>, !cmath.complex<f32>) -> !cmath.complex<f32>
  24     %conorm = "cmath.norm"(%pq) : (!cmath.complex<f32>) -> f32
  25     return %conorm : f32
  26   }
  27 }