405 lines
6.4 KiB
Plaintext
405 lines
6.4 KiB
Plaintext
{
|
|
"Version": 1,
|
|
"Msg": "=== Depth 8 Rule6KenerlMatching: ",
|
|
"0": {
|
|
"type": 2,
|
|
"paddings": [
|
|
0,
|
|
0,
|
|
0
|
|
],
|
|
"summand": "1",
|
|
"loopVarRanges": {
|
|
"b": [
|
|
0,
|
|
8
|
|
],
|
|
"m": [
|
|
0,
|
|
10000
|
|
],
|
|
"w": [
|
|
0,
|
|
65
|
|
]
|
|
}
|
|
},
|
|
"1": {
|
|
"type": 3,
|
|
"subExprsNum": 3,
|
|
"object": "2",
|
|
"indexes": [
|
|
"32",
|
|
"33",
|
|
"42"
|
|
]
|
|
},
|
|
"2": {
|
|
"type": 4,
|
|
"name": "T4",
|
|
"shape": [
|
|
8,
|
|
10000,
|
|
65
|
|
],
|
|
"paddings": [
|
|
0,
|
|
0,
|
|
0
|
|
],
|
|
"source": "3"
|
|
},
|
|
"3": {
|
|
"type": 103,
|
|
"inputs": [
|
|
"4",
|
|
"8"
|
|
],
|
|
"expr": "12",
|
|
"args": [
|
|
8,
|
|
10000,
|
|
32,
|
|
512,
|
|
1
|
|
]
|
|
},
|
|
"4": {
|
|
"type": 4,
|
|
"name": "T1",
|
|
"shape": [
|
|
8,
|
|
10000,
|
|
512
|
|
],
|
|
"paddings": [
|
|
0,
|
|
0,
|
|
0
|
|
],
|
|
"source": "5"
|
|
},
|
|
"5": {
|
|
"type": 105,
|
|
"inputs": [
|
|
"6"
|
|
],
|
|
"expr": "7",
|
|
"outputShape": [
|
|
8,
|
|
10000,
|
|
512
|
|
]
|
|
},
|
|
"6": {
|
|
"type": 4,
|
|
"name": "A",
|
|
"shape": [
|
|
8,
|
|
10000,
|
|
512
|
|
],
|
|
"paddings": [
|
|
0,
|
|
0,
|
|
0
|
|
],
|
|
"source": "-1"
|
|
},
|
|
"7": {
|
|
"type": 4,
|
|
"name": "__DLT",
|
|
"shape": [],
|
|
"paddings": [],
|
|
"source": "-1"
|
|
},
|
|
"8": {
|
|
"type": 4,
|
|
"name": "T3",
|
|
"shape": [
|
|
8,
|
|
10000,
|
|
512
|
|
],
|
|
"paddings": [
|
|
0,
|
|
128,
|
|
0
|
|
],
|
|
"source": "9"
|
|
},
|
|
"9": {
|
|
"type": 105,
|
|
"inputs": [
|
|
"10"
|
|
],
|
|
"expr": "11",
|
|
"outputShape": [
|
|
8,
|
|
10000,
|
|
512
|
|
]
|
|
},
|
|
"10": {
|
|
"type": 4,
|
|
"name": "B",
|
|
"shape": [
|
|
8,
|
|
10000,
|
|
512
|
|
],
|
|
"paddings": [
|
|
0,
|
|
128,
|
|
0
|
|
],
|
|
"source": "-1"
|
|
},
|
|
"11": {
|
|
"type": 4,
|
|
"name": "__DLT",
|
|
"shape": [],
|
|
"paddings": [],
|
|
"source": "-1"
|
|
},
|
|
"12": {
|
|
"type": 2,
|
|
"paddings": [
|
|
0,
|
|
0,
|
|
0
|
|
],
|
|
"summand": "13",
|
|
"loopVarRanges": {
|
|
"b": [
|
|
0,
|
|
8
|
|
],
|
|
"i7": [
|
|
0,
|
|
10000
|
|
],
|
|
"w": [
|
|
0,
|
|
65
|
|
]
|
|
},
|
|
"sumVarRanges": {
|
|
"k": [
|
|
0,
|
|
512
|
|
]
|
|
}
|
|
},
|
|
"13": {
|
|
"type": 1,
|
|
"opType": 2,
|
|
"lhs": "14",
|
|
"rhs": "22"
|
|
},
|
|
"14": {
|
|
"type": 3,
|
|
"subExprsNum": 3,
|
|
"object": "15",
|
|
"indexes": [
|
|
"19",
|
|
"20",
|
|
"21"
|
|
]
|
|
},
|
|
"15": {
|
|
"type": 4,
|
|
"name": "T1",
|
|
"shape": [
|
|
8,
|
|
10000,
|
|
512
|
|
],
|
|
"paddings": [
|
|
0,
|
|
0,
|
|
0
|
|
],
|
|
"source": "16"
|
|
},
|
|
"16": {
|
|
"type": 105,
|
|
"inputs": [
|
|
"17"
|
|
],
|
|
"expr": "18",
|
|
"outputShape": [
|
|
8,
|
|
10000,
|
|
512
|
|
]
|
|
},
|
|
"17": {
|
|
"type": 4,
|
|
"name": "A",
|
|
"shape": [
|
|
8,
|
|
10000,
|
|
512
|
|
],
|
|
"paddings": [
|
|
0,
|
|
0,
|
|
0
|
|
],
|
|
"source": "-1"
|
|
},
|
|
"18": {
|
|
"type": 4,
|
|
"name": "__DLT",
|
|
"shape": [],
|
|
"paddings": [],
|
|
"source": "-1"
|
|
},
|
|
"19": {
|
|
"type": 5,
|
|
"name": "b"
|
|
},
|
|
"20": {
|
|
"type": 5,
|
|
"name": "i7"
|
|
},
|
|
"21": {
|
|
"type": 5,
|
|
"name": "k"
|
|
},
|
|
"22": {
|
|
"type": 3,
|
|
"subExprsNum": 3,
|
|
"object": "23",
|
|
"indexes": [
|
|
"27",
|
|
"28",
|
|
"31"
|
|
]
|
|
},
|
|
"23": {
|
|
"type": 4,
|
|
"name": "T3",
|
|
"shape": [
|
|
8,
|
|
10000,
|
|
512
|
|
],
|
|
"paddings": [
|
|
0,
|
|
128,
|
|
0
|
|
],
|
|
"source": "24"
|
|
},
|
|
"24": {
|
|
"type": 105,
|
|
"inputs": [
|
|
"25"
|
|
],
|
|
"expr": "26",
|
|
"outputShape": [
|
|
8,
|
|
10000,
|
|
512
|
|
]
|
|
},
|
|
"25": {
|
|
"type": 4,
|
|
"name": "B",
|
|
"shape": [
|
|
8,
|
|
10000,
|
|
512
|
|
],
|
|
"paddings": [
|
|
0,
|
|
128,
|
|
0
|
|
],
|
|
"source": "-1"
|
|
},
|
|
"26": {
|
|
"type": 4,
|
|
"name": "__DLT",
|
|
"shape": [],
|
|
"paddings": [],
|
|
"source": "-1"
|
|
},
|
|
"27": {
|
|
"type": 5,
|
|
"name": "b"
|
|
},
|
|
"28": {
|
|
"type": 1,
|
|
"opType": 1,
|
|
"lhs": "29",
|
|
"rhs": "30"
|
|
},
|
|
"29": {
|
|
"type": 5,
|
|
"name": "i7"
|
|
},
|
|
"30": {
|
|
"type": 5,
|
|
"name": "w"
|
|
},
|
|
"31": {
|
|
"type": 5,
|
|
"name": "k"
|
|
},
|
|
"32": {
|
|
"type": 5,
|
|
"name": "b"
|
|
},
|
|
"33": {
|
|
"type": 1,
|
|
"opType": 1,
|
|
"lhs": "34",
|
|
"rhs": "37"
|
|
},
|
|
"34": {
|
|
"type": 1,
|
|
"opType": 3,
|
|
"lhs": "35",
|
|
"rhs": "36"
|
|
},
|
|
"35": {
|
|
"type": 5,
|
|
"name": "m"
|
|
},
|
|
"36": {
|
|
"type": 0,
|
|
"val": 4
|
|
},
|
|
"37": {
|
|
"type": 1,
|
|
"opType": 2,
|
|
"lhs": "38",
|
|
"rhs": "39"
|
|
},
|
|
"38": {
|
|
"type": 0,
|
|
"val": 2500
|
|
},
|
|
"39": {
|
|
"type": 1,
|
|
"opType": 4,
|
|
"lhs": "40",
|
|
"rhs": "41"
|
|
},
|
|
"40": {
|
|
"type": 5,
|
|
"name": "m"
|
|
},
|
|
"41": {
|
|
"type": 0,
|
|
"val": 4
|
|
},
|
|
"42": {
|
|
"type": 5,
|
|
"name": "w"
|
|
}
|
|
}
|