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 4 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=signed-integer-overflow | FileCheck %s --check-prefixes=CATCH_UB,NOCATCH_UB_POINTER 5 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=signed-integer-overflow -fwrapv | FileCheck %s --check-prefixes=CATCH_UB,NOCATCH_UB_POINTER 6 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv -ftrapv-handler foo | FileCheck %s --check-prefix=TRAPV_HANDLER 7 8 9 // Tests for signed integer overflow stuff. 10 void test1(void) { 11 // DEFAULT-LABEL: define{{.*}} void @test1 12 // WRAPV-LABEL: define{{.*}} void @test1 13 // TRAPV-LABEL: 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 19 // CATCH_UB: llvm.sadd.with.overflow.i32 20 // TRAPV_HANDLER: foo( 21 f11G = a + b; 22 23 // DEFAULT: sub nsw i32 24 // WRAPV: sub i32 25 // TRAPV: llvm.ssub.with.overflow.i32 26 // CATCH_UB: llvm.ssub.with.overflow.i32 27 // TRAPV_HANDLER: foo( 28 f11G = a - b; 29 30 // DEFAULT: mul nsw i32 31 // WRAPV: mul i32 32 // TRAPV: llvm.smul.with.overflow.i32 33 // CATCH_UB: llvm.smul.with.overflow.i32 34 // TRAPV_HANDLER: foo( 35 f11G = a * b; 36 37 // DEFAULT: sub nsw i32 0, 38 // WRAPV: sub i32 0, 39 // TRAPV: llvm.ssub.with.overflow.i32(i32 0 40 // CATCH_UB: llvm.ssub.with.overflow.i32(i32 0 41 // TRAPV_HANDLER: foo( 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) 49 // CATCH_UB: llvm.sadd.with.overflow.i32({{.*}}, i32 1) 50 // TRAPV_HANDLER: foo( 51 ++a; 52 53 // DEFAULT: add nsw i32 {{.*}}, -1 54 // WRAPV: add i32 {{.*}}, -1 55 // TRAPV: llvm.ssub.with.overflow.i32({{.*}}, i32 1) 56 // CATCH_UB: llvm.ssub.with.overflow.i32({{.*}}, i32 1) 57 // TRAPV_HANDLER: foo( 58 --a; 59 60 // -fwrapv does not affect inbounds for GEP's. 61 // This is controlled by -fwrapv-pointer instead. 62 extern int* P; 63 ++P; 64 // DEFAULT: getelementptr inbounds nuw i32, ptr 65 // WRAPV: getelementptr inbounds nuw i32, ptr 66 // TRAPV: getelementptr inbounds nuw i32, ptr 67 // NOCATCH_UB_POINTER: getelementptr inbounds nuw i32, ptr 68 69 // PR9350: char pre-increment never overflows. 70 extern volatile signed char PR9350_char_inc; 71 // DEFAULT: add i8 {{.*}}, 1 72 // WRAPV: add i8 {{.*}}, 1 73 // TRAPV: add i8 {{.*}}, 1 74 // CATCH_UB: add i8 {{.*}}, 1 75 ++PR9350_char_inc; 76 77 // PR9350: char pre-decrement never overflows. 78 extern volatile signed char PR9350_char_dec; 79 // DEFAULT: add i8 {{.*}}, -1 80 // WRAPV: add i8 {{.*}}, -1 81 // TRAPV: add i8 {{.*}}, -1 82 // CATCH_UB: add i8 {{.*}}, -1 83 --PR9350_char_dec; 84 85 // PR9350: short pre-increment never overflows. 86 extern volatile signed short PR9350_short_inc; 87 // DEFAULT: add i16 {{.*}}, 1 88 // WRAPV: add i16 {{.*}}, 1 89 // TRAPV: add i16 {{.*}}, 1 90 // CATCH_UB: add i16 {{.*}}, 1 91 ++PR9350_short_inc; 92 93 // PR9350: short pre-decrement never overflows. 94 extern volatile signed short PR9350_short_dec; 95 // DEFAULT: add i16 {{.*}}, -1 96 // WRAPV: add i16 {{.*}}, -1 97 // TRAPV: add i16 {{.*}}, -1 98 // CATCH_UB: add i16 {{.*}}, -1 99 --PR9350_short_dec; 100 101 // PR24256: don't instrument __builtin_frame_address. 102 __builtin_frame_address(0 + 0); 103 // DEFAULT: call ptr @llvm.frameaddress.p0(i32 0) 104 // WRAPV: call ptr @llvm.frameaddress.p0(i32 0) 105 // TRAPV: call ptr @llvm.frameaddress.p0(i32 0) 106 // CATCH_UB: call ptr @llvm.frameaddress.p0(i32 0) 107 } 108