2024-02-20 02:28:23 +08:00
|
|
|
// RUN: torch-mlir-opt %s -canonicalize | FileCheck %s
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_add_splat_int
|
|
|
|
|
func.func @fold_aten_add_splat_int() -> !torch.vtensor<[4],si64> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<29> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<7> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<11> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%int2 = torch.constant.int 2
|
|
|
|
|
%0 = torch.aten.add.Tensor %cst_7, %cst_11, %int2 : !torch.vtensor<[4],si64>, !torch.vtensor<[4],si64>, !torch.int -> !torch.vtensor<[4],si64>
|
|
|
|
|
return %0 : !torch.vtensor<[4],si64>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_add_splat_int_mismatch
|
|
|
|
|
func.func @fold_aten_add_splat_int_mismatch() -> !torch.vtensor<[4],si64> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<29> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<7> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<11> : tensor<4xsi32>) : !torch.vtensor<[4],si32>
|
|
|
|
|
%int2 = torch.constant.int 2
|
|
|
|
|
%0 = torch.aten.add.Tensor %cst_7, %cst_11, %int2 : !torch.vtensor<[4],si64>, !torch.vtensor<[4],si32>, !torch.int -> !torch.vtensor<[4],si64>
|
|
|
|
|
return %0 : !torch.vtensor<[4],si64>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_add_splat_float
|
|
|
|
|
func.func @fold_aten_add_splat_float() -> !torch.vtensor<[4],f32> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<2.900000e+01> : tensor<4xf32>)
|
|
|
|
|
%int2 = torch.constant.float 2.0
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<7.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<11.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%0 = torch.aten.add.Tensor %cst_7, %cst_11, %int2 : !torch.vtensor<[4],f32>, !torch.vtensor<[4],f32>, !torch.float -> !torch.vtensor<[4],f32>
|
|
|
|
|
return %0 : !torch.vtensor<[4],f32>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_add_splat_float_mismatch
|
|
|
|
|
func.func @fold_aten_add_splat_float_mismatch() -> !torch.vtensor<[4],f32> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<2.900000e+01> : tensor<4xf32>)
|
|
|
|
|
%int2 = torch.constant.float 2.0
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<7.0> : tensor<4xf64>) : !torch.vtensor<[4],f64>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<11.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%0 = torch.aten.add.Tensor %cst_7, %cst_11, %int2 : !torch.vtensor<[4],f64>, !torch.vtensor<[4],f32>, !torch.float -> !torch.vtensor<[4],f32>
|
|
|
|
|
return %0 : !torch.vtensor<[4],f32>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_add_arr0_int
|
|
|
|
|
func.func @fold_aten_add_arr0_int() -> !torch.vtensor<[4],si64> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<[28, 29, 30, 31]> : tensor<4xsi64>)
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<[6,7,8,9]> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<11> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%int2 = torch.constant.int 2
|
|
|
|
|
%0 = torch.aten.add.Tensor %cst_7, %cst_11, %int2 : !torch.vtensor<[4],si64>, !torch.vtensor<[4],si64>, !torch.int -> !torch.vtensor<[4],si64>
|
|
|
|
|
return %0 : !torch.vtensor<[4],si64>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_add_arr1_int
|
|
|
|
|
func.func @fold_aten_add_arr1_int() -> !torch.vtensor<[4],si64> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<[27, 29, 31, 33]> : tensor<4xsi64>)
|
|
|
|
|
%int2 = torch.constant.int 2
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<7> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<[10,11,12,13]> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%0 = torch.aten.add.Tensor %cst_7, %cst_11, %int2 : !torch.vtensor<[4],si64>, !torch.vtensor<[4],si64>, !torch.int -> !torch.vtensor<[4],si64>
|
|
|
|
|
return %0 : !torch.vtensor<[4],si64>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_add_arr0_float
|
|
|
|
|
func.func @fold_aten_add_arr0_float() -> !torch.vtensor<[4],f32> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<[2.800000e+01, 2.900000e+01, 3.000000e+01, 3.100000e+01]> : tensor<4xf32>)
|
|
|
|
|
%int2 = torch.constant.float 2.0
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<[6.0, 7.0, 8.0, 9.0]> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<11.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%0 = torch.aten.add.Tensor %cst_7, %cst_11, %int2 : !torch.vtensor<[4],f32>, !torch.vtensor<[4],f32>, !torch.float -> !torch.vtensor<[4],f32>
|
|
|
|
|
return %0 : !torch.vtensor<[4],f32>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_add_arr1_float
|
|
|
|
|
func.func @fold_aten_add_arr1_float() -> !torch.vtensor<[4],f32> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<[2.700000e+01, 2.900000e+01, 3.100000e+01, 3.300000e+01]> : tensor<4xf32>)
|
|
|
|
|
%fp_2 = torch.constant.float 2.0
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<7.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<[10.0,11.0,12.0,13.0]> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%0 = torch.aten.add.Tensor %cst_7, %cst_11, %fp_2 : !torch.vtensor<[4],f32>, !torch.vtensor<[4],f32>, !torch.float -> !torch.vtensor<[4],f32>
|
|
|
|
|
return %0 : !torch.vtensor<[4],f32>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_sub_splat_int
|
|
|
|
|
func.func @fold_aten_sub_splat_int() -> !torch.vtensor<[4],si64> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<-15> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%int_2 = torch.constant.int 2
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<7> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<11> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%0 = torch.aten.sub.Tensor %cst_7, %cst_11, %int_2 : !torch.vtensor<[4],si64>, !torch.vtensor<[4],si64>, !torch.int -> !torch.vtensor<[4],si64>
|
|
|
|
|
return %0 : !torch.vtensor<[4],si64>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_sub_splat_float
|
|
|
|
|
func.func @fold_aten_sub_splat_float() -> !torch.vtensor<[4],f32> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<-1.500000e+01> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%fp_2 = torch.constant.float 2.0
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<7.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<11.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%0 = torch.aten.sub.Tensor %cst_7, %cst_11, %fp_2 : !torch.vtensor<[4],f32>, !torch.vtensor<[4],f32>, !torch.float -> !torch.vtensor<[4],f32>
|
|
|
|
|
return %0 : !torch.vtensor<[4],f32>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_mul_splat_int
|
|
|
|
|
func.func @fold_aten_mul_splat_int() -> !torch.vtensor<[4],si64> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<77> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<7> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<11> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%0 = torch.aten.mul.Tensor %cst_7, %cst_11: !torch.vtensor<[4],si64>, !torch.vtensor<[4],si64> -> !torch.vtensor<[4],si64>
|
|
|
|
|
return %0 : !torch.vtensor<[4],si64>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_mul_splat_float
|
|
|
|
|
func.func @fold_aten_mul_splat_float() -> !torch.vtensor<[4],f32> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<7.700000e+01> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_7 = torch.vtensor.literal(dense<7.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_11 = torch.vtensor.literal(dense<11.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%0 = torch.aten.mul.Tensor %cst_7, %cst_11 : !torch.vtensor<[4],f32>, !torch.vtensor<[4],f32> -> !torch.vtensor<[4],f32>
|
|
|
|
|
return %0 : !torch.vtensor<[4],f32>
|
|
|
|
|
}
|
2024-10-16 16:00:58 +08:00
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_rsub_scalar_int
|
|
|
|
|
func.func @fold_aten_rsub_scalar_int() -> !torch.vtensor<[4],si64> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<-4> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_2 = torch.constant.int 2
|
|
|
|
|
%cst_3 = torch.vtensor.literal(dense<3> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%0 = torch.aten.rsub.Scalar %cst_3, %cst_2, %cst_2: !torch.vtensor<[4],si64>, !torch.int, !torch.int -> !torch.vtensor<[4],si64>
|
|
|
|
|
return %0 : !torch.vtensor<[4],si64>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_rsub_scalar_float
|
|
|
|
|
func.func @fold_aten_rsub_scalar_float() -> !torch.vtensor<[4],f32> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<-4.000000e+00> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_2 = torch.constant.float 2.0
|
|
|
|
|
%cst_3 = torch.vtensor.literal(dense<3.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%0 = torch.aten.rsub.Scalar %cst_3, %cst_2, %cst_2: !torch.vtensor<[4],f32>, !torch.float, !torch.float -> !torch.vtensor<[4],f32>
|
|
|
|
|
return %0 : !torch.vtensor<[4],f32>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_remainder_scalar_int
|
|
|
|
|
func.func @fold_aten_remainder_scalar_int() -> !torch.vtensor<[4],si64> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<1> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_2 = torch.constant.int 2
|
|
|
|
|
%cst_3 = torch.vtensor.literal(dense<3> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%0 = torch.aten.remainder.Scalar %cst_3, %cst_2 : !torch.vtensor<[4],si64>, !torch.int -> !torch.vtensor<[4],si64>
|
|
|
|
|
return %0 : !torch.vtensor<[4],si64>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_remainder_scalar_float
|
|
|
|
|
func.func @fold_aten_remainder_scalar_float() -> !torch.vtensor<[4],f32> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<1.000000e+00> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_2 = torch.constant.float 2.0
|
|
|
|
|
%cst_3 = torch.vtensor.literal(dense<3.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%0 = torch.aten.remainder.Scalar %cst_3, %cst_2 : !torch.vtensor<[4],f32>, !torch.float -> !torch.vtensor<[4],f32>
|
|
|
|
|
return %0 : !torch.vtensor<[4],f32>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_int_tensor_int
|
|
|
|
|
func.func @fold_aten_int_tensor_int() -> !torch.int {
|
|
|
|
|
// CHECK: %int3 = torch.constant.int 3
|
|
|
|
|
%cst_3 = torch.vtensor.literal(dense<3> : tensor<si64>) : !torch.vtensor<[],si64>
|
|
|
|
|
%0 = torch.aten.Int.Tensor %cst_3 : !torch.vtensor<[],si64> -> !torch.int
|
|
|
|
|
return %0 : !torch.int
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_int_tensor_bool
|
|
|
|
|
func.func @fold_aten_int_tensor_bool() -> !torch.int {
|
|
|
|
|
// CHECK: %int1 = torch.constant.int 1
|
|
|
|
|
%cst_false = torch.vtensor.literal(dense<true> : tensor<i1>) : !torch.vtensor<[],i1>
|
|
|
|
|
%0 = torch.aten.Int.Tensor %cst_false : !torch.vtensor<[],i1> -> !torch.int
|
|
|
|
|
return %0 : !torch.int
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_int_tensor_float
|
|
|
|
|
func.func @fold_aten_int_tensor_float() -> !torch.int {
|
|
|
|
|
// CHECK: %int3 = torch.constant.int 3
|
|
|
|
|
%cst_3 = torch.vtensor.literal(dense<3.1> : tensor<f32>) : !torch.vtensor<[],f32>
|
|
|
|
|
%0 = torch.aten.Int.Tensor %cst_3 : !torch.vtensor<[],f32> -> !torch.int
|
|
|
|
|
return %0 : !torch.int
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_div_tensor_mode_int
|
|
|
|
|
func.func @fold_aten_div_tensor_mode_int() -> !torch.vtensor<[4],si64> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<4> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_8 = torch.vtensor.literal(dense<8> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_2 = torch.vtensor.literal(dense<2> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%trunc = torch.constant.str "trunc"
|
|
|
|
|
%0 = torch.aten.div.Tensor_mode %cst_8, %cst_2, %trunc : !torch.vtensor<[4],si64>, !torch.vtensor<[4],si64>, !torch.str -> !torch.vtensor<[4],si64>
|
|
|
|
|
return %0 : !torch.vtensor<[4],si64>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_div_tensor_mode_float
|
|
|
|
|
func.func @fold_aten_div_tensor_mode_float() -> !torch.vtensor<[4],f32> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<3.000000e+00> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_8 = torch.vtensor.literal(dense<8.0> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_2 = torch.vtensor.literal(dense<2.1> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%floor = torch.constant.str "floor"
|
|
|
|
|
%0 = torch.aten.div.Tensor_mode %cst_8, %cst_2, %floor : !torch.vtensor<[4],f32>, !torch.vtensor<[4],f32>, !torch.str -> !torch.vtensor<[4],f32>
|
|
|
|
|
return %0 : !torch.vtensor<[4],f32>
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// -----
|
|
|
|
|
|
|
|
|
|
// CHECK-LABEL: @fold_aten_div_tensor_mode_none
|
|
|
|
|
func.func @fold_aten_div_tensor_mode_none() -> !torch.vtensor<[4],f32> {
|
|
|
|
|
// CHECK: torch.vtensor.literal(dense<2.66666675> : tensor<4xf32>) : !torch.vtensor<[4],f32>
|
|
|
|
|
%cst_8 = torch.vtensor.literal(dense<8> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%cst_3 = torch.vtensor.literal(dense<3> : tensor<4xsi64>) : !torch.vtensor<[4],si64>
|
|
|
|
|
%none = torch.constant.none
|
|
|
|
|
%0 = torch.aten.div.Tensor_mode %cst_8, %cst_3, %none : !torch.vtensor<[4],si64>, !torch.vtensor<[4],si64>, !torch.none -> !torch.vtensor<[4],f32>
|
|
|
|
|
return %0 : !torch.vtensor<[4],f32>
|
|
|
|
|
}
|
