xref: /llvm-project/llvm/test/Transforms/InstCombine/icmp-bitcast-glob.ll (revision deab451e7a7f2dff42097049274637052c87eabd)
1; RUN: opt < %s -passes=instcombine -S | FileCheck %s
2
3declare i32 @f32(ptr, ptr)
4
5declare i32 @f64(ptr, ptr)
6
7define i1 @icmp_func() {
8; CHECK-LABEL: @icmp_func(
9; CHECK: ret i1 false
10  %cmp = icmp eq ptr @f32, @f64
11  ret i1 %cmp
12}
13
14define i1 @icmp_fptr(ptr) {
15; CHECK-LABEL: @icmp_fptr(
16; CHECK: %cmp = icmp ne ptr %0, @f32
17; CHECK: ret i1 %cmp
18  %cmp = icmp ne ptr @f32, %0
19  ret i1 %cmp
20}
21
22@b = external global i32
23
24define i32 @icmp_glob(i32 %x, i32 %y) {
25; CHECK-LABEL: define i32 @icmp_glob(i32 %x, i32 %y)
26; CHECK-NEXT:   ret i32 %y
27;
28  %cmp = icmp eq ptr @icmp_glob, @b
29  %sel = select i1 %cmp, i32 %x, i32 %y
30  ret i32 %sel
31}
32