{64, true, 8, false, func(n int64, s uint8) int64 { return n >> s }},
		{64, false, 8, false, func(n uint64, s uint8) uint64 { return n >> s }},

		{32, true, 64, true, func(n int32, s uint64) int32 { return n << s }},
		{32, true, 64, false, func(n int32, s uint64) int32 { return n >> s }},
		{32, false, 64, false, func(n uint32, s uint64) uint32 { return n >> s }},

		{func(x *int) any { return Tintptr(x) }, func(v Tintptr) { finalize(v) }},
		{func(x *int) any { return Tintptr(x) }, func(v *int) { finalize(v) }},
		{func(x *int) any { return (*Tint)(x) }, func(v *Tint) { finalize((*int)(v)) }},
		{func(x *int) any { return (*Tint)(x) }, func(v Tinter) { finalize((*int)(v.(*Tint))) }},
		// Test case for argument spill slot.
		// If the spill slot was not counted for the frame size, it will (incorrectly) choose

	}
}

func TestIssue43920(t *testing.T) {
	var steps int

	defer func() {
		expect(t, 1, recover())
	}()
	defer func() {
		defer func() {
			defer func() {
				expect(t, 5, recover())
			}()
			defer panic(5)
			func() {
				panic(4)
			}()
		}()
		defer func() {
			expect(t, 3, recover())
		}()
		defer panic(3)
	}()
	func() {
		defer step(t, &steps, 1)

func (c *sigctxt) r5() uint64  { return c.regs().mc_gpregs.gp_x[5] }
func (c *sigctxt) r6() uint64  { return c.regs().mc_gpregs.gp_x[6] }
func (c *sigctxt) r7() uint64  { return c.regs().mc_gpregs.gp_x[7] }
func (c *sigctxt) r8() uint64  { return c.regs().mc_gpregs.gp_x[8] }
func (c *sigctxt) r9() uint64  { return c.regs().mc_gpregs.gp_x[9] }
func (c *sigctxt) r10() uint64 { return c.regs().mc_gpregs.gp_x[10] }

// CHECK-LABEL: func @identity
// CHECK-SAME:    (%[[ARG0:.*]]: tensor<i32>)
func.func @identity(%arg0: tensor<i32>) -> tensor<i32> {
  // CHECK-NOT: "tf.Identity"
  %0 = "tf.Identity"(%arg0) : (tensor<i32>) -> tensor<i32>
  // CHECK: return %[[ARG0]]
  func.return %0 : tensor<i32>
}

// CHECK-LABEL: func @identity_terminator
// CHECK-SAME:    (%[[ARG0:.*]]: tensor<i32>)

func socket(domain int, typ int, proto int) (fd int, err error) {
	r0, _, e1 := rawSyscall(abi.FuncPCABI0(libc_socket_trampoline), uintptr(domain), uintptr(typ), uintptr(proto))
	fd = int(r0)
	if e1 != 0 {
		err = errnoErr(e1)
	}
	return
}

func libc_socket_trampoline()

//go:cgo_import_dynamic libc_socket socket "/usr/lib/libSystem.B.dylib"

// THIS FILE IS GENERATED BY THE COMMAND AT THE TOP; DO NOT EDIT

func (c *sigctxt) t1() uint64  { return uint64(c.regs().sc_t[1]) }
func (c *sigctxt) t2() uint64  { return uint64(c.regs().sc_t[2]) }
func (c *sigctxt) s0() uint64  { return uint64(c.regs().sc_s[0]) }
func (c *sigctxt) s1() uint64  { return uint64(c.regs().sc_s[1]) }
func (c *sigctxt) a0() uint64  { return uint64(c.regs().sc_a[0]) }
func (c *sigctxt) a1() uint64  { return uint64(c.regs().sc_a[1]) }
func (c *sigctxt) a2() uint64  { return uint64(c.regs().sc_a[2]) }

//go:noescape
func Or8(ptr *uint8, val uint8)

// NOTE: Do not add atomicxor8 (XOR is not idempotent).

//go:noescape
func And(ptr *uint32, val uint32)

//go:noescape
func Or(ptr *uint32, val uint32)

//go:noescape
func And32(ptr *uint32, val uint32) uint32

//go:noescape
func Or32(ptr *uint32, val uint32) uint32

//go:noescape
func And64(ptr *uint64, val uint64) uint64

//go:noescape

func _() {
L:
	if false {
	} else {
		goto L
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	if true {
	L:
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	if true {
	L:
	} else {
	}
}

func _() {
	goto L /* ERROR "goto L jumps into block" */
	if true {
	} else {
	L:
	}
}

func _() {
	if false {
	L:

func.func @invalid_island(%arg0: tensor<*xf32>, %ctl: !tf_executor.control) {
  tf_executor.graph {
    "tf_executor.island"() ({
// expected-error@+1 {{'func.return' op invalid tf_executor.island terminator, yield expected}}
      func.return
    }) : () -> (!tf_executor.control)
  }
  func.return
}

// -----

// Check that a tf_executor.yield parent is a tf_executor.island.
func.func @parent_is_island() {