From 44171a4e1da3ebda2407c72f4ae9d5a984625801 Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Fri, 13 May 2016 18:04:39 +0000
Subject: [PATCH] regenerate checks and add a run to show missed shrinkage

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@269449 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/InstCombine/narrow-switch.ll | 99 +++++++++++++++++-----------
 1 file changed, 62 insertions(+), 37 deletions(-)

diff --git a/test/Transforms/InstCombine/narrow-switch.ll b/test/Transforms/InstCombine/narrow-switch.ll
index f3f19bae03d..085ee4eac08 100644
--- a/test/Transforms/InstCombine/narrow-switch.ll
+++ b/test/Transforms/InstCombine/narrow-switch.ll
@@ -1,20 +1,29 @@
-; RUN: opt < %s -instcombine -S | FileCheck %s
-
-target datalayout = "e-m:o-p:32:32-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32"
-
-; CHECK-LABEL: define i32 @positive1
-; CHECK: switch i32
-; CHECK: i32 10, label
-; CHECK: i32 100, label
-; CHECK: i32 1001, label
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; Vary legal integer types in data layout.
+; RUN: opt < %s -instcombine -S -default-data-layout=n32    | FileCheck %s --check-prefix=ALL --check-prefix=CHECK32
+; RUN: opt < %s -instcombine -S -default-data-layout=n32:64 | FileCheck %s --check-prefix=ALL --check-prefix=CHECK64
 
 define i32 @positive1(i64 %a) {
+; CHECK32-LABEL: @positive1(
+; CHECK32:         switch i32
+; CHECK32-NEXT:    i32 10, label %return
+; CHECK32-NEXT:    i32 100, label %sw.bb1
+; CHECK32-NEXT:    i32 1001, label %sw.bb2
+; CHECK32-NEXT:    ]
+;
+; CHECK64-LABEL: @positive1(
+; CHECK64:         switch i64
+; CHECK64-NEXT:    i64 10, label %return
+; CHECK64-NEXT:    i64 100, label %sw.bb1
+; CHECK64-NEXT:    i64 1001, label %sw.bb2
+; CHECK64-NEXT:    ]
+;
 entry:
   %and = and i64 %a, 4294967295
   switch i64 %and, label %sw.default [
-    i64 10, label %return
-    i64 100, label %sw.bb1
-    i64 1001, label %sw.bb2
+  i64 10, label %return
+  i64 100, label %sw.bb1
+  i64 1001, label %sw.bb2
   ]
 
 sw.bb1:
@@ -31,19 +40,27 @@ return:
   ret i32 %retval.0
 }
 
-; CHECK-LABEL: define i32 @negative1
-; CHECK: switch i32
-; CHECK: i32 -10, label
-; CHECK: i32 -100, label
-; CHECK: i32 -1001, label
-
 define i32 @negative1(i64 %a) {
+; CHECK32-LABEL: @negative1(
+; CHECK32:         switch i32
+; CHECK32-NEXT:    i32 -10, label %return
+; CHECK32-NEXT:    i32 -100, label %sw.bb1
+; CHECK32-NEXT:    i32 -1001, label %sw.bb2
+; CHECK32-NEXT:    ]
+;
+; CHECK64-LABEL: @negative1(
+; CHECK64:         switch i64
+; CHECK64-NEXT:    i64 -10, label %return
+; CHECK64-NEXT:    i64 -100, label %sw.bb1
+; CHECK64-NEXT:    i64 -1001, label %sw.bb2
+; CHECK64-NEXT:    ]
+;
 entry:
   %or = or i64 %a, -4294967296
   switch i64 %or, label %sw.default [
-    i64 -10, label %return
-    i64 -100, label %sw.bb1
-    i64 -1001, label %sw.bb2
+  i64 -10, label %return
+  i64 -100, label %sw.bb1
+  i64 -1001, label %sw.bb2
   ]
 
 sw.bb1:
@@ -63,19 +80,20 @@ return:
 ; Make sure truncating a constant int larger than 64-bit doesn't trigger an
 ; assertion.
 
-; CHECK-LABEL: define i32 @trunc72to68
-; CHECK: switch i68
-; CHECK: i68 10, label
-; CHECK: i68 100, label
-; CHECK: i68 1001, label
-
 define i32 @trunc72to68(i72 %a) {
+; ALL-LABEL: @trunc72to68(
+; ALL:         switch i68
+; ALL-NEXT:    i68 10, label %return
+; ALL-NEXT:    i68 100, label %sw.bb1
+; ALL-NEXT:    i68 1001, label %sw.bb2
+; ALL-NEXT:    ]
+;
 entry:
   %and = and i72 %a, 295147905179352825855
   switch i72 %and, label %sw.default [
-    i72 10, label %return
-    i72 100, label %sw.bb1
-    i72 1001, label %sw.bb2
+  i72 10, label %return
+  i72 100, label %sw.bb1
+  i72 1001, label %sw.bb2
   ]
 
 sw.bb1:
@@ -95,21 +113,28 @@ return:
 ; Make sure to avoid assertion crashes and use the type before
 ; truncation to generate the sub constant expressions that leads
 ; to the recomputed condition.
-;
-; CHECK-LABEL: @trunc64to59
-; CHECK: switch i59
-; CHECK: i59 0, label
-; CHECK: i59 18717182647723699, label
 
 define void @trunc64to59(i64 %a) {
+; CHECK32-LABEL: @trunc64to59(
+; CHECK32:         switch i59
+; CHECK32-NEXT:    i59 0, label %sw.bb1
+; CHECK32-NEXT:    i59 18717182647723699, label %sw.bb2
+; CHECK32-NEXT:    ]
+;
+; CHECK64-LABEL: @trunc64to59(
+; CHECK64:         switch i64
+; CHECK64-NEXT:    i64 0, label %sw.bb1
+; CHECK64-NEXT:    i64 18717182647723699, label %sw.bb2
+; CHECK64-NEXT:    ]
+;
 entry:
   %tmp0 = and i64 %a, 15
   %tmp1 = mul i64 %tmp0, -6425668444178048401
   %tmp2 = add i64 %tmp1, 5170979678563097242
   %tmp3 = mul i64 %tmp2, 1627972535142754813
   switch i64 %tmp3, label %sw.default [
-    i64 847514119312061490, label %sw.bb1
-    i64 866231301959785189, label %sw.bb2
+  i64 847514119312061490, label %sw.bb1
+  i64 866231301959785189, label %sw.bb2
   ]
 
 sw.bb1:
-- 
2.11.0