1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
3
4;; TODO: fold (sext (not x)) -> (add (zext x) -1)
5define i32 @sext_of_not(i1 %x) {
6; CHECK-LABEL: sext_of_not:
7; CHECK:       # %bb.0:
8; CHECK-NEXT:    xilf %r2, 4294967295
9; CHECK-NEXT:    nilf %r2, 1
10; CHECK-NEXT:    lcr %r2, %r2
11; CHECK-NEXT:    br %r14
12  %xor = xor i1 %x, 1
13  %sext = sext i1 %xor to i32
14  ret i32 %sext
15}
16
17;; TODO: fold (sext (not (setcc a, b, cc))) -> (sext (setcc a, b, !cc))
18define i32 @sext_of_not_cmp(i32 %x) {
19; CHECK-LABEL: sext_of_not_cmp:
20; CHECK:       # %bb.0:
21; CHECK-NEXT:    chi %r2, 7
22; CHECK-NEXT:    ipm %r2
23; CHECK-NEXT:    afi %r2, 1879048192
24; CHECK-NEXT:    sra %r2, 31
25; CHECK-NEXT:    br %r14
26  %cmp = icmp eq i32 %x, 7
27  %xor = xor i1 %cmp, 1
28  %sext = sext i1 %xor to i32
29  ret i32 %sext
30}
31
32;; TODO: fold (add (zext (setcc a, b, cc)), -1) -> (sext (setcc a, b, !cc))
33define i32 @dec_of_zexted_cmp(i32 %x) {
34; CHECK-LABEL: dec_of_zexted_cmp:
35; CHECK:       # %bb.0:
36; CHECK-NEXT:    chi %r2, 7
37; CHECK-NEXT:    ipm %r2
38; CHECK-NEXT:    afi %r2, -268435456
39; CHECK-NEXT:    srl %r2, 31
40; CHECK-NEXT:    ahi %r2, -1
41; CHECK-NEXT:    br %r14
42  %cmp = icmp eq i32 %x, 7
43  %zext = zext i1 %cmp to i32
44  %dec = sub i32 %zext, 1
45  ret i32 %dec
46}
47