Skip to content

Commit

Permalink
Move verification diagnostics in `shardy/dialect/sdy/ir/test/constant…
Browse files Browse the repository at this point in the history
…_verification.mlir`.

PiperOrigin-RevId: 730565546
  • Loading branch information
ZixuanJiang authored and copybara-github committed Feb 24, 2025
1 parent bcd72c8 commit 6986e94
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions shardy/dialect/sdy/ir/test/constant_verification.mlir
Original file line number Diff line number Diff line change
@@ -1,15 +1,15 @@
// RUN: sdy_opt %s -split-input-file -verify-diagnostics

func.func @dynamic_constant() -> tensor<8x?xf32> {
%0 = sdy.constant dense<1.000000e+00> : tensor<8x?xf32>
// expected-error @below {{elements literal type must have static shape}}
%0 = sdy.constant dense<1.000000e+00> : tensor<8x?xf32>
func.return %0 : tensor<8x?xf32>
}

// -----

func.func @unranked_constant() -> tensor<*xf32> {
%0 = sdy.constant dense<1.000000e+00> : tensor<*xf32>
// expected-error @below {{elements literal type must have static shape}}
%0 = sdy.constant dense<1.000000e+00> : tensor<*xf32>
func.return %0 : tensor<8x?xf32>
}

0 comments on commit 6986e94

Please sign in to comment.