1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - | FileCheck %s --check-prefix=DEFAULT
// RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fwrapv | FileCheck %s --check-prefix=DEFAULT
// RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -ftrapv | FileCheck %s --check-prefix=DEFAULT
// RUN: %clang_cc1 -triple x86_64-apple-darwin %s -emit-llvm -o - -fwrapv-pointer | FileCheck %s --check-prefix=FWRAPV-POINTER
void test(void) {
// -fwrapv-pointer should turn off inbounds for GEP's
extern int* P;
++P;
// DEFAULT: getelementptr inbounds nuw i32, ptr
// FWRAPV-POINTER: getelementptr i32, ptr
}
struct S {
int a;
int b;
int c: 10;
int d: 10;
};
int test_struct(struct S* s) {
// -fwrapv-pointer should turn off inbounds nuw for struct GEP's
return s->b;
// DEFAULT: getelementptr inbounds nuw %struct.S, ptr
// FWRAPV-POINTER: getelementptr %struct.S, ptr
}
int test_struct_bitfield(struct S* s) {
// -fwrapv-pointer should turn off inbounds nuw for struct GEP's
return s->d;
// DEFAULT: getelementptr inbounds nuw %struct.S, ptr
// FWRAPV-POINTER: getelementptr %struct.S, ptr
}
|
