935   res_vsc = vec_orc(vsc, vsc);  in test1()
942   res_vsc = vec_orc(vsc, vbc);  in test1()
948   res_vsc = vec_orc(vbc, vsc);  in test1()
954   res_vuc = vec_orc(vuc, vuc);  in test1()
960   res_vuc = vec_orc(vuc, vbc);  in test1()
966   res_vuc = vec_orc(vbc, vuc);  in test1()
972   res_vbc = vec_orc(vbc, vbc);  in test1()
978   res_vss = vec_orc(vss, vss);  in test1()
984   res_vss = vec_orc(vss, vbs);  in test1()
990   res_vss = vec_orc(vbs, vss);  in test1()
996   res_vus = vec_orc(vus, vus);  in test1()
1002   res_vus = vec_orc(vus, vbs);  in test1()
1008   res_vus = vec_orc(vbs, vus);  in test1()
1014   res_vbs = vec_orc(vbs, vbs);  in test1()
1020   res_vsi = vec_orc(vsi, vsi);  in test1()
1026   res_vsi = vec_orc(vsi, vbi);  in test1()
1032   res_vsi = vec_orc(vbi, vsi);  in test1()
1038   res_vui = vec_orc(vui, vui);  in test1()
1044   res_vui = vec_orc(vui, vbi);  in test1()
1050   res_vui = vec_orc(vbi, vui);  in test1()
1056   res_vbi = vec_orc(vbi, vbi);  in test1()
1062   res_vf = vec_orc(vbi, vfa);  in test1()
1068   res_vf = vec_orc(vfa, vbi);  in test1()
1074   res_vf = vec_orc(vfa, vfb);  in test1()
1080   res_vsll = vec_orc(vsll, vsll);  in test1()
1086   res_vsll = vec_orc(vsll, vbll);  in test1()
1092   res_vsll = vec_orc(vbll, vsll);  in test1()
1098   res_vull = vec_orc(vull, vull);  in test1()
1104   res_vull = vec_orc(vull, vbll);  in test1()
1110   res_vull = vec_orc(vbll, vull);  in test1()
1116   res_vbll = vec_orc(vbll, vbll);  in test1()
1122   res_vd = vec_orc(vbll, vda);  in test1()
1128   res_vd = vec_orc(vda, vbll);  in test1()
1134   res_vd = vec_orc(vda, vdb);  in test1()