slovo/tests/string-value-flow.checked.lower
2026-05-22 08:38:43 +02:00

34 lines
885 B
Plaintext

program main
fn label() -> string
string "slovo" : string
fn echo(value: string) -> string
var value : string
fn local_label() -> string
local let value : unit
call label : string
var value : string
fn label_len() -> i32
call string_len : i32
call local_label : string
fn main() -> i32
call print_string : unit
call local_label : string
call label_len : i32
test "string literal equality"
binary = : bool
string "slovo" : string
string "slovo" : string
test "string parameter equality"
binary = : bool
call echo : string
string "runtime" : string
string "runtime" : string
test "string call return equality"
binary = : bool
call local_label : string
string "slovo" : string
test "string byte length"
binary = : bool
call label_len : i32
int 5 : i32