testcase for issue #2244

tests/cases/switch64c_ta2.ll

@@ -0,0 +1,68 @@
+target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-p:32:32:32-v128:32:128-n32-S128"
+target triple = "asmjs-unknown-emscripten"
+
+@.str = private constant [18 x i8] c"hello, world: %d\0A\00", align 1
+
+declare i32 @printf(i8*, ...)
+
+define i32 @main() {
+  %a333 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([18 x i8]* @.str, i32 0, i32 0), i32 5)
+  %a400 = zext i32 %a333 to i64
+  %check = trunc i32 %a333 to i1
+  br i1 %check, label %l1, label %l2
+
+l1:
+  %bbb = phi i64 [ %a400, %0 ], [ 10, %l2 ]
+  %bbb32 = trunc i64 %bbb to i32
+  %a333z = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([18 x i8]* @.str, i32 0, i32 0), i32 %bbb32)
+  %check2 = trunc i32 %bbb32 to i1
+  br i1 %check2, label %l2, label %label999
+
+l2:
+  %a410 = phi i64 [ %a400, %0 ], [ %bbb, %l1 ]
+  %a444 = udiv i64 %a410, 3
+  switch i64 %a444, label %l1 [
+    i64 1000, label %label9950
+    i64 1001, label %label9951
+    i64 1002, label %label9952
+    i64 1003, label %label9953
+    i64 1004, label %label9954
+    i64 1005, label %label9955
+    i64 1006, label %label9956
+    i64 1007, label %label9957
+    i64 1008, label %label9958
+    i64 1009, label %label9959
+  ]
+
+label9950:
+  %waka = phi i64 [1000, %l2], [0, %label9951], [1, %label9952], [2, %label9953], [3, %label9954], [4, %label9955], [5, %label9956], [6, %label9957], [7, %label9958], [8, %label9959]
+  %waka32 = trunc i64 %waka to i32
+  %a333b = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([18 x i8]* @.str, i32 0, i32 0), i32 %waka32)
+  br label %label999
+
+label9951:
+  br label %label9950
+label9952:
+  br label %label9950
+label9953:
+  br label %label9950
+label9954:
+  br label %label9950
+label9955:
+  br label %label9950
+label9956:
+  br label %label9950
+label9957:
+  br label %label9950
+label9958:
+  br label %label9950
+label9959:
+  br label %label9950
+
+label999:                                     ; preds = %555
+  %last = phi i64 [1, %l1], [2, %label9950]
+  %last32 = trunc i64 %last to i32
+  %a333c = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([18 x i8]* @.str, i32 0, i32 0), i32 %last32)
+  ret i32 0
+}
+

tests/cases/switch64c_ta2.txt

@@ -0,0 +1,3 @@
+hello, world: 5
+hello, world: 10
+hello, world: 1