llvm/test/CodeGen/SystemZ/int-cmp-59.ll

   1 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 -O3 -stop-before=finalize-isel \
   2 ; RUN:   | FileCheck %s
   3 ;
   4 ; Check that an i1 in memory used in a comparison is loaded correctly.
   5
   6 @bPtr = external dso_local local_unnamed_addr global ptr, align 8
   7 @c = external hidden unnamed_addr global i1, align 4
   8
   9 define i64 @main() {
  10 ; CHECK-LABEL: bb.0.entry:
  11 ; CHECK: %1:addr64bit = LARL @c
  12 ; CHECK: %2:gr64bit = LLGC %1, 0, $noreg :: (dereferenceable load (s8) from @c, align 4)
  13 ; CHECK-NEXT: %4:gr64bit = IMPLICIT_DEF
  14 ; CHECK-NEXT: %3:gr64bit = RISBGN %4, killed %2, 63, 191, 0
  15 ; CHECK-NEXT: %5:gr64bit = LCGR killed %3, implicit-def dead $cc
  16 ; CHECK-NEXT: CGHI killed %5, 1, implicit-def $cc
  17 entry:
  18   %0 = load ptr, ptr @bPtr
  19   store i1 true, ptr @c
  20   store i32 8, ptr %0
  21   %.b = load i1, ptr @c
  22   %conv.i = select i1 %.b, i64 1, i64 3
  23   %div.i = sdiv i64 -1, %conv.i
  24   %cmp.i = icmp eq i64 %div.i, 1
  25   %conv2.i = zext i1 %cmp.i to i64
  26   ret i64 %conv2.i
  27 }
  28