64 lines · plain
1; Test all condition-code masks that are relevant for unsigned integer2; comparisons.3;4; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s5define void @f1(ptr %src, i32 %target) {6; CHECK-LABEL: f1:7; CHECK: .cfi_startproc8; CHECK: .L[[LABEL:.*]]:9; CHECK: cl %r3, 0(%r2)10; CHECK-NEXT: jle .L[[LABEL]]11 br label %loop12loop:13 %val = load volatile i32, ptr %src14 %cond = icmp ule i32 %target, %val15 br i1 %cond, label %loop, label %exit16exit:17 ret void18}19 20define void @f2(ptr %src, i32 %target) {21; CHECK-LABEL: f2:22; CHECK: .cfi_startproc23; CHECK: .L[[LABEL:.*]]:24; CHECK: cl %r3, 0(%r2)25; CHECK-NEXT: jl .L[[LABEL]]26 br label %loop27loop:28 %val = load volatile i32, ptr %src29 %cond = icmp ult i32 %target, %val30 br i1 %cond, label %loop, label %exit31exit:32 ret void33}34 35define void @f3(ptr %src, i32 %target) {36; CHECK-LABEL: f3:37; CHECK: .cfi_startproc38; CHECK: .L[[LABEL:.*]]:39; CHECK: cl %r3, 0(%r2)40; CHECK-NEXT: jh .L[[LABEL]]41 br label %loop42loop:43 %val = load volatile i32, ptr %src44 %cond = icmp ugt i32 %target, %val45 br i1 %cond, label %loop, label %exit46exit:47 ret void48}49 50define void @f4(ptr %src, i32 %target) {51; CHECK-LABEL: f4:52; CHECK: .cfi_startproc53; CHECK: .L[[LABEL:.*]]:54; CHECK: cl %r3, 0(%r2)55; CHECK-NEXT: jhe .L[[LABEL]]56 br label %loop57loop:58 %val = load volatile i32, ptr %src59 %cond = icmp uge i32 %target, %val60 br i1 %cond, label %loop, label %exit61exit:62 ret void63}64