[luci] Handle dynamic dimensions in Squeeze shape inference

[mbencer]

This commit skip verification of squeezed dimension if such dimension is dynamic.

ONE-DCO-1.0-Signed-off-by: Mateusz Bencer m.bencer@partner.samsung.com

Issue: #14791

[seanshpark]

Plz follow #14844 (comment) for this too

[mbencer]

Plz follow #14844 (comment) for this too

I'm trying with TF recipe like:

operand {
  name: "ifm"
  type: FLOAT32
  shape { dim: 3 dim: 4 dim: 5 dim: 1}
  shape_signature { dim: 3 dim: 4 dim: 5 dim: -1 }
}
operand {
  name: "ofm"
  type: FLOAT32
  shape { dim: 3 dim: 4 dim: 5 }
}
operation {
  type: "Squeeze"
  squeeze_options { squeeze_dim: 3 }
  input: "ifm"
  output: "ofm"
}
input: "ifm"
output: "ofm"

But it fails on asserts in luci-interpreter Squeeze kernel because of dynamic dimension in input shape. It looks like only shape_signature is propagated there.

[seanshpark]

I'm trying with TF recipe like:

this is tflite recipe, not TF

... on asserts in luci-interpreter Squeeze kernel ...

you may have to fix luci-interpreter too, as I know you are to support dynamic shapes.

[jinevening]

Code itself looks good to me.

[mbencer]

@seanshpark

this is tflite recipe, not TF

Right ;)

you may have to fix luci-interpreter too, as I know you are to support dynamic shapes.

I see but it looks like a bigger task. In the current state I'm specializing dynamic shape model to the static version via circle-resizer but still probably will be needed in the future. I'll think about it ;)

In the current moment I'm proposing introduce the Squeeze test based on tflite recipe in steps (the order is important):
#14864
#14865
#14866

But this PR should be merged at first.