1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -ftrapv %s -emit-llvm -o - | FileCheck %s 2 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fcatch-undefined-behavior %s -emit-llvm -o - | FileCheck %s 3 4 unsigned int ui, uj, uk; 5 int i, j, k; 6 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 14 ui = uj + uk; 15 16 // CHECK: [[T1:%.*]] = load i32* @j 17 // CHECK-NEXT: [[T2:%.*]] = load i32* @k 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 21 // CHECK-NEXT: [[T6:%.*]] = xor i1 [[T5]], true 22 // CHECK-NEXT: br i1 [[T6]] 23 // CHECK: call void @llvm.trap() 24 i = j + k; 25 } 26 27 // CHECK: define void @test1() 28 void test1() { 29 extern void opaque(int); 30 opaque(i++); 31 32 // CHECK: [[T1:%.*]] = load i32* @i 33 // CHECK-NEXT: [[T2:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[T1]], i32 1) 34 // CHECK-NEXT: [[T3:%.*]] = extractvalue { i32, i1 } [[T2]], 0 35 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T2]], 1 36 // CHECK-NEXT: [[T5:%.*]] = xor i1 [[T4]], true 37 // CHECK-NEXT: br i1 [[T5]] 38 // CHECK: call void @llvm.trap() 39 } 40 41 // CHECK: define void @test2() 42 void test2() { 43 extern void opaque(int); 44 opaque(++i); 45 46 // CHECK: [[T1:%.*]] = load i32* @i 47 // CHECK-NEXT: [[T2:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[T1]], i32 1) 48 // CHECK-NEXT: [[T3:%.*]] = extractvalue { i32, i1 } [[T2]], 0 49 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T2]], 1 50 // CHECK-NEXT: [[T5:%.*]] = xor i1 [[T4]], true 51 // CHECK-NEXT: br i1 [[T5]] 52 // CHECK: call void @llvm.trap() 53 } 54