| ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s |
| ; |
| ; Check that a widening truncate to a vector of i1 elements can be handled. |
| |
| define void @pr32275(<4 x i8> %B15) { |
| ; CHECK-LABEL: pr32275: |
| ; CHECK: # %bb.0: # %BB |
| ; CHECK: vlgvb %r0, %v24, 3 |
| ; CHECK-NEXT: vlgvb %r1, %v24, 1 |
| ; CHECK-NEXT: vlvgp [[REG1:%v[0-9]]], %r1, %r0 |
| ; CHECK-NEXT: vlgvb %r0, %v24, 0 |
| ; CHECK-NEXT: vlgvb [[REG3:%r[0-9]]], %v24, 2 |
| ; CHECK-NEXT: vrepif [[REG0:%v[0-9]]], 1 |
| ; CHECK: .LBB0_1: |
| ; CHECK-DAG: vlr [[REG2:%v[0-9]]], [[REG1]] |
| ; CHECK-DAG: vlvgf [[REG2]], %r0, 0 |
| ; CHECK-NEXT: vlvgf [[REG2]], [[REG3]], 2 |
| ; CHECK-NEXT: vn [[REG2]], [[REG2]], [[REG0]] |
| ; CHECK-NEXT: vlgvf [[REG4:%r[0-9]]], [[REG2]], 3 |
| ; CHECK-NEXT: cijlh [[REG4]], 0, .LBB0_1 |
| ; CHECK-NEXT: # %bb.2: # %CF36 |
| ; CHECK-NEXT: br %r14 |
| BB: |
| br label %CF34 |
| |
| CF34: |
| %Tr24 = trunc <4 x i8> %B15 to <4 x i1> |
| %E28 = extractelement <4 x i1> %Tr24, i32 3 |
| br i1 %E28, label %CF34, label %CF36 |
| |
| CF36: |
| ret void |
| } |
