clangir/clang/test/CIR/CodeGen/cast-lvalue.cpp at 68d07e87be5fbb71d682b1327874c4d0f63378d8 · llvm/clangir · GitHub

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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
// RUN: %clang_cc1 -std=c++17 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir
// RUN: FileCheck --check-prefix=CIR --input-file=%t.cir %s
// RUN: %clang_cc1 -std=c++17 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o %t.ll
// RUN: FileCheck --check-prefix=LLVM --input-file=%t.ll %s
// RUN: %clang_cc1 -std=c++17 -triple x86_64-unknown-linux-gnu -emit-llvm %s -o %t.orig.ll
// RUN: FileCheck --check-prefix=LLVM --input-file=%t.orig.ll %s
//
// Test for cast expressions as l-values (const_cast, reinterpret_cast, etc.)

void const_cast_lvalue() {
  const int x = 0;
  const_cast<int&>(x) = 1;
}

// CIR-LABEL: cir.func dso_local @_Z17const_cast_lvaluev
// CIR:   %[[X:.*]] = cir.alloca !s32i, {{.*}}, ["x", init, const]
// CIR:   %[[ZERO:.*]] = cir.const #cir.int<0> : !s32i
// CIR:   cir.store {{.*}} %[[ZERO]], %[[X]] : !s32i, !cir.ptr<!s32i>
// CIR:   %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
// CIR:   cir.store {{.*}} %[[ONE]], %[[X]] : !s32i, !cir.ptr<!s32i>
// CIR:   cir.return

// LLVM-LABEL: define {{.*}}void @_Z17const_cast_lvaluev
// LLVM:   %[[X:.*]] = alloca i32
// LLVM:   store i32 0, ptr %[[X]]
// LLVM:   store i32 1, ptr %[[X]]
// LLVM:   ret void

void reinterpret_cast_lvalue() {
  long x = 0;
  reinterpret_cast<int&>(x) = 1;
}

// CIR-LABEL: cir.func dso_local @_Z23reinterpret_cast_lvaluev
// CIR:   %[[X:.*]] = cir.alloca !s64i, {{.*}}, ["x", init]
// CIR:   %[[ZERO:.*]] = cir.const #cir.int<0> : !s32i
// CIR:   cir.store {{.*}} %{{.*}}, %[[X]] : !s64i, !cir.ptr<!s64i>
// CIR:   %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
// CIR:   %[[CAST:.*]] = cir.cast bitcast %[[X]] : !cir.ptr<!s64i> -> !cir.ptr<!s32i>
// CIR:   cir.store {{.*}} %[[ONE]], %[[CAST]] : !s32i, !cir.ptr<!s32i>
// CIR:   cir.return

// LLVM-LABEL: define {{.*}}void @_Z23reinterpret_cast_lvaluev
// LLVM:   %[[X:.*]] = alloca i64
// LLVM:   store i64 0, ptr %[[X]]
// LLVM:   store i32 1, ptr %[[X]]
// LLVM:   ret void