| John McCall | 401be6b | 2010-08-05 17:39:44 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -ftrapv %s -emit-llvm -o - | FileCheck %s |
| Richard Smith | 9d3e226 | 2012-08-25 00:32:28 +0000 | [diff] [blame] | 2 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fcatch-undefined-behavior %s -emit-llvm -o - | FileCheck %s |
| John McCall | 401be6b | 2010-08-05 17:39:44 +0000 | [diff] [blame] | 3 | |
| Mike Stump | 947b3e2 | 2009-04-02 01:14:26 +0000 | [diff] [blame] | 4 | unsigned int ui, uj, uk; |
| 5 | int i, j, k; |
| 6 | |
| John McCall | 401be6b | 2010-08-05 17:39:44 +0000 | [diff] [blame] | 7 | // CHECK: define void @test0() |
| 8 | void test0() { |
| 9 | // -ftrapv doesn't affect unsigned arithmetic. |
| 10 | // CHECK: [[T1:%.*]] = load i32* @uj |
| 11 | // CHECK-NEXT: [[T2:%.*]] = load i32* @uk |
| 12 | // CHECK-NEXT: [[T3:%.*]] = add i32 [[T1]], [[T2]] |
| 13 | // CHECK-NEXT: store i32 [[T3]], i32* @ui |
| Mike Stump | 947b3e2 | 2009-04-02 01:14:26 +0000 | [diff] [blame] | 14 | ui = uj + uk; |
| John McCall | 401be6b | 2010-08-05 17:39:44 +0000 | [diff] [blame] | 15 | |
| 16 | // CHECK: [[T1:%.*]] = load i32* @j |
| 17 | // CHECK-NEXT: [[T2:%.*]] = load i32* @k |
| Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 18 | // CHECK-NEXT: [[T3:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[T1]], i32 [[T2]]) |
| 19 | // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T3]], 0 |
| 20 | // CHECK-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T3]], 1 |
| John McCall | 401be6b | 2010-08-05 17:39:44 +0000 | [diff] [blame] | 21 | // CHECK-NEXT: br i1 [[T5]] |
| Chris Lattner | 93a0035 | 2010-08-07 00:20:46 +0000 | [diff] [blame] | 22 | // CHECK: call void @llvm.trap() |
| Mike Stump | 947b3e2 | 2009-04-02 01:14:26 +0000 | [diff] [blame] | 23 | i = j + k; |
| 24 | } |
| John McCall | 401be6b | 2010-08-05 17:39:44 +0000 | [diff] [blame] | 25 | |
| 26 | // CHECK: define void @test1() |
| 27 | void test1() { |
| 28 | extern void opaque(int); |
| 29 | opaque(i++); |
| 30 | |
| 31 | // CHECK: [[T1:%.*]] = load i32* @i |
| Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 32 | // CHECK-NEXT: [[T2:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[T1]], i32 1) |
| 33 | // CHECK-NEXT: [[T3:%.*]] = extractvalue { i32, i1 } [[T2]], 0 |
| 34 | // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T2]], 1 |
| John McCall | 401be6b | 2010-08-05 17:39:44 +0000 | [diff] [blame] | 35 | // CHECK-NEXT: br i1 [[T4]] |
| Chris Lattner | 93a0035 | 2010-08-07 00:20:46 +0000 | [diff] [blame] | 36 | // CHECK: call void @llvm.trap() |
| John McCall | 401be6b | 2010-08-05 17:39:44 +0000 | [diff] [blame] | 37 | } |
| 38 | |
| 39 | // CHECK: define void @test2() |
| 40 | void test2() { |
| 41 | extern void opaque(int); |
| 42 | opaque(++i); |
| 43 | |
| 44 | // CHECK: [[T1:%.*]] = load i32* @i |
| Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 45 | // CHECK-NEXT: [[T2:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[T1]], i32 1) |
| 46 | // CHECK-NEXT: [[T3:%.*]] = extractvalue { i32, i1 } [[T2]], 0 |
| 47 | // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T2]], 1 |
| John McCall | 401be6b | 2010-08-05 17:39:44 +0000 | [diff] [blame] | 48 | // CHECK-NEXT: br i1 [[T4]] |
| Chris Lattner | 93a0035 | 2010-08-07 00:20:46 +0000 | [diff] [blame] | 49 | // CHECK: call void @llvm.trap() |
| John McCall | 401be6b | 2010-08-05 17:39:44 +0000 | [diff] [blame] | 50 | } |