Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(516)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: test/Transforms/NaCl/fix-vector-load-store-alignment.ll

Issue 321733002: PNaCl SIMD: allow element-aligned vector load/store (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-llvm.git@master
Patch Set: Rebase. Created 6 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« test/NaCl/PNaClABI/instructions.ll ('K') | « test/NaCl/PNaClABI/instructions.ll ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: test/Transforms/NaCl/fix-vector-load-store-alignment.ll
diff --git a/test/Transforms/NaCl/fix-vector-load-store-alignment.ll b/test/Transforms/NaCl/fix-vector-load-store-alignment.ll
index 5579aad8a933b8e85fecd1a0ab77c958e2f34c02..c481436857fd8df7589536d9201d704581e7807a 100644
--- a/test/Transforms/NaCl/fix-vector-load-store-alignment.ll
+++ b/test/Transforms/NaCl/fix-vector-load-store-alignment.ll
@@ -1,7 +1,7 @@
; RUN: opt -fix-vector-load-store-alignment %s -S | FileCheck %s
-; Test that vector load/store get converted to memory accesses of the
-; underlying elements, with proper alignment.
+; Test that vector load/store are always element-aligned when possible, and get
+; converted to scalar load/store when not.
; The datalayout is needed to determine the alignment of the load/stores.
target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-p:32:32:32-v128:32:32"
@@ -116,134 +116,186 @@ define <16 x i1> @test_load_16xi1(<16 x i1>* %loc) {
ret <16 x i1> %loaded
}
-define <4 x i32> @test_load_4xi32(<4 x i32>* %loc) {
- ; CHECK-LABEL: test_load_4xi32
+define <4 x i32> @test_load_4xi32_align0(<4 x i32>* %loc) {
+ ; CHECK-LABEL: test_load_4xi32_align0
+ ; CHECK-NEXT: %loaded = load <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret <4 x i32> %loaded
+ %loaded = load <4 x i32>* %loc
+ ret <4 x i32> %loaded
+}
+
+define <4 x i32> @test_load_4xi32_align1(<4 x i32>* %loc) {
+ ; CHECK-LABEL: test_load_4xi32_align1
; CHECK-NEXT: %[[BASE:[0-9]+]] = bitcast <4 x i32>* %loc to i32*
; CHECK-NEXT: %[[GEP0:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 0
- ; CHECK-NEXT: %[[LD0:[0-9]+]] = load i32* %[[GEP0]], align 4
+ ; CHECK-NEXT: %[[LD0:[0-9]+]] = load i32* %[[GEP0]], align 1
; CHECK-NEXT: %[[INS0:[0-9]+]] = insertelement <4 x i32> undef, i32 %[[LD0]], i32 0
; CHECK-NEXT: %[[GEP1:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 1
- ; CHECK-NEXT: %[[LD1:[0-9]+]] = load i32* %[[GEP1]], align 4
+ ; CHECK-NEXT: %[[LD1:[0-9]+]] = load i32* %[[GEP1]], align 1
; CHECK-NEXT: %[[INS1:[0-9]+]] = insertelement <4 x i32> %[[INS0]], i32 %[[LD1]], i32 1
; CHECK-NEXT: %[[GEP2:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 2
- ; CHECK-NEXT: %[[LD2:[0-9]+]] = load i32* %[[GEP2]], align 4
+ ; CHECK-NEXT: %[[LD2:[0-9]+]] = load i32* %[[GEP2]], align 1
; CHECK-NEXT: %[[INS2:[0-9]+]] = insertelement <4 x i32> %[[INS1]], i32 %[[LD2]], i32 2
; CHECK-NEXT: %[[GEP3:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 3
- ; CHECK-NEXT: %[[LD3:[0-9]+]] = load i32* %[[GEP3]], align 4
+ ; CHECK-NEXT: %[[LD3:[0-9]+]] = load i32* %[[GEP3]], align 1
; CHECK-NEXT: %[[INS3:[0-9]+]] = insertelement <4 x i32> %[[INS2]], i32 %[[LD3]], i32 3
; CHECK-NEXT: ret <4 x i32> %[[INS3]]
- %loaded = load <4 x i32>* %loc
+ %loaded = load <4 x i32>* %loc, align 1
+ ret <4 x i32> %loaded
+}
+
+define <4 x i32> @test_load_4xi32_align2(<4 x i32>* %loc) {
+ ; CHECK-LABEL: test_load_4xi32_align2
+ ; CHECK-NEXT: %[[BASE:[0-9]+]] = bitcast <4 x i32>* %loc to i32*
+ ; CHECK-NEXT: %[[GEP0:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 0
+ ; CHECK-NEXT: %[[LD0:[0-9]+]] = load i32* %[[GEP0]], align 2
+ ; CHECK-NEXT: %[[INS0:[0-9]+]] = insertelement <4 x i32> undef, i32 %[[LD0]], i32 0
+ ; CHECK-NEXT: %[[GEP1:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 1
+ ; CHECK-NEXT: %[[LD1:[0-9]+]] = load i32* %[[GEP1]], align 2
+ ; CHECK-NEXT: %[[INS1:[0-9]+]] = insertelement <4 x i32> %[[INS0]], i32 %[[LD1]], i32 1
+ ; CHECK-NEXT: %[[GEP2:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 2
+ ; CHECK-NEXT: %[[LD2:[0-9]+]] = load i32* %[[GEP2]], align 2
+ ; CHECK-NEXT: %[[INS2:[0-9]+]] = insertelement <4 x i32> %[[INS1]], i32 %[[LD2]], i32 2
+ ; CHECK-NEXT: %[[GEP3:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 3
+ ; CHECK-NEXT: %[[LD3:[0-9]+]] = load i32* %[[GEP3]], align 2
+ ; CHECK-NEXT: %[[INS3:[0-9]+]] = insertelement <4 x i32> %[[INS2]], i32 %[[LD3]], i32 3
+ ; CHECK-NEXT: ret <4 x i32> %[[INS3]]
+ %loaded = load <4 x i32>* %loc, align 2
+ ret <4 x i32> %loaded
+}
+
+define <4 x i32> @test_load_4xi32_align4(<4 x i32>* %loc) {
+ ; CHECK-LABEL: test_load_4xi32_align4
+ ; CHECK-NEXT: %loaded = load <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret <4 x i32> %loaded
+ %loaded = load <4 x i32>* %loc, align 4
+ ret <4 x i32> %loaded
+}
+
+define <4 x i32> @test_load_4xi32_align8(<4 x i32>* %loc) {
+ ; CHECK-LABEL: test_load_4xi32_align8
+ ; CHECK-NEXT: %loaded = load <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret <4 x i32> %loaded
+ %loaded = load <4 x i32>* %loc, align 8
+ ret <4 x i32> %loaded
+}
+
+define <4 x i32> @test_load_4xi32_align16(<4 x i32>* %loc) {
+ ; CHECK-LABEL: test_load_4xi32_align16
+ ; CHECK-NEXT: %loaded = load <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret <4 x i32> %loaded
+ %loaded = load <4 x i32>* %loc, align 16
+ ret <4 x i32> %loaded
+}
+
+define <4 x i32> @test_load_4xi32_align32(<4 x i32>* %loc) {
+ ; CHECK-LABEL: test_load_4xi32_align32
+ ; CHECK-NEXT: %loaded = load <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret <4 x i32> %loaded
+ %loaded = load <4 x i32>* %loc, align 32
ret <4 x i32> %loaded
}
-define <4 x float> @test_load_4xfloat(<4 x float>* %loc) {
- ; CHECK-LABEL: test_load_4xfloat
+define <4 x float> @test_load_4xfloat_align0(<4 x float>* %loc) {
+ ; CHECK-LABEL: test_load_4xfloat_align0
+ ; CHECK-NEXT: %loaded = load <4 x float>* %loc, align 4
+ ; CHECK-NEXT: ret <4 x float> %loaded
+ %loaded = load <4 x float>* %loc
+ ret <4 x float> %loaded
+}
+
+define <4 x float> @test_load_4xfloat_align2(<4 x float>* %loc) {
+ ; CHECK-LABEL: test_load_4xfloat_align2
; CHECK-NEXT: %[[BASE:[0-9]+]] = bitcast <4 x float>* %loc to float*
; CHECK-NEXT: %[[GEP0:[0-9]+]] = getelementptr inbounds float* %[[BASE]], i32 0
- ; CHECK-NEXT: %[[LD0:[0-9]+]] = load float* %[[GEP0]], align 4
+ ; CHECK-NEXT: %[[LD0:[0-9]+]] = load float* %[[GEP0]], align 2
; CHECK-NEXT: %[[INS0:[0-9]+]] = insertelement <4 x float> undef, float %[[LD0]], i32 0
; CHECK-NEXT: %[[GEP1:[0-9]+]] = getelementptr inbounds float* %[[BASE]], i32 1
- ; CHECK-NEXT: %[[LD1:[0-9]+]] = load float* %[[GEP1]], align 4
+ ; CHECK-NEXT: %[[LD1:[0-9]+]] = load float* %[[GEP1]], align 2
; CHECK-NEXT: %[[INS1:[0-9]+]] = insertelement <4 x float> %[[INS0]], float %[[LD1]], i32 1
; CHECK-NEXT: %[[GEP2:[0-9]+]] = getelementptr inbounds float* %[[BASE]], i32 2
- ; CHECK-NEXT: %[[LD2:[0-9]+]] = load float* %[[GEP2]], align 4
+ ; CHECK-NEXT: %[[LD2:[0-9]+]] = load float* %[[GEP2]], align 2
; CHECK-NEXT: %[[INS2:[0-9]+]] = insertelement <4 x float> %[[INS1]], float %[[LD2]], i32 2
; CHECK-NEXT: %[[GEP3:[0-9]+]] = getelementptr inbounds float* %[[BASE]], i32 3
- ; CHECK-NEXT: %[[LD3:[0-9]+]] = load float* %[[GEP3]], align 4
+ ; CHECK-NEXT: %[[LD3:[0-9]+]] = load float* %[[GEP3]], align 2
; CHECK-NEXT: %[[INS3:[0-9]+]] = insertelement <4 x float> %[[INS2]], float %[[LD3]], i32 3
; CHECK-NEXT: ret <4 x float> %[[INS3]]
- %loaded = load <4 x float>* %loc
+ %loaded = load <4 x float>* %loc, align 2
ret <4 x float> %loaded
}
-define <8 x i16> @test_load_8xi16(<8 x i16>* %loc) {
- ; CHECK-LABEL: test_load_8xi16
+define <4 x float> @test_load_4xfloat_align4(<4 x float>* %loc) {
+ ; CHECK-LABEL: test_load_4xfloat_align4
+ ; CHECK-NEXT: %loaded = load <4 x float>* %loc, align 4
+ ; CHECK-NEXT: ret <4 x float> %loaded
+ %loaded = load <4 x float>* %loc, align 4
+ ret <4 x float> %loaded
+}
+
+define <8 x i16> @test_load_8xi16_align0(<8 x i16>* %loc) {
+ ; CHECK-LABEL: test_load_8xi16_align0
+ ; CHECK-NEXT: %loaded = load <8 x i16>* %loc, align 2
+ ; CHECK-NEXT: ret <8 x i16> %loaded
+ %loaded = load <8 x i16>* %loc
+ ret <8 x i16> %loaded
+}
+
+define <8 x i16> @test_load_8xi16_align1(<8 x i16>* %loc) {
+ ; CHECK-LABEL: test_load_8xi16_align1
; CHECK-NEXT: %[[BASE:[0-9]+]] = bitcast <8 x i16>* %loc to i16*
; CHECK-NEXT: %[[GEP0:[0-9]+]] = getelementptr inbounds i16* %[[BASE]], i32 0
- ; CHECK-NEXT: %[[LD0:[0-9]+]] = load i16* %[[GEP0]], align 4
+ ; CHECK-NEXT: %[[LD0:[0-9]+]] = load i16* %[[GEP0]], align 1
; CHECK-NEXT: %[[INS0:[0-9]+]] = insertelement <8 x i16> undef, i16 %[[LD0]], i32 0
; CHECK-NEXT: %[[GEP1:[0-9]+]] = getelementptr inbounds i16* %[[BASE]], i32 1
- ; CHECK-NEXT: %[[LD1:[0-9]+]] = load i16* %[[GEP1]], align 2
+ ; CHECK-NEXT: %[[LD1:[0-9]+]] = load i16* %[[GEP1]], align 1
; CHECK-NEXT: %[[INS1:[0-9]+]] = insertelement <8 x i16> %[[INS0]], i16 %[[LD1]], i32 1
; CHECK-NEXT: %[[GEP2:[0-9]+]] = getelementptr inbounds i16* %[[BASE]], i32 2
- ; CHECK-NEXT: %[[LD2:[0-9]+]] = load i16* %[[GEP2]], align 4
+ ; CHECK-NEXT: %[[LD2:[0-9]+]] = load i16* %[[GEP2]], align 1
; CHECK-NEXT: %[[INS2:[0-9]+]] = insertelement <8 x i16> %[[INS1]], i16 %[[LD2]], i32 2
; CHECK-NEXT: %[[GEP3:[0-9]+]] = getelementptr inbounds i16* %[[BASE]], i32 3
- ; CHECK-NEXT: %[[LD3:[0-9]+]] = load i16* %[[GEP3]], align 2
+ ; CHECK-NEXT: %[[LD3:[0-9]+]] = load i16* %[[GEP3]], align 1
; CHECK-NEXT: %[[INS3:[0-9]+]] = insertelement <8 x i16> %[[INS2]], i16 %[[LD3]], i32 3
; CHECK-NEXT: %[[GEP4:[0-9]+]] = getelementptr inbounds i16* %[[BASE]], i32 4
- ; CHECK-NEXT: %[[LD4:[0-9]+]] = load i16* %[[GEP4]], align 4
+ ; CHECK-NEXT: %[[LD4:[0-9]+]] = load i16* %[[GEP4]], align 1
; CHECK-NEXT: %[[INS4:[0-9]+]] = insertelement <8 x i16> %[[INS3]], i16 %[[LD4]], i32 4
; CHECK-NEXT: %[[GEP5:[0-9]+]] = getelementptr inbounds i16* %[[BASE]], i32 5
- ; CHECK-NEXT: %[[LD5:[0-9]+]] = load i16* %[[GEP5]], align 2
+ ; CHECK-NEXT: %[[LD5:[0-9]+]] = load i16* %[[GEP5]], align 1
; CHECK-NEXT: %[[INS5:[0-9]+]] = insertelement <8 x i16> %[[INS4]], i16 %[[LD5]], i32 5
; CHECK-NEXT: %[[GEP6:[0-9]+]] = getelementptr inbounds i16* %[[BASE]], i32 6
- ; CHECK-NEXT: %[[LD6:[0-9]+]] = load i16* %[[GEP6]], align 4
+ ; CHECK-NEXT: %[[LD6:[0-9]+]] = load i16* %[[GEP6]], align 1
; CHECK-NEXT: %[[INS6:[0-9]+]] = insertelement <8 x i16> %[[INS5]], i16 %[[LD6]], i32 6
; CHECK-NEXT: %[[GEP7:[0-9]+]] = getelementptr inbounds i16* %[[BASE]], i32 7
- ; CHECK-NEXT: %[[LD7:[0-9]+]] = load i16* %[[GEP7]], align 2
+ ; CHECK-NEXT: %[[LD7:[0-9]+]] = load i16* %[[GEP7]], align 1
; CHECK-NEXT: %[[INS7:[0-9]+]] = insertelement <8 x i16> %[[INS6]], i16 %[[LD7]], i32 7
; CHECK-NEXT: ret <8 x i16> %[[INS7]]
- %loaded = load <8 x i16>* %loc
+ %loaded = load <8 x i16>* %loc, align 1
+ ret <8 x i16> %loaded
+}
+
+define <8 x i16> @test_load_8xi16_align2(<8 x i16>* %loc) {
+ ; CHECK-LABEL: test_load_8xi16_align2
+ ; CHECK-NEXT: %loaded = load <8 x i16>* %loc, align 2
+ ; CHECK-NEXT: ret <8 x i16> %loaded
+ %loaded = load <8 x i16>* %loc, align 2
ret <8 x i16> %loaded
}
-define <16 x i8> @test_load_16xi8(<16 x i8>* %loc) {
- ; CHECK-LABEL: test_load_16xi8
- ; CHECK-NEXT: %[[BASE:[0-9]+]] = bitcast <16 x i8>* %loc to i8*
- ; CHECK-NEXT: %[[GEP0:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 0
- ; CHECK-NEXT: %[[LD0:[0-9]+]] = load i8* %[[GEP0]], align 4
- ; CHECK-NEXT: %[[INS0:[0-9]+]] = insertelement <16 x i8> undef, i8 %[[LD0]], i32 0
- ; CHECK-NEXT: %[[GEP1:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 1
- ; CHECK-NEXT: %[[LD1:[0-9]+]] = load i8* %[[GEP1]], align 1
- ; CHECK-NEXT: %[[INS1:[0-9]+]] = insertelement <16 x i8> %[[INS0]], i8 %[[LD1]], i32 1
- ; CHECK-NEXT: %[[GEP2:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 2
- ; CHECK-NEXT: %[[LD2:[0-9]+]] = load i8* %[[GEP2]], align 2
- ; CHECK-NEXT: %[[INS2:[0-9]+]] = insertelement <16 x i8> %[[INS1]], i8 %[[LD2]], i32 2
- ; CHECK-NEXT: %[[GEP3:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 3
- ; CHECK-NEXT: %[[LD3:[0-9]+]] = load i8* %[[GEP3]], align 1
- ; CHECK-NEXT: %[[INS3:[0-9]+]] = insertelement <16 x i8> %[[INS2]], i8 %[[LD3]], i32 3
- ; CHECK-NEXT: %[[GEP4:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 4
- ; CHECK-NEXT: %[[LD4:[0-9]+]] = load i8* %[[GEP4]], align 4
- ; CHECK-NEXT: %[[INS4:[0-9]+]] = insertelement <16 x i8> %[[INS3]], i8 %[[LD4]], i32 4
- ; CHECK-NEXT: %[[GEP5:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 5
- ; CHECK-NEXT: %[[LD5:[0-9]+]] = load i8* %[[GEP5]], align 1
- ; CHECK-NEXT: %[[INS5:[0-9]+]] = insertelement <16 x i8> %[[INS4]], i8 %[[LD5]], i32 5
- ; CHECK-NEXT: %[[GEP6:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 6
- ; CHECK-NEXT: %[[LD6:[0-9]+]] = load i8* %[[GEP6]], align 2
- ; CHECK-NEXT: %[[INS6:[0-9]+]] = insertelement <16 x i8> %[[INS5]], i8 %[[LD6]], i32 6
- ; CHECK-NEXT: %[[GEP7:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 7
- ; CHECK-NEXT: %[[LD7:[0-9]+]] = load i8* %[[GEP7]], align 1
- ; CHECK-NEXT: %[[INS7:[0-9]+]] = insertelement <16 x i8> %[[INS6]], i8 %[[LD7]], i32 7
- ; CHECK-NEXT: %[[GEP8:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 8
- ; CHECK-NEXT: %[[LD8:[0-9]+]] = load i8* %[[GEP8]], align 4
- ; CHECK-NEXT: %[[INS8:[0-9]+]] = insertelement <16 x i8> %[[INS7]], i8 %[[LD8]], i32 8
- ; CHECK-NEXT: %[[GEP9:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 9
- ; CHECK-NEXT: %[[LD9:[0-9]+]] = load i8* %[[GEP9]], align 1
- ; CHECK-NEXT: %[[INS9:[0-9]+]] = insertelement <16 x i8> %[[INS8]], i8 %[[LD9]], i32 9
- ; CHECK-NEXT: %[[GEP10:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 10
- ; CHECK-NEXT: %[[LD10:[0-9]+]] = load i8* %[[GEP10]], align 2
- ; CHECK-NEXT: %[[INS10:[0-9]+]] = insertelement <16 x i8> %[[INS9]], i8 %[[LD10]], i32 10
- ; CHECK-NEXT: %[[GEP11:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 11
- ; CHECK-NEXT: %[[LD11:[0-9]+]] = load i8* %[[GEP11]], align 1
- ; CHECK-NEXT: %[[INS11:[0-9]+]] = insertelement <16 x i8> %[[INS10]], i8 %[[LD11]], i32 11
- ; CHECK-NEXT: %[[GEP12:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 12
- ; CHECK-NEXT: %[[LD12:[0-9]+]] = load i8* %[[GEP12]], align 4
- ; CHECK-NEXT: %[[INS12:[0-9]+]] = insertelement <16 x i8> %[[INS11]], i8 %[[LD12]], i32 12
- ; CHECK-NEXT: %[[GEP13:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 13
- ; CHECK-NEXT: %[[LD13:[0-9]+]] = load i8* %[[GEP13]], align 1
- ; CHECK-NEXT: %[[INS13:[0-9]+]] = insertelement <16 x i8> %[[INS12]], i8 %[[LD13]], i32 13
- ; CHECK-NEXT: %[[GEP14:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 14
- ; CHECK-NEXT: %[[LD14:[0-9]+]] = load i8* %[[GEP14]], align 2
- ; CHECK-NEXT: %[[INS14:[0-9]+]] = insertelement <16 x i8> %[[INS13]], i8 %[[LD14]], i32 14
- ; CHECK-NEXT: %[[GEP15:[0-9]+]] = getelementptr inbounds i8* %[[BASE]], i32 15
- ; CHECK-NEXT: %[[LD15:[0-9]+]] = load i8* %[[GEP15]], align 1
- ; CHECK-NEXT: %[[INS15:[0-9]+]] = insertelement <16 x i8> %[[INS14]], i8 %[[LD15]], i32 15
- ; CHECK-NEXT: ret <16 x i8> %[[INS15]]
+define <16 x i8> @test_load_16xi8_align0(<16 x i8>* %loc) {
+ ; CHECK-LABEL: test_load_16xi8_align0
+ ; CHECK-NEXT: %loaded = load <16 x i8>* %loc, align 1
+ ; CHECK-NEXT: ret <16 x i8> %loaded
%loaded = load <16 x i8>* %loc
ret <16 x i8> %loaded
}
+define <16 x i8> @test_load_16xi8_align1(<16 x i8>* %loc) {
+ ; CHECK-LABEL: test_load_16xi8_align1
+ ; CHECK-NEXT: %loaded = load <16 x i8>* %loc, align 1
+ ; CHECK-NEXT: ret <16 x i8> %loaded
+ %loaded = load <16 x i8>* %loc, align 1
+ ret <16 x i8> %loaded
+}
+
; Store ========================================================================
@@ -267,41 +319,89 @@ define void @test_store_4xi1(<4 x i1> %val, <4 x i1>* %loc) {
ret void
}
-define void @test_store_4xi32(<4 x i32> %val, <4 x i32>* %loc) {
- ; CHECK-LABEL: test_store_4xi32
+define void @test_store_4xi32_align0(<4 x i32> %val, <4 x i32>* %loc) {
+ ; CHECK-LABEL: test_store_4xi32_align0
+ ; CHECK-NEXT: store <4 x i32> %val, <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret void
+ store <4 x i32> %val, <4 x i32>* %loc
+ ret void
+}
+
+define void @test_store_4xi32_align1(<4 x i32> %val, <4 x i32>* %loc) {
+ ; CHECK-LABEL: test_store_4xi32_align1
; CHECK-NEXT: %[[BASE:[0-9]+]] = bitcast <4 x i32>* %loc to i32*
; CHECK-NEXT: %[[GEP0:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 0
; CHECK-NEXT: %[[EXT0:[0-9]+]] = extractelement <4 x i32> %val, i32 0
- ; CHECK-NEXT: store i32 %[[EXT0]], i32* %[[GEP0]], align 4
+ ; CHECK-NEXT: store i32 %[[EXT0]], i32* %[[GEP0]], align 1
; CHECK-NEXT: %[[GEP1:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 1
; CHECK-NEXT: %[[EXT1:[0-9]+]] = extractelement <4 x i32> %val, i32 1
- ; CHECK-NEXT: store i32 %[[EXT1]], i32* %[[GEP1]], align 4
+ ; CHECK-NEXT: store i32 %[[EXT1]], i32* %[[GEP1]], align 1
; CHECK-NEXT: %[[GEP2:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 2
; CHECK-NEXT: %[[EXT2:[0-9]+]] = extractelement <4 x i32> %val, i32 2
- ; CHECK-NEXT: store i32 %[[EXT2]], i32* %[[GEP2]], align 4
+ ; CHECK-NEXT: store i32 %[[EXT2]], i32* %[[GEP2]], align 1
; CHECK-NEXT: %[[GEP3:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 3
; CHECK-NEXT: %[[EXT3:[0-9]+]] = extractelement <4 x i32> %val, i32 3
- ; CHECK-NEXT: store i32 %[[EXT3]], i32* %[[GEP3]], align 4
+ ; CHECK-NEXT: store i32 %[[EXT3]], i32* %[[GEP3]], align 1
; CHECK-NEXT: ret void
- store <4 x i32> %val, <4 x i32>* %loc
+ store <4 x i32> %val, <4 x i32>* %loc, align 1
ret void
}
-define void @test_store_4xfloat(<4 x float> %val, <4 x float>* %loc) {
- ; CHECK-LABEL: test_store_4xfloat
- ; CHECK-NEXT: %[[BASE:[0-9]+]] = bitcast <4 x float>* %loc to float*
- ; CHECK-NEXT: %[[GEP0:[0-9]+]] = getelementptr inbounds float* %[[BASE]], i32 0
- ; CHECK-NEXT: %[[EXT0:[0-9]+]] = extractelement <4 x float> %val, i32 0
- ; CHECK-NEXT: store float %[[EXT0]], float* %[[GEP0]], align 4
- ; CHECK-NEXT: %[[GEP1:[0-9]+]] = getelementptr inbounds float* %[[BASE]], i32 1
- ; CHECK-NEXT: %[[EXT1:[0-9]+]] = extractelement <4 x float> %val, i32 1
- ; CHECK-NEXT: store float %[[EXT1]], float* %[[GEP1]], align 4
- ; CHECK-NEXT: %[[GEP2:[0-9]+]] = getelementptr inbounds float* %[[BASE]], i32 2
- ; CHECK-NEXT: %[[EXT2:[0-9]+]] = extractelement <4 x float> %val, i32 2
- ; CHECK-NEXT: store float %[[EXT2]], float* %[[GEP2]], align 4
- ; CHECK-NEXT: %[[GEP3:[0-9]+]] = getelementptr inbounds float* %[[BASE]], i32 3
- ; CHECK-NEXT: %[[EXT3:[0-9]+]] = extractelement <4 x float> %val, i32 3
- ; CHECK-NEXT: store float %[[EXT3]], float* %[[GEP3]], align 4
+define void @test_store_4xi32_align2(<4 x i32> %val, <4 x i32>* %loc) {
+ ; CHECK-LABEL: test_store_4xi32_align2
+ ; CHECK-NEXT: %[[BASE:[0-9]+]] = bitcast <4 x i32>* %loc to i32*
+ ; CHECK-NEXT: %[[GEP0:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 0
+ ; CHECK-NEXT: %[[EXT0:[0-9]+]] = extractelement <4 x i32> %val, i32 0
+ ; CHECK-NEXT: store i32 %[[EXT0]], i32* %[[GEP0]], align 2
+ ; CHECK-NEXT: %[[GEP1:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 1
+ ; CHECK-NEXT: %[[EXT1:[0-9]+]] = extractelement <4 x i32> %val, i32 1
+ ; CHECK-NEXT: store i32 %[[EXT1]], i32* %[[GEP1]], align 2
+ ; CHECK-NEXT: %[[GEP2:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 2
+ ; CHECK-NEXT: %[[EXT2:[0-9]+]] = extractelement <4 x i32> %val, i32 2
+ ; CHECK-NEXT: store i32 %[[EXT2]], i32* %[[GEP2]], align 2
+ ; CHECK-NEXT: %[[GEP3:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 3
+ ; CHECK-NEXT: %[[EXT3:[0-9]+]] = extractelement <4 x i32> %val, i32 3
+ ; CHECK-NEXT: store i32 %[[EXT3]], i32* %[[GEP3]], align 2
+ ; CHECK-NEXT: ret void
+ store <4 x i32> %val, <4 x i32>* %loc, align 2
+ ret void
+}
+
+define void @test_store_4xi32_align4(<4 x i32> %val, <4 x i32>* %loc) {
+ ; CHECK-LABEL: test_store_4xi32_align4
+ ; CHECK-NEXT: store <4 x i32> %val, <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret void
+ store <4 x i32> %val, <4 x i32>* %loc, align 4
+ ret void
+}
+
+define void @test_store_4xi32_align8(<4 x i32> %val, <4 x i32>* %loc) {
+ ; CHECK-LABEL: test_store_4xi32_align8
+ ; CHECK-NEXT: store <4 x i32> %val, <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret void
+ store <4 x i32> %val, <4 x i32>* %loc, align 8
+ ret void
+}
+
+define void @test_store_4xi32_align16(<4 x i32> %val, <4 x i32>* %loc) {
+ ; CHECK-LABEL: test_store_4xi32_align16
+ ; CHECK-NEXT: store <4 x i32> %val, <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret void
+ store <4 x i32> %val, <4 x i32>* %loc, align 16
+ ret void
+}
+
+define void @test_store_4xi32_align32(<4 x i32> %val, <4 x i32>* %loc) {
+ ; CHECK-LABEL: test_store_4xi32_align32
+ ; CHECK-NEXT: store <4 x i32> %val, <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret void
+ store <4 x i32> %val, <4 x i32>* %loc, align 32
+ ret void
+}
+
+define void @test_store_4xfloat_align0(<4 x float> %val, <4 x float>* %loc) {
+ ; CHECK-LABEL: test_store_4xfloat_align0
+ ; CHECK-NEXT: store <4 x float> %val, <4 x float>* %loc, align 4
; CHECK-NEXT: ret void
store <4 x float> %val, <4 x float>* %loc
ret void
@@ -310,41 +410,25 @@ define void @test_store_4xfloat(<4 x float> %val, <4 x float>* %loc) {
; Volatile =====================================================================
-define <4 x i32> @test_volatile_load_4xi32(<4 x i32>* %loc) {
- ; CHECK-LABEL: test_volatile_load_4xi32
- ; CHECK-NEXT: %[[BASE:[0-9]+]] = bitcast <4 x i32>* %loc to i32*
- ; CHECK-NEXT: %[[GEP0:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 0
- ; CHECK-NEXT: %[[LD0:[0-9]+]] = load volatile i32* %[[GEP0]], align 4
- ; CHECK-NEXT: %[[INS0:[0-9]+]] = insertelement <4 x i32> undef, i32 %[[LD0]], i32 0
- ; CHECK-NEXT: %[[GEP1:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 1
- ; CHECK-NEXT: %[[LD1:[0-9]+]] = load volatile i32* %[[GEP1]], align 4
- ; CHECK-NEXT: %[[INS1:[0-9]+]] = insertelement <4 x i32> %[[INS0]], i32 %[[LD1]], i32 1
- ; CHECK-NEXT: %[[GEP2:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 2
- ; CHECK-NEXT: %[[LD2:[0-9]+]] = load volatile i32* %[[GEP2]], align 4
- ; CHECK-NEXT: %[[INS2:[0-9]+]] = insertelement <4 x i32> %[[INS1]], i32 %[[LD2]], i32 2
- ; CHECK-NEXT: %[[GEP3:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 3
- ; CHECK-NEXT: %[[LD3:[0-9]+]] = load volatile i32* %[[GEP3]], align 4
- ; CHECK-NEXT: %[[INS3:[0-9]+]] = insertelement <4 x i32> %[[INS2]], i32 %[[LD3]], i32 3
- ; CHECK-NEXT: ret <4 x i32> %[[INS3]]
+define <4 x i32> @test_volatile_load_4xi32_align0(<4 x i32>* %loc) {
+ ; CHECK-LABEL: test_volatile_load_4xi32_align0
+ ; CHECK-NEXT: %loaded = load volatile <4 x i32>* %loc, align 4
jvoung (off chromium) 2014/06/10 16:28:33 What will happen to the volatile attribute later?
JF 2014/06/10 18:26:29 It'll become an atomic access of an unsupported bi
+ ; CHECK-NEXT: ret <4 x i32> %loaded
%loaded = load volatile <4 x i32>* %loc
ret <4 x i32> %loaded
}
-define void @test_volatile_store_4xi32(<4 x i32> %val, <4 x i32>* %loc) {
- ; CHECK-LABEL: test_volatile_store_4xi32
- ; CHECK-NEXT: %[[BASE:[0-9]+]] = bitcast <4 x i32>* %loc to i32*
- ; CHECK-NEXT: %[[GEP0:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 0
- ; CHECK-NEXT: %[[EXT0:[0-9]+]] = extractelement <4 x i32> %val, i32 0
- ; CHECK-NEXT: store volatile i32 %[[EXT0]], i32* %[[GEP0]], align 4
- ; CHECK-NEXT: %[[GEP1:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 1
- ; CHECK-NEXT: %[[EXT1:[0-9]+]] = extractelement <4 x i32> %val, i32 1
- ; CHECK-NEXT: store volatile i32 %[[EXT1]], i32* %[[GEP1]], align 4
- ; CHECK-NEXT: %[[GEP2:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 2
- ; CHECK-NEXT: %[[EXT2:[0-9]+]] = extractelement <4 x i32> %val, i32 2
- ; CHECK-NEXT: store volatile i32 %[[EXT2]], i32* %[[GEP2]], align 4
- ; CHECK-NEXT: %[[GEP3:[0-9]+]] = getelementptr inbounds i32* %[[BASE]], i32 3
- ; CHECK-NEXT: %[[EXT3:[0-9]+]] = extractelement <4 x i32> %val, i32 3
- ; CHECK-NEXT: store volatile i32 %[[EXT3]], i32* %[[GEP3]], align 4
+define <4 x i32> @test_volatile_load_4xi32_align4(<4 x i32>* %loc) {
+ ; CHECK-LABEL: test_volatile_load_4xi32_align4
+ ; CHECK-NEXT: %loaded = load volatile <4 x i32>* %loc, align 4
+ ; CHECK-NEXT: ret <4 x i32> %loaded
+ %loaded = load volatile <4 x i32>* %loc, align 4
+ ret <4 x i32> %loaded
+}
+
+define void @test_volatile_store_4xi32_align0(<4 x i32> %val, <4 x i32>* %loc) {
+ ; CHECK-LABEL: test_volatile_store_4xi32_align0
+ ; CHECK-NEXT: store volatile <4 x i32> %val, <4 x i32>* %loc, align 4
; CHECK-NEXT: ret void
store volatile <4 x i32> %val, <4 x i32>* %loc
ret void
« test/NaCl/PNaClABI/instructions.ll ('K') | « test/NaCl/PNaClABI/instructions.ll ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698