1 ; RUN: opt < %s -instcombine -S | FileCheck %s
3 target datalayout = "e-m:o-p:32:32-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32"
5 ; CHECK-LABEL: define i32 @positive1
8 ; CHECK: i32 100, label
9 ; CHECK: i32 1001, label
11 define i32 @positive1(i64 %a) {
13 %and = and i64 %a, 4294967295
14 switch i64 %and, label %sw.default [
16 i64 100, label %sw.bb1
17 i64 1001, label %sw.bb2
30 %retval.0 = phi i32 [ 24, %sw.default ], [ 123, %sw.bb2 ], [ 213, %sw.bb1 ], [ 231, %entry ]
34 ; CHECK-LABEL: define i32 @negative1
36 ; CHECK: i32 -10, label
37 ; CHECK: i32 -100, label
38 ; CHECK: i32 -1001, label
40 define i32 @negative1(i64 %a) {
42 %or = or i64 %a, -4294967296
43 switch i64 %or, label %sw.default [
44 i64 -10, label %return
45 i64 -100, label %sw.bb1
46 i64 -1001, label %sw.bb2
59 %retval.0 = phi i32 [ 24, %sw.default ], [ 123, %sw.bb2 ], [ 213, %sw.bb1 ], [ 231, %entry ]
63 ; Make sure truncating a constant int larger than 64-bit doesn't trigger an
66 ; CHECK-LABEL: define i32 @trunc72to68
68 ; CHECK: i68 10, label
69 ; CHECK: i68 100, label
70 ; CHECK: i68 1001, label
72 define i32 @trunc72to68(i72 %a) {
74 %and = and i72 %a, 295147905179352825855
75 switch i72 %and, label %sw.default [
77 i72 100, label %sw.bb1
78 i72 1001, label %sw.bb2
91 %retval.0 = phi i32 [ 24, %sw.default ], [ 123, %sw.bb2 ], [ 213, %sw.bb1 ], [ 231, %entry ]
95 ; Make sure to avoid assertion crashes and use the type before
96 ; truncation to generate the sub constant expressions that leads
97 ; to the recomputed condition.
99 ; CHECK-LABEL: @trunc64to59
101 ; CHECK: i59 0, label
102 ; CHECK: i59 18717182647723699, label
104 define void @trunc64to59(i64 %a) {
106 %tmp0 = and i64 %a, 15
107 %tmp1 = mul i64 %tmp0, -6425668444178048401
108 %tmp2 = add i64 %tmp1, 5170979678563097242
109 %tmp3 = mul i64 %tmp2, 1627972535142754813
110 switch i64 %tmp3, label %sw.default [
111 i64 847514119312061490, label %sw.bb1
112 i64 866231301959785189, label %sw.bb2