1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s
3;
4; CGP will duplicate and sink the 'icmp' to the users. Test that it does the
5; same for the 'and' so that tmll:s result and the nilf is eliminated.
6
7define void @fun(i32 %Arg) {
8; CHECK-LABEL: fun:
9; CHECK:       # %bb.0: # %entry
10; CHECK-NEXT:    ahi %r2, 1
11; CHECK-NEXT:    lhi %r0, 0
12; CHECK-NEXT:    cijlh %r0, 0, .LBB0_2
13; CHECK-NEXT:  # %bb.1: # %bb1
14; CHECK-NEXT:    tmll %r2, 16
15; CHECK-NEXT:    lochie %r0, 1
16; CHECK-NEXT:    st %r0, 0(%r1)
17; CHECK-NEXT:    br %r14
18; CHECK-NEXT:  .LBB0_2: # %bb2
19; CHECK-NEXT:    tmll %r2, 16
20; CHECK-NEXT:    lhi %r0, 16
21; CHECK-NEXT:    lochie %r0, 4
22; CHECK-NEXT:    st %r0, 0(%r1)
23; CHECK-NEXT:    br %r14
24entry:
25  %A = add i32 %Arg, 1
26  %N = and i32 %A, 16
27  %i4 = icmp eq i32 %N, 0
28  br i1 undef, label %bb1, label %bb2
29
30bb1:
31  %i9 = zext i1 %i4 to i32
32  store i32 %i9, i32* undef
33  br label %bb3
34
35bb2:
36  %i13 = select i1 %i4, i32 4, i32 16
37  store i32 %i13, i32* undef
38  br label %bb3
39
40bb3:
41  ret void
42}
43