Nuno Lopes | 060ddb0 | 2012-05-09 21:21:49 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - | FileCheck %s --check-prefix=DEFAULT |
| 2 | // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fwrapv | FileCheck %s --check-prefix=WRAPV |
| 3 | // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv | FileCheck %s --check-prefix=TRAPV |
Richard Smith | d6396a6 | 2012-11-05 22:21:05 +0000 | [diff] [blame] | 4 | // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=signed-integer-overflow | FileCheck %s --check-prefix=CATCH_UB |
Nuno Lopes | 060ddb0 | 2012-05-09 21:21:49 +0000 | [diff] [blame] | 5 | // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv -ftrapv-handler foo | FileCheck %s --check-prefix=TRAPV_HANDLER |
Chris Lattner | a4d7145 | 2010-06-26 21:25:03 +0000 | [diff] [blame] | 6 | |
| 7 | |
| 8 | // Tests for signed integer overflow stuff. |
| 9 | // rdar://7432000 rdar://7221421 |
| 10 | void test1() { |
| 11 | // DEFAULT: define void @test1 |
| 12 | // WRAPV: define void @test1 |
| 13 | // TRAPV: define void @test1 |
| 14 | extern volatile int f11G, a, b; |
| 15 | |
| 16 | // DEFAULT: add nsw i32 |
| 17 | // WRAPV: add i32 |
| 18 | // TRAPV: llvm.sadd.with.overflow.i32 |
Richard Smith | 9d3e226 | 2012-08-25 00:32:28 +0000 | [diff] [blame] | 19 | // CATCH_UB: llvm.sadd.with.overflow.i32 |
David Chisnall | 7f18e67 | 2010-09-17 18:29:54 +0000 | [diff] [blame] | 20 | // TRAPV_HANDLER: foo( |
Chris Lattner | a4d7145 | 2010-06-26 21:25:03 +0000 | [diff] [blame] | 21 | f11G = a + b; |
| 22 | |
| 23 | // DEFAULT: sub nsw i32 |
| 24 | // WRAPV: sub i32 |
| 25 | // TRAPV: llvm.ssub.with.overflow.i32 |
Richard Smith | 9d3e226 | 2012-08-25 00:32:28 +0000 | [diff] [blame] | 26 | // CATCH_UB: llvm.ssub.with.overflow.i32 |
David Chisnall | 7f18e67 | 2010-09-17 18:29:54 +0000 | [diff] [blame] | 27 | // TRAPV_HANDLER: foo( |
Chris Lattner | a4d7145 | 2010-06-26 21:25:03 +0000 | [diff] [blame] | 28 | f11G = a - b; |
| 29 | |
Chris Lattner | a4d7145 | 2010-06-26 21:25:03 +0000 | [diff] [blame] | 30 | // DEFAULT: mul nsw i32 |
| 31 | // WRAPV: mul i32 |
| 32 | // TRAPV: llvm.smul.with.overflow.i32 |
Richard Smith | 9d3e226 | 2012-08-25 00:32:28 +0000 | [diff] [blame] | 33 | // CATCH_UB: llvm.smul.with.overflow.i32 |
David Chisnall | 7f18e67 | 2010-09-17 18:29:54 +0000 | [diff] [blame] | 34 | // TRAPV_HANDLER: foo( |
Chris Lattner | a4d7145 | 2010-06-26 21:25:03 +0000 | [diff] [blame] | 35 | f11G = a * b; |
Chris Lattner | 640d326 | 2010-06-26 22:18:28 +0000 | [diff] [blame] | 36 | |
| 37 | // DEFAULT: sub nsw i32 0, |
| 38 | // WRAPV: sub i32 0, |
| 39 | // TRAPV: llvm.ssub.with.overflow.i32(i32 0 |
Richard Smith | 9d3e226 | 2012-08-25 00:32:28 +0000 | [diff] [blame] | 40 | // CATCH_UB: llvm.ssub.with.overflow.i32(i32 0 |
David Chisnall | 7f18e67 | 2010-09-17 18:29:54 +0000 | [diff] [blame] | 41 | // TRAPV_HANDLER: foo( |
Chris Lattner | 640d326 | 2010-06-26 22:18:28 +0000 | [diff] [blame] | 42 | f11G = -a; |
| 43 | |
| 44 | // PR7426 - Overflow checking for increments. |
| 45 | |
| 46 | // DEFAULT: add nsw i32 {{.*}}, 1 |
| 47 | // WRAPV: add i32 {{.*}}, 1 |
| 48 | // TRAPV: llvm.sadd.with.overflow.i32({{.*}}, i32 1) |
Richard Smith | 9d3e226 | 2012-08-25 00:32:28 +0000 | [diff] [blame] | 49 | // CATCH_UB: llvm.sadd.with.overflow.i32({{.*}}, i32 1) |
David Chisnall | 7f18e67 | 2010-09-17 18:29:54 +0000 | [diff] [blame] | 50 | // TRAPV_HANDLER: foo( |
Chris Lattner | 640d326 | 2010-06-26 22:18:28 +0000 | [diff] [blame] | 51 | ++a; |
| 52 | |
| 53 | // DEFAULT: add nsw i32 {{.*}}, -1 |
| 54 | // WRAPV: add i32 {{.*}}, -1 |
| 55 | // TRAPV: llvm.sadd.with.overflow.i32({{.*}}, i32 -1) |
Richard Smith | 9d3e226 | 2012-08-25 00:32:28 +0000 | [diff] [blame] | 56 | // CATCH_UB: llvm.sadd.with.overflow.i32({{.*}}, i32 -1) |
David Chisnall | 7f18e67 | 2010-09-17 18:29:54 +0000 | [diff] [blame] | 57 | // TRAPV_HANDLER: foo( |
Chris Lattner | 640d326 | 2010-06-26 22:18:28 +0000 | [diff] [blame] | 58 | --a; |
Chris Lattner | 2cb4222 | 2011-03-01 00:03:48 +0000 | [diff] [blame] | 59 | |
Chris Lattner | 2cb4222 | 2011-03-01 00:03:48 +0000 | [diff] [blame] | 60 | // -fwrapv should turn off inbounds for GEP's, PR9256 |
| 61 | extern int* P; |
| 62 | ++P; |
| 63 | // DEFAULT: getelementptr inbounds i32* |
| 64 | // WRAPV: getelementptr i32* |
| 65 | // TRAPV: getelementptr inbounds i32* |
Richard Smith | 9d3e226 | 2012-08-25 00:32:28 +0000 | [diff] [blame] | 66 | // CATCH_UB: getelementptr inbounds i32* |
Eli Friedman | fa0b409 | 2011-03-02 01:49:12 +0000 | [diff] [blame] | 67 | |
| 68 | // PR9350: char increment never overflows. |
| 69 | extern volatile signed char PR9350; |
| 70 | // DEFAULT: add i8 {{.*}}, 1 |
| 71 | // WRAPV: add i8 {{.*}}, 1 |
| 72 | // TRAPV: add i8 {{.*}}, 1 |
Richard Smith | 9d3e226 | 2012-08-25 00:32:28 +0000 | [diff] [blame] | 73 | // CATCH_UB: add i8 {{.*}}, 1 |
Eli Friedman | fa0b409 | 2011-03-02 01:49:12 +0000 | [diff] [blame] | 74 | ++PR9350; |
Chris Lattner | a4d7145 | 2010-06-26 21:25:03 +0000 | [diff] [blame] | 75 | } |