// RUN: odml_to_stablehlo %s --allow-tf=true -o /tmp/temp2.mlir; [ -f /tmp/temp2.mlir ]

module attributes {tf.versions = {bad_consumers = [], min_consumer = 12 : i32, producer = 975 : i32}, tf_saved_model.semantics}  {

// RUN: odml-to-stablehlo-opt %s --smuggle-disallowed-ops-pass | FileCheck %s --check-prefix=CHECK-OPT

// CHECK-LABEL: @main
module attributes {tf.versions = {bad_consumers = [], min_consumer = 12 : i32, producer = 975 : i32}, tf_saved_model.semantics}  {

"9.5.2 OK"
"9.5.3 OK"
"9.5.4 OK"
"9.5.5 OK"
"9.5.6 OK"
"9.6.1 OK"
"9.6.2 OK"
"9.6.3 OK"
"9.6.4 OK"
"9.6.5 OK"
"9.6.6 OK"
"9.7.1 OK"
"9.7.2 OK"
"9.7.3 OK"
"9.7.4 OK"
"9.7.5 OK"
"9.7.6 OK"
"9.8.1 OK"
"9.8.2 OK"
"9.8.3 OK"
"9.8.4 OK"
"9.8.5 OK"

000001f0  25 fe b6 0a a9 d5 b3 72  61 3a 71 ec a2 44 91 5e  |%......ra:q..D.^|
00000200  30 1b d4 dd 07 cf 35 6a  85 4a 95 b2 a9 f5 5c 6e  |0.....5j.J....\n|
00000210  35 f9 07 7b d9 b0 a5 64  2f c3 34 23 84 3f 1a 97  |5..{...d/.4#.?..|
00000220  dd 25 75 7c 76 0f 9b 73  5b aa c0 a1 00 4b f6 b1  |.%u|v..s[....K..|
00000230  61 34 51 d0 d1 3b 00 4f  87 93 f5 45 2e 23 93 ee  |a4Q..;.O...E.#..|