llvm/test/Transforms/InstCombine/icmp-bitcast-glob.ll

   1 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   2
   3 declare i32 @f32(ptr, ptr)
   4
   5 declare i32 @f64(ptr, ptr)
   6
   7 define 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
  14 define 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
  24 define 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 }