1 ; Test all condition-code masks that are relevant for signed integer
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
6 define void @f1(i32 *%src, i32 %target) {
8 ; CHECK: .cfi_startproc
9 ; CHECK: .L[[LABEL:.*]]:
10 ; CHECK: c %r3, 0(%r2)
11 ; CHECK-NEXT: je .L[[LABEL]]
14 %val = load volatile i32 *%src
15 %cond = icmp eq i32 %target, %val
16 br i1 %cond, label %loop, label %exit
21 define void @f2(i32 *%src, i32 %target) {
23 ; CHECK: .cfi_startproc
24 ; CHECK: .L[[LABEL:.*]]:
25 ; CHECK: c %r3, 0(%r2)
26 ; CHECK-NEXT: jlh .L[[LABEL]]
29 %val = load volatile i32 *%src
30 %cond = icmp ne i32 %target, %val
31 br i1 %cond, label %loop, label %exit
36 define void @f3(i32 *%src, i32 %target) {
38 ; CHECK: .cfi_startproc
39 ; CHECK: .L[[LABEL:.*]]:
40 ; CHECK: c %r3, 0(%r2)
41 ; CHECK-NEXT: jle .L[[LABEL]]
44 %val = load volatile i32 *%src
45 %cond = icmp sle i32 %target, %val
46 br i1 %cond, label %loop, label %exit
51 define void @f4(i32 *%src, i32 %target) {
53 ; CHECK: .cfi_startproc
54 ; CHECK: .L[[LABEL:.*]]:
55 ; CHECK: c %r3, 0(%r2)
56 ; CHECK-NEXT: jl .L[[LABEL]]
59 %val = load volatile i32 *%src
60 %cond = icmp slt i32 %target, %val
61 br i1 %cond, label %loop, label %exit
66 define void @f5(i32 *%src, i32 %target) {
68 ; CHECK: .cfi_startproc
69 ; CHECK: .L[[LABEL:.*]]:
70 ; CHECK: c %r3, 0(%r2)
71 ; CHECK-NEXT: jh .L[[LABEL]]
74 %val = load volatile i32 *%src
75 %cond = icmp sgt i32 %target, %val
76 br i1 %cond, label %loop, label %exit
81 define void @f6(i32 *%src, i32 %target) {
83 ; CHECK: .cfi_startproc
84 ; CHECK: .L[[LABEL:.*]]:
85 ; CHECK: c %r3, 0(%r2)
86 ; CHECK-NEXT: jhe .L[[LABEL]]
89 %val = load volatile i32 *%src
90 %cond = icmp sge i32 %target, %val
91 br i1 %cond, label %loop, label %exit