1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4 2; RUN: llc < %s -mtriple=x86_64-- -mcpu=emeraldrapids | FileCheck %s 3; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64 | FileCheck %s 4; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64-v2 | FileCheck %s 5; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64-v3 | FileCheck %s 6; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64-v4 | FileCheck %s 7 8; PR85681 - shift i1/vXi1 X, Y -> X as only Y==0 is defined 9 10define i32 @shl(i32 %a0) { 11; CHECK-LABEL: shl: 12; CHECK: # %bb.0: 13; CHECK-NEXT: movl $-1, %eax 14; CHECK-NEXT: retq 15 %v0 = bitcast i32 %a0 to <32 x i1> 16 %s = shl <32 x i1> <i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true>, %v0 17 %r = bitcast <32 x i1> %s to i32 18 ret i32 %r 19} 20 21define i32 @lshr(i32 %a0) { 22; CHECK-LABEL: lshr: 23; CHECK: # %bb.0: 24; CHECK-NEXT: movl $-1, %eax 25; CHECK-NEXT: retq 26 %v0 = bitcast i32 %a0 to <32 x i1> 27 %s = lshr <32 x i1> <i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true>, %v0 28 %r = bitcast <32 x i1> %s to i32 29 ret i32 %r 30} 31 32define i32 @ashr(i32 %a0) { 33; CHECK-LABEL: ashr: 34; CHECK: # %bb.0: 35; CHECK-NEXT: movl $-1, %eax 36; CHECK-NEXT: retq 37 %v0 = bitcast i32 %a0 to <32 x i1> 38 %s = ashr <32 x i1> <i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true>, %v0 39 %r = bitcast <32 x i1> %s to i32 40 ret i32 %r 41} 42