| ; 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 |
| } |
| |
