[Mlir-commits] [mlir] c325d6f - [mlir][complex] Fix canonicalize tests (#213259)
llvmlistbot at llvm.org
llvmlistbot at llvm.org
Fri Jul 31 07:18:25 PDT 2026
Author: Bryth
Date: 2026-07-31T16:18:21+02:00
New Revision: c325d6fcb6db298f681ae1c450b89b4c255fb3ce
URL: https://github.com/llvm/llvm-project/commit/c325d6fcb6db298f681ae1c450b89b4c255fb3ce
DIFF: https://github.com/llvm/llvm-project/commit/c325d6fcb6db298f681ae1c450b89b4c255fb3ce.diff
LOG: [mlir][complex] Fix canonicalize tests (#213259)
Remove trailing spaces and double line breaks, fix variable
re-definitions, make variables match regex consistent.
Added:
Modified:
mlir/test/Dialect/Complex/canonicalize.mlir
Removed:
################################################################################
diff --git a/mlir/test/Dialect/Complex/canonicalize.mlir b/mlir/test/Dialect/Complex/canonicalize.mlir
index 1c5216c82e5c3..f1ca7a628551e 100644
--- a/mlir/test/Dialect/Complex/canonicalize.mlir
+++ b/mlir/test/Dialect/Complex/canonicalize.mlir
@@ -68,7 +68,7 @@ func.func @complex_add_sub_lhs() -> complex<f32> {
%complex1 = complex.constant [1.0 : f32, 0.0 : f32] : complex<f32>
%complex2 = complex.constant [0.0 : f32, 2.0 : f32] : complex<f32>
// CHECK: %[[CPLX:.*]] = complex.constant [1.000000e+00 : f32, 0.000000e+00 : f32] : complex<f32>
- // CHECK-NEXT: return %[[CPLX:.*]] : complex<f32>
+ // CHECK-NEXT: return %[[CPLX]] : complex<f32>
%sub = complex.sub %complex1, %complex2 : complex<f32>
%add = complex.add %sub, %complex2 : complex<f32>
return %add : complex<f32>
@@ -79,7 +79,7 @@ func.func @complex_add_sub_rhs() -> complex<f32> {
%complex1 = complex.constant [1.0 : f32, 0.0 : f32] : complex<f32>
%complex2 = complex.constant [0.0 : f32, 2.0 : f32] : complex<f32>
// CHECK: %[[CPLX:.*]] = complex.constant [1.000000e+00 : f32, 0.000000e+00 : f32] : complex<f32>
- // CHECK-NEXT: return %[[CPLX:.*]] : complex<f32>
+ // CHECK-NEXT: return %[[CPLX]] : complex<f32>
%sub = complex.sub %complex1, %complex2 : complex<f32>
%add = complex.add %complex2, %sub : complex<f32>
return %add : complex<f32>
@@ -89,7 +89,7 @@ func.func @complex_add_sub_rhs() -> complex<f32> {
func.func @complex_neg_neg() -> complex<f32> {
%complex1 = complex.constant [1.0 : f32, 0.0 : f32] : complex<f32>
// CHECK: %[[CPLX:.*]] = complex.constant [1.000000e+00 : f32, 0.000000e+00 : f32] : complex<f32>
- // CHECK-NEXT: return %[[CPLX:.*]] : complex<f32>
+ // CHECK-NEXT: return %[[CPLX]] : complex<f32>
%neg1 = complex.neg %complex1 : complex<f32>
%neg2 = complex.neg %neg1 : complex<f32>
return %neg2 : complex<f32>
@@ -99,7 +99,7 @@ func.func @complex_neg_neg() -> complex<f32> {
func.func @complex_log_exp() -> complex<f32> {
%complex1 = complex.constant [1.0 : f32, 0.0 : f32] : complex<f32>
// CHECK: %[[CPLX:.*]] = complex.constant [1.000000e+00 : f32, 0.000000e+00 : f32] : complex<f32>
- // CHECK-NEXT: return %[[CPLX:.*]] : complex<f32>
+ // CHECK-NEXT: return %[[CPLX]] : complex<f32>
%exp = complex.exp %complex1 : complex<f32>
%log = complex.log %exp : complex<f32>
return %log : complex<f32>
@@ -109,7 +109,7 @@ func.func @complex_log_exp() -> complex<f32> {
func.func @complex_exp_log() -> complex<f32> {
%complex1 = complex.constant [1.0 : f32, 0.0 : f32] : complex<f32>
// CHECK: %[[CPLX:.*]] = complex.constant [1.000000e+00 : f32, 0.000000e+00 : f32] : complex<f32>
- // CHECK-NEXT: return %[[CPLX:.*]] : complex<f32>
+ // CHECK-NEXT: return %[[CPLX]] : complex<f32>
%log = complex.log %complex1 : complex<f32>
%exp = complex.exp %log : complex<f32>
return %exp : complex<f32>
@@ -119,7 +119,7 @@ func.func @complex_exp_log() -> complex<f32> {
func.func @complex_conj_conj() -> complex<f32> {
%complex1 = complex.constant [1.0 : f32, 0.0 : f32] : complex<f32>
// CHECK: %[[CPLX:.*]] = complex.constant [1.000000e+00 : f32, 0.000000e+00 : f32] : complex<f32>
- // CHECK-NEXT: return %[[CPLX:.*]] : complex<f32>
+ // CHECK-NEXT: return %[[CPLX]] : complex<f32>
%conj1 = complex.conj %complex1 : complex<f32>
%conj2 = complex.conj %conj1 : complex<f32>
return %conj2 : complex<f32>
@@ -130,7 +130,7 @@ func.func @complex_add_zero() -> complex<f32> {
%complex1 = complex.constant [1.0 : f32, 0.0 : f32] : complex<f32>
%complex2 = complex.constant [0.0 : f32, 0.0 : f32] : complex<f32>
// CHECK: %[[CPLX:.*]] = complex.constant [1.000000e+00 : f32, 0.000000e+00 : f32] : complex<f32>
- // CHECK-NEXT: return %[[CPLX:.*]] : complex<f32>
+ // CHECK-NEXT: return %[[CPLX]] : complex<f32>
%add = complex.add %complex1, %complex2 : complex<f32>
return %add : complex<f32>
}
@@ -140,7 +140,7 @@ func.func @complex_sub_add_lhs() -> complex<f32> {
%complex1 = complex.constant [1.0 : f32, 0.0 : f32] : complex<f32>
%complex2 = complex.constant [0.0 : f32, 2.0 : f32] : complex<f32>
// CHECK: %[[CPLX:.*]] = complex.constant [1.000000e+00 : f32, 0.000000e+00 : f32] : complex<f32>
- // CHECK-NEXT: return %[[CPLX:.*]] : complex<f32>
+ // CHECK-NEXT: return %[[CPLX]] : complex<f32>
%add = complex.add %complex1, %complex2 : complex<f32>
%sub = complex.sub %add, %complex2 : complex<f32>
return %sub : complex<f32>
@@ -151,7 +151,7 @@ func.func @complex_sub_zero() -> complex<f32> {
%complex1 = complex.constant [1.0 : f32, 0.0 : f32] : complex<f32>
%complex2 = complex.constant [0.0 : f32, 0.0 : f32] : complex<f32>
// CHECK: %[[CPLX:.*]] = complex.constant [1.000000e+00 : f32, 0.000000e+00 : f32] : complex<f32>
- // CHECK-NEXT: return %[[CPLX:.*]] : complex<f32>
+ // CHECK-NEXT: return %[[CPLX]] : complex<f32>
%sub = complex.sub %complex1, %complex2 : complex<f32>
return %sub : complex<f32>
}
@@ -181,7 +181,7 @@ func.func @im_neg(%arg0: f32, %arg1: f32) -> f32 {
// CHECK-LABEL: func @mul_one_f16
// CHECK-SAME: (%[[ARG0:.*]]: f16, %[[ARG1:.*]]: f16) -> complex<f16>
func.func @mul_one_f16(%arg0: f16, %arg1: f16) -> complex<f16> {
- %create = complex.create %arg0, %arg1: complex<f16>
+ %create = complex.create %arg0, %arg1: complex<f16>
%one = complex.constant [1.0 : f16, 0.0 : f16] : complex<f16>
%mul = complex.mul %create, %one : complex<f16>
// CHECK: %[[CREATE:.*]] = complex.create %[[ARG0]], %[[ARG1]] : complex<f16>
@@ -192,7 +192,7 @@ func.func @mul_one_f16(%arg0: f16, %arg1: f16) -> complex<f16> {
// CHECK-LABEL: func @mul_one_f32
// CHECK-SAME: (%[[ARG0:.*]]: f32, %[[ARG1:.*]]: f32) -> complex<f32>
func.func @mul_one_f32(%arg0: f32, %arg1: f32) -> complex<f32> {
- %create = complex.create %arg0, %arg1: complex<f32>
+ %create = complex.create %arg0, %arg1: complex<f32>
%one = complex.constant [1.0 : f32, 0.0 : f32] : complex<f32>
%mul = complex.mul %create, %one : complex<f32>
// CHECK: %[[CREATE:.*]] = complex.create %[[ARG0]], %[[ARG1]] : complex<f32>
@@ -203,7 +203,7 @@ func.func @mul_one_f32(%arg0: f32, %arg1: f32) -> complex<f32> {
// CHECK-LABEL: func @mul_one_f64
// CHECK-SAME: (%[[ARG0:.*]]: f64, %[[ARG1:.*]]: f64) -> complex<f64>
func.func @mul_one_f64(%arg0: f64, %arg1: f64) -> complex<f64> {
- %create = complex.create %arg0, %arg1: complex<f64>
+ %create = complex.create %arg0, %arg1: complex<f64>
%one = complex.constant [1.0 : f64, 0.0 : f64] : complex<f64>
%mul = complex.mul %create, %one : complex<f64>
// CHECK: %[[CREATE:.*]] = complex.create %[[ARG0]], %[[ARG1]] : complex<f64>
@@ -214,7 +214,7 @@ func.func @mul_one_f64(%arg0: f64, %arg1: f64) -> complex<f64> {
// CHECK-LABEL: func @mul_one_f80
// CHECK-SAME: (%[[ARG0:.*]]: f80, %[[ARG1:.*]]: f80) -> complex<f80>
func.func @mul_one_f80(%arg0: f80, %arg1: f80) -> complex<f80> {
- %create = complex.create %arg0, %arg1: complex<f80>
+ %create = complex.create %arg0, %arg1: complex<f80>
%one = complex.constant [1.0 : f80, 0.0 : f80] : complex<f80>
%mul = complex.mul %create, %one : complex<f80>
// CHECK: %[[CREATE:.*]] = complex.create %[[ARG0]], %[[ARG1]] : complex<f80>
@@ -225,7 +225,7 @@ func.func @mul_one_f80(%arg0: f80, %arg1: f80) -> complex<f80> {
// CHECK-LABEL: func @mul_one_f128
// CHECK-SAME: (%[[ARG0:.*]]: f128, %[[ARG1:.*]]: f128) -> complex<f128>
func.func @mul_one_f128(%arg0: f128, %arg1: f128) -> complex<f128> {
- %create = complex.create %arg0, %arg1: complex<f128>
+ %create = complex.create %arg0, %arg1: complex<f128>
%one = complex.constant [1.0 : f128, 0.0 : f128] : complex<f128>
%mul = complex.mul %create, %one : complex<f128>
// CHECK: %[[CREATE:.*]] = complex.create %[[ARG0]], %[[ARG1]] : complex<f128>
@@ -256,16 +256,15 @@ func.func @fold_between_i64(%arg0 : i64) -> i64 {
func.func @canon_arith_bitcast(%arg0 : f64) -> i64 {
%0 = complex.bitcast %arg0 : f64 to complex<f32>
%1 = complex.bitcast %0 : complex<f32> to i64
- // CHECK: %[[R0:.+]] = arith.bitcast %[[ARG0]]
+ // CHECK: %[[R0:.*]] = arith.bitcast %[[ARG0]]
// CHECK: return %[[R0]] : i64
func.return %1 : i64
}
-
// CHECK-LABEL: func @double_bitcast
// CHECK-SAME: %[[ARG0:.*]]: f64
func.func @double_bitcast(%arg0 : f64) -> complex<f32> {
- // CHECK: %[[R0:.+]] = complex.bitcast %[[ARG0]]
+ // CHECK: %[[R0:.*]] = complex.bitcast %[[ARG0]]
%0 = arith.bitcast %arg0 : f64 to i64
%1 = complex.bitcast %0 : i64 to complex<f32>
// CHECK: return %[[R0]] : complex<f32>
@@ -275,7 +274,7 @@ func.func @double_bitcast(%arg0 : f64) -> complex<f32> {
// CHECK-LABEL: func @double_reverse_bitcast
// CHECK-SAME: %[[ARG0:.*]]: complex<f32>
func.func @double_reverse_bitcast(%arg0 : complex<f32>) -> f64 {
- // CHECK: %[[R0:.+]] = complex.bitcast %[[ARG0]]
+ // CHECK: %[[R0:.*]] = complex.bitcast %[[ARG0]]
%0 = complex.bitcast %arg0 : complex<f32> to i64
%1 = arith.bitcast %0 : i64 to f64
// CHECK: return %[[R0]] : f64
More information about the Mlir-commits
mailing list