-
- switch (proj_num) {
- case pn_Cmp_Eq: suffix = "e"; break;
- case pn_Cmp_Lt: suffix = "l"; break;
- case pn_Cmp_Le: suffix = "le"; break;
- case pn_Cmp_Gt: suffix = "g"; break;
- case pn_Cmp_Ge: suffix = "ge"; break;
- case pn_Cmp_Lg: suffix = "ne"; break;
- case pn_Cmp_Leg: suffix = "a"; break;
- default: panic("Cmp has unsupported pnc");
+ if (is_unsigned) {
+ switch (proj_num) {
+ case pn_Cmp_Eq: suffix = "e"; break;
+ case pn_Cmp_Lt: suffix = "lu"; break;
+ case pn_Cmp_Le: suffix = "leu"; break;
+ case pn_Cmp_Gt: suffix = "gu"; break;
+ case pn_Cmp_Ge: suffix = "geu"; break;
+ case pn_Cmp_Lg: suffix = "ne"; break;
+ default: panic("Cmp has unsupported pnc");
+ }
+ } else {
+ switch (proj_num) {
+ case pn_Cmp_Eq: suffix = "e"; break;
+ case pn_Cmp_Lt: suffix = "l"; break;
+ case pn_Cmp_Le: suffix = "le"; break;
+ case pn_Cmp_Gt: suffix = "g"; break;
+ case pn_Cmp_Ge: suffix = "ge"; break;
+ case pn_Cmp_Lg: suffix = "ne"; break;
+ default: panic("Cmp has unsupported pnc");
+ }