[DAGCombiner] Add target hook function to decide folding (mul (add x, c1), c2)
[llvm-project.git] / llvm / test / Transforms / GlobalOpt / assume.ll
blobcb41b67e3461f356312ae99e8b0c08cd502706b6
1 ; RUN: opt -S -globalopt < %s | FileCheck %s
3 ; CHECK: @tmp = local_unnamed_addr global i32 42
5 @llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @_GLOBAL__I_a, i8* null }]
6 @tmp = global i32 0
8 define i32 @TheAnswerToLifeTheUniverseAndEverything() {
9   ret i32 42
12 define void @_GLOBAL__I_a() {
13 enter:
14   %tmp1 = call i32 @TheAnswerToLifeTheUniverseAndEverything()
15   store i32 %tmp1, i32* @tmp
16   %cmp = icmp eq i32 %tmp1, 42
17   call void @llvm.assume(i1 %cmp)
18   ret void
21 declare void @llvm.assume(i1)