[AMDGPU] Add True16 register classes.
[llvm-project.git] / llvm / test / Transforms / JumpThreading / assume-edge-dom.ll
blob76dc61013b8c45be6fb4fe6e1f11bdef402a95bd
1 ; RUN: opt -S -passes=jump-threading < %s | FileCheck %s
3 declare ptr @escape()
4 declare void @llvm.assume(i1)
6 define i1 @test1(i1 %cond) {
7 entry:
8     br i1 %cond, label %taken, label %not_taken
10 ; CHECK-LABEL: @test1
11 ; CHECK: br i1 %cond, label %no, label %yes
12 ; CHECK: ret i1 true
14 taken:
15     %res1 = call ptr @escape()
16     %a = icmp eq ptr %res1, null
17     tail call void @llvm.assume(i1 %a)
18     br label %done
19 not_taken:
20     %res2 = call ptr @escape()
21     %b = icmp ne ptr %res2, null
22     tail call void @llvm.assume(i1 %b)
23     br label %done
25 ; An assume that can be used to simplify this comparison dominates each
26 ; predecessor branch (although no assume dominates the cmp itself). Make sure
27 ; this still can be simplified.
29 done:
30     %res = phi ptr [ %res1, %taken ], [ %res2, %not_taken ]
31     %cnd = icmp ne ptr %res, null
32     br i1 %cnd, label %yes, label %no
34 yes:
35     ret i1 true
36 no:
37     ret i1 false