; Check that modelling of CC/CCRegs does not stop MachineCSE from
; removing a compare.  MachineCSE will not extend a live range of an
; allocatable or reserved phys reg.
;
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s

declare void @bar(i8)

; Check the low end of the CH range.
define void @f1(i32 %lhs) {
; CHECK-LABEL: %bb.1:
; CHECK-NOT: cijlh %r0, 1, .LBB0_3

entry:
  %and188 = and i32 %lhs, 255
  %cmp189 = icmp ult i32 %and188, 2
  br i1 %cmp189, label %if.then.191, label %if.else.201

if.then.191:
  %cmp194 = icmp eq i32 %and188, 1
  br i1 %cmp194, label %if.then.196, label %if.else.198

if.then.196:
  call void @bar(i8 1);
  br label %if.else.201

if.else.198:
  call void @bar(i8 0);
  br label %if.else.201

if.else.201:
  ret void
}