| // Check -fsanitize=signed-integer-overflow and |
| // -fsanitize=unsigned-integer-overflow with promoted unsigned types |
| // |
| // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -o - %s \ |
| // RUN: -fsanitize=signed-integer-overflow | FileCheck %s --check-prefix=CHECKS |
| // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -o - %s \ |
| // RUN: -fsanitize=unsigned-integer-overflow | FileCheck %s --check-prefix=CHECKU |
| |
| unsigned short si, sj, sk; |
| |
| // CHECKS-LABEL: define void @testshortmul() |
| // CHECKU-LABEL: define void @testshortmul() |
| void testshortmul() { |
| |
| // CHECKS: load i16, i16* @sj |
| // CHECKS: load i16, i16* @sk |
| // CHECKS: [[T1:%.*]] = call { i32, i1 } @llvm.smul.with.overflow.i32(i32 [[T2:%.*]], i32 [[T3:%.*]]) |
| // CHECKS-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T1]], 0 |
| // CHECKS-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T1]], 1 |
| // CHECKS: call void @__ubsan_handle_mul_overflow |
| // |
| // CHECKU: [[T1:%.*]] = load i16, i16* @sj |
| // CHECKU: [[T2:%.*]] = zext i16 [[T1]] |
| // CHECKU: [[T3:%.*]] = load i16, i16* @sk |
| // CHECKU: [[T4:%.*]] = zext i16 [[T3]] |
| // CHECKU-NOT: llvm.smul |
| // CHECKU-NOT: llvm.umul |
| // CHECKU: [[T5:%.*]] = mul nsw i32 [[T2]], [[T4]] |
| si = sj * sk; |
| } |
