Google Git
Sign in
go / go / 20101894078199a3a9014ca99ec4e2a0a16a0869 / src / cmd / compile / internal / ssa / prove.go
  1. 2cdb7f1 cmd/compile: move Frontend field from ssa.Config to ssa.Func by Josh Bleecher Snyder · 8 years ago
  2. 73f92f9 cmd/compile: use len(s)<=cap(s) to remove more bounds checks by Keith Randall · 8 years ago
  3. cfd17f5 [dev.inline] cmd/compile/internal/ssa: rename various fields from Line to Pos by Robert Griesemer · 8 years ago
  4. deb4177 cmd/compile: use masks instead of branches for slicing by Keith Randall · 8 years ago
  5. 0f29942 cmd/compile: Repurpose old sliceopt.go for prove phase. by David Chase · 8 years ago
  6. c536812 cmd/compile: remove redundant function idom by Hajime Hoshi · 8 years ago
  7. 75ce89c cmd/compile: cache CFG-dependent computations by Keith Randall · 9 years ago
  8. 6b99fb5 cmd/compile: use sparse algorithm for phis in large program by David Chase · 9 years ago
  9. 4fa0500 cmd/compile: enable constant-time CFG editing by Keith Randall · 9 years ago
  10. 9743e4b cmd/compile: share dominator tree among many passes by Alexandru Moșoi · 9 years ago
  11. 7a8caf7 all: fix spelling mistakes by Eric Engestrom · 9 years ago
  12. 27ebc84 cmd/compile: handle non-negatives in prove by Alexandru Moșoi · 9 years ago
  13. 47c9e13 cmd/compile: extend prove pass to handle constant comparisons by Keith Randall · 9 years ago
  14. 56e0ecc cmd/compile: keep value use counts in SSA by Keith Randall · 9 years ago
  15. 98b88de cmd/compile: change the type of ssa Warnl line number by Todd Neal · 9 years ago
  16. cd798dc cmd/compile/internal/ssa: generalize prove to all booleans by Alexandru Moșoi · 9 years ago
  17. 34f048c [dev.ssa] cmd/compile: small optimization to prove using sdom tweak by David Chase · 9 years ago
  18. bdea1d5 [dev.ssa] cmd/compile/internal/ssa: remove proven redundant controls. by Alexandru Moșoi · 9 years ago