/
githubmirror
/
sway
Обзор
Документация
Войти
/
githubmirror
/
sway
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
master
test/src/ir_generation/tests/predicate_data_mult_args.sw
24 строки
441 B
Vaivaswatha N
IR: Taking function arg address and representing references as pointers (#6967)
13 июн 2025, 03:12
Не верифицирован
13 июн 2025, 03:12
e072442
Код
Авторство
О чём код?
predicate; fn main(x: u64, y: u64) -> bool { true } // ::check-ir:: // check: predicate { // ::check-asm:: // regex: IMM=i\d+ // regex: REG=\$r\d+ // check: gm $(r2=$REG) i3 // check: gtf $(r1=$REG) $r2 i512 // nextln: jnzf $r1 $$zero $IMM // check: jmpf $$zero $IMM // check: movi $(r0=$REG) i2 // check: eq $r1 $r1 $r0 // check: xori $r1 $r1 i1 // check: jnzf $r1 $$zero $IMM // check: jmpf $$zero $IMM // check: ret $$zero