llvm/test/tools/llubi/icmp_ptr.ll

; NOTE: Assertions have been autogenerated by utils/update_llubi_test_checks.py UTC_ARGS: --version 6
; RUN: llubi --verbose < %s 2>&1 | FileCheck %s

target datalayout = "e-p:64:64:64"

@global = global i32 0

define void @main() {
  %alloc = alloca i32
  %icmp1 = icmp eq ptr @global, %alloc
  %icmp2 = icmp ne ptr @global, %alloc
  %icmp3 = icmp eq ptr %alloc, poison
  %icmp4 = icmp sle ptr @global, %alloc
  %neg = getelementptr i8, ptr @global, i64 -100
  %icmp5 = icmp samesign ule ptr %neg, @global
  %icmp6 = icmp samesign ule ptr %alloc, @global
  %icmp7 = icmp eq <4 x ptr> <ptr @global, ptr @global, ptr null, ptr @global>, <ptr @global, ptr null, ptr null, ptr poison>
  ret void
}
; CHECK: Entering function: main
; CHECK-NEXT:   %alloc = alloca i32, align 4 => ptr 0x10 [alloc]
; CHECK-NEXT:   %icmp1 = icmp eq ptr @global, %alloc => F
; CHECK-NEXT:   %icmp2 = icmp ne ptr @global, %alloc => T
; CHECK-NEXT:   %icmp3 = icmp eq ptr %alloc, poison => poison
; CHECK-NEXT:   %icmp4 = icmp sle ptr @global, %alloc => T
; CHECK-NEXT:   %neg = getelementptr i8, ptr @global, i64 -100 => ptr 0xFFFFFFFFFFFFFFA4 [@global + -100]
; CHECK-NEXT:   %icmp5 = icmp samesign ule ptr %neg, @global => poison
; CHECK-NEXT:   %icmp6 = icmp samesign ule ptr %alloc, @global => F
; CHECK-NEXT:   %icmp7 = icmp eq <4 x ptr> <ptr @global, ptr @global, ptr null, ptr @global>, <ptr @global, ptr null, ptr null, ptr poison> => { T, F, T, poison }
; CHECK-NEXT:   ret void
; CHECK-NEXT: Exiting function: main