//:: Check that the different arguments of an instruction aren't too large for their bitfields.
void test_check_bitfield_sizes() {
Hide_errors = true;
run(
"== code 0x1\n"
"01/add 4/mod 3/rm32 1/r32\n" // add ECX to EBX
);
CHECK_TRACE_CONTENTS(
"error: '4/mod' too large to fit in bitfield mod\n"
);
}
:(before "End Globals")
map<string, uint32_t> Operand_bound;
:(before "End One-time Setup")
put_new(Operand_bound, "subop", 1<<3);
put_new(Operand_bound, "mod", 1<<2);
put_new(Operand_bound, "rm32", 1<<3);
put_new(Operand_bound, "base", 1<<3);
put_new(Operand_bound, "index", 1<<3);
put_new(Operand_bound, "scale", 1<<pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */== data
Registers: # (addr stream {(handle array byte), int})
# a table is a stream
0x120/imm32/write
0/imm32/read
0x120/imm32/length
# data
# it is perfectly ok to use fake alloc-ids -- as long as you never try to reclaim them
0x11/imm32/alloc-id $Register-eax/imm32 0/imm32
0x11/imm32/alloc-id $Register-ecx/imm32 1/imm32
0x11/imm32/alloc-id $Register-edx/imm32 2/imm32
0x11/imm32/alloc-id $Register-ebx/imm32 3/imm32
0x11/imm32/alloc-id $Register-esp/imm32 4/imm32
0x11/imm32/alloc-id $Register-ebp/imm32 5/imm32
0x11/imm32/alloc-id $Register-esi/imm32 6/imm32
0x11/imm32/alloc-id $Register-edi/imm32 7/imm32
# for 8-byte registers
# we don't actually check if these are used when they should be; be careful
0x11/imm32/alloc-id $Register-al/imm32 0/imm32
0x11/imm32/alloc-id $Register-cl/imm32 1/imm32
0x11/imm32/alloc-id $Register-dl/imm32 2/imm32
0x11/imm32/alloc-id $Register-bl/imm32 3/imm32
0x11/imm32/alloc-id $Register-ah/imm32 4/imm32
0x11/imm32/alloc-id $Register-ch/imm32 5/imm32
0x11/imm32/alloc-id $Register-dh/imm32 6/imm32
0x11/imm32/alloc-id $Register-bh/imm32 7/imm32
# for floating-point registers
# we don't actually check if these are used when they should be; be careful
0x11/imm32/alloc-id $Register-xmm0/imm32 0/imm32
0x11/imm32/alloc-id $Register-xmm1/imm32 1/imm32
0x11/imm32/alloc-id $Register-xmm2/imm32 2/imm32
0x11/imm32/alloc-id $Register-xmm3/imm32 3/imm32
0x11/imm32/alloc-id $Register-xmm4/imm32 4/imm32
0x11/imm32/alloc-id $Register-xmm5/imm32 5/imm32
0x11/imm32/alloc-id $Register-xmm6/imm32 6/imm32
0x11/imm32/alloc-id $Register-xmm7/imm32 7/imm32
$Register-eax:
0x11/imm32/alloc-id
3/imm32/size
0x65/e 0x61/a 0x78/x
$Register-ecx:
0x11/imm32/alloc-id
3/imm32/size
0x65/e 0x63/c 0x78/x
$Register-edx:
0x11/imm32/alloc-id
3/imm32/size
0x65/e 0x64/d 0x78/x
$Register-ebx:
0x11/imm32/alloc-id
3/imm32/size
0x65/e 0x62/b 0x78/x
$Register-esp:
0x11/imm32/alloc-id
3/imm32/size
0x65/e 0x73/s 0x70/p
$Register-ebp:
0x11/imm32/alloc-id
3/imm32/size
0x65/e 0x62/b 0x70/p
$Register-esi:
0x11/imm32/alloc-id
3/imm32/size
0x65/e 0x73/s 0x69/i
$Register-edi:
0x11/imm32/alloc-id
3/imm32/size
0x65/e 0x64/d 0x69/i
$Register-al:
0x11/imm32/alloc-id
2/imm32/size
0x61/a 0x6c/l
$Register-cl:
0x11/imm32/alloc-id
2/imm32/size
0x63/c 0x6c/l
$Register-dl:
0x11/imm32/alloc-id
2/imm32/size
0x64/d 0x6c/l
$Register-bl:
0x11/imm32/alloc-id
2/imm32/size
0x62/b 0x6c/l
$Register-ah:
0x11/imm32/alloc-id
2/imm32/size
0x61/a 0x68/h
$Register-ch:
0x11/imm32/alloc-id
2/imm32/size
0x63/c 0x68/h
$Register-dh:
0x11/imm32/alloc-id
2/imm32/size
0x64/d 0x68/h
$Register-bh:
0x11/imm32/alloc-id
2/imm32/size
0x62/b 0x68/h
$Register-xmm0:
0x11/imm32/alloc-id:fake:payload
# "xmm0"
0x4/imm32/size
0x78/x 0x6d/m 0x6d/m 0x30/0
$Register-xmm1:
0x11/imm32/alloc-id:fake:payload
# "xmm1"
0x4/imm32/size
0x78/x 0x6d/m 0x6d/m 0x31/1
$Register-xmm2:
0x11/imm32/alloc-id:fake:payload
# "xmm2"
0x4/imm32/size
0x78/x 0x6d/m 0x6d/m 0x32/2
$Register-xmm3:
0x11/imm32/alloc-id:fake:payload
# "xmm3"
0x4/imm32/size
0x78/x 0x6d/m 0x6d/m 0x33/3
$Register-xmm4:
0x11/imm32/alloc-id:fake:payload
# "xmm4"
0x4/imm32/size
0x78/x 0x6d/m 0x6d/m 0x34/4
$Register-xmm5:
0x11/imm32/alloc-id:fake:payload
# "xmm5"
0x4/imm32/size
0x78/x 0x6d/m 0x6d/m 0x35/5
$Register-xmm6:
0x11/imm32/alloc-id:fake:payload
# "xmm6"
0x4/imm32/size
0x78/x 0x6d/m 0x6d/m 0x36/6
$Register-xmm7:
0x11/imm32/alloc-id:fake:payload
# "xmm7"
0x4/imm32/size
0x78/x 0x6d/m 0x6d/m 0x37/7