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

   1 ; NOTE: Assertions have been autogenerated by update_test_checks.py
   2 ; RUN: opt < %s -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 i32* @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 (i32* getelementptr inbounds (i32, i32* @opte_a, i32 1), i32* getelementptr inbounds (i32, i32* @opte_b, i32 1))
  25 ;
  26   %x = getelementptr i32, i32* @opte_a, i32 1
  27   %y = getelementptr i32, i32* @opte_b, i32 1
  28   %t = icmp eq i32* %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 (i32* getelementptr inbounds (i32, i32* @opte_a, i32 1), i32* @opte_b)
  39 ;
  40   %x = getelementptr i32, i32* @opte_a, i32 1
  41   %t = icmp eq i32* %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 i32* %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:         [[M:%.*]] = alloca i32
  62 ; CHECK-NEXT:    [[N:%.*]] = alloca i32
  63 ; CHECK-NEXT:    [[X:%.*]] = getelementptr i32, i32* [[M]], i32 1
  64 ; CHECK-NEXT:    [[Y:%.*]] = getelementptr i32, i32* [[N]], i32 1
  65 ; CHECK-NEXT:    [[T:%.*]] = icmp eq i32* [[X]], [[Y]]
  66 ; CHECK-NEXT:    ret i1 [[T]]
  67 ;
  68   %m = alloca i32
  69   %n = alloca i32
  70   %x = getelementptr i32, i32* %m, i32 1
  71   %y = getelementptr i32, i32* %n, i32 1
  72   %t = icmp eq i32* %x, %y
  73   ret i1 %t
  74   ; TODO: refine this
  75 }
  76
  77 ; Comparing past-the-end addresses of one alloca to the base address
  78 ; of another. Can't fold this.
  79
  80 define zeroext i1 @just_one_past_the_end_alloca() {
  81 ; CHECK-LABEL: @just_one_past_the_end_alloca(
  82 ; CHECK:         [[M:%.*]] = alloca i32
  83 ; CHECK-NEXT:    [[N:%.*]] = alloca i32
  84 ; CHECK-NEXT:    [[X:%.*]] = getelementptr i32, i32* [[M]], i32 1
  85 ; CHECK-NEXT:    [[T:%.*]] = icmp eq i32* [[X]], [[N]]
  86 ; CHECK-NEXT:    ret i1 [[T]]
  87 ;
  88   %m = alloca i32
  89   %n = alloca i32
  90   %x = getelementptr i32, i32* %m, i32 1
  91   %t = icmp eq i32* %x, %n
  92   ret i1 %t
  93 }