| Chandler Carruth | a079655 | 2012-03-12 11:19:31 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -instsimplify -S | FileCheck %s |
| 2 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" |
| 3 | target triple = "x86_64-unknown-linux-gnu" |
| 4 | |
| 5 | define i64 @ptrdiff1(i8* %ptr) { |
| 6 | ; CHECK: @ptrdiff1 |
| 7 | ; CHECK-NEXT: ret i64 42 |
| 8 | |
| 9 | %first = getelementptr i8* %ptr, i32 0 |
| 10 | %last = getelementptr i8* %ptr, i32 42 |
| 11 | %first.int = ptrtoint i8* %first to i64 |
| 12 | %last.int = ptrtoint i8* %last to i64 |
| 13 | %diff = sub i64 %last.int, %first.int |
| 14 | ret i64 %diff |
| 15 | } |
| 16 | |
| 17 | define i64 @ptrdiff2(i8* %ptr) { |
| 18 | ; CHECK: @ptrdiff2 |
| 19 | ; CHECK-NEXT: ret i64 42 |
| 20 | |
| 21 | %first1 = getelementptr i8* %ptr, i32 0 |
| 22 | %first2 = getelementptr i8* %first1, i32 1 |
| 23 | %first3 = getelementptr i8* %first2, i32 2 |
| 24 | %first4 = getelementptr i8* %first3, i32 4 |
| 25 | %last1 = getelementptr i8* %first2, i32 48 |
| 26 | %last2 = getelementptr i8* %last1, i32 8 |
| 27 | %last3 = getelementptr i8* %last2, i32 -4 |
| 28 | %last4 = getelementptr i8* %last3, i32 -4 |
| 29 | %first.int = ptrtoint i8* %first4 to i64 |
| 30 | %last.int = ptrtoint i8* %last4 to i64 |
| 31 | %diff = sub i64 %last.int, %first.int |
| 32 | ret i64 %diff |
| 33 | } |