1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3 4declare i8 @llvm.fshl.i8(i8, i8, i8) 5declare i8 @llvm.fshr.i8(i8, i8, i8) 6declare void @use.i8(i8) 7define i1 @cmpeq_rorr_to_rorl(i8 %x, i8 %C) { 8; CHECK-LABEL: @cmpeq_rorr_to_rorl( 9; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.fshl.i8(i8 [[X:%.*]], i8 [[X]], i8 [[C:%.*]]) 10; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[X]], [[TMP1]] 11; CHECK-NEXT: ret i1 [[R]] 12; 13 %x_rorr = call i8 @llvm.fshr.i8(i8 %x, i8 %x, i8 %C) 14 %r = icmp eq i8 %x_rorr, %x 15 ret i1 %r 16} 17 18define i1 @cmpeq_rorr_to_rorl_non_equality_fail(i8 %x, i8 %C) { 19; CHECK-LABEL: @cmpeq_rorr_to_rorl_non_equality_fail( 20; CHECK-NEXT: [[X_RORR:%.*]] = call i8 @llvm.fshr.i8(i8 [[X:%.*]], i8 [[X]], i8 [[C:%.*]]) 21; CHECK-NEXT: [[R:%.*]] = icmp ult i8 [[X_RORR]], [[X]] 22; CHECK-NEXT: ret i1 [[R]] 23; 24 %x_rorr = call i8 @llvm.fshr.i8(i8 %x, i8 %x, i8 %C) 25 %r = icmp ult i8 %x_rorr, %x 26 ret i1 %r 27} 28 29define i1 @cmpeq_rorr_to_rorl_cmp_against_wrong_val_fail(i8 %x, i8 %C) { 30; CHECK-LABEL: @cmpeq_rorr_to_rorl_cmp_against_wrong_val_fail( 31; CHECK-NEXT: [[X_RORR:%.*]] = call i8 @llvm.fshr.i8(i8 [[X:%.*]], i8 [[X]], i8 [[C:%.*]]) 32; CHECK-NEXT: [[R:%.*]] = icmp ult i8 [[X_RORR]], [[C]] 33; CHECK-NEXT: ret i1 [[R]] 34; 35 %x_rorr = call i8 @llvm.fshr.i8(i8 %x, i8 %x, i8 %C) 36 %r = icmp ult i8 %x_rorr, %C 37 ret i1 %r 38} 39 40define i1 @cmpeq_rorr_to_rorl_non_ror_fail(i8 %x, i8 %C) { 41; CHECK-LABEL: @cmpeq_rorr_to_rorl_non_ror_fail( 42; CHECK-NEXT: [[X_RORR:%.*]] = call i8 @llvm.fshr.i8(i8 [[X:%.*]], i8 [[C:%.*]], i8 [[C]]) 43; CHECK-NEXT: [[R:%.*]] = icmp ult i8 [[X_RORR]], [[X]] 44; CHECK-NEXT: ret i1 [[R]] 45; 46 %x_rorr = call i8 @llvm.fshr.i8(i8 %x, i8 %C, i8 %C) 47 %r = icmp ult i8 %x_rorr, %x 48 ret i1 %r 49} 50 51define i1 @cmpeq_rorr_to_rorl_multiuse_fail(i8 %x, i8 %C) { 52; CHECK-LABEL: @cmpeq_rorr_to_rorl_multiuse_fail( 53; CHECK-NEXT: [[X_RORR:%.*]] = call i8 @llvm.fshr.i8(i8 [[X:%.*]], i8 [[X]], i8 [[C:%.*]]) 54; CHECK-NEXT: call void @use.i8(i8 [[X_RORR]]) 55; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[X_RORR]], [[X]] 56; CHECK-NEXT: ret i1 [[R]] 57; 58 %x_rorr = call i8 @llvm.fshr.i8(i8 %x, i8 %x, i8 %C) 59 call void @use.i8(i8 %x_rorr) 60 %r = icmp eq i8 %x_rorr, %x 61 ret i1 %r 62} 63 64define i1 @cmpne_rorr_rorr(i8 %x, i8 %C0, i8 %C1) { 65; CHECK-LABEL: @cmpne_rorr_rorr( 66; CHECK-NEXT: [[TMP1:%.*]] = sub i8 [[C0:%.*]], [[C1:%.*]] 67; CHECK-NEXT: [[TMP2:%.*]] = call i8 @llvm.fshl.i8(i8 [[X:%.*]], i8 [[X]], i8 [[TMP1]]) 68; CHECK-NEXT: [[R:%.*]] = icmp ne i8 [[X]], [[TMP2]] 69; CHECK-NEXT: ret i1 [[R]] 70; 71 %x_rorr0 = call i8 @llvm.fshr.i8(i8 %x, i8 %x, i8 %C0) 72 %x_rorr1 = call i8 @llvm.fshr.i8(i8 %x, i8 %x, i8 %C1) 73 %r = icmp ne i8 %x_rorr0, %x_rorr1 74 ret i1 %r 75} 76 77define i1 @cmpne_rorrX_rorrY(i8 %x, i8 %y, i8 %C0, i8 %C1) { 78; CHECK-LABEL: @cmpne_rorrX_rorrY( 79; CHECK-NEXT: [[TMP1:%.*]] = sub i8 [[C0:%.*]], [[C1:%.*]] 80; CHECK-NEXT: [[TMP2:%.*]] = call i8 @llvm.fshr.i8(i8 [[X:%.*]], i8 [[X]], i8 [[TMP1]]) 81; CHECK-NEXT: [[R:%.*]] = icmp ne i8 [[Y:%.*]], [[TMP2]] 82; CHECK-NEXT: ret i1 [[R]] 83; 84 %x_rorr0 = call i8 @llvm.fshr.i8(i8 %x, i8 %x, i8 %C0) 85 %y_rorr1 = call i8 @llvm.fshr.i8(i8 %y, i8 %y, i8 %C1) 86 %r = icmp ne i8 %x_rorr0, %y_rorr1 87 ret i1 %r 88} 89 90 91define i1 @cmpne_rorr_rorr_non_equality_fail(i8 %x, i8 %C0, i8 %C1) { 92; CHECK-LABEL: @cmpne_rorr_rorr_non_equality_fail( 93; CHECK-NEXT: [[X_RORR0:%.*]] = call i8 @llvm.fshr.i8(i8 [[X:%.*]], i8 [[X]], i8 [[C0:%.*]]) 94; CHECK-NEXT: [[X_RORR1:%.*]] = call i8 @llvm.fshr.i8(i8 [[X]], i8 [[X]], i8 [[C1:%.*]]) 95; CHECK-NEXT: [[R:%.*]] = icmp sge i8 [[X_RORR0]], [[X_RORR1]] 96; CHECK-NEXT: ret i1 [[R]] 97; 98 %x_rorr0 = call i8 @llvm.fshr.i8(i8 %x, i8 %x, i8 %C0) 99 %x_rorr1 = call i8 @llvm.fshr.i8(i8 %x, i8 %x, i8 %C1) 100 %r = icmp sge i8 %x_rorr0, %x_rorr1 101 ret i1 %r 102} 103 104 105define i1 @cmpne_rorr_rorl_todo_mismatch_C(i8 %x, i8 %C0, i8 %C1) { 106; CHECK-LABEL: @cmpne_rorr_rorl_todo_mismatch_C( 107; CHECK-NEXT: [[X_RORR0:%.*]] = call i8 @llvm.fshr.i8(i8 [[X:%.*]], i8 [[X]], i8 [[C0:%.*]]) 108; CHECK-NEXT: [[X_RORL1:%.*]] = call i8 @llvm.fshl.i8(i8 [[X]], i8 [[X]], i8 3) 109; CHECK-NEXT: [[R:%.*]] = icmp ne i8 [[X_RORR0]], [[X_RORL1]] 110; CHECK-NEXT: ret i1 [[R]] 111; 112 %x_rorr0 = call i8 @llvm.fshr.i8(i8 %x, i8 %x, i8 %C0) 113 %x_rorl1 = call i8 @llvm.fshl.i8(i8 %x, i8 %x, i8 3) 114 %r = icmp ne i8 %x_rorr0, %x_rorl1 115 ret i1 %r 116} 117 118define i1 @cmpne_rorl_rorl_multiuse1_fail(i8 %x, i8 %C0) { 119; CHECK-LABEL: @cmpne_rorl_rorl_multiuse1_fail( 120; CHECK-NEXT: [[X_RORL0:%.*]] = call i8 @llvm.fshl.i8(i8 [[X:%.*]], i8 [[X]], i8 [[C0:%.*]]) 121; CHECK-NEXT: [[X_RORL1:%.*]] = call i8 @llvm.fshl.i8(i8 [[X]], i8 [[X]], i8 3) 122; CHECK-NEXT: call void @use.i8(i8 [[X_RORL1]]) 123; CHECK-NEXT: [[R:%.*]] = icmp ne i8 [[X_RORL0]], [[X_RORL1]] 124; CHECK-NEXT: ret i1 [[R]] 125; 126 %x_rorl0 = call i8 @llvm.fshl.i8(i8 %x, i8 %x, i8 %C0) 127 %x_rorl1 = call i8 @llvm.fshl.i8(i8 %x, i8 %x, i8 3) 128 call void @use.i8(i8 %x_rorl1) 129 %r = icmp ne i8 %x_rorl0, %x_rorl1 130 ret i1 %r 131} 132 133define i1 @cmpeq_rorlXC_rorlYC_multiuse1(i8 %x, i8 %y) { 134; CHECK-LABEL: @cmpeq_rorlXC_rorlYC_multiuse1( 135; CHECK-NEXT: [[Y_RORL1:%.*]] = call i8 @llvm.fshl.i8(i8 [[Y:%.*]], i8 [[Y]], i8 3) 136; CHECK-NEXT: call void @use.i8(i8 [[Y_RORL1]]) 137; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.fshl.i8(i8 [[X:%.*]], i8 [[X]], i8 3) 138; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[Y]], [[TMP1]] 139; CHECK-NEXT: ret i1 [[R]] 140; 141 %x_rorl0 = call i8 @llvm.fshl.i8(i8 %x, i8 %x, i8 6) 142 %y_rorl1 = call i8 @llvm.fshl.i8(i8 %y, i8 %y, i8 3) 143 call void @use.i8(i8 %y_rorl1) 144 %r = icmp eq i8 %x_rorl0, %y_rorl1 145 ret i1 %r 146} 147 148define i1 @cmpeq_rorlC_rorlC_multiuse2_fail(i8 %x) { 149; CHECK-LABEL: @cmpeq_rorlC_rorlC_multiuse2_fail( 150; CHECK-NEXT: [[X_RORL0:%.*]] = call i8 @llvm.fshl.i8(i8 [[X:%.*]], i8 [[X]], i8 6) 151; CHECK-NEXT: [[X_RORL1:%.*]] = call i8 @llvm.fshl.i8(i8 [[X]], i8 [[X]], i8 3) 152; CHECK-NEXT: call void @use.i8(i8 [[X_RORL0]]) 153; CHECK-NEXT: call void @use.i8(i8 [[X_RORL1]]) 154; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[X_RORL0]], [[X_RORL1]] 155; CHECK-NEXT: ret i1 [[R]] 156; 157 %x_rorl0 = call i8 @llvm.fshl.i8(i8 %x, i8 %x, i8 6) 158 %x_rorl1 = call i8 @llvm.fshl.i8(i8 %x, i8 %x, i8 3) 159 call void @use.i8(i8 %x_rorl0) 160 call void @use.i8(i8 %x_rorl1) 161 %r = icmp eq i8 %x_rorl0, %x_rorl1 162 ret i1 %r 163} 164