| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -mtriple=x86_64-unknown-linux-gnu -loop-unroll -costmodel-reduxcost -S -o - %s | FileCheck %s |
| |
| define void @g() { |
| ; CHECK-LABEL: @g( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br label [[F_EXIT:%.*]] |
| ; CHECK: f.exit: |
| ; CHECK-NEXT: [[RDX_SHUF9_I:%.*]] = shufflevector <4 x i16> <i16 1, i16 0, i16 undef, i16 undef>, <4 x i16> poison, <4 x i32> <i32 1, i32 undef, i32 undef, i32 undef> |
| ; CHECK-NEXT: [[BIN_RDX10_I:%.*]] = xor <4 x i16> <i16 1, i16 0, i16 undef, i16 undef>, [[RDX_SHUF9_I]] |
| ; CHECK-NEXT: [[TMP0:%.*]] = extractelement <4 x i16> [[BIN_RDX10_I]], i32 0 |
| ; CHECK-NEXT: br label [[F_EXIT]] |
| ; |
| entry: |
| br label %f.exit |
| |
| f.exit: ; preds = %f.exit, %entry |
| %rdx.shuf9.i = shufflevector <4 x i16> <i16 1, i16 0, i16 undef, i16 undef>, <4 x i16> poison, <4 x i32> <i32 1, i32 undef, i32 undef, i32 undef> |
| %bin.rdx10.i = xor <4 x i16> <i16 1, i16 0, i16 undef, i16 undef>, %rdx.shuf9.i |
| %0 = extractelement <4 x i16> %bin.rdx10.i, i32 0 |
| br label %f.exit |
| } |
| |