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: } |