compiler/
lib/
examples/
std/
arch/
rv64/
tests/
abi.sizes.rad
3.4 KiB
aggregate.return.rad
4.0 KiB
arith.assignment.rad
580 B
arith.basic.rad
176 B
arith.modulo.rad
96 B
arith.subword.rad
3.8 KiB
arith.sum.rad
177 B
arith.w64.rad
4.1 KiB
array.assign.rad
221 B
array.bounds.check.rad
321 B
array.index.assign.rad
367 B
array.index.rad
249 B
array.length.rad
262 B
array.math.rad
1.2 KiB
array.nested.assign.rad
319 B
array.nested.rad
325 B
array.record.elements.rad
1.7 KiB
array.repeat.edge.rad
548 B
array.repeat.rad
828 B
array.return.rad
330 B
array.slice.empty.rad
108 B
array.slice.gen.end.rad
126 B
array.slice.gen.index.rad
139 B
array.slice.gen.open.rad
125 B
array.slice.gen.start.end.rad
127 B
array.slice.gen.start.rad
126 B
array.slice.rad
759 B
as.precedence.rad
212 B
assert.basic.rad
387 B
assert.fail.rad
138 B
assert.false.rad
140 B
assert.true.rad
100 B
assign.mutable.rad
6.1 KiB
assign.rad
129 B
assign.shadow.mutable.rad
461 B
binop.bitwise.rad
1.2 KiB
binop.cmp.rad
426 B
bool.comparison.array.rad
688 B
bool.comparison.nested.gen.rad
1.0 KiB
bool.comparison.opt.rad
905 B
bool.comparison.record.gen.rad
1.0 KiB
bool.comparison.record.rad
1.1 KiB
bool.comparison.slice.gen.rad
157 B
bool.comparison.slice.rad
4.1 KiB
bool.comparison.slice.record.gen.rad
2.0 KiB
bool.comparison.slice.union.gen.rad
2.5 KiB
bool.comparison.union.ctor.rad
690 B
bool.comparison.union.gen.rad
1.2 KiB
bool.comparison.union.record.gen.rad
1.5 KiB
bool.comparison.union.simple.gen.rad
281 B
bool.operators.complex.rad
384 B
bool.operators.rad
831 B
bool.short.circuit.rad
2.3 KiB
bool.simple.rad
194 B
bool.values.rad
772 B
builtin.size.align.rad
1.3 KiB
builtin.sliceof.mut.rad
606 B
builtin.sliceof.rad
505 B
call.arg.clobber.rad
717 B
call.basic.rad
241 B
call.clobber.rad
462 B
cast.same.size.rad
1.0 KiB
casting.numbers.rad
1.5 KiB
char.literal.rad
165 B
compound.assign.field.rad
285 B
compound.assign.rad
1.1 KiB
cond.assign.rad
723 B
cond.expr.aggregate.rad
1.1 KiB
cond.expr.rad
1.8 KiB
cond.for.else.break.rad
326 B
cond.for.indexed.rad
238 B
cond.for.rad
165 B
cond.for.range.indexed.rad
526 B
cond.for.range.rad
171 B
cond.for.unsigned.range.rad
644 B
cond.forever.break.continue.rad
182 B
cond.forever.break.rad
232 B
cond.fused.rad
926 B
cond.if.case.rad
2.2 KiB
cond.if.else.min.rad
143 B
cond.if.else.rad
225 B
cond.if.elseif.rad
420 B
cond.if.noelse.rad
120 B
cond.if.rad
865 B
cond.match.fallthrough.rad
369 B
cond.match.guard.rad
1.4 KiB
cond.match.guard.regalloc.rad
1.3 KiB
cond.while.else.break.rad
282 B
cond.while.rad
119 B
const.array.copy.mutate.rad
386 B
const.array.rad
195 B
const.basic.rad
325 B
const.char.rad
159 B
const.fn.array.rad
664 B
const.record.array.rad
1.2 KiB
const.record.array.simple.rad
523 B
const.record.ctor.rad
170 B
const.record.fn.rad
353 B
const.record.rad
182 B
const.slice.param.rad
333 B
const.union.payload.ctor.rad
349 B
const.union.record.literal.rad
359 B
data.array.rad
767 B
data.bool.rad
216 B
data.i16.rad
261 B
data.i32.rad
281 B
data.i8.rad
248 B
data.record.rad
561 B
data.simple.rad
436 B
data.u16.rad
220 B
data.u32.rad
240 B
data.u8.rad
208 B
data.union.rad
886 B
debug.tag.rad
557 B
edge.cases.2.rad
337 B
edge.cases.3.rad
594 B
edge.cases.4.rad
1.2 KiB
edge.cases.5.rad
1.0 KiB
edge.cases.6.rad
2.6 KiB
edge.cases.7.addr.bug.rad
224 B
edge.cases.8.bug.rad
508 B
edge.cases.rad
223 B
error.basic.rad
159 B
error.catch.rad
1.6 KiB
error.division.zero.rad
164 B
error.modulo.zero.rad
162 B
error.multi.basic.rad
672 B
error.multi.catch.rad
772 B
error.multi.catch.typed.binding.rad
791 B
error.multi.catch.typed.catchall.rad
1.0 KiB
error.multi.catch.typed.rad
1.1 KiB
error.multi.propagate.multi.rad
953 B
error.multi.propagate.rad
825 B
error.multi.try.optional.rad
507 B
error.slice.bounds.rad
219 B
error.try.bang.success.rad
370 B
error.try.catch.binding.rad
2.0 KiB
error.try.optional.rad
1.8 KiB
error.try.rad
4.0 KiB
fn.block.scope.rad
508 B
fn.callback.nested.rad
1.2 KiB
fn.default.rad
131 B
fn.local.rad
140 B
fn.recursion.2.rad
239 B
fn.void.rad
150 B
for.else.continue.rad
1.1 KiB
frame.large.rad
567 B
if-let-mut.rad
1.1 KiB
iflet.shadow.leak.rad
317 B
integer.bitwise.basic.rad
693 B
integer.overflow.rad
1.8 KiB
large.blit.store.rad
2.1 KiB
let.guard.rad
1.9 KiB
literal.w64.rad
1.7 KiB
loc.addr.offset.bug.rad
410 B
loc.addr.opt.to.opt.rad
433 B
loc.addr.optional.assign.rad
408 B
loc.addr.record.assign.rad
443 B
loop.complex.flow.rad
1007 B
loop.sealblock.rad
911 B
match.array.rad
3.4 KiB
match.char.rad
1.6 KiB
match.multi.seal.rad
987 B
match.multi.survive.rad
1.6 KiB
match.mutref.push.rad
1.0 KiB
match.mutref.union.rad
662 B
match.nested.call.rad
1.7 KiB
match.nested.deep.rad
2.2 KiB
match.nested.deref.rad
3.7 KiB
match.nested.guard.rad
1.6 KiB
match.nested.iflet.guard.rad
1.6 KiB
match.nested.iflet.rad
1.4 KiB
match.nested.letelse.rad
813 B
match.nested.letelse.union.rad
1.3 KiB
match.nested.literal.rad
3.1 KiB
match.nested.multi.rad
2.4 KiB
match.nested.pattern.rad
5.2 KiB
match.nested.record.rad
2.0 KiB
match.nested.union.rad
2.3 KiB
match.nested.whilelet.rad
2.4 KiB
match.string.rad
1.8 KiB
match.value.copy.rad
2.0 KiB
match.void.then.or.rad
1.6 KiB
memzero.result.bug.rad
806 B
memzero.union.bug.rad
576 B
mutref.loop.bug.rad
1.8 KiB
opt.assignment.bug.rad
1.3 KiB
opt.bug.test.rad
1.4 KiB
opt.if.let.complex.rad
6.2 KiB
opt.if.let.guard.rad
809 B
opt.if.let.rad
956 B
opt.nil.check.rad
1.5 KiB
opt.record.eq.rad
842 B
opt.record.rad
655 B
opt.return.array.rad
289 B
opt.return.nested.rad
797 B
opt.return.record.rad
344 B
opt.slice.npo.rad
2.8 KiB
opt.type.rad
200 B
opt.while.let.complex.rad
404 B
panic.rad
111 B
placeholder.basic.rad
133 B
placeholder.comprehensive.rad
562 B
pointer.copy.edge.case.rad
1.3 KiB
pointer.slice.index.rad
269 B
pointer.slice.store.rad
881 B
prog.ackermann.rad
5.0 KiB
prog.bignum.rad
9.4 KiB
prog.binsearch.rad
2.4 KiB
prog.bubblesort.rad
2.0 KiB
prog.cordic.rad
6.9 KiB
prog.crc32.rad
2.7 KiB
prog.dijkstra.rad
7.7 KiB
prog.eval.rad
6.2 KiB
prog.hanoi.rad
3.8 KiB
prog.huffman.rad
9.3 KiB
prog.hybridsort.rad
3.0 KiB
prog.linkedlist.rad
5.8 KiB
prog.lzw.rad
6.7 KiB
prog.matmul.rad
2.9 KiB
prog.mersenne.rad
5.2 KiB
prog.nqueens.rad
3.4 KiB
prog.rbtree.rad
8.2 KiB
prog.regex.rad
10.2 KiB
prog.sha256.rad
7.0 KiB
prog.sieve.rad
2.8 KiB
prog.symtab.rad
10.1 KiB
prog.tokenizer.rad
13.8 KiB
prog.vm.rad
17.4 KiB
ptr.assign.rad
137 B
ptr.deref.rad
622 B
ptr.eq.rad
966 B
ptr.mutate.rad
244 B
ptr.opaque.rad
1.4 KiB
record.access.rad
285 B
record.alignment.rad
179 B
record.array.elements.rad
1.7 KiB
record.copy.rad
2.0 KiB
record.field.assign.rad
184 B
record.nested.calls.2.rad
612 B
record.nested.calls.3.rad
734 B
record.param.lit.rad
353 B
record.ptr.access.rad
227 B
record.ptr.mutate.rad
243 B
record.shorthand.rad
1.5 KiB
record.unlabeled.rad
407 B
ref.if.bug.rad
519 B
ref.immut.loop.bug.rad
670 B
ref.mut.ptr.rad
261 B
regalloc.callee.save.rad
1.5 KiB
regalloc.spill.reuse.rad
473 B
reserve.loop.rad
392 B
result.void.success.rad
716 B
slice.alloc.loop.rad
788 B
slice.append.rad
3.3 KiB
slice.cap.rad
941 B
slice.delete.rad
971 B
slice.of.rad
460 B
slice.subslice.rad
1.4 KiB
spill.blockarg.clobber.rad
3.5 KiB
spill.loop.rad
1.6 KiB
stack.local.corrupt.rad
320 B
static.array.mutate.rad
387 B
static.basic.rad
327 B
static.fn.array.rad
628 B
static.record.array.rad
503 B
static.slice.index.assign.rad
408 B
static.slice.offset.rad
668 B
string.basic.rad
149 B
string.escape.rad
349 B
string.index.rad
116 B
switch.blockargs.clobber.rad
1.3 KiB
trait.aggregate.ret.rad
1.5 KiB
trait.array.optional.rad
1.7 KiB
trait.basic.rad
565 B
trait.control.flow.rad
1.1 KiB
trait.fn.param.rad
1.6 KiB
trait.multiple.methods.rad
1.2 KiB
trait.multiple.traits.rad
1.2 KiB
trait.multiple.types.rad
1.3 KiB
trait.supertrait.rad
2.5 KiB
trait.throws.rad
1.0 KiB
trait.writer.rad
2.6 KiB
type.unify.rad
4.5 KiB
undefined.rad
417 B
union-tag.rad
911 B
union.bitfield.rad
1.2 KiB
union.discriminant.cast.rad
389 B
union.edge.case.2.rad
679 B
union.edge.case.3.rad
608 B
union.mixed.assign.rad
977 B
union.payload.mutref.rad
1.4 KiB
union.payload.rad
580 B
union.record.forward.rad
1.3 KiB
union.void.match.rad
403 B
union.void.rad
824 B
unsigned.compare.rad
1.9 KiB
var.align.rad
1013 B
var.infer.rad
549 B
decode.rad
14.6 KiB
emit.rad
24.4 KiB
encode.rad
19.9 KiB
isel.rad
41.1 KiB
printer.rad
13.0 KiB
tests.rad
15.7 KiB
rv64.rad
13.0 KiB
collections/
lang/
sys/
arch.rad
65 B
collections.rad
36 B
fmt.rad
3.8 KiB
intrinsics.rad
206 B
io.rad
1.2 KiB
lang.rad
222 B
mem.rad
2.2 KiB
sys.rad
167 B
testing.rad
2.4 KiB
tests.rad
11.6 KiB
vec.rad
3.1 KiB
std.rad
231 B
scripts/
seed/
test/
vim/
.gitignore
353 B
.gitsigners
112 B
LICENSE
1.1 KiB
Makefile
3.1 KiB
README
2.5 KiB
std.lib
987 B
std.lib.test
252 B
lib/std/arch/rv64/tests/bool.comparison.slice.rad
raw
| 1 | fn memEq(a: *[u8], b: *[u8]) -> bool { |
| 2 | if a.len != b.len { |
| 3 | return false; |
| 4 | } |
| 5 | for i in 0..a.len { |
| 6 | if a[i] != b[i] { |
| 7 | return false; |
| 8 | } |
| 9 | } |
| 10 | return true; |
| 11 | } |
| 12 | |
| 13 | fn sliceU8(input: *[u8]) -> *[u8] { |
| 14 | return input; |
| 15 | } |
| 16 | |
| 17 | fn sliceI32(input: *[i32]) -> *[i32] { |
| 18 | return input; |
| 19 | } |
| 20 | |
| 21 | fn sliceEqualU32(a: *[u32], b: *[u32]) -> bool { |
| 22 | if a.len != b.len { |
| 23 | return false; |
| 24 | } |
| 25 | for i in 0..a.len { |
| 26 | if a[i] != b[i] { |
| 27 | return false; |
| 28 | } |
| 29 | } |
| 30 | return true; |
| 31 | } |
| 32 | |
| 33 | fn sliceEqualI32(a: *[i32], b: *[i32]) -> bool { |
| 34 | if a.len != b.len { |
| 35 | return false; |
| 36 | } |
| 37 | for i in 0..a.len { |
| 38 | if a[i] != b[i] { |
| 39 | return false; |
| 40 | } |
| 41 | } |
| 42 | return true; |
| 43 | } |
| 44 | |
| 45 | fn sliceEqual1() -> bool { |
| 46 | let a1: [u32; 3] = [9, 42, 3]; |
| 47 | |
| 48 | let s1: *[u32] = &a1[..]; |
| 49 | let s2: *[u32] = &a1[..]; |
| 50 | |
| 51 | return s1 == s2 and sliceEqualU32(s1, s2); |
| 52 | } |
| 53 | |
| 54 | fn sliceEqual2() -> bool { |
| 55 | let a1: [u32; 3] = [9, 42, 3]; |
| 56 | |
| 57 | let s1: *[u32] = &a1[1..]; |
| 58 | let s2: *[u32] = &a1[1..]; |
| 59 | |
| 60 | return s1 == s2 and sliceEqualU32(s1, s2); |
| 61 | } |
| 62 | |
| 63 | fn sliceEqual3() -> bool { |
| 64 | let a1: [u32; 3] = [9, 42, 3]; |
| 65 | |
| 66 | let s1: *[u32] = &a1[..1]; |
| 67 | let s2: *[u32] = &a1[..1]; |
| 68 | |
| 69 | return s1 == s2 and sliceEqualU32(s1, s2); |
| 70 | } |
| 71 | |
| 72 | fn sliceEqual4() -> bool { |
| 73 | let a1: [u32; 3] = [9, 42, 3]; |
| 74 | |
| 75 | let s1: *[u32] = &a1[2..]; |
| 76 | let s2: *[u32] = &a1[2..]; |
| 77 | |
| 78 | return s1 == s2 and sliceEqualU32(s1, s2); |
| 79 | } |
| 80 | |
| 81 | fn sliceNotEqualSameArray1() -> bool { |
| 82 | let a1: [u32; 3] = [42, 8, 3]; |
| 83 | |
| 84 | let s1: *[u32] = &a1[..2]; |
| 85 | let s2: *[u32] = &a1[1..3]; |
| 86 | |
| 87 | return s1 != s2 and not sliceEqualU32(s1, s2); |
| 88 | } |
| 89 | |
| 90 | fn sliceNotEqualSameArray2() -> bool { |
| 91 | let a1: [u32; 3] = [42, 8, 3]; |
| 92 | |
| 93 | let s1: *[u32] = &a1[..2]; |
| 94 | let s2: *[u32] = &a1[..3]; |
| 95 | |
| 96 | return s1 != s2 and not sliceEqualU32(s1, s2); |
| 97 | } |
| 98 | |
| 99 | fn sliceEqualDifferentArray() -> bool { |
| 100 | let a1: [u32; 3] = [42, 8, 3]; |
| 101 | let a2: [u32; 3] = [42, 8, 3]; |
| 102 | |
| 103 | let s1: *[u32] = &a1[..]; |
| 104 | let s2: *[u32] = &a2[..]; |
| 105 | |
| 106 | return sliceEqualU32(s1, s2) and s1 != s2; |
| 107 | } |
| 108 | |
| 109 | fn sliceEqualString1() -> bool { |
| 110 | let s1: *[u8] = "ABC"; |
| 111 | let s2: *[u8] = "ABC"; |
| 112 | |
| 113 | return memEq(s1, s2); |
| 114 | } |
| 115 | |
| 116 | fn sliceEqualString2() -> bool { |
| 117 | let s1: *[u8] = "ABC"; |
| 118 | let s2: *[u8] = "DEF"; |
| 119 | |
| 120 | return not memEq(s1, s2); |
| 121 | } |
| 122 | |
| 123 | fn sliceEqualString3() -> bool { |
| 124 | let a1: [u8; 3] = ['A', 'B', 'C']; |
| 125 | let s1: *[u8] = &a1[..]; |
| 126 | let s2: *[u8] = "ABC"; |
| 127 | |
| 128 | return memEq(s1, s2) |
| 129 | and memEq(s1, "ABC") |
| 130 | and memEq(&a1[..], "ABC"); |
| 131 | } |
| 132 | |
| 133 | fn sliceEqualString4() -> bool { |
| 134 | let s1: *[u8] = "ABC"; |
| 135 | let s2: *[u8] = &['A', 'B', 'C']; |
| 136 | |
| 137 | return memEq(s1, s2); |
| 138 | } |
| 139 | |
| 140 | fn sliceEqualString5() -> bool { |
| 141 | let s1: *[u8] = "ABC"; |
| 142 | |
| 143 | // Sub-slicing a slice currently trips a separate compiler bug. |
| 144 | // Keep this check focused on slice equality behavior itself. |
| 145 | return memEq(s1, "ABC"); |
| 146 | } |
| 147 | |
| 148 | fn sliceNotEqualU8() -> bool { |
| 149 | let a: [u8; 3] = [1, 2, 3]; |
| 150 | let b: [u8; 3] = [1, 2, 4]; |
| 151 | let s: *[u8] = &[1, 2, 3]; |
| 152 | |
| 153 | return not memEq(s, &[1, 2, 4]) |
| 154 | and not memEq(s, &[1, 0, 3]) |
| 155 | and not memEq("ABC", "ABCD") |
| 156 | and not memEq("ABC", "ABD") |
| 157 | and not memEq(&a[..], &a[1..]) |
| 158 | and not memEq(&a[..], &b[..]) |
| 159 | and not memEq(&a[..], &[1, 3, 3]); |
| 160 | } |
| 161 | |
| 162 | fn sliceNotEqualU16() -> bool { |
| 163 | let a: [u16; 3] = [1, 2, 3]; |
| 164 | let b: [u16; 3] = [1, 2, 4]; |
| 165 | let s: *[u16] = &[1, 2, 3]; |
| 166 | |
| 167 | return s != &[1, 2, 4] |
| 168 | and s != &[1, 0, 3] |
| 169 | and &a[..] != &a[1..] |
| 170 | and &a[..] != &b[..] |
| 171 | and &a[..] != &[1, 3, 3]; |
| 172 | } |
| 173 | |
| 174 | fn sliceReturnEqual() -> bool { |
| 175 | return memEq(sliceU8("ABC"), "ABC") |
| 176 | and sliceEqualI32(sliceI32(&[1, 2, 3]), &[1, 2, 3]); |
| 177 | } |
| 178 | |
| 179 | @default fn main() -> i32 { |
| 180 | assert sliceEqual1(); |
| 181 | assert sliceEqual2(); |
| 182 | assert sliceEqual3(); |
| 183 | assert sliceEqual4(); |
| 184 | assert sliceEqualString1(); |
| 185 | assert sliceEqualString2(); |
| 186 | assert sliceEqualString3(); |
| 187 | assert sliceEqualString4(); |
| 188 | assert sliceEqualString5(); |
| 189 | assert sliceNotEqualSameArray1(); |
| 190 | assert sliceNotEqualSameArray2(); |
| 191 | assert sliceEqualDifferentArray(); |
| 192 | assert sliceNotEqualU8(); |
| 193 | assert sliceNotEqualU16(); |
| 194 | assert sliceReturnEqual(); |
| 195 | |
| 196 | return 0; |
| 197 | } |