data/full_repos/permissive/512928021/password-hasher/impl/hw/soc/sha256.v
data/verilator_xmls/ce1d3e39-c3cb-46ef-82e4-c30c88f01fdf.xml
function [31:0] sum0(input [31:0] x);
    sum0 = {x[1:0], x[31:2]} ^ {x[12:0], x[31:13]} ^ {x[21:0], x[31:22]};
endfunction
function [31:0] sum0(input [31:0] x);

    sum0 = {x[1:0], x[31:2]} ^ {x[12:0], x[31:13]} ^ {x[21:0], x[31:22]};
endfunction