Skip to content

Commit b4e989a

Browse files
davidbolvanskymemfrob
authored andcommitted
[NFC] Added testcase for PR40750
1 parent d81c693 commit b4e989a

File tree

1 file changed

+32
-0
lines changed

1 file changed

+32
-0
lines changed
Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2+
; RUN: opt -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -instcombine -S < %s | FileCheck %s
3+
4+
%struct.test = type { i8, [3 x i8] }
5+
6+
define i32 @get(%struct.test* nocapture readonly %arg) {
7+
; CHECK-LABEL: @get(
8+
; CHECK-NEXT: bb:
9+
; CHECK-NEXT: [[I:%.*]] = getelementptr inbounds [[STRUCT_TEST:%.*]], %struct.test* [[ARG:%.*]], i64 0, i32 0
10+
; CHECK-NEXT: [[I1:%.*]] = load i8, i8* [[I]], align 4
11+
; CHECK-NEXT: [[TMP0:%.*]] = and i8 [[I1]], 3
12+
; CHECK-NEXT: [[TMP1:%.*]] = icmp ne i8 [[TMP0]], 0
13+
; CHECK-NEXT: [[I9:%.*]] = zext i1 [[TMP1]] to i32
14+
; CHECK-NEXT: ret i32 [[I9]]
15+
;
16+
bb:
17+
%i = getelementptr inbounds %struct.test, %struct.test* %arg, i64 0, i32 0
18+
%i1 = load i8, i8* %i, align 4
19+
%i2 = and i8 %i1, 1
20+
%i3 = icmp eq i8 %i2, 0
21+
br i1 %i3, label %bb4, label %bb8
22+
23+
bb4:
24+
%i5 = lshr i8 %i1, 1
25+
%i6 = and i8 %i5, 1
26+
%i7 = zext i8 %i6 to i32
27+
br label %bb8
28+
29+
bb8:
30+
%i9 = phi i32 [ 1, %bb ], [ %i7, %bb4 ]
31+
ret i32 %i9
32+
}

0 commit comments

Comments
 (0)