diff options
Diffstat (limited to 'test/Transforms/InstSimplify/past-the-end.ll')
-rw-r--r-- | test/Transforms/InstSimplify/past-the-end.ll | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/Transforms/InstSimplify/past-the-end.ll b/test/Transforms/InstSimplify/past-the-end.ll index 075da4a..b676e9d 100644 --- a/test/Transforms/InstSimplify/past-the-end.ll +++ b/test/Transforms/InstSimplify/past-the-end.ll @@ -18,8 +18,8 @@ define zeroext i1 @no_offsets() { ; Comparing past-the-end addresses of two distinct globals. Never equal. define zeroext i1 @both_past_the_end() { - %x = getelementptr i32* @opte_a, i32 1 - %y = getelementptr i32* @opte_b, i32 1 + %x = getelementptr i32, i32* @opte_a, i32 1 + %y = getelementptr i32, i32* @opte_b, i32 1 %t = icmp eq i32* %x, %y ret i1 %t ; CHECK: both_past_the_end( @@ -31,11 +31,11 @@ define zeroext i1 @both_past_the_end() { ; of another. Can't fold this. define zeroext i1 @just_one_past_the_end() { - %x = getelementptr i32* @opte_a, i32 1 + %x = getelementptr i32, i32* @opte_a, i32 1 %t = icmp eq i32* %x, @opte_b ret i1 %t ; CHECK: just_one_past_the_end( - ; CHECK: ret i1 icmp eq (i32* getelementptr inbounds (i32* @opte_a, i32 1), i32* @opte_b) + ; CHECK: ret i1 icmp eq (i32* getelementptr inbounds (i32, i32* @opte_a, i32 1), i32* @opte_b) } ; Comparing base addresses of two distinct allocas. Never equal. @@ -54,8 +54,8 @@ define zeroext i1 @no_alloca_offsets() { define zeroext i1 @both_past_the_end_alloca() { %m = alloca i32 %n = alloca i32 - %x = getelementptr i32* %m, i32 1 - %y = getelementptr i32* %n, i32 1 + %x = getelementptr i32, i32* %m, i32 1 + %y = getelementptr i32, i32* %n, i32 1 %t = icmp eq i32* %x, %y ret i1 %t ; CHECK: both_past_the_end_alloca( @@ -69,7 +69,7 @@ define zeroext i1 @both_past_the_end_alloca() { define zeroext i1 @just_one_past_the_end_alloca() { %m = alloca i32 %n = alloca i32 - %x = getelementptr i32* %m, i32 1 + %x = getelementptr i32, i32* %m, i32 1 %t = icmp eq i32* %x, %n ret i1 %t ; CHECK: just_one_past_the_end_alloca( |