// 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.#..|

	case 969:
		return 969
	case 970:
		return 970
	case 971:
		return 971
	case 972:
		return 972
	case 973:
		return 973
	case 974:
		return 974
	case 975:
		return 975
	case 976:
		return 976
	case 977:
		return 977
	case 978:
		return 978
	case 979:
		return 979
	case 980:
		return 980
	case 981:
		return 981
	case 982:

C3.825,14.074 3.825,13.175 4.525,12.475 L7.625,9.375"/><path fill="none" stroke="#000" stroke-width="1.1" d="M9.325,7.375 L12.425,4.275 C13.125,3.575 14.025,3.575 14.724,4.275 L15.425,4.975 C16.125,5.675 16.125,6.575 15.425,7.275 L12.325,10.375"/><path fill="none" stroke="#000" stroke-width="1.1" d="M7.925,11.875 L11.925,7.975"/></svg>',linkedin:'<svg width="20" height="20" viewBox="0 0 20 20" xmlns="http://www.w3.org/2000/svg"><path d="M5.77,17.89 L5.77,7.17 L2.21,7.17 L2.21,17.89 L5.77,17.89 L5.77,17.89...

	MOVW	$971, R12
	B	runtime·callbackasm1(SB)
	MOVW	$972, R12
	B	runtime·callbackasm1(SB)
	MOVW	$973, R12
	B	runtime·callbackasm1(SB)
	MOVW	$974, R12
	B	runtime·callbackasm1(SB)
	MOVW	$975, R12
	B	runtime·callbackasm1(SB)
	MOVW	$976, R12
	B	runtime·callbackasm1(SB)
	MOVW	$977, R12
	B	runtime·callbackasm1(SB)
	MOVW	$978, R12
	B	runtime·callbackasm1(SB)
	MOVW	$979, R12

	MOVD	$971, R12
	B	runtime·callbackasm1(SB)
	MOVD	$972, R12
	B	runtime·callbackasm1(SB)
	MOVD	$973, R12
	B	runtime·callbackasm1(SB)
	MOVD	$974, R12
	B	runtime·callbackasm1(SB)
	MOVD	$975, R12
	B	runtime·callbackasm1(SB)
	MOVD	$976, R12
	B	runtime·callbackasm1(SB)
	MOVD	$977, R12
	B	runtime·callbackasm1(SB)
	MOVD	$978, R12
	B	runtime·callbackasm1(SB)
	MOVD	$979, R12

	971:  {region: 0x96, script: 0x5b, flags: 0x0},
	972:  {region: 0x166, script: 0x5b, flags: 0x0},
	973:  {region: 0x166, script: 0x5b, flags: 0x0},
	974:  {region: 0x9f, script: 0x5b, flags: 0x0},
	975:  {region: 0x166, script: 0x5, flags: 0x0},
	976:  {region: 0x9a, script: 0x5b, flags: 0x0},
	977:  {region: 0x31, script: 0x2, flags: 0x1},
	978:  {region: 0xdc, script: 0x22, flags: 0x0},

GoStart dt=178 g=22 g_seq=40
GoLabel dt=1 label_string=4
GoBlock dt=66 reason_string=15 stack=5
GoUnblock dt=8 g=22 g_seq=41 stack=0
GoStart dt=4 g=22 g_seq=42
GoLabel dt=1 label_string=2
GoBlock dt=975 reason_string=15 stack=5
ProcStop dt=1192
ProcStart dt=347 p=25 p_seq=5
GoUnblock dt=11 g=131 g_seq=6 stack=0
GoStart dt=145 g=131 g_seq=7
GoBlock dt=21 reason_string=15 stack=2