diff options
Diffstat (limited to 'test/Transforms/InstCombine/insert-val-extract-elem.ll')
| -rw-r--r-- | test/Transforms/InstCombine/insert-val-extract-elem.ll | 74 |
1 files changed, 74 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/insert-val-extract-elem.ll b/test/Transforms/InstCombine/insert-val-extract-elem.ll new file mode 100644 index 000000000000..db7b4031f372 --- /dev/null +++ b/test/Transforms/InstCombine/insert-val-extract-elem.ll @@ -0,0 +1,74 @@ +; RUN: opt -S -instcombine %s | FileCheck %s + +; CHECK-LABEL: julia_2xdouble +; CHECK-NOT: insertvalue +; CHECK-NOT: extractelement +; CHECK: store <2 x double> +define void @julia_2xdouble([2 x double]* sret, <2 x double>*) { +top: + %x = load <2 x double>, <2 x double>* %1 + %x0 = extractelement <2 x double> %x, i32 0 + %i0 = insertvalue [2 x double] undef, double %x0, 0 + %x1 = extractelement <2 x double> %x, i32 1 + %i1 = insertvalue [2 x double] %i0, double %x1, 1 + store [2 x double] %i1, [2 x double]* %0, align 4 + ret void +} + +; Test with two inserts to the same index +; CHECK-LABEL: julia_2xi64 +; CHECK-NOT: insertvalue +; CHECK-NOT: extractelement +; CHECK: store <2 x i64> +define void @julia_2xi64([2 x i64]* sret, <2 x i64>*) { +top: + %x = load <2 x i64>, <2 x i64>* %1 + %x0 = extractelement <2 x i64> %x, i32 1 + %i0 = insertvalue [2 x i64] undef, i64 %x0, 0 + %x1 = extractelement <2 x i64> %x, i32 1 + %i1 = insertvalue [2 x i64] %i0, i64 %x1, 1 + %x2 = extractelement <2 x i64> %x, i32 0 + %i2 = insertvalue [2 x i64] %i1, i64 %x2, 0 + store [2 x i64] %i2, [2 x i64]* %0, align 4 + ret void +} + +; CHECK-LABEL: julia_4xfloat +; CHECK-NOT: insertvalue +; CHECK-NOT: extractelement +; CHECK: store <4 x float> +define void @julia_4xfloat([4 x float]* sret, <4 x float>*) { +top: + %x = load <4 x float>, <4 x float>* %1 + %x0 = extractelement <4 x float> %x, i32 0 + %i0 = insertvalue [4 x float] undef, float %x0, 0 + %x1 = extractelement <4 x float> %x, i32 1 + %i1 = insertvalue [4 x float] %i0, float %x1, 1 + %x2 = extractelement <4 x float> %x, i32 2 + %i2 = insertvalue [4 x float] %i1, float %x2, 2 + %x3 = extractelement <4 x float> %x, i32 3 + %i3 = insertvalue [4 x float] %i2, float %x3, 3 + store [4 x float] %i3, [4 x float]* %0, align 4 + ret void +} + +%pseudovec = type { float, float, float, float } + +; CHECK-LABEL: julia_pseudovec +; CHECK-NOT: insertvalue +; CHECK-NOT: extractelement +; CHECK: store <4 x float> +define void @julia_pseudovec(%pseudovec* sret, <4 x float>*) { +top: + %x = load <4 x float>, <4 x float>* %1 + %x0 = extractelement <4 x float> %x, i32 0 + %i0 = insertvalue %pseudovec undef, float %x0, 0 + %x1 = extractelement <4 x float> %x, i32 1 + %i1 = insertvalue %pseudovec %i0, float %x1, 1 + %x2 = extractelement <4 x float> %x, i32 2 + %i2 = insertvalue %pseudovec %i1, float %x2, 2 + %x3 = extractelement <4 x float> %x, i32 3 + %i3 = insertvalue %pseudovec %i2, float %x3, 3 + store %pseudovec %i3, %pseudovec* %0, align 4 + ret void +} |