// RUN: infrtexec -i %s | FileCheck %s
// CHECK-LABEL: @build_tensor1
func @build_tensor1() {
  %a = ts.build_shape [1:i64, 57:i64, 92:i64]
  // CHECK: shape[1,57,92]
  ts.print_shape %a
  infrt.return
}