[mlir][Math] Change regex to match fp value on different target.

[jacquesguan]

Summary

Link: https://github.com/llvm/llvm-project/issues/58048

[ftynse]

The issue in question is not a precision issue, but a printing one. For some reason, the value is normalized differently to print as 8.414710e-01 instead of the expected 0.841471e+00, but this is the same value. We need to fix that. Completely removing the values defines the purpose of this test IMO, we will be only checking that the folding happened, but not longer that it happened _correctly_.

[Mogball]

Why the result is printed as 0.84 vs. 8.40 is due to precision. Without support for float matching in FileCheck, the only option is to regex the position of the period.

Please fix this soon @jacquesguan . It's not good to be having failures on HEAD

[jacquesguan]

Refactor regex.

mlir/test/Dialect/Math/canonicalize.mlir

 // CHECK-NEXT:   return %[[cst]]
 func.func @trunc_fold_vec() -> (vector<4xf32>) {
   %v = arith.constant dense<[0.5, -0.5, 1.5, -1.5]> : vector<4xf32>
   %0 = math.trunc %v : vector<4xf32>
   return %0 : vector<4xf32>
 }
 
 // CHECK-LABEL: @sin_fold
-// CHECK-NEXT: %[[cst:.+]] = arith.constant 0.84{{[0-9]+}} : f32
+// CHECK-NEXT: %[[cst:.+]] = arith.constant {{0.84[0-9]+|8.4[0-9]+e-01}} : f32
 // CHECK-NEXT:   return %[[cst]]
 func.func @sin_fold() -> f32 {
   %c = arith.constant 1.0 : f32
   %r = math.sin %c : f32
   return %r : f32
 }
 
 // CHECK-LABEL: @sin_fold_vec
-// CHECK-NEXT: %[[cst:.+]] = arith.constant dense<[0.000000e+00, 0.84{{[0-9]+}}, 0.000000e+00, 0.84{{[0-9]+}}]> : vector<4xf32>
+// CHECK-NEXT: %[[cst:.+]] = arith.constant dense<[0.000000e+00, {{0.84[0-9]+|8.4[0-9]+e-01}}, 0.000000e+00, {{0.84[0-9]+|8.4[0-9]+e-01}}]> : vector<4xf32>
 // CHECK-NEXT:   return %[[cst]]
 func.func @sin_fold_vec() -> (vector<4xf32>) {
   %v1 = arith.constant dense<[0.0, 1.0, 0.0, 1.0]> : vector<4xf32>
   %0 = math.sin %v1 : vector<4xf32>
   return %0 : vector<4xf32>
 }
 
 // CHECK-LABEL: @erf_fold
-// CHECK-NEXT: %[[cst:.+]] = arith.constant 0.84{{[0-9]+}} : f32
+// CHECK-NEXT: %[[cst:.+]] = arith.constant {{0.84[0-9]+|8.4[0-9]+e-01}} : f32
 // CHECK-NEXT:   return %[[cst]]
 func.func @erf_fold() -> f32 {
   %c = arith.constant 1.0 : f32
   %r = math.erf %c : f32
   return %r : f32
 }
 
 // CHECK-LABEL: @erf_fold_vec
-// CHECK-NEXT: %[[cst:.+]] = arith.constant dense<[0.000000e+00, 0.84{{[0-9]+}}, 0.000000e+00, 0.84{{[0-9]+}}]> : vector<4xf32>
+// CHECK-NEXT: %[[cst:.+]] = arith.constant dense<[0.000000e+00, {{0.84[0-9]+|8.4[0-9]+e-01}}, 0.000000e+00, {{0.84[0-9]+|8.4[0-9]+e-01}}]> : vector<4xf32>
 // CHECK-NEXT:   return %[[cst]]
 func.func @erf_fold_vec() -> (vector<4xf32>) {
   %v1 = arith.constant dense<[0.0, 1.0, 0.0, 1.0]> : vector<4xf32>
   %0 = math.erf %v1 : vector<4xf32>
   return %0 : vector<4xf32>
 }