data/full_repos/permissive/512928021/password-hasher/impl/hw/soc/sha256.v
data/verilator_xmls/ce1d3e39-c3cb-46ef-82e4-c30c88f01fdf.xml
function [31:0] sum1(input [31:0] x);
    sum1 = {x[5:0], x[31:6]} ^ {x[10:0], x[31:11]} ^ {x[24:0], x[31:25]};
endfunction
function [31:0] sum1(input [31:0] x);

    sum1 = {x[5:0], x[31:6]} ^ {x[10:0], x[31:11]} ^ {x[24:0], x[31:25]};
endfunction