llvm/test/Transforms/InstSimplify/past-the-end.ll

   1 ; NOTE: Assertions have been autogenerated by update_test_checks.py
   2 ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
   3 target datalayout = "p:32:32"
   4
   5 ; Check some past-the-end subtleties.
   6
   7 @opte_a = global i32 0
   8 @opte_b = global i32 0
   9
  10 ; Comparing base addresses of two distinct globals. Never equal.
  11
  12 define zeroext i1 @no_offsets() {
  13 ; CHECK-LABEL: @no_offsets(
  14 ; CHECK:         ret i1 false
  15 ;
  16   %t = icmp eq ptr @opte_a, @opte_b
  17   ret i1 %t
  18 }
  19
  20 ; Comparing past-the-end addresses of two distinct globals. Never equal.
  21
  22 define zeroext i1 @both_past_the_end() {
  23 ; CHECK-LABEL: @both_past_the_end(
  24 ; CHECK:         ret i1 icmp eq (ptr getelementptr inbounds (i32, ptr @opte_a, i32 1), ptr getelementptr inbounds (i32, ptr @opte_b, i32 1))
  25 ;
  26   %x = getelementptr i32, ptr @opte_a, i32 1
  27   %y = getelementptr i32, ptr @opte_b, i32 1
  28   %t = icmp eq ptr %x, %y
  29   ret i1 %t
  30   ; TODO: refine this
  31 }
  32
  33 ; Comparing past-the-end addresses of one global to the base address
  34 ; of another. Can't fold this.
  35
  36 define zeroext i1 @just_one_past_the_end() {
  37 ; CHECK-LABEL: @just_one_past_the_end(
  38 ; CHECK:         ret i1 icmp eq (ptr getelementptr inbounds (i32, ptr @opte_a, i32 1), ptr @opte_b)
  39 ;
  40   %x = getelementptr i32, ptr @opte_a, i32 1
  41   %t = icmp eq ptr %x, @opte_b
  42   ret i1 %t
  43 }
  44
  45 ; Comparing base addresses of two distinct allocas. Never equal.
  46
  47 define zeroext i1 @no_alloca_offsets() {
  48 ; CHECK-LABEL: @no_alloca_offsets(
  49 ; CHECK:         ret i1 false
  50 ;
  51   %m = alloca i32
  52   %n = alloca i32
  53   %t = icmp eq ptr %m, %n
  54   ret i1 %t
  55 }
  56
  57 ; Comparing past-the-end addresses of two distinct allocas. Never equal.
  58
  59 define zeroext i1 @both_past_the_end_alloca() {
  60 ; CHECK-LABEL: @both_past_the_end_alloca(
  61 ; CHECK-NEXT:    ret i1 false
  62 ;
  63   %m = alloca i32
  64   %n = alloca i32
  65   %x = getelementptr i32, ptr %m, i32 1
  66   %y = getelementptr i32, ptr %n, i32 1
  67   %t = icmp eq ptr %x, %y
  68   ret i1 %t
  69 }
  70
  71 ; Comparing past-the-end addresses of one alloca to the base address
  72 ; of another. Can't fold this.
  73
  74 define zeroext i1 @just_one_past_the_end_alloca() {
  75 ; CHECK-LABEL: @just_one_past_the_end_alloca(
  76 ; CHECK:         [[M:%.*]] = alloca i32
  77 ; CHECK-NEXT:    [[N:%.*]] = alloca i32
  78 ; CHECK-NEXT:    [[X:%.*]] = getelementptr i32, ptr [[M]], i32 1
  79 ; CHECK-NEXT:    [[T:%.*]] = icmp eq ptr [[X]], [[N]]
  80 ; CHECK-NEXT:    ret i1 [[T]]
  81 ;
  82   %m = alloca i32
  83   %n = alloca i32
  84   %x = getelementptr i32, ptr %m, i32 1
  85   %t = icmp eq ptr %x, %n
  86   ret i1 %t
  87 }