Lines Matching full:should

35 assert('Non-prefixed instruction opcodes and prefixes should fit one byte') do
47 assert('All instructions for a prefix should fit one byte') do
53 assert('Prefixed instruction should have some prefix specified') do
59 assert('Prefix should be defined') do
67 assert('All prefixes should have unique name') do
71 assert('There should be non-zero gap between non-prefixed and prefixes') do
75 assert('There should be non-zero gap between public and private prefixes') do
113 assert('Dtype should be none when bytecode doesn\'t write into accumulator or registers') do
121 assert('Instruction::float? should play well with operand types') do
127 assert('Conditionals should be jumps') do # At least currently
131 assert('Acc_none should not be specified along with other accumulator properties') do
147 assert('Conversions should correspond to source and destination type') do
157 assert('Operand type should be one of none, ref, u1, u2, i8, u8, i16, u16, i32, u32, b32, i64, u64,…
164 assert('Instruction should have not more than one destination') do
171 assert('Instruction should have not more than one ID operand') do
178 assert('Register encoding width should be the same in instruction') do
186 assert('Calls should have call property and x_call exception tag') do
194 assert('Virtual calls should have call_virt property') do