xref: /llvm-project/llvm/test/Transforms/SimplifyCFG/nonintegral.ll (revision 8979ae42769e529b0f6fce3268492ffb49bd54b9) 
1; RUN: opt -passes=simplifycfg -S < %s | FileCheck %s
2
3target datalayout = "ni:1"
4
5define void @test_01(ptr addrspace(1) align 8 %ptr) {
6; CHECK-LABEL: @test_01(
7; CHECK-NOT:   ptrtoint
8; CHECK-NEXT:  icmp eq ptr addrspace(1) %ptr, null
9; CHECK-NOT:   ptrtoint
10  %cond1 = icmp eq ptr addrspace(1) %ptr, null
11  %cond2 = icmp eq ptr addrspace(1) %ptr, null
12  br i1 %cond1, label %true1, label %false1
13
14true1:
15  br i1 %cond2, label %true2, label %false2
16
17false1:
18  store i64 1, ptr addrspace(1) %ptr, align 8
19  br label %true1
20
21true2:
22  store i64 2, ptr addrspace(1) %ptr, align 8
23  ret void
24
25false2:
26  store i64 3, ptr addrspace(1) %ptr, align 8
27  ret void
28}
29