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
6define 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;
16bb:
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
23bb4:
24  %i5 = lshr i8 %i1, 1
25  %i6 = and i8 %i5, 1
26  %i7 = zext i8 %i6 to i32
27  br label %bb8
28
29bb8:
30  %i9 = phi i32 [ 1, %bb ], [ %i7, %bb4 ]
31  ret i32 %i9
32}
33