| // autogenerated from rulegen/generic.rules: do not edit! |
| // generated with: go run rulegen/rulegen.go rulegen/generic.rules genericBlockRules genericValueRules generic.go |
| package ssa |
| |
| func genericValueRules(v *Value, config *Config) bool { |
| switch v.Op { |
| case OpAdd: |
| // match: (Add <t> (Const [c]) (Const [d])) |
| // cond: is64BitInt(t) |
| // result: (Const [{c.(int64)+d.(int64)}]) |
| { |
| t := v.Type |
| if v.Args[0].Op != OpConst { |
| goto end8d047ed0ae9537b840adc79ea82c6e05 |
| } |
| c := v.Args[0].Aux |
| if v.Args[1].Op != OpConst { |
| goto end8d047ed0ae9537b840adc79ea82c6e05 |
| } |
| d := v.Args[1].Aux |
| if !(is64BitInt(t)) { |
| goto end8d047ed0ae9537b840adc79ea82c6e05 |
| } |
| v.Op = OpConst |
| v.Aux = nil |
| v.resetArgs() |
| v.Aux = c.(int64) + d.(int64) |
| return true |
| } |
| goto end8d047ed0ae9537b840adc79ea82c6e05 |
| end8d047ed0ae9537b840adc79ea82c6e05: |
| ; |
| case OpArrayIndex: |
| // match: (ArrayIndex (Load ptr mem) idx) |
| // cond: |
| // result: (Load (PtrIndex <ptr.Type.Elem().Elem().PtrTo()> ptr idx) mem) |
| { |
| if v.Args[0].Op != OpLoad { |
| goto end3809f4c52270a76313e4ea26e6f0b753 |
| } |
| ptr := v.Args[0].Args[0] |
| mem := v.Args[0].Args[1] |
| idx := v.Args[1] |
| v.Op = OpLoad |
| v.Aux = nil |
| v.resetArgs() |
| v0 := v.Block.NewValue(OpPtrIndex, TypeInvalid, nil) |
| v0.Type = ptr.Type.Elem().Elem().PtrTo() |
| v0.AddArg(ptr) |
| v0.AddArg(idx) |
| v.AddArg(v0) |
| v.AddArg(mem) |
| return true |
| } |
| goto end3809f4c52270a76313e4ea26e6f0b753 |
| end3809f4c52270a76313e4ea26e6f0b753: |
| ; |
| case OpConst: |
| // match: (Const <t> [s]) |
| // cond: t.IsString() |
| // result: (StringMake (OffPtr <TypeBytePtr> [2*config.ptrSize] (Global <TypeBytePtr> [config.fe.StringSym(s.(string))])) (Const <config.Uintptr> [int64(len(s.(string)))])) |
| { |
| t := v.Type |
| s := v.Aux |
| if !(t.IsString()) { |
| goto end8442aa5b3f4e5b840055475883110372 |
| } |
| v.Op = OpStringMake |
| v.Aux = nil |
| v.resetArgs() |
| v0 := v.Block.NewValue(OpOffPtr, TypeInvalid, nil) |
| v0.Type = TypeBytePtr |
| v0.Aux = 2 * config.ptrSize |
| v1 := v.Block.NewValue(OpGlobal, TypeInvalid, nil) |
| v1.Type = TypeBytePtr |
| v1.Aux = config.fe.StringSym(s.(string)) |
| v0.AddArg(v1) |
| v.AddArg(v0) |
| v2 := v.Block.NewValue(OpConst, TypeInvalid, nil) |
| v2.Type = config.Uintptr |
| v2.Aux = int64(len(s.(string))) |
| v.AddArg(v2) |
| return true |
| } |
| goto end8442aa5b3f4e5b840055475883110372 |
| end8442aa5b3f4e5b840055475883110372: |
| ; |
| case OpIsInBounds: |
| // match: (IsInBounds (Const [c]) (Const [d])) |
| // cond: |
| // result: (Const [inBounds(c.(int64),d.(int64))]) |
| { |
| if v.Args[0].Op != OpConst { |
| goto enddbd1a394d9b71ee64335361b8384865c |
| } |
| c := v.Args[0].Aux |
| if v.Args[1].Op != OpConst { |
| goto enddbd1a394d9b71ee64335361b8384865c |
| } |
| d := v.Args[1].Aux |
| v.Op = OpConst |
| v.Aux = nil |
| v.resetArgs() |
| v.Aux = inBounds(c.(int64), d.(int64)) |
| return true |
| } |
| goto enddbd1a394d9b71ee64335361b8384865c |
| enddbd1a394d9b71ee64335361b8384865c: |
| ; |
| case OpLoad: |
| // match: (Load <t> ptr mem) |
| // cond: t.IsString() |
| // result: (StringMake (Load <TypeBytePtr> ptr mem) (Load <config.Uintptr> (OffPtr <TypeBytePtr> [config.ptrSize] ptr) mem)) |
| { |
| t := v.Type |
| ptr := v.Args[0] |
| mem := v.Args[1] |
| if !(t.IsString()) { |
| goto endd0afd003b70d726a1c5bbaf51fe06182 |
| } |
| v.Op = OpStringMake |
| v.Aux = nil |
| v.resetArgs() |
| v0 := v.Block.NewValue(OpLoad, TypeInvalid, nil) |
| v0.Type = TypeBytePtr |
| v0.AddArg(ptr) |
| v0.AddArg(mem) |
| v.AddArg(v0) |
| v1 := v.Block.NewValue(OpLoad, TypeInvalid, nil) |
| v1.Type = config.Uintptr |
| v2 := v.Block.NewValue(OpOffPtr, TypeInvalid, nil) |
| v2.Type = TypeBytePtr |
| v2.Aux = config.ptrSize |
| v2.AddArg(ptr) |
| v1.AddArg(v2) |
| v1.AddArg(mem) |
| v.AddArg(v1) |
| return true |
| } |
| goto endd0afd003b70d726a1c5bbaf51fe06182 |
| endd0afd003b70d726a1c5bbaf51fe06182: |
| ; |
| case OpMul: |
| // match: (Mul <t> (Const [c]) (Const [d])) |
| // cond: is64BitInt(t) |
| // result: (Const [{c.(int64)*d.(int64)}]) |
| { |
| t := v.Type |
| if v.Args[0].Op != OpConst { |
| goto end776610f88cf04f438242d76ed2b14f1c |
| } |
| c := v.Args[0].Aux |
| if v.Args[1].Op != OpConst { |
| goto end776610f88cf04f438242d76ed2b14f1c |
| } |
| d := v.Args[1].Aux |
| if !(is64BitInt(t)) { |
| goto end776610f88cf04f438242d76ed2b14f1c |
| } |
| v.Op = OpConst |
| v.Aux = nil |
| v.resetArgs() |
| v.Aux = c.(int64) * d.(int64) |
| return true |
| } |
| goto end776610f88cf04f438242d76ed2b14f1c |
| end776610f88cf04f438242d76ed2b14f1c: |
| ; |
| case OpPtrIndex: |
| // match: (PtrIndex <t> ptr idx) |
| // cond: |
| // result: (Add ptr (Mul <config.Uintptr> idx (Const <config.Uintptr> [t.Elem().Size()]))) |
| { |
| t := v.Type |
| ptr := v.Args[0] |
| idx := v.Args[1] |
| v.Op = OpAdd |
| v.Aux = nil |
| v.resetArgs() |
| v.AddArg(ptr) |
| v0 := v.Block.NewValue(OpMul, TypeInvalid, nil) |
| v0.Type = config.Uintptr |
| v0.AddArg(idx) |
| v1 := v.Block.NewValue(OpConst, TypeInvalid, nil) |
| v1.Type = config.Uintptr |
| v1.Aux = t.Elem().Size() |
| v0.AddArg(v1) |
| v.AddArg(v0) |
| return true |
| } |
| goto end88c7c383675420d1581daeb899039fa8 |
| end88c7c383675420d1581daeb899039fa8: |
| ; |
| case OpSliceCap: |
| // match: (SliceCap (Load ptr mem)) |
| // cond: |
| // result: (Load (Add <ptr.Type> ptr (Const <config.Uintptr> [int64(config.ptrSize*2)])) mem) |
| { |
| if v.Args[0].Op != OpLoad { |
| goto endc871dcd9a720b4290c9cae78fe147c8a |
| } |
| ptr := v.Args[0].Args[0] |
| mem := v.Args[0].Args[1] |
| v.Op = OpLoad |
| v.Aux = nil |
| v.resetArgs() |
| v0 := v.Block.NewValue(OpAdd, TypeInvalid, nil) |
| v0.Type = ptr.Type |
| v0.AddArg(ptr) |
| v1 := v.Block.NewValue(OpConst, TypeInvalid, nil) |
| v1.Type = config.Uintptr |
| v1.Aux = int64(config.ptrSize * 2) |
| v0.AddArg(v1) |
| v.AddArg(v0) |
| v.AddArg(mem) |
| return true |
| } |
| goto endc871dcd9a720b4290c9cae78fe147c8a |
| endc871dcd9a720b4290c9cae78fe147c8a: |
| ; |
| case OpSliceLen: |
| // match: (SliceLen (Load ptr mem)) |
| // cond: |
| // result: (Load (Add <ptr.Type> ptr (Const <config.Uintptr> [int64(config.ptrSize)])) mem) |
| { |
| if v.Args[0].Op != OpLoad { |
| goto end1eec05e44f5fc8944e7c176f98a74d92 |
| } |
| ptr := v.Args[0].Args[0] |
| mem := v.Args[0].Args[1] |
| v.Op = OpLoad |
| v.Aux = nil |
| v.resetArgs() |
| v0 := v.Block.NewValue(OpAdd, TypeInvalid, nil) |
| v0.Type = ptr.Type |
| v0.AddArg(ptr) |
| v1 := v.Block.NewValue(OpConst, TypeInvalid, nil) |
| v1.Type = config.Uintptr |
| v1.Aux = int64(config.ptrSize) |
| v0.AddArg(v1) |
| v.AddArg(v0) |
| v.AddArg(mem) |
| return true |
| } |
| goto end1eec05e44f5fc8944e7c176f98a74d92 |
| end1eec05e44f5fc8944e7c176f98a74d92: |
| ; |
| case OpSlicePtr: |
| // match: (SlicePtr (Load ptr mem)) |
| // cond: |
| // result: (Load ptr mem) |
| { |
| if v.Args[0].Op != OpLoad { |
| goto end459613b83f95b65729d45c2ed663a153 |
| } |
| ptr := v.Args[0].Args[0] |
| mem := v.Args[0].Args[1] |
| v.Op = OpLoad |
| v.Aux = nil |
| v.resetArgs() |
| v.AddArg(ptr) |
| v.AddArg(mem) |
| return true |
| } |
| goto end459613b83f95b65729d45c2ed663a153 |
| end459613b83f95b65729d45c2ed663a153: |
| ; |
| case OpStore: |
| // match: (Store dst (Load <t> src mem) mem) |
| // cond: t.Size() > 8 |
| // result: (Move [t.Size()] dst src mem) |
| { |
| dst := v.Args[0] |
| if v.Args[1].Op != OpLoad { |
| goto end324ffb6d2771808da4267f62c854e9c8 |
| } |
| t := v.Args[1].Type |
| src := v.Args[1].Args[0] |
| mem := v.Args[1].Args[1] |
| if v.Args[2] != v.Args[1].Args[1] { |
| goto end324ffb6d2771808da4267f62c854e9c8 |
| } |
| if !(t.Size() > 8) { |
| goto end324ffb6d2771808da4267f62c854e9c8 |
| } |
| v.Op = OpMove |
| v.Aux = nil |
| v.resetArgs() |
| v.Aux = t.Size() |
| v.AddArg(dst) |
| v.AddArg(src) |
| v.AddArg(mem) |
| return true |
| } |
| goto end324ffb6d2771808da4267f62c854e9c8 |
| end324ffb6d2771808da4267f62c854e9c8: |
| ; |
| // match: (Store dst str mem) |
| // cond: str.Type.IsString() |
| // result: (Store (OffPtr <TypeBytePtr> [config.ptrSize] dst) (StringLen <config.Uintptr> str) (Store <TypeMem> dst (StringPtr <TypeBytePtr> str) mem)) |
| { |
| dst := v.Args[0] |
| str := v.Args[1] |
| mem := v.Args[2] |
| if !(str.Type.IsString()) { |
| goto end410559d97aed8018f820cd88723de442 |
| } |
| v.Op = OpStore |
| v.Aux = nil |
| v.resetArgs() |
| v0 := v.Block.NewValue(OpOffPtr, TypeInvalid, nil) |
| v0.Type = TypeBytePtr |
| v0.Aux = config.ptrSize |
| v0.AddArg(dst) |
| v.AddArg(v0) |
| v1 := v.Block.NewValue(OpStringLen, TypeInvalid, nil) |
| v1.Type = config.Uintptr |
| v1.AddArg(str) |
| v.AddArg(v1) |
| v2 := v.Block.NewValue(OpStore, TypeInvalid, nil) |
| v2.Type = TypeMem |
| v2.AddArg(dst) |
| v3 := v.Block.NewValue(OpStringPtr, TypeInvalid, nil) |
| v3.Type = TypeBytePtr |
| v3.AddArg(str) |
| v2.AddArg(v3) |
| v2.AddArg(mem) |
| v.AddArg(v2) |
| return true |
| } |
| goto end410559d97aed8018f820cd88723de442 |
| end410559d97aed8018f820cd88723de442: |
| ; |
| case OpStringLen: |
| // match: (StringLen (StringMake _ len)) |
| // cond: |
| // result: len |
| { |
| if v.Args[0].Op != OpStringMake { |
| goto end0d922460b7e5ca88324034f4bd6c027c |
| } |
| len := v.Args[0].Args[1] |
| v.Op = len.Op |
| v.Aux = len.Aux |
| v.resetArgs() |
| v.AddArgs(len.Args...) |
| return true |
| } |
| goto end0d922460b7e5ca88324034f4bd6c027c |
| end0d922460b7e5ca88324034f4bd6c027c: |
| ; |
| case OpStringPtr: |
| // match: (StringPtr (StringMake ptr _)) |
| // cond: |
| // result: ptr |
| { |
| if v.Args[0].Op != OpStringMake { |
| goto end061edc5d85c73ad909089af2556d9380 |
| } |
| ptr := v.Args[0].Args[0] |
| v.Op = ptr.Op |
| v.Aux = ptr.Aux |
| v.resetArgs() |
| v.AddArgs(ptr.Args...) |
| return true |
| } |
| goto end061edc5d85c73ad909089af2556d9380 |
| end061edc5d85c73ad909089af2556d9380: |
| } |
| return false |
| } |
| func genericBlockRules(b *Block) bool { |
| switch b.Kind { |
| case BlockIf: |
| // match: (BlockIf (Const [c]) yes no) |
| // cond: c.(bool) |
| // result: (BlockPlain nil yes) |
| { |
| v := b.Control |
| if v.Op != OpConst { |
| goto endbe39807508a6192b4022c7293eb6e114 |
| } |
| c := v.Aux |
| yes := b.Succs[0] |
| no := b.Succs[1] |
| if !(c.(bool)) { |
| goto endbe39807508a6192b4022c7293eb6e114 |
| } |
| removePredecessor(b, no) |
| b.Kind = BlockPlain |
| b.Control = nil |
| b.Succs = b.Succs[:1] |
| b.Succs[0] = yes |
| return true |
| } |
| goto endbe39807508a6192b4022c7293eb6e114 |
| endbe39807508a6192b4022c7293eb6e114: |
| ; |
| // match: (BlockIf (Const [c]) yes no) |
| // cond: !c.(bool) |
| // result: (BlockPlain nil no) |
| { |
| v := b.Control |
| if v.Op != OpConst { |
| goto end69ac35957ebe0a77a5ef5103c1f79fbf |
| } |
| c := v.Aux |
| yes := b.Succs[0] |
| no := b.Succs[1] |
| if !(!c.(bool)) { |
| goto end69ac35957ebe0a77a5ef5103c1f79fbf |
| } |
| removePredecessor(b, yes) |
| b.Kind = BlockPlain |
| b.Control = nil |
| b.Succs = b.Succs[:1] |
| b.Succs[0] = no |
| return true |
| } |
| goto end69ac35957ebe0a77a5ef5103c1f79fbf |
| end69ac35957ebe0a77a5ef5103c1f79fbf: |
| } |
| return false |
| } |
