| Peter Collingbourne | 7dd8dbf | 2016-04-22 21:18:02 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -instsimplify -S | FileCheck %s |
| 2 | |
| 3 | target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| 4 | target triple = "x86_64-unknown-linux-gnu" |
| 5 | |
| 6 | @a = external global i8 |
| 7 | @b = external global i8 |
| 8 | |
| 9 | @c1 = constant i32 trunc (i64 sub (i64 ptrtoint (i8* @a to i64), i64 ptrtoint (i32* @c1 to i64)) to i32) |
| 10 | @c2 = constant [7 x i32] [i32 0, i32 0, |
| 11 | i32 trunc (i64 sub (i64 ptrtoint (i8* @a to i64), i64 ptrtoint (i32* getelementptr ([7 x i32], [7 x i32]* @c2, i32 0, i32 2) to i64)) to i32), |
| 12 | i32 trunc (i64 sub (i64 ptrtoint (i8* @b to i64), i64 ptrtoint (i32* getelementptr ([7 x i32], [7 x i32]* @c2, i32 0, i32 2) to i64)) to i32), |
| 13 | i32 trunc (i64 add (i64 ptrtoint (i8* @b to i64), i64 ptrtoint (i32* getelementptr ([7 x i32], [7 x i32]* @c2, i32 0, i32 2) to i64)) to i32), |
| 14 | i32 trunc (i64 sub (i64 ptrtoint (i8* @b to i64), i64 1) to i32), |
| 15 | i32 trunc (i64 sub (i64 0, i64 ptrtoint (i32* getelementptr ([7 x i32], [7 x i32]* @c2, i32 0, i32 2) to i64)) to i32) |
| 16 | ] |
| 17 | |
| 18 | ; CHECK: @f1 |
| 19 | define i8* @f1() { |
| 20 | ; CHECK: ret i8* @a |
| 21 | %l = call i8* @llvm.load.relative.i32(i8* bitcast (i32* @c1 to i8*), i32 0) |
| 22 | ret i8* %l |
| 23 | } |
| 24 | |
| 25 | ; CHECK: @f2 |
| 26 | define i8* @f2() { |
| 27 | ; CHECK: ret i8* @a |
| 28 | %l = call i8* @llvm.load.relative.i32(i8* bitcast (i32* getelementptr ([7 x i32], [7 x i32]* @c2, i64 0, i64 2) to i8*), i32 0) |
| 29 | ret i8* %l |
| 30 | } |
| 31 | |
| 32 | ; CHECK: @f3 |
| 33 | define i8* @f3() { |
| 34 | ; CHECK: ret i8* @b |
| 35 | %l = call i8* @llvm.load.relative.i64(i8* bitcast (i32* getelementptr ([7 x i32], [7 x i32]* @c2, i64 0, i64 2) to i8*), i64 4) |
| 36 | ret i8* %l |
| 37 | } |
| 38 | |
| 39 | ; CHECK: @f4 |
| 40 | define i8* @f4() { |
| 41 | ; CHECK: ret i8* % |
| 42 | %l = call i8* @llvm.load.relative.i32(i8* bitcast (i32* getelementptr ([7 x i32], [7 x i32]* @c2, i64 0, i64 2) to i8*), i32 1) |
| 43 | ret i8* %l |
| 44 | } |
| 45 | |
| 46 | ; CHECK: @f5 |
| 47 | define i8* @f5() { |
| 48 | ; CHECK: ret i8* % |
| 49 | %l = call i8* @llvm.load.relative.i32(i8* zeroinitializer, i32 0) |
| 50 | ret i8* %l |
| 51 | } |
| 52 | |
| 53 | ; CHECK: @f6 |
| 54 | define i8* @f6() { |
| 55 | ; CHECK: ret i8* % |
| 56 | %l = call i8* @llvm.load.relative.i32(i8* bitcast (i32* getelementptr ([7 x i32], [7 x i32]* @c2, i64 0, i64 2) to i8*), i32 8) |
| 57 | ret i8* %l |
| 58 | } |
| 59 | |
| 60 | ; CHECK: @f7 |
| 61 | define i8* @f7() { |
| 62 | ; CHECK: ret i8* % |
| 63 | %l = call i8* @llvm.load.relative.i32(i8* bitcast (i32* getelementptr ([7 x i32], [7 x i32]* @c2, i64 0, i64 2) to i8*), i32 12) |
| 64 | ret i8* %l |
| 65 | } |
| 66 | |
| 67 | ; CHECK: @f8 |
| 68 | define i8* @f8() { |
| 69 | ; CHECK: ret i8* % |
| 70 | %l = call i8* @llvm.load.relative.i32(i8* bitcast (i32* getelementptr ([7 x i32], [7 x i32]* @c2, i64 0, i64 2) to i8*), i32 16) |
| 71 | ret i8* %l |
| 72 | } |
| 73 | |
| 74 | declare i8* @llvm.load.relative.i32(i8*, i32) |
| 75 | declare i8* @llvm.load.relative.i64(i8*, i64) |