Alexandru Moșoi cd798dcb88 cmd/compile/internal/ssa: generalize prove to all booleans ...

* Refacts a bit saving and restoring parents restrictions
* Shaves ~100k from pkg/tools/linux_amd64,
but most of the savings come from the rewrite rules.
* Improves on the following artificial test case:
func f1(a4 bool, a6 bool) bool {
  return a6 || (a6 || (a6 || a4)) || (a6 || (a4 || a6 || (false || a6)))
}

Change-Id: I714000f75a37a3a6617c6e6834c75bd23674215f
Reviewed-on: https://go-review.googlesource.com/20306
Reviewed-by: Keith Randall <khr@golang.org>
Run-TryBot: Alexandru Moșoi <alexandru@mosoi.ro>
TryBot-Result: Gobot Gobot <gobot@golang.org>

2016-03-13 12:05:41 +00:00

..

bench

encoding/base64: fix streaming decode of padding-free base64

2016-01-08 15:07:45 +00:00

bugs

test: migrate remaining tests to run.go

2014-12-22 22:41:34 +00:00

chan

Fix several out of date references to 4g/5g/6g/8g/9g.

2015-06-26 03:38:21 +00:00

ddd2.dir

test: convert tests to run.go whenever possible.

2012-10-10 22:35:27 +02:00

dwarf

test: make rundir match compiledir/errorcheckdir.

2013-01-11 22:00:48 +01:00

fixedbugs

cmd/compile: don't use PPARAMOUT names for temps

2016-03-11 00:56:04 +00:00

import2.dir

test: convert more tests to rundir/compiledir conventions

2012-10-07 23:22:01 +02:00

import4.dir

test: adjust gccgo expected import errors

2015-10-07 14:37:44 +00:00

interface

cmd/internal/gc: improve "type *X has no field or method M" message

2015-05-07 16:21:57 +00:00

ken

…

method4.dir

cmd/gc: do not omit wrapper for expression (interface{...}).F

2014-01-07 13:26:48 +01:00

safe

test: adapt old-style tests to new flag parsing.

2013-01-11 22:05:46 +01:00

stress

build: adjustments for move from src/pkg to src

2014-09-08 00:06:45 -04:00

syntax

cmd/compile: use bufio.Reader directly in lexer

2016-03-11 21:27:23 +00:00

64bit.go

cmd/gc: Error out on division by constant zero.

2013-01-30 20:21:08 +01:00

235.go

…

alias1.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

alias.go

…

append.go

…

args.go

test: run some more tests by default

2012-11-08 09:04:27 -08:00

assign1.go

…

assign.go

cmd/gc: prohibit short variable declarations containing duplicate symbols

2014-10-06 17:16:39 -04:00

bigalg.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

bigmap.go

runtime: handle and test large map values

2012-05-24 22:41:07 -04:00

blank1.go

cmd/compile: don't allow blank method declarations on builtins

2015-12-02 18:26:38 +00:00

blank.go

test: revert changes made for Go SSA interpreter test.

2013-10-08 14:36:20 -04:00

bom.go

gc: initial BOM is legal.

2012-09-10 13:03:07 -07:00

bombad.go

gc: initial BOM is legal.

2012-09-10 13:03:07 -07:00

bounds.go

test: prepare for 64-bit ints

2012-09-24 00:06:41 -04:00

chancap.go

…

chanlinear.go

runtime: test for linear enqueue/dequeue behavior

2014-12-08 22:18:17 +00:00

char_lit1.go

…

char_lit.go

…

clearfat.go

[dev.power64] 9g: fix under-zeroing in clearfat

2014-10-31 11:08:27 -04:00

closedchan.go

…

closure1.go

cmd/gc: capture variables by value

2015-01-29 13:07:30 +00:00

closure2.go

cmd/gc: fix capturing by value for range statements

2015-02-03 15:48:48 +00:00

closure.go

test: enforce 1 proc in the test

2012-07-01 21:59:50 +04:00

cmp6.go

cmd/gc: do not consider length zero arrays as comparable.

2014-01-31 00:30:56 +01:00

cmp.go

Fix several out of date references to 4g/5g/6g/8g/9g.

2015-06-26 03:38:21 +00:00

cmplx.go

cmd/gc: reject complex calls with mismatched argument types.

2013-03-11 22:55:14 +01:00

cmplxdivide1.go

test: use testlib in a few more cases

2012-03-22 02:14:44 +08:00

cmplxdivide.c

test: comment the behavior and use of cmplxdivide*

2015-01-15 00:00:06 +00:00

cmplxdivide.go

test: comment the behavior and use of cmplxdivide*

2015-01-15 00:00:06 +00:00

complit1.go

cmd/internal/gc: accept map literals with omitted key type

2015-06-04 02:31:38 +00:00

complit.go

…

compos.go

…

const1.go

test: match gccgo error messages

2013-12-12 17:18:12 -08:00

const2.go

test: match gccgo error messages

2012-09-28 08:30:30 -07:00

const3.go

…

const4.go

all: link to https instead of http

2015-07-11 14:36:33 +00:00

const5.go

all: link to https instead of http

2015-07-11 14:36:33 +00:00

const6.go

test: match gccgo error strings.

2013-06-26 18:05:02 +02:00

const.go

cmd/compile: allow huge rsh in constants arithmetic

2015-08-21 20:27:22 +00:00

convert1.go

…

convert3.go

…

convert.go

…

convlit1.go

…

convlit.go

cmd/internal/gc: unsafe.Pointer constants may only be converted to uintptr

2015-05-07 23:54:28 +00:00

convT2X.go

cmd/gc: cache itab lookup in convT2I.

2012-07-03 09:09:05 +10:00

copy.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

crlf.go

test: use testlib in a few more cases (part 2)

2012-04-20 23:45:43 +08:00

ddd1.go

test: match gccgo error messages

2012-09-28 08:30:30 -07:00

ddd2.go

test: convert tests to run.go whenever possible.

2012-10-10 22:35:27 +02:00

ddd.go

test: enable method expression tests in ddd.go

2012-03-07 11:17:26 -08:00

decl.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

declbad.go

test: correct type in declbad.go

2012-10-07 21:52:57 +02:00

defer.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

deferfin.go

runtime: combine small NoScan allocations

2014-01-24 22:35:11 +04:00

deferprint.go

…

deferprint.out

…

divide.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

divmod.go

all: fix a few spelling errors in source comments

2013-12-27 08:59:02 -08:00

empty.go

…

env.go

…

eof1.go

…

eof.go

…

errchk

Fix several out of date references to 4g/5g/6g/8g/9g.

2015-06-26 03:38:21 +00:00

escape2.go

cmd/compile: better modeling of escape across loop levels

2016-01-13 04:01:00 +00:00

escape2n.go

cmd/compile: better modeling of escape across loop levels

2016-01-13 04:01:00 +00:00

escape3.go

…

escape4.go

cmd/internal/gc: transitive inlining

2015-02-26 17:36:00 +00:00

escape5.go

cmd/internal/gc: move check for large-hence-heap-allocated types into escape analysis

2015-05-22 02:13:54 +00:00

escape_array.go

cmd/internal/gc: move check for large-hence-heap-allocated types into escape analysis

2015-05-22 02:13:54 +00:00

escape_calls.go

cmd/internal/gc: make indirect calls properly escape-y

2015-05-22 01:36:11 +00:00

escape_closure.go

cmd/internal/gc: improve flow of input params to output params

2015-05-01 13:47:20 +00:00

escape_field.go

cmd/internal/gc: improve flow of input params to output params

2015-05-01 13:47:20 +00:00

escape_iface.go

cmd/compile: avoid leak of dottype expression if type does not contain pointers.

2016-02-19 16:10:14 +00:00

escape_indir.go

cmd/internal/gc: improve flow of input params to output params

2015-05-01 13:47:20 +00:00

escape_level.go

cmd/internal/gc: improve flow of input params to output params

2015-05-01 13:47:20 +00:00

escape_map.go

test: add tests for escape analysis of interface conversions

2015-03-28 16:15:27 +00:00

escape_param.go

cmd/internal/gc: improve flow of input params to output params

2015-05-01 13:47:20 +00:00

escape_slice.go

cmd/internal/gc: extend escape analysis to pointers in slices

2015-05-18 15:34:39 +00:00

escape_struct_param1.go

cmd/internal/gc: improve flow of input params to output params

2015-05-01 13:47:20 +00:00

escape_struct_param2.go

cmd/internal/gc: improve flow of input params to output params

2015-05-01 13:47:20 +00:00

escape_struct_return.go

cmd/internal/gc: improve flow of input params to output params

2015-05-01 13:47:20 +00:00

escape.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

fibo.go

Fix whitespace (use blanks consistently).

2014-12-08 22:22:58 +00:00

finprofiled.go

runtime: fix finalization and profiling of tiny allocations

2015-11-03 18:57:18 +00:00

float_lit2.go

test: fix two typos in float_lit2.go

2014-05-21 17:19:12 -04:00

float_lit3.go

test/float_lit2.go: rewrite to test values near boundaries

2014-05-21 17:12:06 -04:00

float_lit.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

floatcmp.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

for.go

…

func1.go

cmd/gc: ensure unique parameter and result names in function types

2013-03-15 15:24:13 -04:00

func2.go

…

func3.go

…

func4.go

…

func5.go

…

func6.go

Fix several out of date references to 4g/5g/6g/8g/9g.

2015-06-26 03:38:21 +00:00

func7.go

Fix several out of date references to 4g/5g/6g/8g/9g.

2015-06-26 03:38:21 +00:00

func8.go

test: use go:noinline consistently

2015-11-03 02:01:34 +00:00

func.go

…

funcdup2.go

test: match gccgo error messages

2013-12-12 17:18:12 -08:00

funcdup.go

test: match gccgo error messages

2013-12-12 17:18:12 -08:00

gc1.go

…

gc2.go

test: check for build constraints only upto the first blank line

2015-02-06 05:36:26 +00:00

gc.go

…

gcstring.go

runtime: fix empty string handling in garbage collector

2014-03-11 23:58:39 -04:00

goprint.go

test: make goprint.go wait longer for go its routine to execute

2013-04-12 16:04:19 -07:00

goprint.out

…

goto.go

[dev.ssa] test: gofmt {goto,label,label1}.go

2015-07-20 20:09:34 +00:00

heapsampling.go

test: really force heap profile update in heapsampling.go

2015-11-12 18:32:13 +00:00

helloworld.go

…

helloworld.out

…

if.go

…

import1.go

test: match gccgo import error messages

2013-12-12 19:02:11 -08:00

import2.go

test: convert more tests to rundir/compiledir conventions

2012-10-07 23:22:01 +02:00

import4.go

test: convert more tests to rundir/compiledir conventions

2012-10-07 23:22:01 +02:00

import5.go

…

import.go

…

index0.go

test: run index test by default

2012-11-07 12:33:54 -08:00

index1.go

test: run index test by default

2012-11-07 12:33:54 -08:00

index2.go

test: run index test by default

2012-11-07 12:33:54 -08:00

index.go

Fix several out of date references to 4g/5g/6g/8g/9g.

2015-06-26 03:38:21 +00:00

indirect1.go

…

indirect.go

…

init1.go

test: deflake init1.go test, tighten its bounds

2015-02-13 22:13:56 +00:00

init.go

…

initcomma.go

…

initialize.go

…

initializerr.go

test: add "duplicate" struct map key test

2012-12-17 11:05:58 -05:00

initloop.go

cmd/compile: use []*Node instead of NodeList in sinit

2015-09-05 02:25:01 +00:00

inline.go

cmd/compile: add support for a go:noinline directive

2015-10-29 23:16:27 +00:00

int_lit.go

…

intcvt.go

…

iota.go

…

label1.go

[dev.ssa] cmd/compile: implement control flow handling

2015-07-23 00:45:26 +00:00

label.go

[dev.ssa] cmd/compile: implement control flow handling

2015-07-23 00:45:26 +00:00

linkmain_run.go

test: fix linkmain test

2015-12-17 23:36:13 +00:00

linkmain.go

cmd/link: reject non-package main toplevel.a file, remove dead code

2015-12-17 20:59:51 +00:00

linkx_run.go

cmd/link: remove alternate -X flag spelling

2016-02-19 01:35:25 +00:00

linkx.go

cmd/link: detect -X setting non-string variable

2015-06-29 20:28:36 +00:00

literal.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

live1.go

cmd/gc: correct liveness for fat variables

2014-02-15 10:58:55 -05:00

live2.go

[dev.ssa] cmd/compile: default compile+test with SSA

2015-10-30 20:35:20 +00:00

live_syscall.go

cmd/compile: recognize Syscall-like functions for liveness analysis

2016-01-14 01:16:45 +00:00

live.go

[dev.ssa] cmd/compile: default compile+test with SSA

2015-10-30 20:35:20 +00:00

mallocfin.go

…

map1.go

cmd/gc: fix type checking loop

2012-06-07 03:06:40 -04:00

map.go

test/mapnan.go: add regression test for non-empty interfaces.

2014-08-06 17:02:55 -04:00

maplinear.go

test: make maplinear more robust

2014-10-27 18:59:02 -04:00

method1.go

…

method2.go

cmd/gc: fix method values whose receiver is an unnamed interface.

2013-08-29 10:00:58 +02:00

method3.go

…

method4.go

test: convert more tests to rundir/compiledir conventions

2012-10-07 23:22:01 +02:00

method5.go

cmd/gc: implement method values

2013-03-20 17:11:09 -04:00

method.go

test: a number of fixes.

2013-02-11 18:20:52 -05:00

named1.go

cmd/gc: comma-ok assignments produce untyped bool as 2nd result

2014-08-11 16:11:55 -07:00

named.go

…

nil.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

nilcheck.go

[dev.ssa] cmd/compile: make cse faster

2016-01-28 20:59:20 +00:00

nilptr2.go

test: revert changes made for Go SSA interpreter test.

2013-10-08 14:36:20 -04:00

nilptr3_ssa.go

[dev.ssa] cmd/compile: get rid of nil checks before float loads/stores

2016-02-26 04:33:46 +00:00

nilptr3.go

[dev.ssa] test: remove extra tests from non-SSA builds

2016-02-26 19:07:16 +00:00

nilptr4.go

cmd/gc: fix bad checknil with ints on 32 bit compilers

2014-02-26 12:25:13 -08:00

nilptr.go

test/nilptr: add more tests

2013-09-05 23:06:34 -04:00

nosplit.go

[dev.ssa] cmd/compile: shrink stack guard

2016-02-25 22:32:48 +00:00

nul1.go

test: run some more tests by default

2012-11-08 09:04:27 -08:00

opt_branchlikely.go

[dev.ssa] cmd/compile: adjust branch likeliness for calls/loops

2016-03-01 20:09:41 +00:00

parentype.go

…

peano.go

…

phiopt.go

[dev.ssa] cmd/compile/internal/ssa: simplify boolean phis

2016-03-01 17:56:13 +00:00

print.go

runtime: move built-in print routines to go.

2014-07-31 13:48:48 -07:00

print.out

runtime: move built-in print routines to go.

2014-07-31 13:48:48 -07:00

printbig.go

…

printbig.out

…

prove.go

cmd/compile/internal/ssa: generalize prove to all booleans

2016-03-13 12:05:41 +00:00

range.go

cmd/gc: implement 'for range x {'

2014-07-16 19:27:10 -04:00

recover1.go

…

recover2.go

…

recover3.go

tests: remove two misuses of nil pointers

2013-08-15 11:51:04 -04:00

recover4.go

test: move allocation before munmap in recover4

2015-09-16 08:51:48 +00:00

recover.go

test: add more cases to recover.go

2014-10-22 08:06:15 -07:00

reflectmethod1.go

cmd/compile: track reflect.Type.Method in deadcode

2016-03-11 21:19:20 +00:00

reflectmethod2.go

cmd/compile: track reflect.Type.Method in deadcode

2016-03-11 21:19:20 +00:00

reflectmethod3.go

cmd/compile: track reflect.Type.Method in deadcode

2016-03-11 21:19:20 +00:00

reflectmethod4.go

cmd/link: treat reflect.Value.Method like Call

2016-03-11 22:07:02 +00:00

rename1.go

…

rename.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

reorder2.go

test: use go:noinline consistently

2015-11-03 02:01:34 +00:00

reorder.go

test: a number of fixes.

2013-02-11 18:20:52 -05:00

return.go

test: add cases to return.go that gccgo got wrong

2013-08-07 11:31:01 -07:00

rotate0.go

test: re-enable rotate tests

2015-05-28 19:40:58 +00:00

rotate1.go

test: re-enable rotate tests

2015-05-28 19:40:58 +00:00

rotate2.go

test: re-enable rotate tests

2015-05-28 19:40:58 +00:00

rotate3.go

test: re-enable rotate tests

2015-05-28 19:40:58 +00:00

rotate.go

test: add rotate.go and fixedbugs/bug313

2013-01-11 22:42:55 +01:00

run.go

[dev.ssa] Merge remote-tracking branch 'origin/master' into mergebranch

2016-01-07 10:01:08 -08:00

rune.go

…

runtime.go

…

shift1.go

test: avoid "declared but not used" errors in shift1.go

2014-07-20 12:25:24 -07:00

shift2.go

test: add shift expression incorrectly rejected by gccgo.

2013-06-25 08:06:34 +02:00

sieve.go

…

sigchld.go

test: skip SIGCHLD test on Plan 9

2014-01-29 09:28:23 +01:00

sigchld.out

…

simassign.go

…

sinit_run.go

all: retire architecture letter in file names, public API

2015-05-21 17:32:17 +00:00

sinit.go

cmd/compile: allow static init for unsafe.Pointer(&x) where x is global

2015-07-07 21:51:57 +00:00

sizeof.go

test: correct sizeof.go.

2013-06-02 19:10:11 +02:00

slice3.go

cmd/gc, runtime: treat slices and strings like pointers in garbage collection

2014-08-25 14:38:19 -04:00

slice3err.go

test: match gccgo error messages

2013-12-12 17:18:12 -08:00

slicecap.go

cmd/gc, runtime: treat slices and strings like pointers in garbage collection

2014-08-25 14:38:19 -04:00

sliceopt.go

[dev.ssa] cmd/compile: default compile+test with SSA

2015-10-30 20:35:20 +00:00

solitaire.go

…

stack.go

…

string_lit.go

test: add []rune case to string_lit.go

2013-12-12 17:17:02 -08:00

stringrange.go

all: make Unicode surrogate halves illegal as UTF-8

2012-08-08 14:01:23 -07:00

struct0.go

…

switch2.go

cmd/compile: address several more 1.6 TODOs in parser

2015-11-21 07:21:23 +00:00

switch3.go

cmd/gc: accept switches on comparable arrays.

2012-08-03 21:47:26 +02:00

switch4.go

cmd/gc: disallow fallthrough in final case of switch

2013-03-15 00:35:09 -04:00

switch.go

cmd/gc: disallow fallthrough in final case of switch

2013-03-15 00:35:09 -04:00

tinyfin.go

runtime: fix finalization and profiling of tiny allocations

2015-11-03 18:57:18 +00:00

torture.go

cmd/8g: don't allocate a register early for cap(CHAN).

2014-07-01 09:20:51 +02:00

turing.go

…

typecheck.go

cmd/gc: silence assignment errors to undefined symbols

2014-01-03 21:03:20 +01:00

typecheckloop.go

cmd/compile: convert typecheck_stack to []*Node

2015-09-06 23:50:51 +00:00

typeswitch1.go

…

typeswitch2.go

…

typeswitch3.go

test: match gccgo error messages

2012-09-28 08:30:30 -07:00

typeswitch.go

…

undef.go

…

utf.go

…

varerr.go

…

varinit.go

…

writebarrier.go

cmd/compile: add write barrier to type switch

2016-02-12 21:07:21 +00:00

zerodivide.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00