// run

// Copyright 2018 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// Bad AND/BTR combination rule.

package main

import "fmt"

//go:noinline
func f(x uint64) uint64 {
	return (x >> 48) &^ (uint64(0x4000))
}

func main() {
	bad := false
	if got, want := f(^uint64(0)), uint64(0xbfff); got != want {
		fmt.Printf("got %x, want %x\n", got, want)
		bad = true
	}
	if bad {
		panic("bad")
	}
}