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

Unified Diff: test/Transforms/MinSFI/sandbox-memory-accesses-gep.ll

Issue 1151093004: Changes from 3.7 merge to files not in upstream (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-llvm.git@master
Patch Set: Created 5 years, 7 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
Index: test/Transforms/MinSFI/sandbox-memory-accesses-gep.ll
diff --git a/test/Transforms/MinSFI/sandbox-memory-accesses-gep.ll b/test/Transforms/MinSFI/sandbox-memory-accesses-gep.ll
index 1c4b2130822e3b62343691fab2cb30109fb5d707..2532ac3d592284a695869f25a14533a19e1acd03 100644
--- a/test/Transforms/MinSFI/sandbox-memory-accesses-gep.ll
+++ b/test/Transforms/MinSFI/sandbox-memory-accesses-gep.ll
@@ -20,47 +20,47 @@ declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1)
; address sandboxing than in the general case.
define i32 @test_load_elementptr([100 x i32]* %foo) {
- %elem = getelementptr inbounds [100 x i32]* %foo, i32 0, i32 97
- %val = load i32* %elem
+ %elem = getelementptr inbounds [100 x i32], [100 x i32]* %foo, i32 0, i32 97
+ %val = load i32, i32* %elem
ret i32 %val
}
; CHECK-GEP-LABEL: define i32 @test_load_elementptr(i32 %foo) {
-; CHECK-GEP-NEXT: %mem_base = load i64* @__sfi_memory_base
+; CHECK-GEP-NEXT: %mem_base = load i64, i64* @__sfi_memory_base
; CHECK-GEP-NEXT: %1 = zext i32 %foo to i64
; CHECK-GEP-NEXT: %2 = add i64 %mem_base, %1
; CHECK-GEP-NEXT: %3 = add i64 %2, 388
; CHECK-GEP-NEXT: %4 = inttoptr i64 %3 to i32*
-; CHECK-GEP-NEXT: %val = load i32* %4
+; CHECK-GEP-NEXT: %val = load i32, i32* %4
; CHECK-GEP-NEXT: ret i32 %val
; CHECK-GEP-NEXT: }
; CHECK-GEP-MASK-LABEL: define i32 @test_load_elementptr(i32 %foo) {
-; CHECK-GEP-MASK-NEXT: %mem_base = load i64* @__sfi_memory_base
+; CHECK-GEP-MASK-NEXT: %mem_base = load i64, i64* @__sfi_memory_base
; CHECK-GEP-MASK-NEXT: %1 = and i32 %foo, 1048575
; CHECK-GEP-MASK-NEXT: %2 = zext i32 %1 to i64
; CHECK-GEP-MASK-NEXT: %3 = add i64 %mem_base, %2
; CHECK-GEP-MASK-NEXT: %4 = add i64 %3, 388
; CHECK-GEP-MASK-NEXT: %5 = inttoptr i64 %4 to i32*
-; CHECK-GEP-MASK-NEXT: %val = load i32* %5
+; CHECK-GEP-MASK-NEXT: %val = load i32, i32* %5
; CHECK-GEP-MASK-NEXT: ret i32 %val
; CHECK-GEP-MASK-NEXT: }
define <4 x float> @test_max_offset(i32 %x) {
%1 = add i32 %x, 1048560 ; 1MB - 16B
%ptr = inttoptr i32 %1 to <4 x float>*
- %val = load <4 x float>* %ptr
+ %val = load <4 x float>, <4 x float>* %ptr
ret <4 x float> %val
}
; CHECK-LABEL: define <4 x float> @test_max_offset(i32 %x) {
-; CHECK-NEXT: %mem_base = load i64* @__sfi_memory_base
+; CHECK-NEXT: %mem_base = load i64, i64* @__sfi_memory_base
; CHECK-NEXT: %1 = and i32 %x, 1048575
; CHECK-NEXT: %2 = zext i32 %1 to i64
; CHECK-NEXT: %3 = add i64 %mem_base, %2
; CHECK-NEXT: %4 = add i64 %3, 1048560
; CHECK-NEXT: %5 = inttoptr i64 %4 to <4 x float>*
-; CHECK-NEXT: %val = load <4 x float>* %5
+; CHECK-NEXT: %val = load <4 x float>, <4 x float>* %5
; CHECK-NEXT: ret <4 x float> %val
; CHECK-NEXT: }
@@ -68,12 +68,12 @@ define <4 x float> @test_max_offset(i32 %x) {
define <4 x float> @test_offset_overflow(i32 %x) {
%1 = add i32 %x, 1048561
%ptr = inttoptr i32 %1 to <4 x float>*
- %val = load <4 x float>* %ptr
+ %val = load <4 x float>, <4 x float>* %ptr
ret <4 x float> %val
}
; CHECK-LABEL: define <4 x float> @test_offset_overflow(i32 %x) {
-; CHECK-NEXT: %mem_base = load i64* @__sfi_memory_base
+; CHECK-NEXT: %mem_base = load i64, i64* @__sfi_memory_base
; CHECK-NEXT: %1 = add i32 %x, 1048561
; CHECK-NEXT: %ptr = inttoptr i32 %1 to <4 x float>*
; CHECK-NEXT: %2 = ptrtoint <4 x float>* %ptr to i32
@@ -81,7 +81,7 @@ define <4 x float> @test_offset_overflow(i32 %x) {
; CHECK-NEXT: %4 = zext i32 %3 to i64
; CHECK-NEXT: %5 = add i64 %mem_base, %4
; CHECK-NEXT: %6 = inttoptr i64 %5 to <4 x float>*
-; CHECK-NEXT: %val = load <4 x float>* %6
+; CHECK-NEXT: %val = load <4 x float>, <4 x float>* %6
; CHECK-NEXT: ret <4 x float> %val
; CHECK-NEXT: }

Powered by Google App Engine
This is Rietveld 408576698