OXIESEC PANEL
- Current Dir:
/
/
opt
/
golang
/
1.22.0
/
src
/
cmd
/
compile
/
internal
/
ssa
Server IP: 191.96.63.230
Upload:
Create Dir:
Name
Size
Modified
Perms
📁
..
-
02/02/2024 06:09:55 PM
rwxr-xr-x
📄
README.md
8.14 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
TODO
950 bytes
02/02/2024 06:09:55 PM
rw-r--r--
📁
_gen
-
02/02/2024 06:09:55 PM
rwxr-xr-x
📄
addressingmodes.go
24.26 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
allocators.go
7.37 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
bench_test.go
835 bytes
02/02/2024 06:09:55 PM
rw-r--r--
📄
biasedsparsemap.go
2.67 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
block.go
11.03 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
branchelim.go
12.7 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
branchelim_test.go
5.21 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
cache.go
1.55 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
check.go
17.52 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
checkbce.go
956 bytes
02/02/2024 06:09:55 PM
rw-r--r--
📄
compile.go
18.66 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
config.go
12.95 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
copyelim.go
1.83 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
copyelim_test.go
1.29 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
critical.go
3.06 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
cse.go
9.63 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
cse_test.go
4.2 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
deadcode.go
9.25 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
deadcode_test.go
3.49 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
deadstore.go
10.42 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
deadstore_test.go
4.09 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
debug.go
56.4 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
debug_lines_test.go
8.44 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
debug_test.go
28.64 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
decompose.go
13.42 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
dom.go
7.35 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
dom_test.go
13.34 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
expand_calls.go
31.88 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
export_test.go
3.04 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
flagalloc.go
6.72 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
flags_amd64_test.s
533 bytes
02/02/2024 06:09:55 PM
rw-r--r--
📄
flags_arm64_test.s
699 bytes
02/02/2024 06:09:55 PM
rw-r--r--
📄
flags_test.go
2.47 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
fmahash_test.go
1.82 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
func.go
25.07 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
func_test.go
13.05 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
fuse.go
9.03 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
fuse_branchredirect.go
3.22 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
fuse_comparisons.go
4.04 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
fuse_test.go
7.37 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
generate.go
225 bytes
02/02/2024 06:09:55 PM
rw-r--r--
📄
html.go
34.85 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
id.go
576 bytes
02/02/2024 06:09:55 PM
rw-r--r--
📄
layout.go
4.97 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
lca.go
3.77 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
lca_test.go
1.65 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
likelyadjust.go
15.43 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
location.go
3.06 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
loopbce.go
11.81 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
loopreschedchecks.go
15.96 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
looprotate.go
2.68 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
lower.go
1.66 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
magic.go
15.77 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
magic_test.go
9.1 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
memcombine.go
18.44 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
nilcheck.go
11.3 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
nilcheck_test.go
12.33 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
numberlines.go
7.82 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
op.go
18.67 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
opGen.go
1.03 MB
02/02/2024 06:09:55 PM
rw-r--r--
📄
opt.go
309 bytes
02/02/2024 06:09:55 PM
rw-r--r--
📄
passbm_test.go
3.14 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
phielim.go
1.48 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
phiopt.go
8.08 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
poset.go
37.21 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
poset_test.go
18.14 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
print.go
3.86 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
prove.go
49.44 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
regalloc.go
87.22 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
regalloc_test.go
6.31 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewrite.go
60.26 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewrite386.go
262.37 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewrite386splitload.go
4.04 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteAMD64.go
713.19 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteAMD64latelower.go
2.58 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteAMD64splitload.go
21.4 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteARM.go
486.78 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteARM64.go
623.93 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteARM64latelower.go
6.88 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteCond_test.go
11.12 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteLOONG64.go
195.82 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteMIPS.go
176.61 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteMIPS64.go
211.6 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewritePPC64.go
371.03 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewritePPC64latelower.go
14.78 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteRISCV64.go
203.12 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteRISCV64latelower.go
5.08 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteS390X.go
395.13 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewriteWasm.go
108.58 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewrite_test.go
6.91 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewritedec.go
24.94 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewritedec64.go
65.29 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
rewritegeneric.go
796.35 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
sccp.go
17.56 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
sccp_test.go
3.57 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
schedule.go
16.42 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
schedule_test.go
5.57 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
shift_test.go
4.05 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
shortcircuit.go
12.63 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
shortcircuit_test.go
1.31 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
sizeof_test.go
855 bytes
02/02/2024 06:09:55 PM
rw-r--r--
📄
softfloat.go
1.99 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
sparsemap.go
1.9 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
sparsemappos.go
1.7 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
sparseset.go
1.54 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
sparsetree.go
8.05 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
stackalloc.go
12.56 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
stmtlines_test.go
3.46 KB
02/02/2024 06:09:55 PM
rw-r--r--
📁
testdata
-
02/02/2024 06:09:55 PM
rwxr-xr-x
📄
tighten.go
7.67 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
trim.go
4.25 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
tuple.go
1.97 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
value.go
16.67 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
writebarrier.go
23.5 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
writebarrier_test.go
1.75 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
xposmap.go
3.29 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
zcse.go
2.07 KB
02/02/2024 06:09:55 PM
rw-r--r--
📄
zeroextension_test.go
1.66 KB
02/02/2024 06:09:55 PM
rw-r--r--
Editing: flagalloc.go
Close
// Copyright 2015 The Go Authors. All rights reserved. // Use of this source code is governed by a BSD-style // license that can be found in the LICENSE file. package ssa // flagalloc allocates the flag register among all the flag-generating // instructions. Flag values are recomputed if they need to be // spilled/restored. func flagalloc(f *Func) { // Compute the in-register flag value we want at the end of // each block. This is basically a best-effort live variable // analysis, so it can be much simpler than a full analysis. end := f.Cache.allocValueSlice(f.NumBlocks()) defer f.Cache.freeValueSlice(end) po := f.postorder() for n := 0; n < 2; n++ { for _, b := range po { // Walk values backwards to figure out what flag // value we want in the flag register at the start // of the block. var flag *Value for _, c := range b.ControlValues() { if c.Type.IsFlags() { if flag != nil { panic("cannot have multiple controls using flags") } flag = c } } if flag == nil { flag = end[b.ID] } for j := len(b.Values) - 1; j >= 0; j-- { v := b.Values[j] if v == flag { flag = nil } if v.clobbersFlags() { flag = nil } for _, a := range v.Args { if a.Type.IsFlags() { flag = a } } } if flag != nil { for _, e := range b.Preds { p := e.b end[p.ID] = flag } } } } // For blocks which have a flags control value, that's the only value // we can leave in the flags register at the end of the block. (There // is no place to put a flag regeneration instruction.) for _, b := range f.Blocks { if b.Kind == BlockDefer { // Defer blocks internally use/clobber the flags value. end[b.ID] = nil continue } for _, v := range b.ControlValues() { if v.Type.IsFlags() && end[b.ID] != v { end[b.ID] = nil } } } // Compute which flags values will need to be spilled. spill := map[ID]bool{} for _, b := range f.Blocks { var flag *Value if len(b.Preds) > 0 { flag = end[b.Preds[0].b.ID] } for _, v := range b.Values { for _, a := range v.Args { if !a.Type.IsFlags() { continue } if a == flag { continue } // a will need to be restored here. spill[a.ID] = true flag = a } if v.clobbersFlags() { flag = nil } if v.Type.IsFlags() { flag = v } } for _, v := range b.ControlValues() { if v != flag && v.Type.IsFlags() { spill[v.ID] = true } } if v := end[b.ID]; v != nil && v != flag { spill[v.ID] = true } } // Add flag spill and recomputation where they are needed. var remove []*Value // values that should be checked for possible removal var oldSched []*Value for _, b := range f.Blocks { oldSched = append(oldSched[:0], b.Values...) b.Values = b.Values[:0] // The current live flag value (the pre-flagalloc copy). var flag *Value if len(b.Preds) > 0 { flag = end[b.Preds[0].b.ID] // Note: the following condition depends on the lack of critical edges. for _, e := range b.Preds[1:] { p := e.b if end[p.ID] != flag { f.Fatalf("live flag in %s's predecessors not consistent", b) } } } for _, v := range oldSched { if v.Op == OpPhi && v.Type.IsFlags() { f.Fatalf("phi of flags not supported: %s", v.LongString()) } // If v will be spilled, and v uses memory, then we must split it // into a load + a flag generator. if spill[v.ID] && v.MemoryArg() != nil { remove = append(remove, v) if !f.Config.splitLoad(v) { f.Fatalf("can't split flag generator: %s", v.LongString()) } } // Make sure any flag arg of v is in the flags register. // If not, recompute it. for i, a := range v.Args { if !a.Type.IsFlags() { continue } if a == flag { continue } // Recalculate a c := copyFlags(a, b) // Update v. v.SetArg(i, c) // Remember the most-recently computed flag value. flag = a } // Issue v. b.Values = append(b.Values, v) if v.clobbersFlags() { flag = nil } if v.Type.IsFlags() { flag = v } } for i, v := range b.ControlValues() { if v != flag && v.Type.IsFlags() { // Recalculate control value. remove = append(remove, v) c := copyFlags(v, b) b.ReplaceControl(i, c) flag = v } } if v := end[b.ID]; v != nil && v != flag { // Need to reissue flag generator for use by // subsequent blocks. remove = append(remove, v) copyFlags(v, b) // Note: this flag generator is not properly linked up // with the flag users. This breaks the SSA representation. // We could fix up the users with another pass, but for now // we'll just leave it. (Regalloc has the same issue for // standard regs, and it runs next.) // For this reason, take care not to add this flag // generator to the remove list. } } // Save live flag state for later. for _, b := range f.Blocks { b.FlagsLiveAtEnd = end[b.ID] != nil } // Remove any now-dead values. // The number of values to remove is likely small, // and removing them requires processing all values in a block, // so minimize the number of blocks that we touch. // Shrink remove to contain only dead values, and clobber those dead values. for i := 0; i < len(remove); i++ { v := remove[i] if v.Uses == 0 { v.reset(OpInvalid) continue } // Remove v. last := len(remove) - 1 remove[i] = remove[last] remove[last] = nil remove = remove[:last] i-- // reprocess value at i } if len(remove) == 0 { return } removeBlocks := f.newSparseSet(f.NumBlocks()) defer f.retSparseSet(removeBlocks) for _, v := range remove { removeBlocks.add(v.Block.ID) } // Process affected blocks, preserving value order. for _, b := range f.Blocks { if !removeBlocks.contains(b.ID) { continue } i := 0 for j := 0; j < len(b.Values); j++ { v := b.Values[j] if v.Op == OpInvalid { continue } b.Values[i] = v i++ } b.truncateValues(i) } } func (v *Value) clobbersFlags() bool { if opcodeTable[v.Op].clobberFlags { return true } if v.Type.IsTuple() && (v.Type.FieldType(0).IsFlags() || v.Type.FieldType(1).IsFlags()) { // This case handles the possibility where a flag value is generated but never used. // In that case, there's no corresponding Select to overwrite the flags value, // so we must consider flags clobbered by the tuple-generating instruction. return true } return false } // copyFlags copies v (flag generator) into b, returns the copy. // If v's arg is also flags, copy recursively. func copyFlags(v *Value, b *Block) *Value { flagsArgs := make(map[int]*Value) for i, a := range v.Args { if a.Type.IsFlags() || a.Type.IsTuple() { flagsArgs[i] = copyFlags(a, b) } } c := v.copyInto(b) for i, a := range flagsArgs { c.SetArg(i, a) } return c }