73 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=instcombine -S %s | FileCheck %s3 4define i1 @umulov_square_i32(i32 %x) {5; CHECK-LABEL: define i1 @umulov_square_i32(6; CHECK-SAME: i32 [[X:%.*]]) {7; CHECK-NEXT: [[RES:%.*]] = icmp ugt i32 [[X]], 655358; CHECK-NEXT: ret i1 [[RES]]9;10 %ret = call {i32, i1} @llvm.umul.with.overflow.i32(i32 %x, i32 %x)11 %res = extractvalue {i32, i1} %ret, 112 ret i1 %res13}14 15define i1 @umulov_square_i16(i16 %x) {16; CHECK-LABEL: define i1 @umulov_square_i16(17; CHECK-SAME: i16 [[X:%.*]]) {18; CHECK-NEXT: [[RES:%.*]] = icmp ugt i16 [[X]], 25519; CHECK-NEXT: ret i1 [[RES]]20;21 %ret = call {i16, i1} @llvm.umul.with.overflow.i16(i16 %x, i16 %x)22 %res = extractvalue {i16, i1} %ret, 123 ret i1 %res24}25 26; Negative tests27 28define i1 @umulov_square_i13(i13 %x) {29; CHECK-LABEL: define i1 @umulov_square_i13(30; CHECK-SAME: i13 [[X:%.*]]) {31; CHECK-NEXT: [[RET:%.*]] = call { i13, i1 } @llvm.umul.with.overflow.i13(i13 [[X]], i13 [[X]])32; CHECK-NEXT: [[RES:%.*]] = extractvalue { i13, i1 } [[RET]], 133; CHECK-NEXT: ret i1 [[RES]]34;35 %ret = call {i13, i1} @llvm.umul.with.overflow.i13(i13 %x, i13 %x)36 %res = extractvalue {i13, i1} %ret, 137 ret i1 %res38}39 40define i1 @umulov_square_i32_multiuse(i32 %x) {41; CHECK-LABEL: define i1 @umulov_square_i32_multiuse(42; CHECK-SAME: i32 [[X:%.*]]) {43; CHECK-NEXT: [[RET:%.*]] = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 [[X]], i32 [[X]])44; CHECK-NEXT: [[RES:%.*]] = extractvalue { i32, i1 } [[RET]], 145; CHECK-NEXT: [[VAL:%.*]] = extractvalue { i32, i1 } [[RET]], 046; CHECK-NEXT: call void @use(i32 [[VAL]])47; CHECK-NEXT: ret i1 [[RES]]48;49 %ret = call {i32, i1} @llvm.umul.with.overflow.i32(i32 %x, i32 %x)50 %res = extractvalue {i32, i1} %ret, 151 %val = extractvalue {i32, i1} %ret, 052 call void @use(i32 %val)53 ret i1 %res54}55 56define i1 @smulov_square_i32(i32 %x) {57; CHECK-LABEL: define i1 @smulov_square_i32(58; CHECK-SAME: i32 [[X:%.*]]) {59; CHECK-NEXT: [[RET:%.*]] = call { i32, i1 } @llvm.smul.with.overflow.i32(i32 [[X]], i32 [[X]])60; CHECK-NEXT: [[RES:%.*]] = extractvalue { i32, i1 } [[RET]], 161; CHECK-NEXT: ret i1 [[RES]]62;63 %ret = call {i32, i1} @llvm.smul.with.overflow.i32(i32 %x, i32 %x)64 %res = extractvalue {i32, i1} %ret, 165 ret i1 %res66}67 68declare {i32, i1} @llvm.umul.with.overflow.i32(i32, i32)69declare {i32, i1} @llvm.smul.with.overflow.i32(i32, i32)70declare {i16, i1} @llvm.umul.with.overflow.i16(i16, i16)71declare {i13, i1} @llvm.umul.with.overflow.i13(i13, i13)72declare void @use(i32)73