v.copyOf(x)
		return true
	}
	// match: (Load <t1> p1 (Store {t2} p2 (Const64 [x]) _))
	// cond: isSamePtr(p1,p2) && sizeof(t2) == 8 && is64BitFloat(t1) && !math.IsNaN(math.Float64frombits(uint64(x)))
	// result: (Const64F [math.Float64frombits(uint64(x))])
	for {
		t1 := v.Type
		p1 := v_0
		if v_1.Op != OpStore {
			break
		}
		t2 := auxToType(v_1.Aux)
		_ = v_1.Args[1]

		{"Exp", Func, 0},
		{"Exp2", Func, 0},
		{"Expm1", Func, 0},
		{"FMA", Func, 14},
		{"Float32bits", Func, 0},
		{"Float32frombits", Func, 0},
		{"Float64bits", Func, 0},
		{"Float64frombits", Func, 0},
		{"Floor", Func, 0},
		{"Frexp", Func, 0},
		{"Gamma", Func, 0},
		{"Hypot", Func, 0},
		{"Ilogb", Func, 0},
		{"Inf", Func, 0},
		{"IsInf", Func, 0},
		{"IsNaN", Func, 0},