Source file test/intrinsic.dir/main.go

     1  // Copyright 2016 The Go Authors. All rights reserved.
     2  // Use of this source code is governed by a BSD-style
     3  // license that can be found in the LICENSE file.
     4  
     5  package main
     6  
     7  import (
     8  	"fmt"
     9  	T "runtime/internal/sys"
    10  )
    11  
    12  var A = []uint64{0x0102030405060708, 0x1122334455667788}
    13  var B = []uint64{0x0807060504030201, 0x8877665544332211}
    14  
    15  var errors int
    16  
    17  func logf(f string, args ...interface{}) {
    18  	errors++
    19  	fmt.Printf(f, args...)
    20  	if errors > 100 { // 100 is enough spewage
    21  		panic("100 errors is plenty is enough")
    22  	}
    23  }
    24  
    25  func test(i int, x uint64) {
    26  	t := T.TrailingZeros64(x) // ERROR "intrinsic substitution for TrailingZeros64"
    27  	if i != t {
    28  		logf("TrailingZeros64(0x%x) expected %d but got %d\n", x, i, t)
    29  	}
    30  	x = -x
    31  	t = T.TrailingZeros64(x) // ERROR "intrinsic substitution for TrailingZeros64"
    32  	if i != t {
    33  		logf("TrailingZeros64(0x%x) expected %d but got %d\n", x, i, t)
    34  	}
    35  
    36  	if i <= 32 {
    37  		x32 := uint32(x)
    38  		t32 := T.TrailingZeros32(x32) // ERROR "intrinsic substitution for TrailingZeros32"
    39  		if i != t32 {
    40  			logf("TrailingZeros32(0x%x) expected %d but got %d\n", x32, i, t32)
    41  		}
    42  		x32 = -x32
    43  		t32 = T.TrailingZeros32(x32) // ERROR "intrinsic substitution for TrailingZeros32"
    44  		if i != t32 {
    45  			logf("TrailingZeros32(0x%x) expected %d but got %d\n", x32, i, t32)
    46  		}
    47  	}
    48  }
    49  
    50  func main() {
    51  	// Test Bswap first because the other test relies on it
    52  	// working correctly (to implement bit reversal).
    53  	for i := range A {
    54  		x := A[i]
    55  		y := B[i]
    56  		X := T.Bswap64(x) // ERROR "intrinsic substitution for Bswap64"
    57  		Y := T.Bswap64(y) // ERROR "intrinsic substitution for Bswap64"
    58  		if y != X {
    59  			logf("Bswap64(0x%08x) expected 0x%08x but got 0x%08x\n", x, y, X)
    60  		}
    61  		if x != Y {
    62  			logf("Bswap64(0x%08x) expected 0x%08x but got 0x%08x\n", y, x, Y)
    63  		}
    64  
    65  		x32 := uint32(X)
    66  		y32 := uint32(Y >> 32)
    67  
    68  		X32 := T.Bswap32(x32) // ERROR "intrinsic substitution for Bswap32"
    69  		Y32 := T.Bswap32(y32) // ERROR "intrinsic substitution for Bswap32"
    70  		if y32 != X32 {
    71  			logf("Bswap32(0x%08x) expected 0x%08x but got 0x%08x\n", x32, y32, X32)
    72  		}
    73  		if x32 != Y32 {
    74  			logf("Bswap32(0x%08x) expected 0x%08x but got 0x%08x\n", y32, x32, Y32)
    75  		}
    76  	}
    77  
    78  	// Zero is a special case, be sure it is done right.
    79  	if T.TrailingZeros32(0) != 32 { // ERROR "intrinsic substitution for TrailingZeros32"
    80  		logf("TrailingZeros32(0) != 32")
    81  	}
    82  	if T.TrailingZeros64(0) != 64 { // ERROR "intrinsic substitution for TrailingZeros64"
    83  		logf("TrailingZeros64(0) != 64")
    84  	}
    85  
    86  	for i := 0; i <= 64; i++ {
    87  		for j := uint64(1); j <= 255; j += 2 {
    88  			for k := uint64(1); k <= 65537; k += 128 {
    89  				x := (j * k) << uint(i)
    90  				test(i, x)
    91  			}
    92  		}
    93  	}
    94  }
    95  

View as plain text