xref: /minix3/external/bsd/llvm/dist/clang/test/CodeGen/integer-overflow.c (revision f4a2713ac843a11c696ec80c0a5e3e5d80b4d338)
1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - | FileCheck %s --check-prefix=DEFAULT
2*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fwrapv | FileCheck %s --check-prefix=WRAPV
3*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv | FileCheck %s --check-prefix=TRAPV
4*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fsanitize=signed-integer-overflow | FileCheck %s --check-prefix=CATCH_UB
5*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv -ftrapv-handler foo | FileCheck %s --check-prefix=TRAPV_HANDLER
6*f4a2713aSLionel Sambuc 
7*f4a2713aSLionel Sambuc 
8*f4a2713aSLionel Sambuc // Tests for signed integer overflow stuff.
9*f4a2713aSLionel Sambuc // rdar://7432000 rdar://7221421
test1()10*f4a2713aSLionel Sambuc void test1() {
11*f4a2713aSLionel Sambuc   // DEFAULT-LABEL: define void @test1
12*f4a2713aSLionel Sambuc   // WRAPV-LABEL: define void @test1
13*f4a2713aSLionel Sambuc   // TRAPV-LABEL: define void @test1
14*f4a2713aSLionel Sambuc   extern volatile int f11G, a, b;
15*f4a2713aSLionel Sambuc 
16*f4a2713aSLionel Sambuc   // DEFAULT: add nsw i32
17*f4a2713aSLionel Sambuc   // WRAPV: add i32
18*f4a2713aSLionel Sambuc   // TRAPV: llvm.sadd.with.overflow.i32
19*f4a2713aSLionel Sambuc   // CATCH_UB: llvm.sadd.with.overflow.i32
20*f4a2713aSLionel Sambuc   // TRAPV_HANDLER: foo(
21*f4a2713aSLionel Sambuc   f11G = a + b;
22*f4a2713aSLionel Sambuc 
23*f4a2713aSLionel Sambuc   // DEFAULT: sub nsw i32
24*f4a2713aSLionel Sambuc   // WRAPV: sub i32
25*f4a2713aSLionel Sambuc   // TRAPV: llvm.ssub.with.overflow.i32
26*f4a2713aSLionel Sambuc   // CATCH_UB: llvm.ssub.with.overflow.i32
27*f4a2713aSLionel Sambuc   // TRAPV_HANDLER: foo(
28*f4a2713aSLionel Sambuc   f11G = a - b;
29*f4a2713aSLionel Sambuc 
30*f4a2713aSLionel Sambuc   // DEFAULT: mul nsw i32
31*f4a2713aSLionel Sambuc   // WRAPV: mul i32
32*f4a2713aSLionel Sambuc   // TRAPV: llvm.smul.with.overflow.i32
33*f4a2713aSLionel Sambuc   // CATCH_UB: llvm.smul.with.overflow.i32
34*f4a2713aSLionel Sambuc   // TRAPV_HANDLER: foo(
35*f4a2713aSLionel Sambuc   f11G = a * b;
36*f4a2713aSLionel Sambuc 
37*f4a2713aSLionel Sambuc   // DEFAULT: sub nsw i32 0,
38*f4a2713aSLionel Sambuc   // WRAPV: sub i32 0,
39*f4a2713aSLionel Sambuc   // TRAPV: llvm.ssub.with.overflow.i32(i32 0
40*f4a2713aSLionel Sambuc   // CATCH_UB: llvm.ssub.with.overflow.i32(i32 0
41*f4a2713aSLionel Sambuc   // TRAPV_HANDLER: foo(
42*f4a2713aSLionel Sambuc   f11G = -a;
43*f4a2713aSLionel Sambuc 
44*f4a2713aSLionel Sambuc   // PR7426 - Overflow checking for increments.
45*f4a2713aSLionel Sambuc 
46*f4a2713aSLionel Sambuc   // DEFAULT: add nsw i32 {{.*}}, 1
47*f4a2713aSLionel Sambuc   // WRAPV: add i32 {{.*}}, 1
48*f4a2713aSLionel Sambuc   // TRAPV: llvm.sadd.with.overflow.i32({{.*}}, i32 1)
49*f4a2713aSLionel Sambuc   // CATCH_UB: llvm.sadd.with.overflow.i32({{.*}}, i32 1)
50*f4a2713aSLionel Sambuc   // TRAPV_HANDLER: foo(
51*f4a2713aSLionel Sambuc   ++a;
52*f4a2713aSLionel Sambuc 
53*f4a2713aSLionel Sambuc   // DEFAULT: add nsw i32 {{.*}}, -1
54*f4a2713aSLionel Sambuc   // WRAPV: add i32 {{.*}}, -1
55*f4a2713aSLionel Sambuc   // TRAPV: llvm.sadd.with.overflow.i32({{.*}}, i32 -1)
56*f4a2713aSLionel Sambuc   // CATCH_UB: llvm.sadd.with.overflow.i32({{.*}}, i32 -1)
57*f4a2713aSLionel Sambuc   // TRAPV_HANDLER: foo(
58*f4a2713aSLionel Sambuc   --a;
59*f4a2713aSLionel Sambuc 
60*f4a2713aSLionel Sambuc   // -fwrapv should turn off inbounds for GEP's, PR9256
61*f4a2713aSLionel Sambuc   extern int* P;
62*f4a2713aSLionel Sambuc   ++P;
63*f4a2713aSLionel Sambuc   // DEFAULT: getelementptr inbounds i32*
64*f4a2713aSLionel Sambuc   // WRAPV: getelementptr i32*
65*f4a2713aSLionel Sambuc   // TRAPV: getelementptr inbounds i32*
66*f4a2713aSLionel Sambuc   // CATCH_UB: getelementptr inbounds i32*
67*f4a2713aSLionel Sambuc 
68*f4a2713aSLionel Sambuc   // PR9350: char increment never overflows.
69*f4a2713aSLionel Sambuc   extern volatile signed char PR9350;
70*f4a2713aSLionel Sambuc   // DEFAULT: add i8 {{.*}}, 1
71*f4a2713aSLionel Sambuc   // WRAPV: add i8 {{.*}}, 1
72*f4a2713aSLionel Sambuc   // TRAPV: add i8 {{.*}}, 1
73*f4a2713aSLionel Sambuc   // CATCH_UB: add i8 {{.*}}, 1
74*f4a2713aSLionel Sambuc   ++PR9350;
75*f4a2713aSLionel Sambuc }
76