| ; RUN: opt -instcombine -S < %s | FileCheck %s |
| |
| target datalayout = "e-i64:64-f80:128-n8:16:32:64" |
| target triple = "x86_64-unknown-linux-gnu" |
| |
| %A__vtbl = type { i8*, i32 (%A*)* } |
| %A = type { %A__vtbl* } |
| |
| @A__vtblZ = constant %A__vtbl { i8* null, i32 (%A*)* @A.foo } |
| |
| declare i32 @A.foo(%A* nocapture %this) |
| |
| declare i8* @allocmemory(i64) |
| |
| define void @storeA() { |
| body: |
| %0 = tail call i8* @allocmemory(i64 32) |
| %1 = bitcast i8* %0 to %A* |
| ; CHECK-LABEL: storeA |
| ; CHECK: store %A__vtbl* @A__vtblZ |
| store %A { %A__vtbl* @A__vtblZ }, %A* %1, align 8 |
| ret void |
| } |
| |
| define void @storeStructOfA() { |
| body: |
| %0 = tail call i8* @allocmemory(i64 32) |
| %1 = bitcast i8* %0 to { %A }* |
| ; CHECK-LABEL: storeStructOfA |
| ; CHECK: store %A__vtbl* @A__vtblZ |
| store { %A } { %A { %A__vtbl* @A__vtblZ } }, { %A }* %1, align 8 |
| ret void |
| } |
| |
| define void @storeArrayOfA() { |
| body: |
| %0 = tail call i8* @allocmemory(i64 32) |
| %1 = bitcast i8* %0 to [1 x %A]* |
| ; CHECK-LABEL: storeArrayOfA |
| ; CHECK: store %A__vtbl* @A__vtblZ |
| store [1 x %A] [%A { %A__vtbl* @A__vtblZ }], [1 x %A]* %1, align 8 |
| ret void |
| } |
| |
| define void @storeStructOfArrayOfA() { |
| body: |
| %0 = tail call i8* @allocmemory(i64 32) |
| %1 = bitcast i8* %0 to { [1 x %A] }* |
| ; CHECK-LABEL: storeStructOfArrayOfA |
| ; CHECK: store %A__vtbl* @A__vtblZ |
| store { [1 x %A] } { [1 x %A] [%A { %A__vtbl* @A__vtblZ }] }, { [1 x %A] }* %1, align 8 |
| ret void |
| } |
| |
| define %A @loadA() { |
| body: |
| %0 = tail call i8* @allocmemory(i64 32) |
| %1 = bitcast i8* %0 to %A* |
| ; CHECK-LABEL: loadA |
| ; CHECK: load %A__vtbl*, |
| ; CHECK: insertvalue %A undef, %A__vtbl* {{.*}}, 0 |
| %2 = load %A, %A* %1, align 8 |
| ret %A %2 |
| } |
| |
| define { %A } @loadStructOfA() { |
| body: |
| %0 = tail call i8* @allocmemory(i64 32) |
| %1 = bitcast i8* %0 to { %A }* |
| ; CHECK-LABEL: loadStructOfA |
| ; CHECK: load %A__vtbl*, |
| ; CHECK: insertvalue %A undef, %A__vtbl* {{.*}}, 0 |
| ; CHECK: insertvalue { %A } undef, %A {{.*}}, 0 |
| %2 = load { %A }, { %A }* %1, align 8 |
| ret { %A } %2 |
| } |
| |
| define [1 x %A] @loadArrayOfA() { |
| body: |
| %0 = tail call i8* @allocmemory(i64 32) |
| %1 = bitcast i8* %0 to [1 x %A]* |
| ; CHECK-LABEL: loadArrayOfA |
| ; CHECK: load %A__vtbl*, |
| ; CHECK: insertvalue %A undef, %A__vtbl* {{.*}}, 0 |
| ; CHECK: insertvalue [1 x %A] undef, %A {{.*}}, 0 |
| %2 = load [1 x %A], [1 x %A]* %1, align 8 |
| ret [1 x %A] %2 |
| } |
| |
| define { [1 x %A] } @loadStructOfArrayOfA() { |
| body: |
| %0 = tail call i8* @allocmemory(i64 32) |
| %1 = bitcast i8* %0 to { [1 x %A] }* |
| ; CHECK-LABEL: loadStructOfArrayOfA |
| ; CHECK: load %A__vtbl*, |
| ; CHECK: insertvalue %A undef, %A__vtbl* {{.*}}, 0 |
| ; CHECK: insertvalue [1 x %A] undef, %A {{.*}}, 0 |
| ; CHECK: insertvalue { [1 x %A] } undef, [1 x %A] {{.*}}, 0 |
| %2 = load { [1 x %A] }, { [1 x %A] }* %1, align 8 |
| ret { [1 x %A] } %2 |
| } |
| |
| define { %A } @structOfA() { |
| body: |
| %0 = tail call i8* @allocmemory(i64 32) |
| %1 = bitcast i8* %0 to { %A }* |
| ; CHECK-LABEL: structOfA |
| ; CHECK: store %A__vtbl* @A__vtblZ |
| store { %A } { %A { %A__vtbl* @A__vtblZ } }, { %A }* %1, align 8 |
| %2 = load { %A }, { %A }* %1, align 8 |
| ; CHECK-NOT: load |
| ; CHECK: ret { %A } { %A { %A__vtbl* @A__vtblZ } } |
| ret { %A } %2 |
| } |