| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s |
| ; |
| ; CGP will duplicate and sink the 'icmp' to the users. Test that it does the |
| ; same for the 'and' so that tmll:s result and the nilf is eliminated. |
| |
| define void @fun(i32 %Arg) { |
| ; CHECK-LABEL: fun: |
| ; CHECK: # %bb.0: # %entry |
| ; CHECK-NEXT: ahi %r2, 1 |
| ; CHECK-NEXT: lhi %r0, 0 |
| ; CHECK-NEXT: cijlh %r0, 0, .LBB0_2 |
| ; CHECK-NEXT: # %bb.1: # %bb1 |
| ; CHECK-NEXT: tmll %r2, 16 |
| ; CHECK-NEXT: lochie %r0, 1 |
| ; CHECK-NEXT: st %r0, 0(%r1) |
| ; CHECK-NEXT: br %r14 |
| ; CHECK-NEXT: .LBB0_2: # %bb2 |
| ; CHECK-NEXT: tmll %r2, 16 |
| ; CHECK-NEXT: lhi %r0, 16 |
| ; CHECK-NEXT: lochie %r0, 4 |
| ; CHECK-NEXT: st %r0, 0(%r1) |
| ; CHECK-NEXT: br %r14 |
| entry: |
| %A = add i32 %Arg, 1 |
| %N = and i32 %A, 16 |
| %i4 = icmp eq i32 %N, 0 |
| br i1 undef, label %bb1, label %bb2 |
| |
| bb1: |
| %i9 = zext i1 %i4 to i32 |
| store i32 %i9, i32* undef |
| br label %bb3 |
| |
| bb2: |
| %i13 = select i1 %i4, i32 4, i32 16 |
| store i32 %i13, i32* undef |
| br label %bb3 |
| |
| bb3: |
| ret void |
| } |