| // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - | FileCheck %s --check-prefix=DEFAULT |
| // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fwrapv | FileCheck %s --check-prefix=WRAPV |
| // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv | FileCheck %s --check-prefix=TRAPV |
| // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=signed-integer-overflow | FileCheck %s --check-prefix=CATCH_UB |
| // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv -ftrapv-handler foo | FileCheck %s --check-prefix=TRAPV_HANDLER |
| |
| |
| // Tests for signed integer overflow stuff. |
| // rdar://7432000 rdar://7221421 |
| void test1() { |
| // DEFAULT-LABEL: define void @test1 |
| // WRAPV-LABEL: define void @test1 |
| // TRAPV-LABEL: define void @test1 |
| extern volatile int f11G, a, b; |
| |
| // DEFAULT: add nsw i32 |
| // WRAPV: add i32 |
| // TRAPV: llvm.sadd.with.overflow.i32 |
| // CATCH_UB: llvm.sadd.with.overflow.i32 |
| // TRAPV_HANDLER: foo( |
| f11G = a + b; |
| |
| // DEFAULT: sub nsw i32 |
| // WRAPV: sub i32 |
| // TRAPV: llvm.ssub.with.overflow.i32 |
| // CATCH_UB: llvm.ssub.with.overflow.i32 |
| // TRAPV_HANDLER: foo( |
| f11G = a - b; |
| |
| // DEFAULT: mul nsw i32 |
| // WRAPV: mul i32 |
| // TRAPV: llvm.smul.with.overflow.i32 |
| // CATCH_UB: llvm.smul.with.overflow.i32 |
| // TRAPV_HANDLER: foo( |
| f11G = a * b; |
| |
| // DEFAULT: sub nsw i32 0, |
| // WRAPV: sub i32 0, |
| // TRAPV: llvm.ssub.with.overflow.i32(i32 0 |
| // CATCH_UB: llvm.ssub.with.overflow.i32(i32 0 |
| // TRAPV_HANDLER: foo( |
| f11G = -a; |
| |
| // PR7426 - Overflow checking for increments. |
| |
| // DEFAULT: add nsw i32 {{.*}}, 1 |
| // WRAPV: add i32 {{.*}}, 1 |
| // TRAPV: llvm.sadd.with.overflow.i32({{.*}}, i32 1) |
| // CATCH_UB: llvm.sadd.with.overflow.i32({{.*}}, i32 1) |
| // TRAPV_HANDLER: foo( |
| ++a; |
| |
| // DEFAULT: add nsw i32 {{.*}}, -1 |
| // WRAPV: add i32 {{.*}}, -1 |
| // TRAPV: llvm.ssub.with.overflow.i32({{.*}}, i32 1) |
| // CATCH_UB: llvm.ssub.with.overflow.i32({{.*}}, i32 1) |
| // TRAPV_HANDLER: foo( |
| --a; |
| |
| // -fwrapv should turn off inbounds for GEP's, PR9256 |
| extern int* P; |
| ++P; |
| // DEFAULT: getelementptr inbounds i32, i32* |
| // WRAPV: getelementptr i32, i32* |
| // TRAPV: getelementptr inbounds i32, i32* |
| // CATCH_UB: getelementptr inbounds i32, i32* |
| |
| // PR9350: char pre-increment never overflows. |
| extern volatile signed char PR9350_char_inc; |
| // DEFAULT: add i8 {{.*}}, 1 |
| // WRAPV: add i8 {{.*}}, 1 |
| // TRAPV: add i8 {{.*}}, 1 |
| // CATCH_UB: add i8 {{.*}}, 1 |
| ++PR9350_char_inc; |
| |
| // PR9350: char pre-decrement never overflows. |
| extern volatile signed char PR9350_char_dec; |
| // DEFAULT: add i8 {{.*}}, -1 |
| // WRAPV: add i8 {{.*}}, -1 |
| // TRAPV: add i8 {{.*}}, -1 |
| // CATCH_UB: add i8 {{.*}}, -1 |
| --PR9350_char_dec; |
| |
| // PR9350: short pre-increment never overflows. |
| extern volatile signed short PR9350_short_inc; |
| // DEFAULT: add i16 {{.*}}, 1 |
| // WRAPV: add i16 {{.*}}, 1 |
| // TRAPV: add i16 {{.*}}, 1 |
| // CATCH_UB: add i16 {{.*}}, 1 |
| ++PR9350_short_inc; |
| |
| // PR9350: short pre-decrement never overflows. |
| extern volatile signed short PR9350_short_dec; |
| // DEFAULT: add i16 {{.*}}, -1 |
| // WRAPV: add i16 {{.*}}, -1 |
| // TRAPV: add i16 {{.*}}, -1 |
| // CATCH_UB: add i16 {{.*}}, -1 |
| --PR9350_short_dec; |
| |
| // PR24256: don't instrument __builtin_frame_address. |
| __builtin_frame_address(0 + 0); |
| // DEFAULT: call i8* @llvm.frameaddress.p0i8(i32 0) |
| // WRAPV: call i8* @llvm.frameaddress.p0i8(i32 0) |
| // TRAPV: call i8* @llvm.frameaddress.p0i8(i32 0) |
| // CATCH_UB: call i8* @llvm.frameaddress.p0i8(i32 0) |
| } |