// regex: ID=[[:alpha:]0-9]+
// regex: VAR=v\d+

script {
    fn main() -> bool {
        entry():
        v0 = const u64 11
        v0_dup = const u64 11
        v1 = const u64 0
        // check: $(v3=$VAR) = add        
        v3 = add v0, v1
        // check: $(v4=$VAR) = add        
        v4 = add v0, v1
        // check: $(v5=$VAR) = sub
        v5 = sub v0, v3
        // check: $(v6=$VAR) = sub
        v6 = sub v0_dup, v4
        // check: cmp eq $v5 $v5
        v2 = cmp eq v5 v6
        ret bool v2
    }
}