annotate llvm/test/Transforms/GlobalOpt/evaluate-constfold-call.ll @ 201:a96fbbdf2d0f

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 04 Jun 2021 21:07:06 +0900
parents 1d019706d866
children 1f2b6ac9f198
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; Check if we can evaluate a bitcasted call to a function which is constant folded.
anatofuz
parents:
diff changeset
2 ; Evaluator folds call to fmodf, replacing it with constant value in case both operands
anatofuz
parents:
diff changeset
3 ; are known at compile time.
anatofuz
parents:
diff changeset
4 ; RUN: opt -globalopt -instcombine %s -S -o - | FileCheck %s
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 ; CHECK: @_q = dso_local local_unnamed_addr global %struct.Q { i32 1066527622 }
anatofuz
parents:
diff changeset
7 ; CHECK: define dso_local i32 @main
anatofuz
parents:
diff changeset
8 ; CHECK-NEXT: %[[V:.+]] = load i32, i32* getelementptr inbounds (%struct.Q, %struct.Q* @_q, i64 0, i32 0)
anatofuz
parents:
diff changeset
9 ; CHECK-NEXT: ret i32 %[[V]]
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 source_filename = "main.cpp"
anatofuz
parents:
diff changeset
12 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
anatofuz
parents:
diff changeset
13 target triple = "x86_64-none-linux-gnu"
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 %struct.Q = type { i32 }
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 $_ZN1QC2Ev = comdat any
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 @_q = dso_local global %struct.Q zeroinitializer, align 4
anatofuz
parents:
diff changeset
20 @llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @_GLOBAL__sub_I_main.cpp, i8* null }]
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 define internal void @__cxx_global_var_init() section ".text.startup" {
anatofuz
parents:
diff changeset
23 call void @_ZN1QC2Ev(%struct.Q* @_q)
anatofuz
parents:
diff changeset
24 ret void
anatofuz
parents:
diff changeset
25 }
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 define linkonce_odr dso_local void @_ZN1QC2Ev(%struct.Q*) unnamed_addr #1 comdat align 2 {
anatofuz
parents:
diff changeset
28 %2 = alloca %struct.Q*, align 8
anatofuz
parents:
diff changeset
29 store %struct.Q* %0, %struct.Q** %2, align 8
anatofuz
parents:
diff changeset
30 %3 = load %struct.Q*, %struct.Q** %2, align 8
anatofuz
parents:
diff changeset
31 %4 = getelementptr inbounds %struct.Q, %struct.Q* %3, i32 0, i32 0
anatofuz
parents:
diff changeset
32 %5 = call i32 bitcast (float (float, float)* @fmodf to i32 (float, float)*)(float 0x40091EB860000000, float 2.000000e+00)
anatofuz
parents:
diff changeset
33 store i32 %5, i32* %4, align 4
anatofuz
parents:
diff changeset
34 ret void
anatofuz
parents:
diff changeset
35 }
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 define dso_local i32 @main(i32, i8**) {
anatofuz
parents:
diff changeset
38 %3 = alloca i32, align 4
anatofuz
parents:
diff changeset
39 %4 = alloca i32, align 4
anatofuz
parents:
diff changeset
40 %5 = alloca i8**, align 8
anatofuz
parents:
diff changeset
41 store i32 0, i32* %3, align 4
anatofuz
parents:
diff changeset
42 store i32 %0, i32* %4, align 4
anatofuz
parents:
diff changeset
43 store i8** %1, i8*** %5, align 8
anatofuz
parents:
diff changeset
44 %6 = load i32, i32* getelementptr inbounds (%struct.Q, %struct.Q* @_q, i32 0, i32 0), align 4
anatofuz
parents:
diff changeset
45 ret i32 %6
anatofuz
parents:
diff changeset
46 }
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 ; Function Attrs: nounwind
anatofuz
parents:
diff changeset
49 declare dso_local float @fmodf(float, float)
anatofuz
parents:
diff changeset
50
anatofuz
parents:
diff changeset
51 ; Function Attrs: noinline uwtable
anatofuz
parents:
diff changeset
52 define internal void @_GLOBAL__sub_I_main.cpp() section ".text.startup" {
anatofuz
parents:
diff changeset
53 call void @__cxx_global_var_init()
anatofuz
parents:
diff changeset
54 ret void
anatofuz
parents:
diff changeset
55 }