llvm/test/CodeGen/SystemZ/codegenprepare-sink-and-for-tm.ll

   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
   7 define 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
  24 entry:
  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
  30 bb1:
  31   %i9 = zext i1 %i4 to i32
  32   store i32 %i9, ptr undef
  33   br label %bb3
  34
  35 bb2:
  36   %i13 = select i1 %i4, i32 4, i32 16
  37   store i32 %i13, ptr undef
  38   br label %bb3
  39
  40 bb3:
  41   ret void
  42 }