Lines Matching +full:signed +full:- +full:integer +full:- +full:overflow

1 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - | FileCheck %s --check-prefix=DEF…
2 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fwrapv | FileCheck %s --check-pr…
3 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv | FileCheck %s --check-pr…
4 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=signed-integer-overflo…
5 // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv -ftrapv-handler foo | Fil…
8 // Tests for signed integer overflow stuff.
11   // DEFAULT-LABEL: define void @test1  in test1()
12   // WRAPV-LABEL: define void @test1  in test1()
13   // TRAPV-LABEL: define void @test1  in test1()
18   // TRAPV: llvm.sadd.with.overflow.i32  in test1()
19   // CATCH_UB: llvm.sadd.with.overflow.i32  in test1()
25   // TRAPV: llvm.ssub.with.overflow.i32  in test1()
26   // CATCH_UB: llvm.ssub.with.overflow.i32  in test1()
28   f11G = a - b;  in test1()
32   // TRAPV: llvm.smul.with.overflow.i32  in test1()
33   // CATCH_UB: llvm.smul.with.overflow.i32  in test1()
39   // TRAPV: llvm.ssub.with.overflow.i32(i32 0  in test1()
40   // CATCH_UB: llvm.ssub.with.overflow.i32(i32 0  in test1()
42   f11G = -a;  in test1()
44   // PR7426 - Overflow checking for increments.  in test1()
48   // TRAPV: llvm.sadd.with.overflow.i32({{.*}}, i32 1)  in test1()
49   // CATCH_UB: llvm.sadd.with.overflow.i32({{.*}}, i32 1)  in test1()
53   // DEFAULT: add nsw i32 {{.*}}, -1  in test1()
54   // WRAPV: add i32 {{.*}}, -1  in test1()
55   // TRAPV: llvm.ssub.with.overflow.i32({{.*}}, i32 1)  in test1()
56   // CATCH_UB: llvm.ssub.with.overflow.i32({{.*}}, i32 1)  in test1()
58   --a;  in test1()
60   // -fwrapv should turn off inbounds for GEP's, PR9256  in test1()
69   extern volatile signed char PR9350;  in test1()