Revert " [LoongArch][ISel] Check the number of sign bits in `PatGprGpr_32` (#107432)"
[llvm-project.git] / llvm / test / CodeGen / SystemZ / dag-combine-02.ll
blobfd6b5c7a12b2e59f7830e2b28629b5ab18a9cc6d
1 ; Test that adjustSubwordCmp() maintains the chains properly when creating a
2 ; new extending load.
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 -O3 | FileCheck %s
6 @g_56 = external hidden unnamed_addr global i64, align 8
7 @func_22.l_91 = external hidden unnamed_addr constant [4 x [7 x ptr]], align 8
8 @g_102 = external hidden unnamed_addr global ptr, align 8
9 @.str = external hidden unnamed_addr constant [2 x i8], align 2
10 @.str.1 = external hidden unnamed_addr constant [15 x i8], align 2
11 @crc32_context = external hidden unnamed_addr global i32, align 4
12 @crc32_tab = external hidden unnamed_addr global [256 x i32], align 4
13 @.str.2 = external hidden unnamed_addr constant [36 x i8], align 2
14 @.str.3 = external hidden unnamed_addr constant [15 x i8], align 2
15 @g_181.0.4.5 = external hidden unnamed_addr global i1, align 2
17 ; Function Attrs: argmemonly nounwind
18 declare void @llvm.lifetime.start.p0(i64, ptr nocapture) #0
20 ; Function Attrs: argmemonly nounwind
21 declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1) #0
23 ; Function Attrs: argmemonly nounwind
24 declare void @llvm.lifetime.end.p0(i64, ptr nocapture) #0
26 ; Function Attrs: nounwind
27 define signext i32 @main(i32 signext, ptr nocapture readonly) local_unnamed_addr #1 {
28   %3 = alloca [4 x [7 x ptr]], align 8
29   %4 = icmp eq i32 %0, 2
30   br i1 %4, label %5, label %11
32 ; <label>:5:                                      ; preds = %2
33   %6 = getelementptr inbounds ptr, ptr %1, i64 1
34   %7 = load ptr, ptr %6, align 8
35   %8 = tail call signext i32 @strcmp(ptr %7, ptr @.str) #4
36   %9 = icmp eq i32 %8, 0
37   %10 = zext i1 %9 to i32
38   br label %11
40 ; <label>:11:                                     ; preds = %5, %2
41   %12 = phi i32 [ 0, %2 ], [ %10, %5 ]
42   br label %13
44 ; <label>:13:                                     ; preds = %13, %11
45   %14 = phi i64 [ 0, %11 ], [ %58, %13 ]
46   %15 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %11 ], [ %59, %13 ]
47   %16 = and <4 x i32> %15, <i32 1, i32 1, i32 1, i32 1>
48   %17 = icmp eq <4 x i32> %16, zeroinitializer
49   %18 = lshr <4 x i32> %15, <i32 1, i32 1, i32 1, i32 1>
50   %19 = xor <4 x i32> %18, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
51   %20 = select <4 x i1> %17, <4 x i32> %18, <4 x i32> %19
52   %21 = and <4 x i32> %20, <i32 1, i32 1, i32 1, i32 1>
53   %22 = icmp eq <4 x i32> %21, zeroinitializer
54   %23 = lshr <4 x i32> %20, <i32 1, i32 1, i32 1, i32 1>
55   %24 = xor <4 x i32> %23, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
56   %25 = select <4 x i1> %22, <4 x i32> %23, <4 x i32> %24
57   %26 = and <4 x i32> %25, <i32 1, i32 1, i32 1, i32 1>
58   %27 = icmp eq <4 x i32> %26, zeroinitializer
59   %28 = lshr <4 x i32> %25, <i32 1, i32 1, i32 1, i32 1>
60   %29 = xor <4 x i32> %28, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
61   %30 = select <4 x i1> %27, <4 x i32> %28, <4 x i32> %29
62   %31 = and <4 x i32> %30, <i32 1, i32 1, i32 1, i32 1>
63   %32 = icmp eq <4 x i32> %31, zeroinitializer
64   %33 = lshr <4 x i32> %30, <i32 1, i32 1, i32 1, i32 1>
65   %34 = xor <4 x i32> %33, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
66   %35 = select <4 x i1> %32, <4 x i32> %33, <4 x i32> %34
67   %36 = and <4 x i32> %35, <i32 1, i32 1, i32 1, i32 1>
68   %37 = icmp eq <4 x i32> %36, zeroinitializer
69   %38 = lshr <4 x i32> %35, <i32 1, i32 1, i32 1, i32 1>
70   %39 = xor <4 x i32> %38, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
71   %40 = select <4 x i1> %37, <4 x i32> %38, <4 x i32> %39
72   %41 = and <4 x i32> %40, <i32 1, i32 1, i32 1, i32 1>
73   %42 = icmp eq <4 x i32> %41, zeroinitializer
74   %43 = lshr <4 x i32> %40, <i32 1, i32 1, i32 1, i32 1>
75   %44 = xor <4 x i32> %43, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
76   %45 = select <4 x i1> %42, <4 x i32> %43, <4 x i32> %44
77   %46 = and <4 x i32> %45, <i32 1, i32 1, i32 1, i32 1>
78   %47 = icmp eq <4 x i32> %46, zeroinitializer
79   %48 = lshr <4 x i32> %45, <i32 1, i32 1, i32 1, i32 1>
80   %49 = xor <4 x i32> %48, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
81   %50 = select <4 x i1> %47, <4 x i32> %48, <4 x i32> %49
82   %51 = and <4 x i32> %50, <i32 1, i32 1, i32 1, i32 1>
83   %52 = icmp eq <4 x i32> %51, zeroinitializer
84   %53 = lshr <4 x i32> %50, <i32 1, i32 1, i32 1, i32 1>
85   %54 = xor <4 x i32> %53, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
86   %55 = select <4 x i1> %52, <4 x i32> %53, <4 x i32> %54
87   %56 = getelementptr inbounds [256 x i32], ptr @crc32_tab, i64 0, i64 %14
88   %57 = bitcast ptr %56 to ptr
89   store <4 x i32> %55, ptr %57, align 4
90   %58 = add i64 %14, 4
91   %59 = add <4 x i32> %15, <i32 4, i32 4, i32 4, i32 4>
92   %60 = icmp eq i64 %58, 256
93   br i1 %60, label %61, label %13
95 ; <label>:61:                                     ; preds = %13
96 ; CHECK-LABEL: %bb.6:
97 ; CHECK: stgrl   %r0, g_56
98 ; CHECK: llhrl   %r0, g_56+6
99 ; CHECK: stgrl   %r2, g_56
100   store i64 0, ptr @g_56, align 8
101   %62 = bitcast ptr %3 to ptr
102   call void @llvm.lifetime.start.p0(i64 224, ptr nonnull %62) #5
103   call void @llvm.memcpy.p0.p0.i64(ptr align 8 nonnull %62, ptr align 8 @func_22.l_91, i64 224, i1 false) #5
104   %63 = getelementptr inbounds [4 x [7 x ptr]], ptr %3, i64 0, i64 0, i64 2
105   store ptr %63, ptr @g_102, align 8
106   %64 = load i64, ptr @g_56, align 8
107   store i64 2, ptr @g_56, align 8
108   %65 = and i64 %64, 65535
109   %66 = icmp eq i64 %65, 0
110   br i1 %66, label %68, label %67
112 ; <label>:67:                                     ; preds = %61
113   store i1 true, ptr @g_181.0.4.5, align 2
114   br label %68
116 ; <label>:68:                                     ; preds = %67, %61
117   call void @llvm.lifetime.end.p0(i64 224, ptr nonnull %62) #5
118   %69 = load i1, ptr @g_181.0.4.5, align 2
119   %70 = select i1 %69, i32 0, i32 72
120   %71 = load i32, ptr @crc32_context, align 4
121   %72 = lshr i32 %71, 8
122   %73 = and i32 %71, 255
123   %74 = xor i32 %73, %70
124   %75 = zext i32 %74 to i64
125   %76 = getelementptr inbounds [256 x i32], ptr @crc32_tab, i64 0, i64 %75
126   %77 = load i32, ptr %76, align 4
127   %78 = xor i32 %72, %77
128   %79 = lshr i32 %78, 8
129   %80 = and i32 %78, 255
130   %81 = zext i32 %80 to i64
131   %82 = getelementptr inbounds [256 x i32], ptr @crc32_tab, i64 0, i64 %81
132   %83 = load i32, ptr %82, align 4
133   %84 = xor i32 %79, %83
134   %85 = lshr i32 %84, 8
135   %86 = and i32 %84, 255
136   %87 = zext i32 %86 to i64
137   %88 = getelementptr inbounds [256 x i32], ptr @crc32_tab, i64 0, i64 %87
138   %89 = load i32, ptr %88, align 4
139   %90 = xor i32 %85, %89
140   %91 = lshr i32 %90, 8
141   %92 = and i32 %90, 255
142   %93 = zext i32 %92 to i64
143   %94 = getelementptr inbounds [256 x i32], ptr @crc32_tab, i64 0, i64 %93
144   %95 = load i32, ptr %94, align 4
145   %96 = xor i32 %91, %95
146   %97 = lshr i32 %96, 8
147   %98 = and i32 %96, 255
148   %99 = zext i32 %98 to i64
149   %100 = getelementptr inbounds [256 x i32], ptr @crc32_tab, i64 0, i64 %99
150   %101 = load i32, ptr %100, align 4
151   %102 = xor i32 %97, %101
152   %103 = lshr i32 %102, 8
153   %104 = and i32 %102, 255
154   %105 = zext i32 %104 to i64
155   %106 = getelementptr inbounds [256 x i32], ptr @crc32_tab, i64 0, i64 %105
156   %107 = load i32, ptr %106, align 4
157   %108 = xor i32 %103, %107
158   %109 = lshr i32 %108, 8
159   %110 = and i32 %108, 255
160   %111 = zext i32 %110 to i64
161   %112 = getelementptr inbounds [256 x i32], ptr @crc32_tab, i64 0, i64 %111
162   %113 = load i32, ptr %112, align 4
163   %114 = xor i32 %109, %113
164   %115 = lshr i32 %114, 8
165   %116 = and i32 %114, 255
166   %117 = zext i32 %116 to i64
167   %118 = getelementptr inbounds [256 x i32], ptr @crc32_tab, i64 0, i64 %117
168   %119 = load i32, ptr %118, align 4
169   %120 = xor i32 %115, %119
170   store i32 %120, ptr @crc32_context, align 4
171   %121 = icmp eq i32 %12, 0
172   br i1 %121, label %127, label %122
174 ; <label>:122:                                    ; preds = %68
175   %123 = xor i32 %120, -1
176   %124 = zext i32 %123 to i64
177   %125 = call signext i32 (ptr, ...) @printf(ptr @.str.2, ptr @.str.1, i64 %124) #5
178   %126 = load i32, ptr @crc32_context, align 4
179   br label %127
181 ; <label>:127:                                    ; preds = %122, %68
182   %128 = phi i32 [ %120, %68 ], [ %126, %122 ]
183   %129 = xor i32 %128, -1
184   %130 = call signext i32 (ptr, ...) @printf(ptr @.str.3, i32 zeroext %129) #5
185   ret i32 0
188 ; Function Attrs: nounwind readonly
189 declare signext i32 @strcmp(ptr nocapture, ptr nocapture) local_unnamed_addr #2
191 ; Function Attrs: nounwind
192 declare signext i32 @printf(ptr nocapture readonly, ...) local_unnamed_addr #3