1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -ftrapv %s -emit-llvm -o - | FileCheck %s 2 3 unsigned int ui, uj, uk; 4 int i, j, k; 5 6 // CHECK-LABEL: define void @test0() 7 void test0() { 8 // -ftrapv doesn't affect unsigned arithmetic. 9 // CHECK: [[T1:%.*]] = load i32* @uj 10 // CHECK-NEXT: [[T2:%.*]] = load i32* @uk 11 // CHECK-NEXT: [[T3:%.*]] = add i32 [[T1]], [[T2]] 12 // CHECK-NEXT: store i32 [[T3]], i32* @ui 13 ui = uj + uk; 14 15 // CHECK: [[T1:%.*]] = load i32* @j 16 // CHECK-NEXT: [[T2:%.*]] = load i32* @k 17 // CHECK-NEXT: [[T3:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[T1]], i32 [[T2]]) 18 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T3]], 0 19 // CHECK-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T3]], 1 20 // CHECK-NEXT: [[T6:%.*]] = xor i1 [[T5]], true 21 // CHECK-NEXT: br i1 [[T6]] 22 // CHECK: call void @llvm.trap() 23 i = j + k; 24 } 25 26 // CHECK-LABEL: define void @test1() 27 void test1() { 28 extern void opaque(int); 29 opaque(i++); 30 31 // CHECK: [[T1:%.*]] = load i32* @i 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 35 // CHECK-NEXT: [[T5:%.*]] = xor i1 [[T4]], true 36 // CHECK-NEXT: br i1 [[T5]] 37 // CHECK: call void @llvm.trap() 38 } 39 40 // CHECK-LABEL: define void @test2() 41 void test2() { 42 extern void opaque(int); 43 opaque(++i); 44 45 // CHECK: [[T1:%.*]] = load i32* @i 46 // CHECK-NEXT: [[T2:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[T1]], i32 1) 47 // CHECK-NEXT: [[T3:%.*]] = extractvalue { i32, i1 } [[T2]], 0 48 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T2]], 1 49 // CHECK-NEXT: [[T5:%.*]] = xor i1 [[T4]], true 50 // CHECK-NEXT: br i1 [[T5]] 51 // CHECK: call void @llvm.trap() 52 } 53 54 // CHECK-LABEL: define void @test3( 55 void test3(int a, int b, float c, float d) { 56 // CHECK-NOT: @llvm.trap 57 (void)(a / b); 58 (void)(a % b); 59 (void)(c / d); 60 // CHECK: } 61 } 62