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