summaryrefslogtreecommitdiff
path: root/test/CodeGen/integer-overflow.c
diff options
context:
space:
mode:
authorDimitry Andric <dim@FreeBSD.org>2019-08-20 17:59:23 +0000
committerDimitry Andric <dim@FreeBSD.org>2019-08-20 17:59:23 +0000
commit9a83721404652cea39e9f02ae3e3b5c964602a5c (patch)
tree23e9541ce27049a103f6ed046be61592123e02c9 /test/CodeGen/integer-overflow.c
parent676fbe8105eeb6ff4bb2ed261cb212fcfdbe7b63 (diff)
Notes
Diffstat (limited to 'test/CodeGen/integer-overflow.c')
-rw-r--r--test/CodeGen/integer-overflow.c106
1 files changed, 0 insertions, 106 deletions
diff --git a/test/CodeGen/integer-overflow.c b/test/CodeGen/integer-overflow.c
deleted file mode 100644
index 0b28bc5b8a2d0..0000000000000
--- a/test/CodeGen/integer-overflow.c
+++ /dev/null
@@ -1,106 +0,0 @@
-// 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(i32 0)
- // WRAPV: call i8* @llvm.frameaddress(i32 0)
- // TRAPV: call i8* @llvm.frameaddress(i32 0)
- // CATCH_UB: call i8* @llvm.frameaddress(i32 0)
-}