--- /dev/null
+function foo(s) {
+ switch (s) {
+ case "ƑẦǏŁ":
+ case "ÌŅ":
+ case "ṤĻŐⱲ":
+ case "ṔÄȚĦ":
+ return 42;
+ case "due":
+ case "to":
+ case "16-bit":
+ case "strings":
+ return 43;
+ default:
+ return 44;
+ }
+}
+
+noInline(foo);
+
+function cat(a, b) {
+ return a + b;
+}
+
+for (var i = 0; i < 10000; ++i) {
+ var result = foo(cat("16-", "bit"));
+ if (result != 43)
+ throw "Error: bad result (1): " + result;
+ result = foo("ƑẦǏŁ");
+ if (result != 42)
+ throw "Error: bad result (2): " + result;
+}