fcc61927ad
Struct member accesses via GetMemberOp are always inbounds and cannot unsigned-wrap, matching LLVM's IRBuilder::CreateStructGEP behavior.
185 lines
6.8 KiB
C++
185 lines
6.8 KiB
C++
// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir
|
|
// RUN: FileCheck --check-prefix=CIR %s < %t.cir
|
|
// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o %t-cir.ll
|
|
// RUN: FileCheck --check-prefix=LLVM %s < %t-cir.ll
|
|
// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -emit-llvm %s -o %t.ll
|
|
// RUN: FileCheck --check-prefix=OGCG %s < %t.ll
|
|
|
|
int test_load(volatile int *ptr) {
|
|
return *ptr;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_Z9test_loadPVi
|
|
// CIR: cir.load volatile
|
|
|
|
// LLVM: define {{.*}} i32 @_Z9test_loadPVi
|
|
// LLVM: load volatile i32, ptr %{{.*}}
|
|
|
|
// OGCG: define {{.*}} i32 @_Z9test_loadPVi
|
|
// OGCG: load volatile i32, ptr %{{.*}}
|
|
|
|
void test_store(volatile int *ptr) {
|
|
*ptr = 42;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_Z10test_storePVi
|
|
// CIR: cir.store volatile
|
|
|
|
// LLVM: define {{.*}} void @_Z10test_storePVi
|
|
// LLVM: store volatile i32 42, ptr %{{.*}}
|
|
|
|
// OGCG: define {{.*}} void @_Z10test_storePVi
|
|
// OGCG: store volatile i32 42, ptr %{{.*}}
|
|
|
|
struct Foo {
|
|
int x;
|
|
volatile int y;
|
|
volatile int z: 4;
|
|
};
|
|
|
|
int test_load_field1(volatile Foo *ptr) {
|
|
return ptr->x;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_Z16test_load_field1PV3Foo
|
|
// CIR: %[[MEMBER_ADDR:.*]] = cir.get_member
|
|
// CIR: %{{.+}} = cir.load volatile{{.*}} %[[MEMBER_ADDR]]
|
|
|
|
// LLVM: define {{.*}} i32 @_Z16test_load_field1PV3Foo
|
|
// LLVM: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 0
|
|
// LLVM: %{{.*}} = load volatile i32, ptr %[[MEMBER_ADDR]]
|
|
|
|
// OGCG: define {{.*}} i32 @_Z16test_load_field1PV3Foo
|
|
// OGCG: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 0
|
|
// OGCG: %{{.*}} = load volatile i32, ptr %[[MEMBER_ADDR]]
|
|
|
|
int test_load_field2(Foo *ptr) {
|
|
return ptr->y;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_Z16test_load_field2P3Foo
|
|
// CIR: %[[MEMBER_ADDR:.*]] = cir.get_member
|
|
// CIR: %{{.+}} = cir.load volatile{{.*}} %[[MEMBER_ADDR]]
|
|
|
|
// LLVM: define {{.*}} i32 @_Z16test_load_field2P3Foo
|
|
// LLVM: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 1
|
|
// LLVM: %{{.*}} = load volatile i32, ptr %[[MEMBER_ADDR]]
|
|
|
|
// OGCG: define {{.*}} i32 @_Z16test_load_field2P3Foo
|
|
// OGCG: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 1
|
|
// OGCG: %{{.*}} = load volatile i32, ptr %[[MEMBER_ADDR]]
|
|
|
|
int test_load_field3(Foo *ptr) {
|
|
return ptr->z;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_Z16test_load_field3P3Foo
|
|
// CIR: %[[MEMBER_ADDR:.*]] = cir.get_member
|
|
// CIR: %{{.*}} = cir.get_bitfield align(4) (#bfi_z, %[[MEMBER_ADDR:.+]] {is_volatile} : !cir.ptr<!u8i>) -> !s32i
|
|
|
|
// LLVM: define {{.*}} i32 @_Z16test_load_field3P3Foo
|
|
// LLVM: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 2
|
|
// LLVM: %[[TMP1:.*]] = load volatile i8, ptr %[[MEMBER_ADDR]]
|
|
// LLVM: %[[TMP2:.*]] = shl i8 %[[TMP1]], 4
|
|
// LLVM: %[[TMP3:.*]] = ashr i8 %[[TMP2]], 4
|
|
// LLVM: %{{.*}} = sext i8 %[[TMP3]] to i32
|
|
|
|
// OGCG: define {{.*}} i32 @_Z16test_load_field3P3Foo
|
|
// OGCG: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 2
|
|
// OGCG: %[[TMP1:.*]] = load volatile i8, ptr %[[MEMBER_ADDR]]
|
|
// OGCG: %[[TMP2:.*]] = shl i8 %[[TMP1]], 4
|
|
// OGCG: %[[TMP3:.*]] = ashr i8 %[[TMP2]], 4
|
|
// OGCG: %{{.*}} = sext i8 %[[TMP3]] to i32
|
|
|
|
void test_store_field1(volatile Foo *ptr) {
|
|
ptr->x = 42;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_Z17test_store_field1PV3Foo
|
|
// CIR: %[[MEMBER_ADDR:.*]] = cir.get_member
|
|
// CIR: cir.store volatile{{.*}} %{{.+}}, %[[MEMBER_ADDR]]
|
|
|
|
// LLVM: define {{.*}} void @_Z17test_store_field1PV3Foo
|
|
// LLVM: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 0
|
|
// LLVM: store volatile i32 42, ptr %[[MEMBER_ADDR]]
|
|
|
|
// OGCG: define {{.*}} void @_Z17test_store_field1PV3Foo
|
|
// OGCG: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 0
|
|
// OGCG: store volatile i32 42, ptr %[[MEMBER_ADDR]]
|
|
|
|
void test_store_field2(Foo *ptr) {
|
|
ptr->y = 42;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_Z17test_store_field2P3Foo
|
|
// CIR: %[[MEMBER_ADDR:.*]] = cir.get_member
|
|
// CIR: cir.store volatile{{.*}} %{{.+}}, %[[MEMBER_ADDR]]
|
|
|
|
// LLVM: define {{.*}} void @_Z17test_store_field2P3Foo
|
|
// LLVM: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 1
|
|
// LLVM: store volatile i32 42, ptr %[[MEMBER_ADDR]]
|
|
|
|
// OGCG: define {{.*}} void @_Z17test_store_field2P3Foo
|
|
// OGCG: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 1
|
|
// OGCG: store volatile i32 42, ptr %[[MEMBER_ADDR]]
|
|
|
|
void test_store_field3(Foo *ptr) {
|
|
ptr->z = 4;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_Z17test_store_field3P3Foo
|
|
// CIR: %[[MEMBER_ADDR:.*]] = cir.get_member
|
|
// CIR: cir.set_bitfield align(4) (#bfi_z, %[[MEMBER_ADDR:.+]] : !cir.ptr<!u8i>, %1 : !s32i) {is_volatile}
|
|
|
|
// LLVM: define {{.*}} void @_Z17test_store_field3P3Foo
|
|
// LLVM: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 2
|
|
// LLVM: %[[TMP1:.*]] = load volatile i8, ptr %[[MEMBER_ADDR]]
|
|
// LLVM: %[[TMP2:.*]] = and i8 %[[TMP1]], -16
|
|
// LLVM: %[[TMP3:.*]] = or i8 %[[TMP2]], 4
|
|
// LLVM: store volatile i8 %[[TMP3]], ptr %[[MEMBER_ADDR]]
|
|
|
|
// OGCG: define {{.*}} void @_Z17test_store_field3P3Foo
|
|
// OGCG: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.Foo, ptr %{{.*}}, i32 0, i32 2
|
|
// OGCG: %[[TMP1:.*]] = load volatile i8, ptr %[[MEMBER_ADDR]]
|
|
// OGCG: %[[TMP2:.*]] = and i8 %[[TMP1]], -16
|
|
// OGCG: %[[TMP3:.*]] = or i8 %[[TMP2]], 4
|
|
// OGCG: store volatile i8 %[[TMP3]], ptr %[[MEMBER_ADDR]]
|
|
|
|
struct A {
|
|
int x;
|
|
void set_x(int val) volatile;
|
|
int get_x() volatile;
|
|
};
|
|
|
|
void A::set_x(int val) volatile {
|
|
x = val;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_ZNV1A5set_xEi
|
|
// CIR: %[[MEMBER_ADDR:.*]] = cir.get_member %{{.*}}[0] {name = "x"}
|
|
// CIR: cir.store volatile {{.*}} %{{.*}}, %[[MEMBER_ADDR]]
|
|
|
|
// LLVM: define {{.*}} void @_ZNV1A5set_xEi
|
|
// LLVM: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.A, ptr %{{.*}}, i32 0, i32 0
|
|
// LLVM: store volatile i32 %{{.*}}, ptr %[[MEMBER_ADDR]]
|
|
|
|
// OGCG: define {{.*}} void @_ZNV1A5set_xEi
|
|
// OGCG: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.A, ptr %{{.*}}, i32 0, i32 0
|
|
// OGCG: store volatile i32 %{{.*}}, ptr %[[MEMBER_ADDR]]
|
|
|
|
int A::get_x() volatile {
|
|
return x;
|
|
}
|
|
|
|
// CIR: cir.func {{.*}} @_ZNV1A5get_xEv
|
|
// CIR: %[[MEMBER_ADDR:.*]] = cir.get_member %{{.*}}[0] {name = "x"}
|
|
// CIR: cir.load volatile {{.*}} %[[MEMBER_ADDR]]
|
|
|
|
// LLVM: define {{.*}} i32 @_ZNV1A5get_xEv
|
|
// LLVM: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.A, ptr %{{.*}}, i32 0, i32 0
|
|
// LLVM: %{{.*}} = load volatile i32, ptr %[[MEMBER_ADDR]]
|
|
|
|
// OGCG: define {{.*}} i32 @_ZNV1A5get_xEv
|
|
// OGCG: %[[MEMBER_ADDR:.*]] = getelementptr inbounds nuw %struct.A, ptr %{{.*}}, i32 0, i32 0
|
|
// OGCG: %{{.*}} = load volatile i32, ptr %[[MEMBER_ADDR]]
|