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