1 ; Testing peephole for generating shorter code for (and (xor b, -1), a) 2 ; 3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 4 5 define i64 @f1(i64 %a, i64 %b) { 6 ; CHECK-LABEL: f1: 7 ; CHECK: ngr %r3, %r2 8 ; CHECK: xgr %r2, %r3 9 ; CHECK: br %r14 10 %neg = xor i64 %b, -1 11 %and = and i64 %neg, %a 12 ret i64 %and 13 } 14 15