check(i.Get() == 5, "f11 i")
	check(s.l == 5, "f11 s")
}

func f12() {
	s := &S4{1, 2, 3, 4}
	var i I2 = s
	i.Put(5)
	check(i.Get() == 5, "f12 i")
	check(s.l == 5, "f12 s")
}

func main() {
	f1()
	f2()
	f3()
//	f4()
	f5()
	f6()
	f7()
	f8()
	f9()
//	f10()
	f11()
	f12()
	if fail > 0 {
		os.Exit(1)
	}

var a9 = f8(map[string]string{"abc": "def"})

func f10(s *S) [2]*S { return [2]*S{s, s} }

var a10 = f10(new(S))
var a11 = f10(&S{X: 1})

func f12(b []byte) [2][]byte { return [2][]byte{b, b} }

var a12 = f12([]byte("hello"))
var a13 = f12([]byte{1, 2, 3})
var a14 = f12(make([]byte, 1))

func f15(b []rune) [2][]rune { return [2][]rune{b, b} }

var a15 = f15([]rune("hello"))
var a16 = f15([]rune{1, 2, 3})

var _ = f012[float64 /* ERRORx `cannot satisfy I012.*empty type set` */ ]

type I12 interface {
	E1
	E2
}

func f12[T I12]() {}
var _ = f12[int /* ERROR "does not satisfy I12" */ ]
var _ = f12[bool /* ERROR "does not satisfy I12" */ ]
var _ = f12[string /* ERROR "does not satisfy I12" */ ]
var _ = f12[float64]

type I0_ interface {
	E0
	~int
}

func f0_[T I0_]() {}
var _ = f0_[int]

	FMADDD	F7, F9, F8, F13	// P4+t*P5
	FMOVD	$P3, F10	// F10 = P3
	FMADDD	F7, F10, F13, F13	// P3+t*(P4+t*P5)
	FMOVD	$P2, F11	// F11 = P2
	FMADDD	F7, F11, F13, F13	// P2+t*(P3+t*(P4+t*P5))
	FMOVD	$P1, F12	// F12 = P1
	FMADDD	F7, F12, F13, F13	// P1+t*(P2+t*(P3+t*(P4+t*P5)))
	FMSUBD	F7, F6, F13, F13	// F13 = c = r - t*(P1+t*(P2+t*(P3+t*(P4+t*P5))))
	FMOVD	$2.0, F14
	FSUBD	F13, F14
	FMULD	F6, F13, F15
	FDIVD	F14, F15	// F15 = (r*c)/(2-c)

	STMG	R6, R15, 48(R15)

	// Allocate 96 bytes on the stack.
	MOVD	$-96(R15), R15

	// Save F8-F15 in our stack frame.
	FMOVD	F8, 32(R15)
	FMOVD	F9, 40(R15)
	FMOVD	F10, 48(R15)
	FMOVD	F11, 56(R15)
	FMOVD	F12, 64(R15)
	FMOVD	F13, 72(R15)
	FMOVD	F14, 80(R15)
	FMOVD	F15, 88(R15)

	// Initialize Go ABI environment.
	BL	runtime·load_g(SB)

	MOVD	R2, 8(R15)	// fn unsafe.Pointer
	MOVD	R3, 16(R15)	// a unsafe.Pointer

			inputs: []inputInfo{
				{0, 4294901760}, // F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15
				{1, 4294901760}, // F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15
				{2, 4294901760}, // F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15
			},
			outputs: []outputInfo{
				{0, 4294901760}, // F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15
			},
		},
	},
	{
		name:         "MULAD",

// license that can be found in the LICENSE file.

//go:build ppc64 || ppc64le

package abi

const (
	// See abi_generic.go.

	// R3 - R10, R14 - R17.
	IntArgRegs = 12

	// F1 - F12.
	FloatArgRegs = 12

	EffectiveFloatRegSize = 8

	var f10 float32 = 10.0
	var f11 float32 = 11.0
	var f12 float32 = 12.0
	var f13 float32 = 13.0
	var f14 float32 = 14.0
	var f15 float32 = 15.0
	var f16 float32 = 16.0
	i0 = int(f0)
	i1 = int(f1)
	i2 = int(f2)
	i3 = int(f3)
	i4 = int(f4)
	i5 = int(f5)
	i6 = int(f6)
	i7 = int(f7)
	i8 = int(f8)
	i9 = int(f9)
	i10 = int(f10)
	i11 = int(f11)
	i12 = int(f12)
	i13 = int(f13)
	i14 = int(f14)
	i15 = int(f15)

	FMOVD F7, 176(R15)
	FMOVD F8, 184(R15)
	FMOVD F9, 192(R15)
	FMOVD F10, 200(R15)
	FMOVD F11, 208(R15)
	FMOVD F12, 216(R15)
	FMOVD F13, 224(R15)
	FMOVD F14, 232(R15)
	FMOVD F15, 240(R15)
	CALL ·asyncPreempt2(SB)
	FMOVD 240(R15), F15
	FMOVD 232(R15), F14
	FMOVD 224(R15), F13
	FMOVD 216(R15), F12
	FMOVD 208(R15), F11
	FMOVD 200(R15), F10
	FMOVD 192(R15), F9
	FMOVD 184(R15), F8
	FMOVD 176(R15), F7

package main

const (
	f1  = 1
	f2  = f1 * 2
	f3  = f2 * 3
	f4  = f3 * 4
	f5  = f4 * 5
	f6  = f5 * 6
	f7  = f6 * 7
	f8  = f7 * 8
	f9  = f8 * 9
	f10 = f9 * 10
	f11 = f10 * 11
	f12 = f11 * 12
	f13 = f12 * 13
	f14 = f13 * 14
	f15 = f14 * 15
	f16 = f15 * 16
	f17 = f16 * 17
	f18 = f17 * 18
	f19 = f18 * 19
	f20 = f19 * 20
	f21 = f20 * 21
	f22 = f21 * 22
	f23 = f22 * 23
	f24 = f23 * 24