[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-project/csmith] 798b7d: Fix PowerPC read_time()

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/csmith
  Commit: 798b7dada3770247423b72c6a84b71b2687f31c1
      https://github.com/csmith-project/csmith/commit/798b7dada3770247423b72c6a84b71b2687f31c1
  Author: Anton Blanchard <anton@samba.org>
  Date:   2015-11-20 (Fri, 20 Nov 2015)

  Changed paths:
    M src/platform.cpp

  Log Message:
  -----------
  Fix PowerPC read_time()

The inline assembly used for the PowerPC version of read_time() is
broken:

$ ./src/csmith |grep Seed
 * Seed:      276270
$ ./src/csmith |grep Seed
 * Seed:      276270
$ ./src/csmith |grep Seed
 * Seed:      276270

Since platform_gen_seed() only returns a long we can simplify things
and just use mftb. With the patch applied we see correct behaviour:

$ ./src/csmith |grep Seed
 * Seed:      1186590549319330
$ ./src/csmith |grep Seed
 * Seed:      1186590989534520
$ ./src/csmith |grep Seed
 * Seed:      1186591288978819


  Commit: a9ecee20da36988d1d1bdde649e54b618c7edbf4
      https://github.com/csmith-project/csmith/commit/a9ecee20da36988d1d1bdde649e54b618c7edbf4
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-20 (Fri, 20 Nov 2015)

  Changed paths:
    M src/platform.cpp

  Log Message:
  -----------
  Merge pull request #27 from antonblanchard/powerpc_read_time

Fix PowerPC read_time()


Compare: https://github.com/csmith-project/csmith/compare/33641e302872...a9ecee20da36