compiler/ kernel/ lib/ scripts/ seed/ sublime/ test/ acceptance/ boot/ bootstrap/ cycles/ dispatch/ loader/ mmio/ native/ packages/ pages/ runtime/ scheduling/ shared/ slots/ smp/ support/ sync/ termination/ tests/ assign.qualified.static/ fn.unsafe.callbacks/ ref.qualified.static/ wildcard.import.owner/ abi.sizes.rad 3.5 KiB addfn.rad 52 B addfn.ril 76 B aggregate.return.rad 4.1 KiB arith.assignment.rad 631 B arith.basic.rad 191 B arith.modulo.rad 111 B arith.subword.rad 3.9 KiB arith.subword.ril 4.3 KiB arith.sum.rad 192 B arith.w64.rad 4.1 KiB arith.w64.ril 5.2 KiB array.aggregate.stride.rad 773 B array.aggregate.stride.ril 1.1 KiB array.assign.rad 225 B array.assign.ril 526 B array.bounds.check.rad 321 B array.fn.assign.rad 265 B array.index.assign.rad 422 B array.index.rad 280 B array.index.ril 496 B array.len.const.rad 348 B array.len.const.ril 200 B array.length.rad 285 B array.literal.rad 136 B array.literal.ril 329 B array.math.rad 1.2 KiB array.nested.assign.rad 327 B array.nested.rad 325 B array.nested.ril 922 B array.record.elements.rad 1.7 KiB array.repeat.edge.rad 548 B array.repeat.rad 828 B array.repeat.ril 3.0 KiB array.return.rad 345 B array.slice.empty.rad 123 B array.slice.full.rad 124 B array.slice.full.ril 168 B array.slice.gen.end.rad 155 B array.slice.gen.index.rad 168 B array.slice.gen.open.rad 154 B array.slice.gen.start.end.rad 156 B array.slice.gen.start.rad 155 B array.slice.openend.rad 148 B array.slice.openend.ril 351 B array.slice.openstart.rad 148 B array.slice.openstart.ril 289 B array.slice.rad 816 B as.precedence.rad 226 B asm.basic.text.program.ras 187 B asm.branch.comparisons.ras 648 B asm.call.return.flow.ras 203 B asm.compare.set.logic.ras 611 B asm.csr.system.instructions.ras 221 B asm.data.directives.ras 439 B asm.data.symbol.fixup.ras 227 B asm.directive.boundary.values.ras 809 B asm.fence.ras 76 B asm.global.scoped.symbols.ras 207 B asm.instruction.matrix.alu.ras 566 B asm.instruction.matrix.mem.control.ras 355 B asm.instruction.matrix.system.ras 115 B asm.label.fixups.ras 235 B asm.li.expressions.ras 212 B asm.link.rad 103 B asm.link.ras 85 B asm.load.store.widths.ras 711 B asm.mul.div.rem.ras 769 B asm.rodata.prefix.rad 226 B asm.rodata.prefix.ras 163 B asm.scoped.symbols.la.ras 147 B asm.scoped.symbols.tail.ras 157 B asm.section.switching.ras 173 B asm.space.constant.expressions.ras 358 B asm.string.directive.lists.ras 326 B asm.word.dword.constants.ras 372 B asm.word.shift.ops.ras 870 B assert.basic.rad 402 B assert.basic.ril 624 B assert.fail.rad 138 B assert.false.rad 140 B assert.message.rad 123 B assert.message.ril 141 B assert.true.rad 115 B assign.loop.rad 213 B assign.loop.ril 242 B assign.multi.var.rad 194 B assign.multi.var.ril 73 B assign.mutable.rad 6.3 KiB assign.param.rad 150 B assign.param.ril 96 B assign.qualified.static.rad 464 B assign.rad 156 B assign.self.ref.rad 161 B assign.self.ref.ril 92 B assign.sequential.rad 163 B assign.sequential.ril 52 B assign.shadow.mutable.rad 489 B assign.use.intermediate.rad 191 B assign.use.intermediate.ril 99 B average.rad 189 B average.ril 378 B binding.storage.rad 514 B binding.storage.ril 878 B binop.arith.rad 479 B binop.arith.ril 389 B binop.bitwise.rad 1.2 KiB binop.bitwise.ril 1.2 KiB binop.cmp.rad 441 B binop.logical.rad 216 B binop.logical.ril 373 B binop.shift.rad 197 B binop.shift.ril 149 B binop.unsigned.rad 317 B binop.unsigned.ril 236 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.4 KiB bool.comparison.slice.record.gen.rad 2.0 KiB bool.comparison.slice.union.gen.rad 2.6 KiB bool.comparison.union.ctor.rad 711 B bool.comparison.union.gen.rad 1.2 KiB bool.comparison.union.record.gen.rad 1.5 KiB bool.comparison.union.simple.gen.rad 302 B bool.operators.complex.rad 384 B bool.operators.rad 831 B bool.short.circuit.rad 2.3 KiB bool.simple.rad 209 B bool.values.rad 787 B borrow.fields.calls.rad 1.3 KiB borrow.fields.calls.ril 841 B borrow.fields.pattern.rad 596 B borrow.fields.pattern.ril 279 B builtin.alignof.rad 698 B builtin.alignof.ril 287 B builtin.memory.fence.rad 108 B builtin.size.align.rad 1.2 KiB builtin.sizeof.rad 656 B builtin.sizeof.ril 282 B builtin.sliceof.invalid.cap.rad 271 B builtin.sliceof.mut.rad 674 B builtin.sliceof.rad 542 B byte.load.store.rad 380 B byte.load.store.ril 730 B call.aggregate.arg.snapshot.rad 520 B call.arg.clobber.rad 732 B call.basic.rad 256 B call.clobber.rad 509 B call.tests.rad 764 B call.tests.ril 603 B cast.basic.rad 855 B cast.basic.ril 594 B cast.narrow.rad 583 B cast.narrow.ril 557 B cast.same.size.rad 1.0 KiB cast.same.size.ril 1.1 KiB casting.numbers.rad 1.5 KiB char.literal.rad 180 B cmp.rel.rad 733 B cmp.rel.ril 467 B cmp.unsigned.rad 733 B cmp.unsigned.ril 467 B coercion.implicit.rad 917 B coercion.implicit.ril 1.1 KiB compare.literal.first.u64.rad 301 B compound.assign.field.rad 318 B compound.assign.index.once.rad 431 B compound.assign.rad 1.2 KiB compound.assign.ril 2.0 KiB cond.assign.merge.basic.rad 221 B cond.assign.merge.basic.ril 172 B cond.assign.merge.rad 214 B cond.assign.merge.ril 169 B cond.assign.rad 766 B cond.elseif.rad 204 B cond.elseif.ril 181 B cond.expr.aggregate.rad 1.2 KiB cond.expr.literal-first.rad 326 B cond.expr.rad 1.9 KiB cond.expr.ril 3.5 KiB cond.for.else.break.rad 349 B cond.for.indexed.rad 257 B cond.for.rad 184 B cond.for.range.indexed.rad 549 B cond.for.range.rad 190 B cond.for.unsigned.range.rad 671 B cond.forever.break.continue.rad 201 B cond.forever.break.rad 255 B cond.fused.rad 941 B cond.if.case.rad 2.2 KiB cond.if.else.min.rad 158 B cond.if.else.rad 244 B cond.if.elseif.rad 443 B cond.if.noelse.rad 139 B cond.if.rad 880 B cond.ifelse.rad 104 B cond.ifelse.ril 117 B cond.iflet.case.rad 170 B cond.iflet.case.ril 114 B cond.iflet.guard.rad 182 B cond.iflet.guard.ril 165 B cond.iflet.mut.rad 195 B cond.iflet.mut.ril 217 B cond.iflet.noelse.rad 156 B cond.iflet.noelse.ril 225 B cond.iflet.optional.rad 184 B cond.iflet.optional.ril 118 B cond.iflet.optional.value.rad 194 B cond.iflet.optional.value.ril 206 B cond.letelse.case.rad 146 B cond.letelse.case.ril 149 B cond.letelse.guard.rad 160 B cond.letelse.guard.ril 200 B cond.letelse.mut.rad 185 B cond.letelse.mut.ril 252 B cond.letelse.optional.rad 160 B cond.letelse.optional.ril 153 B cond.match.fallthrough.rad 388 B cond.match.guard.rad 1.4 KiB cond.match.guard.regalloc.rad 1.4 KiB cond.nested.rad 138 B cond.nested.ril 185 B cond.simple.rad 86 B cond.simple.ril 118 B cond.while.else.break.rad 305 B cond.while.rad 138 B const-cast-wrap.rad 450 B const-expr-array-size.rad 379 B const-expr-cast.rad 1.1 KiB const-expr-literal.rad 673 B const-expr-refs.rad 752 B const.array.copy.mutate.rad 397 B const.array.ident.rad 247 B const.array.ident.ril 146 B const.array.rad 217 B const.array.record.ident.rad 396 B const.array.record.ident.ril 353 B const.array.repeat.record.rad 225 B const.array.repeat.record.ril 399 B const.array.repeat.string.slice.rad 303 B const.array.repeat.string.slice.ril 1.1 KiB const.array.ril 392 B const.array.strings.slice.rad 274 B const.array.strings.slice.ril 579 B const.basic.rad 349 B const.char.rad 180 B const.fn.array.rad 670 B const.i32.shift.right.rad 244 B const.local.duplicate.rad 474 B const.local.duplicate.ril 787 B const.negative.rad 331 B const.negative.ril 338 B const.record.array.rad 1.2 KiB const.record.array.simple.rad 559 B const.record.ctor.rad 194 B const.record.ctor.ril 415 B const.record.fn.rad 362 B const.record.mutcopy.rad 466 B const.record.mutcopy.ril 445 B const.record.nested.rad 408 B const.record.nested.ril 474 B const.record.packed.rad 275 B const.record.packed.ril 284 B const.record.padded.rad 275 B const.record.padded.ril 318 B const.record.rad 206 B const.record.ril 221 B const.record.union.rad 608 B const.record.union.ril 673 B const.scalar.rad 105 B const.scalar.ril 82 B const.shift.negative.count.rad 305 B const.slice.of.slices.rad 238 B const.slice.of.slices.ril 956 B const.slice.param.rad 336 B const.string.rad 114 B const.string.ril 309 B const.string.scoped.names.rad 263 B const.string.scoped.names.ril 904 B const.u32.shift.mask.rad 249 B const.u64.compare.rad 188 B const.u64.divide.rad 174 B const.union.payload.ctor.rad 373 B const.union.payload.ctor.ril 507 B const.union.payload.fn.array.rad 1.1 KiB const.union.payload.record.array.rad 1.5 KiB const.union.record.literal.rad 383 B const.union.record.literal.ril 506 B data.array.rad 803 B data.bool.rad 237 B data.i16.rad 288 B data.i32.rad 308 B data.i8.rad 275 B data.optional.nil.rad 866 B data.optional.nil.ril 2.0 KiB data.optional.value.rad 2.3 KiB data.optional.value.ril 5.8 KiB data.record.rad 597 B data.simple.rad 454 B data.u16.rad 244 B data.u32.rad 264 B data.u8.rad 232 B data.union.rad 931 B debug.tag.rad 563 B div.u8.immediate.wrap.rad 213 B ecall.i64.rad 529 B edge.cases.2.rad 361 B edge.cases.3.rad 606 B edge.cases.4.rad 1.3 KiB edge.cases.5.rad 1.1 KiB edge.cases.6.rad 2.7 KiB edge.cases.7.addr.bug.rad 246 B edge.cases.8.bug.rad 553 B edge.cases.rad 247 B error.basic.rad 180 B error.catch.rad 1.6 KiB error.catch.return.rad 409 B error.catch.return.ril 634 B error.division.zero.rad 164 B error.modulo.zero.rad 162 B error.multi.basic.rad 711 B error.multi.catch.rad 819 B error.multi.catch.typed.binding.rad 830 B error.multi.catch.typed.catchall.rad 1.0 KiB error.multi.catch.typed.rad 1.1 KiB error.multi.propagate.multi.rad 1000 B error.multi.propagate.rad 864 B error.multi.try.optional.rad 534 B error.slice.bounds.rad 233 B error.throw.coercion.rad 318 B error.try.bang.success.rad 376 B error.try.catch.binding.rad 2.1 KiB error.try.optional.rad 1.9 KiB error.try.rad 4.1 KiB extern.inferred.rad 70 B externfn.rad 32 B externfn.ril 37 B fibonacci.rad 122 B fibonacci.ril 247 B field.aggregate.rad 837 B field.aggregate.ril 842 B fn.block.scope.rad 508 B fn.callback.nested.rad 1.6 KiB fn.default.rad 146 B fn.local.rad 155 B fn.ptr.assign.rad 277 B fn.ptr.assign.ril 143 B fn.ptr.call.rad 258 B fn.ptr.call.ril 183 B fn.ptr.param.rad 356 B fn.ptr.param.ril 282 B fn.recursion.2.rad 239 B fn.unsafe.callbacks.rad 737 B fn.void.rad 165 B for.else.continue.rad 1.1 KiB frame.large.rad 614 B if-let-mut.rad 1.2 KiB iflet.shadow.else.rad 408 B iflet.shadow.leak.rad 317 B index.eval.order.rad 368 B index.u8.rad 616 B int.default.i64.rad 1.1 KiB integer.bitwise.basic.rad 708 B integer.overflow.rad 1.8 KiB intrinsic.ebreak.rad 90 B intrinsic.ebreak.ril 76 B intrinsic.ecall.rad 168 B intrinsic.ecall.ril 131 B large.blit.store.rad 2.2 KiB let.copy.semantics.rad 883 B let.copy.semantics.ril 939 B let.guard.rad 1.9 KiB let.placeholder.rad 291 B let.placeholder.ril 220 B linear.let-else.rad 402 B linear.ownership.rad 395 B linear.ownership.ril 353 B linear.reference.rad 663 B linear.reference.ril 623 B linear.unsafe.rad 531 B linear.unsafe.ril 286 B literal.char.rad 209 B literal.char.ril 127 B literal.slice.bytes.rad 124 B literal.slice.bytes.ril 263 B literal.slice.dedup.rad 199 B literal.slice.dedup.ril 434 B literal.slice.empty.rad 100 B literal.slice.empty.ril 157 B literal.slice.multi.rad 170 B literal.slice.multi.ril 496 B literal.slice.rad 123 B literal.slice.record.rad 217 B literal.slice.record.ril 694 B literal.slice.ril 272 B literal.string.dedup.rad 179 B literal.string.dedup.ril 422 B literal.string.empty.rad 93 B literal.string.empty.ril 248 B literal.string.fns.rad 180 B literal.string.fns.ril 470 B literal.string.multi.rad 153 B literal.string.multi.ril 480 B literal.string.rad 108 B literal.string.ril 247 B literal.w64.rad 1.7 KiB load.u32.high.rad 1.8 KiB loc.addr.offset.bug.rad 455 B loc.addr.opt.to.opt.rad 472 B loc.addr.optional.assign.rad 447 B loc.addr.record.assign.rad 499 B local.multi.rad 85 B local.multi.ril 67 B local.mut.rad 79 B local.mut.ril 45 B local.simple.rad 60 B local.simple.ril 45 B loop.break.rad 156 B loop.break.ril 228 B loop.complex.flow.rad 1.0 KiB loop.continue.rad 219 B loop.continue.ril 327 B loop.for.array.rad 223 B loop.for.array.ril 315 B loop.for.break.bound.rad 161 B loop.for.break.bound.ril 264 B loop.for.continue.rad 403 B loop.for.continue.ril 741 B loop.for.indexed.rad 149 B loop.for.indexed.ril 285 B loop.for.placeholder.rad 321 B loop.for.placeholder.ril 457 B loop.for.rad 120 B loop.for.ril 220 B loop.for.slice.rad 216 B loop.for.slice.ril 362 B loop.for.unsigned.range.rad 317 B loop.for.unsigned.range.ril 481 B loop.infinite.rad 41 B loop.infinite.ril 78 B loop.mutable.rad 375 B loop.mutable.ril 617 B loop.nested.break.rad 392 B loop.nested.break.ril 461 B loop.nested.continue.rad 418 B loop.nested.continue.ril 581 B loop.return.rad 141 B loop.return.ril 179 B loop.sealblock.rad 942 B loop.while.false.noparams.rad 175 B loop.while.false.noparams.ril 171 B loop.while.nested.shortcircuit.rad 872 B loop.while.nested.shortcircuit.ril 589 B loop.while.rad 164 B loop.while.ril 241 B loop.whilelet.case.rad 259 B loop.whilelet.case.ril 204 B loop.whilelet.guard.rad 265 B loop.whilelet.guard.ril 256 B loop.whilelet.optional.rad 212 B loop.whilelet.optional.ril 217 B loop.whilelet.union.rad 382 B loop.whilelet.union.ril 382 B lower.const.record.ident.rad 291 B lower.const.record.ident.ril 387 B lower.private.union.const.rad 259 B lower.private.union.const.ril 317 B lower.record.scalar.record.const.rad 244 B lower.record.scalar.record.const.ril 321 B lowering.scratch.context.rad 5.3 KiB lowering.scratch.context.ril 5.6 KiB match.array.rad 3.5 KiB match.borrow.scope.rad 708 B match.char.rad 1.6 KiB match.more.rad 647 B match.more.ril 683 B match.multi.seal.rad 1008 B match.multi.seal.ril 924 B match.multi.survive.rad 1.7 KiB match.mutref.push.rad 1.1 KiB match.mutref.union.rad 693 B match.nested.call.rad 1.7 KiB match.nested.deep.rad 2.2 KiB match.nested.deref.rad 3.8 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.iflet.ril 2.3 KiB match.nested.letelse.rad 840 B match.nested.letelse.union.rad 1.4 KiB match.nested.literal.rad 3.1 KiB match.nested.multi.rad 2.4 KiB match.nested.pattern.rad 5.3 KiB match.nested.pattern.ril 8.3 KiB match.nested.record.rad 2.1 KiB match.nested.record.ril 3.5 KiB match.nested.union.rad 2.3 KiB match.nested.union.ril 4.5 KiB match.nested.whilelet.rad 2.4 KiB match.optional.aggregate.rad 222 B match.optional.aggregate.ril 578 B match.optional.rad 183 B match.optional.ref.rad 212 B match.optional.ref.ril 232 B match.optional.ril 164 B match.optional.wildcard.rad 282 B match.pointer.bindings.rad 678 B match.pointer.bindings.ril 1.3 KiB match.record.pattern.rad 331 B match.record.pattern.ril 287 B match.simple.rad 367 B match.simple.ril 347 B match.string.rad 1.8 KiB match.switch.rad 217 B match.switch.ril 187 B match.value.copy.rad 2.1 KiB match.void.then.or.rad 1.6 KiB memzero.result.bug.rad 835 B memzero.union.bug.rad 618 B method.basic.rad 590 B method.chain.rad 574 B method.multiple.rad 945 B method.ptr.rad 717 B method.pub.rad 247 B method.return.rad 605 B method.throws.rad 849 B method.union.rad 430 B method.with.trait.rad 706 B mixedtypes.rad 79 B mixedtypes.ril 82 B multi.throw.basic.rad 284 B multi.throw.basic.ril 526 B multi.throw.catch.typed.rad 456 B multi.throw.catch.typed.ril 1015 B multi.throw.propagate.rad 347 B multi.throw.propagate.ril 873 B multiplefns.rad 110 B multiplefns.ril 146 B mutref.call.result.rad 350 B mutref.loop.bug.rad 1.8 KiB mutref.loop.rad 324 B mutref.loop.ril 368 B mutref.scalar.rad 232 B mutref.scalar.ril 324 B nil.cmp.rad 622 B nil.cmp.ril 423 B noparams.rad 38 B noparams.ril 43 B opt.array.hint.rad 951 B 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.6 KiB opt.ptr.return.nil.rad 85 B opt.ptr.return.nil.ril 51 B opt.record.eq.rad 866 B opt.record.eq.rev.rad 313 B opt.record.eq.rev.ril 635 B opt.record.eq.ril 3.4 KiB opt.record.rad 679 B opt.return.array.rad 289 B opt.return.nested.rad 803 B opt.return.nil.rad 82 B opt.return.nil.ril 114 B opt.return.record.rad 350 B opt.return.value.rad 91 B opt.return.value.ril 138 B opt.slice.npo.rad 3.0 KiB opt.slice.npo.ril 6.9 KiB opt.type.rad 227 B opt.while.let.complex.rad 412 B optional.aggregate.eq.rad 292 B optional.aggregate.eq.ril 695 B optional.eq.rad 131 B optional.eq.ril 253 B optional.ptr.eq.rad 313 B optional.ptr.eq.ril 309 B optional.record.value.match.rad 606 B optional.union.eq.rad 1.5 KiB panic.basic.rad 70 B panic.basic.ril 46 B panic.rad 111 B parser.call.record.argument.rad 209 B parser.condition.array.record.rad 232 B parser.condition.subscript.record.rad 278 B placeholder.basic.rad 148 B placeholder.comprehensive.rad 581 B pointer.arithmetic.unsafe.rad 417 B pointer.borrow.unsafe.rad 1.7 KiB pointer.cast.unsafe.rad 439 B pointer.copy.edge.case.rad 1.4 KiB pointer.move.record.rad 551 B pointer.slice.index.rad 304 B pointer.slice.store.rad 1009 B pointer.stack.borrow.rad 907 B pointer.stack.unsafe.rad 483 B pointerfn.rad 50 B pointerfn.ril 54 B prog.ackermann.rad 5.0 KiB prog.bignum.rad 9.7 KiB prog.binsearch.rad 2.5 KiB prog.bubblesort.rad 2.0 KiB prog.cordic.rad 7.0 KiB prog.crc32.rad 2.8 KiB prog.dijkstra.rad 8.1 KiB prog.eval.rad 6.3 KiB prog.hanoi.rad 3.8 KiB prog.huffman.rad 9.9 KiB prog.hybridsort.rad 3.1 KiB prog.linkedlist.rad 6.0 KiB prog.lzw.rad 7.2 KiB prog.matmul.rad 3.0 KiB prog.mersenne.rad 5.5 KiB prog.nqueens.rad 3.5 KiB prog.rbtree.rad 8.8 KiB prog.regex.rad 10.8 KiB prog.sha256.rad 7.2 KiB prog.sieve.rad 2.8 KiB prog.symtab.rad 10.3 KiB prog.tokenizer.rad 14.5 KiB prog.vm.rad 18.3 KiB ptr.addressof.field.rad 138 B ptr.addressof.field.ril 78 B ptr.addressof.local.rad 503 B ptr.addressof.local.ril 280 B ptr.addressof.rad 133 B ptr.addressof.ril 213 B ptr.assign.rad 155 B ptr.assign.ril 130 B ptr.deref.rad 685 B ptr.deref.record.rad 288 B ptr.deref.record.ril 190 B ptr.deref.ril 1.1 KiB ptr.eq.rad 1.1 KiB ptr.mutate.rad 256 B ptr.opaque.rad 1.6 KiB ptr.subscript.assign.rad 133 B ptr.subscript.assign.ril 288 B range.arithmetic.rad 775 B record.access.rad 306 B record.alignment.rad 200 B record.array.elements.rad 1.7 KiB record.assign.blit.rad 121 B record.assign.blit.ril 158 B record.copy.rad 2.1 KiB record.ctor.tuple.rad 75 B record.ctor.tuple.ril 187 B record.empty.eq.rad 278 B record.empty.eq.ril 226 B record.eq.rad 229 B record.eq.ril 214 B record.field.assign.rad 217 B record.field.assign.ril 308 B record.literal.labeled.rad 109 B record.literal.labeled.ril 127 B record.mixed.layout.rad 122 B record.mixed.layout.ril 149 B record.nested.calls.2.rad 622 B record.nested.calls.3.rad 755 B record.nested.eq.rad 258 B record.nested.eq.ril 522 B record.nested.lit.rad 182 B record.nested.lit.ril 188 B record.param.lit.rad 380 B record.ptr.access.rad 262 B record.ptr.access.ril 198 B record.ptr.mutate.rad 249 B record.shorthand.rad 1.5 KiB record.unlabeled.deref.rad 1.4 KiB record.unlabeled.rad 419 B ref.if.bug.rad 527 B ref.immut.loop.bug.rad 674 B ref.local.bindings.rad 1.5 KiB ref.local.bindings.ril 1.2 KiB ref.local.fields.rad 1.8 KiB ref.local.never.rad 269 B ref.local.never.ril 121 B ref.local.scopes.rad 1.1 KiB ref.local.scopes.ril 896 B ref.local.slice.release.rad 261 B ref.local.slice.release.ril 753 B ref.mut.ptr.rad 291 B ref.qualified.static.rad 307 B reference.array.repeat.rad 135 B reference.array.repeat.ril 260 B regalloc.callee.save.rad 1.5 KiB regalloc.spill.reuse.rad 488 B regions.body.scope.rad 276 B regions.body.scope.ril 455 B regions.borrow.calls.rad 769 B regions.borrow.calls.ril 1004 B regions.borrow.control.rad 633 B regions.borrow.control.ril 961 B regions.borrow.erasure.rad 213 B regions.borrow.erasure.ril 265 B regions.borrow.headers.rad 213 B regions.borrow.headers.ril 425 B regions.borrow.local.rad 243 B regions.borrow.local.ril 311 B regions.borrow.siblings.rad 153 B regions.borrow.siblings.ril 79 B regions.borrow.valid.rad 716 B regions.borrow.valid.ril 841 B regions.calls.callback.rad 265 B regions.calls.callback.ril 250 B regions.calls.inferred.rad 711 B regions.calls.inferred.ril 954 B regions.calls.nil.rad 982 B regions.calls.nil.ril 1.3 KiB regions.calls.ownership.rad 571 B regions.calls.ownership.ril 826 B regions.calls.parents.rad 246 B regions.calls.parents.ril 190 B regions.calls.raw.rad 352 B regions.calls.raw.ril 457 B regions.calls.recursive.rad 404 B regions.calls.recursive.ril 498 B regions.cell.graph.rad 1.2 KiB regions.cell.graph.ril 2.2 KiB regions.cell.pointer.rad 3.1 KiB regions.cell.pointer.ril 7.9 KiB regions.cell.recursive.rad 783 B regions.cell.recursive.ril 1.7 KiB regions.compiler.bitset.rad 7.1 KiB regions.compiler.bitset.ril 16.6 KiB regions.compiler.regmap.rad 1.3 KiB regions.compiler.regmap.ril 3.8 KiB regions.compiler.symbol.rad 1.1 KiB regions.compiler.symbol.ril 4.8 KiB regions.compiler.writer.rad 1.4 KiB regions.compiler.writer.ril 3.5 KiB regions.constant.optional.rad 604 B regions.constant.optional.ril 1.3 KiB regions.copy.binding.rad 1.7 KiB regions.copy.binding.ril 2.1 KiB regions.loans.control.rad 1.8 KiB regions.loans.control.ril 3.0 KiB regions.methods.rad 1.2 KiB regions.nominal.rad 1.5 KiB regions.nominal.ril 2.3 KiB regions.owner.freeze.rad 328 B regions.owner.freeze.ril 337 B regions.owner.lifetime.rad 1.2 KiB regions.owner.lifetime.ril 693 B regions.ownership.move.rad 144 B regions.ownership.move.ril 62 B regions.parameters.rad 228 B regions.parameters.ril 421 B regions.session.allocate.rad 2.4 KiB regions.session.allocate.ril 14.4 KiB regions.session.allocator.rad 1.2 KiB regions.session.context.rad 2.0 KiB regions.session.context.ril 2.8 KiB regions.session.scope.rad 728 B regions.session.scope.ril 1.6 KiB regions.shared.owner.rad 1.1 KiB regions.shared.owner.ril 1.6 KiB regions.storage.rad 2.3 KiB regions.storage.ril 4.2 KiB reserve.loop.rad 421 B reserve.loop.ril 473 B result.void.success.rad 711 B return.lit.rad 45 B return.lit.ril 50 B return.never.catch.rad 757 B return.never.flow.rad 619 B return.never.flow.ril 570 B return.never.rad 337 B return.never.ras 139 B return.param.rad 48 B return.param.ril 54 B rv64.u32.compare.rad 2.1 KiB set.keyword.rad 448 B simplefn.rad 45 B simplefn.ril 51 B slice.alloc.loop.rad 849 B slice.append.rad 4.3 KiB slice.append.ril 18.7 KiB slice.assign.mismatch.rad 220 B slice.assign.rad 1.4 KiB slice.basic.rad 763 B slice.basic.ril 818 B slice.cap.rad 999 B slice.construct.unsafe.rad 432 B slice.delete.rad 1012 B slice.delete.ril 4.8 KiB slice.empty.suffix.rad 593 B slice.eq.rad 126 B slice.eq.ril 209 B slice.header.unsafe.rad 593 B slice.index.rad 104 B slice.index.ril 278 B slice.mutable.rad 297 B slice.mutable.ril 1.5 KiB slice.of.rad 560 B slice.ptr.checked.bounds.rad 227 B slice.ptr.unsafe.rad 627 B slice.range.bounds.check.rad 299 B slice.range.dynamic.rad 877 B slice.range.order.check.rad 298 B slice.range.rad 676 B slice.range.ril 1.8 KiB slice.runtime.i32.rad 279 B slice.runtime.i32.ril 725 B slice.runtime.literal.rad 271 B slice.runtime.literal.ril 455 B slice.subslice.rad 1.5 KiB spill.blockarg.clobber.rad 3.6 KiB spill.loop.rad 1.6 KiB stack.local.corrupt.rad 335 B start.default.rad 62 B start.default.start.ras 29 B start.exit.rad 54 B start.exit.start.ras 53 B static.array.mutate.rad 427 B static.assign.rad 131 B static.assign.ril 244 B static.basic.rad 347 B static.fn.array.rad 628 B static.local.decl.rad 201 B static.local.decl.ril 420 B static.local.names.rad 516 B static.local.names.ril 1.0 KiB static.optional.nil.rad 1.0 KiB static.record.array.rad 532 B static.scalar.rad 109 B static.scalar.ril 135 B static.slice.index.assign.rad 450 B static.slice.offset.rad 723 B static.zero.bss.rad 1.1 KiB string.basic.rad 164 B string.escape.rad 364 B string.index.rad 131 B switch.blockargs.clobber.rad 1.4 KiB trait.aggregate.ret.rad 1.7 KiB trait.array.optional.rad 1.8 KiB trait.basic.rad 632 B trait.control.flow.rad 1.2 KiB trait.dispatch.rad 333 B trait.dispatch.ril 469 B trait.fn.param.rad 1.8 KiB trait.multiple.methods.rad 1.3 KiB trait.multiple.traits.rad 1.3 KiB trait.multiple.types.rad 1.4 KiB trait.object.rad 408 B trait.object.ril 496 B trait.supertrait.forward.rad 693 B trait.supertrait.rad 2.7 KiB trait.supertrait.ril 3.9 KiB trait.throws.rad 1.1 KiB trait.writer.rad 2.8 KiB trivial.phi.rad 1.1 KiB trivial.phi.ril 512 B try.basic.rad 397 B try.basic.ril 879 B try.catch.rad 345 B try.catch.ril 837 B try.optional.rad 369 B try.optional.ril 760 B try.panic.rad 357 B try.panic.ril 639 B type.unify.rad 4.6 KiB undefined.aggregate.rad 165 B undefined.aggregate.ril 84 B undefined.primitive.rad 122 B undefined.primitive.ril 48 B undefined.rad 459 B undefined.record.field.rad 1.6 KiB undefined.record.field.ril 751 B undefined.unsafe.rad 824 B union-tag.rad 967 B union.bitfield.rad 1.2 KiB union.ctor.rad 564 B union.ctor.ril 505 B union.discriminant.cast.rad 395 B union.edge.case.2.rad 700 B union.edge.case.3.rad 674 B union.eq.rad 807 B union.eq.ril 1.4 KiB union.eq.void.ctor.rad 384 B union.eq.void.ctor.ril 131 B union.eq.void.rad 184 B union.eq.void.ril 75 B union.match.bind.rad 265 B union.match.bind.ril 238 B union.match.ref.rad 1.1 KiB union.match.ref.ril 1.2 KiB union.match.tag.rad 870 B union.match.tag.ril 820 B union.mixed.assign.rad 1012 B union.payload.mutref.rad 1.5 KiB union.payload.rad 601 B union.payload.record.eq.rad 304 B union.payload.record.eq.ril 984 B union.record.forward.rad 1.3 KiB union.record.literal.rad 450 B union.record.literal.ril 391 B union.variant.access.rad 743 B union.variant.access.ril 686 B union.void.match.rad 424 B union.void.rad 845 B unop.rad 699 B unop.ril 506 B unsafe.block.bounds.rad 268 B unsafe.block.rad 784 B unsafe.static.rad 523 B unsigned.compare.rad 1.9 KiB var.align.rad 1.0 KiB var.infer.rad 574 B var.shadow.rad 244 B var.shadow.ril 145 B void.throw.rad 276 B void.throw.ril 707 B voidfn.rad 18 B voidfn.ril 43 B wildcard.import.owner.rad 199 B trap/ package-golden 1.6 KiB run 3.1 KiB runner.rad 10.5 KiB vim/ .gitignore 336 B .gitsigners 112 B CONTRIBUTING 2.1 KiB LICENSE 1.1 KiB Makefile 9.2 KiB README 2.5 KiB STYLE 2.5 KiB std.lib 1.5 KiB std.lib.test 662 B
test/tests/opt.slice.npo.ril 6.9 KiB raw
1
data mut $returnSome$nominal$arr align 1 {
2
    w8 42;
3
    w8 99;
4
}
5
6
fn w8 $checkSizes() {
7
  @entry0
8
    br.eq w32 16 16 @assert.ok2 @assert.fail1;
9
  @assert.fail1
10
    unreachable;
11
  @assert.ok2
12
    br.eq w32 8 8 @assert.ok4 @assert.fail3;
13
  @assert.fail3
14
    unreachable;
15
  @assert.ok4
16
    br.eq w32 16 16 @assert.ok6 @assert.fail5;
17
  @assert.fail5
18
    unreachable;
19
  @assert.ok6
20
    br.eq w32 16 16 @assert.ok8 @assert.fail7;
21
  @assert.fail7
22
    unreachable;
23
  @assert.ok8
24
    ret 0;
25
}
26
27
fn w8 $checkNil() {
28
  @entry0
29
    reserve %0 16 8;
30
    store w64 0 %0 0;
31
    store w32 0 %0 8;
32
    store w32 0 %0 12;
33
    load w64 %1 %0 0;
34
    eq w64 %2 %1 0;
35
    br.ne w32 %2 0 @assert.ok2 @assert.fail1;
36
  @assert.fail1
37
    unreachable;
38
  @assert.ok2
39
    ret 0;
40
}
41
42
fn w8 $checkWrap() {
43
  @entry0
44
    reserve %0 3 1;
45
    store w8 1 %0 0;
46
    store w8 2 %0 1;
47
    store w8 3 %0 2;
48
    reserve %1 16 8;
49
    store w64 %0 %1 0;
50
    store w32 3 %1 8;
51
    store w32 3 %1 12;
52
    reserve %2 16 8;
53
    blit %2 %1 16;
54
    load w64 %3 %2 0;
55
    ne w64 %4 %3 0;
56
    br.ne w32 %4 0 @assert.ok2 @assert.fail1;
57
  @assert.fail1
58
    unreachable;
59
  @assert.ok2
60
    ret 0;
61
}
62
63
fn w8 $checkIfLet() {
64
  @entry0
65
    reserve %0 3 1;
66
    store w8 10 %0 0;
67
    store w8 20 %0 1;
68
    store w8 30 %0 2;
69
    reserve %1 16 8;
70
    store w64 %0 %1 0;
71
    store w32 3 %1 8;
72
    store w32 3 %1 12;
73
    reserve %2 16 8;
74
    blit %2 %1 16;
75
    reserve %3 16 8;
76
    blit %3 %2 16;
77
    load w64 %4 %3 0;
78
    br.ne w32 %4 0 @then1 @else2;
79
  @then1
80
    load w32 %5 %3 8;
81
    br.eq w32 %5 3 @assert.ok4 @assert.fail3;
82
  @else2
83
    ret 34;
84
  @assert.fail3
85
    unreachable;
86
  @assert.ok4
87
    load w32 %6 %3 8;
88
    br.ult w32 0 %6 @guard#pass7 @guard#trap8;
89
  @assert.fail5
90
    unreachable;
91
  @assert.ok6
92
    load w32 %9 %3 8;
93
    br.ult w32 1 %9 @guard#pass11 @guard#trap12;
94
  @guard#pass7
95
    load w64 %7 %3 0;
96
    load w8 %8 %7 0;
97
    br.eq w8 %8 10 @assert.ok6 @assert.fail5;
98
  @guard#trap8
99
    ebreak;
100
    unreachable;
101
  @assert.fail9
102
    unreachable;
103
  @assert.ok10
104
    jmp @merge13;
105
  @guard#pass11
106
    load w64 %10 %3 0;
107
    add w64 %11 %10 1;
108
    load w8 %12 %11 0;
109
    br.eq w8 %12 20 @assert.ok10 @assert.fail9;
110
  @guard#trap12
111
    ebreak;
112
    unreachable;
113
  @merge13
114
    reserve %13 16 8;
115
    store w64 0 %13 0;
116
    store w32 0 %13 8;
117
    store w32 0 %13 12;
118
    reserve %14 16 8;
119
    blit %14 %13 16;
120
    load w64 %15 %14 0;
121
    br.ne w32 %15 0 @then14 @else15;
122
  @then14
123
    ret 35;
124
  @else15
125
    jmp @merge16;
126
  @merge16
127
    ret 0;
128
}
129
130
fn w8 $checkLetElse() {
131
  @entry0
132
    reserve %0 3 1;
133
    store w8 10 %0 0;
134
    store w8 20 %0 1;
135
    store w8 30 %0 2;
136
    reserve %1 16 8;
137
    store w64 %0 %1 0;
138
    store w32 3 %1 8;
139
    store w32 3 %1 12;
140
    reserve %2 16 8;
141
    blit %2 %1 16;
142
    reserve %3 16 8;
143
    blit %3 %2 16;
144
    load w64 %4 %3 0;
145
    br.ne w32 %4 0 @success1 @else2;
146
  @success1
147
    jmp @merge3;
148
  @else2
149
    ret 40;
150
  @merge3
151
    load w32 %5 %3 8;
152
    br.eq w32 %5 3 @assert.ok5 @assert.fail4;
153
  @assert.fail4
154
    unreachable;
155
  @assert.ok5
156
    ret 0;
157
}
158
159
fn w64 $returnNil(w64 %0) {
160
  @entry0
161
    reserve %1 16 8;
162
    store w64 0 %1 0;
163
    store w32 0 %1 8;
164
    store w32 0 %1 12;
165
    blit %0 %1 16;
166
    ret %0;
167
}
168
169
fn w64 $returnSome(w64 %0) {
170
  @entry0
171
    copy %1 $returnSome$nominal$arr;
172
    reserve %2 16 8;
173
    store w64 %1 %2 0;
174
    store w32 2 %2 8;
175
    store w32 2 %2 12;
176
    blit %0 %2 16;
177
    ret %0;
178
}
179
180
fn w8 $checkReturn() {
181
  @entry0
182
    reserve %0 16 8;
183
    call w64 %1 $returnNil(%0);
184
    load w64 %2 %1 0;
185
    eq w64 %3 %2 0;
186
    br.ne w32 %3 0 @assert.ok2 @assert.fail1;
187
  @assert.fail1
188
    unreachable;
189
  @assert.ok2
190
    reserve %4 16 8;
191
    call w64 %5 $returnSome(%4);
192
    load w64 %6 %5 0;
193
    ne w64 %7 %6 0;
194
    br.ne w32 %7 0 @assert.ok4 @assert.fail3;
195
  @assert.fail3
196
    unreachable;
197
  @assert.ok4
198
    reserve %8 16 8;
199
    blit %8 %5 16;
200
    load w64 %9 %8 0;
201
    br.ne w32 %9 0 @then5 @else6;
202
  @then5
203
    load w32 %10 %8 8;
204
    br.ult w32 0 %10 @guard#pass9 @guard#trap10;
205
  @else6
206
    ret 53;
207
  @assert.fail7
208
    unreachable;
209
  @assert.ok8
210
    jmp @merge11;
211
  @guard#pass9
212
    load w64 %11 %8 0;
213
    load w8 %12 %11 0;
214
    br.eq w8 %12 42 @assert.ok8 @assert.fail7;
215
  @guard#trap10
216
    ebreak;
217
    unreachable;
218
  @merge11
219
    ret 0;
220
}
221
222
fn w8 $checkMatch() {
223
  @entry0
224
    reserve %0 2 1;
225
    store w8 5 %0 0;
226
    store w8 6 %0 1;
227
    reserve %1 16 8;
228
    store w64 %0 %1 0;
229
    store w32 2 %1 8;
230
    store w32 2 %1 12;
231
    reserve %2 16 8;
232
    blit %2 %1 16;
233
    reserve %3 16 8;
234
    blit %3 %2 16;
235
    jmp @arm1;
236
  @arm1
237
    load w64 %4 %3 0;
238
    br.eq w64 %4 0 @case2 @arm3;
239
  @case2
240
    ret 60;
241
  @arm3
242
    jmp @else4;
243
  @else4
244
    jmp @merge6;
245
  @merge6
246
    reserve %5 16 8;
247
    store w64 0 %5 0;
248
    store w32 0 %5 8;
249
    store w32 0 %5 12;
250
    reserve %6 16 8;
251
    blit %6 %5 16;
252
    jmp @arm7;
253
  @arm7
254
    load w64 %7 %6 0;
255
    br.eq w64 %7 0 @case8 @arm9;
256
  @case8
257
    jmp @merge10;
258
  @arm9
259
    jmp @else11;
260
  @merge10
261
    ret 0;
262
  @else11
263
    ret 61;
264
}
265
266
fn w8 $checkEq() {
267
  @entry0
268
    reserve %0 16 8;
269
    store w64 0 %0 0;
270
    store w32 0 %0 8;
271
    store w32 0 %0 12;
272
    reserve %1 16 8;
273
    store w64 0 %1 0;
274
    store w32 0 %1 8;
275
    store w32 0 %1 12;
276
    load w64 %2 %0 0;
277
    load w64 %3 %1 0;
278
    eq w64 %4 %2 %3;
279
    load w32 %5 %0 8;
280
    load w32 %6 %1 8;
281
    eq w32 %7 %5 %6;
282
    and w32 %8 %4 %7;
283
    br.ne w32 %8 0 @assert.ok2 @assert.fail1;
284
  @assert.fail1
285
    unreachable;
286
  @assert.ok2
287
    reserve %9 2 1;
288
    store w8 1 %9 0;
289
    store w8 2 %9 1;
290
    reserve %10 16 8;
291
    store w64 %9 %10 0;
292
    store w32 2 %10 8;
293
    store w32 2 %10 12;
294
    reserve %11 16 8;
295
    blit %11 %10 16;
296
    load w64 %12 %11 0;
297
    load w64 %13 %0 0;
298
    eq w64 %14 %12 %13;
299
    load w32 %15 %11 8;
300
    load w32 %16 %0 8;
301
    eq w32 %17 %15 %16;
302
    and w32 %18 %14 %17;
303
    eq w32 %19 %18 0;
304
    br.ne w32 %19 0 @assert.ok4 @assert.fail3;
305
  @assert.fail3
306
    unreachable;
307
  @assert.ok4
308
    reserve %20 16 8;
309
    blit %20 %10 16;
310
    load w64 %21 %11 0;
311
    load w64 %22 %20 0;
312
    eq w64 %23 %21 %22;
313
    load w32 %24 %11 8;
314
    load w32 %25 %20 8;
315
    eq w32 %26 %24 %25;
316
    and w32 %27 %23 %26;
317
    br.ne w32 %27 0 @assert.ok6 @assert.fail5;
318
  @assert.fail5
319
    unreachable;
320
  @assert.ok6
321
    ret 0;
322
}
323
324
fn w8 $main() {
325
  @entry0
326
    call w8 %0 $checkSizes();
327
    br.ne w8 %0 0 @then1 @merge2;
328
  @then1
329
    ret %0;
330
  @merge2
331
    call w8 %1 $checkNil();
332
    br.ne w8 %1 0 @then3 @merge4;
333
  @then3
334
    ret %1;
335
  @merge4
336
    call w8 %2 $checkWrap();
337
    br.ne w8 %2 0 @then5 @merge6;
338
  @then5
339
    ret %2;
340
  @merge6
341
    call w8 %3 $checkIfLet();
342
    br.ne w8 %3 0 @then7 @merge8;
343
  @then7
344
    ret %3;
345
  @merge8
346
    call w8 %4 $checkLetElse();
347
    br.ne w8 %4 0 @then9 @merge10;
348
  @then9
349
    ret %4;
350
  @merge10
351
    call w8 %5 $checkReturn();
352
    br.ne w8 %5 0 @then11 @merge12;
353
  @then11
354
    ret %5;
355
  @merge12
356
    call w8 %6 $checkMatch();
357
    br.ne w8 %6 0 @then13 @merge14;
358
  @then13
359
    ret %6;
360
  @merge14
361
    call w8 %7 $checkEq();
362
    br.ne w8 %7 0 @then15 @merge16;
363
  @then15
364
    ret %7;
365
  @merge16
366
    ret 0;
367
}