1
0
mirror of https://github.com/golang/go synced 2024-11-26 10:38:07 -07:00

Refined deMorgan's tests to be more explicit with regexp

This commit is contained in:
Stefan 2023-05-09 21:30:09 -04:00
parent b9f424e7d1
commit f22e2350c9

View File

@ -28,14 +28,14 @@ func ornot(x, y int) int {
// Verify that (OR (NOT x) (NOT y)) rewrites to (NOT (AND x y))
func orDemorgans(x, y int) int {
// amd64:"AND"
// amd64:"AND",-"OR"
z := ^x | ^y
return z
}
// Verify that (AND (NOT x) (NOT y)) rewrites to (NOT (OR x y))
func andDemorgans(x, y int) int {
// amd64:"OR"
// amd64:"OR",-"AND"
z := ^x & ^y
return z
}