Index: test/NaCl/ARM/call-return-sandboxing1.ll |
diff --git a/test/NaCl/ARM/call-return-sandboxing1.ll b/test/NaCl/ARM/call-return-sandboxing1.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..b6b90e2a0cab9c38c1c961bd93411b7874d89096 |
--- /dev/null |
+++ b/test/NaCl/ARM/call-return-sandboxing1.ll |
@@ -0,0 +1,65 @@ |
+; RUN: pnacl-llc -mtriple=armv7-unknown-nacl -filetype=obj %s -o - \ |
+; RUN: | llvm-objdump -disassemble -triple armv7 - | FileCheck %s |
+ |
+define i32 @foo(i32 %aa, i32 %bb) nounwind { |
+entry: |
+ %aa.addr = alloca i32, align 4 |
+ %bb.addr = alloca i32, align 4 |
+ %cc = alloca i32, align 4 |
+ %dd = alloca i32, align 4 |
+ store i32 %aa, i32* %aa.addr, align 4 |
+ store i32 %bb, i32* %bb.addr, align 4 |
+ %0 = load i32* %aa.addr, align 4 |
+ %1 = load i32* %bb.addr, align 4 |
+ %mul = mul nsw i32 %0, %1 |
+ store i32 %mul, i32* %cc, align 4 |
+ %sub = sub nsw i32 %mul, %1 |
+ store i32 %sub, i32* %dd, align 4 |
+ %2 = load i32* %dd, align 4 |
+ ret i32 %2 |
+ |
+; This checks two things: |
+; 1. bx lr is sandboxed by prepending a bic |
+; 2. The bic/bx pair don't straddle a 16-byte bundle boundary, hence the nop |
+; CHECK: nop |
+; CHECK-NEXT: {{.*}}0:{{.*}}bic lr, lr, #3221225487 |
+; CHECK-NEXT: bx lr |
+ |
+} |
+ |
+define i32 @bar(i32 %aa, i32 %bb) nounwind { |
+entry: |
+ |
+; Check that the function start is padded with nops to start at a bundle |
+; boundary |
+; CHECK: nop |
+; CHECK-LABEL: bar: |
+; CHECK-NEXT: {{.*}}0:{{.*}}push |
+ |
+ %aa.addr = alloca i32, align 4 |
+ %bb.addr = alloca i32, align 4 |
+ store i32 %aa, i32* %aa.addr, align 4 |
+ store i32 %bb, i32* %bb.addr, align 4 |
+ %0 = load i32* %aa.addr, align 4 |
+ %mul = mul nsw i32 %0, 19 |
+ %call = call i32 @foo(i32 %mul, i32 7) |
+ |
+; Check that the call is padded to be at the end of a bundle |
+; CHECK: {{.*}}8:{{.*}}nop |
+; CHECK-NEXT: {{.*}}c:{{.*}}bl |
+ |
+ %1 = load i32* %bb.addr, align 4 |
+ %mul1 = mul nsw i32 %1, 31 |
+ %2 = load i32* %bb.addr, align 4 |
+ %div = sdiv i32 %2, 7 |
+ %add = add nsw i32 %div, 191 |
+ %call2 = call i32 @foo(i32 %mul1, i32 %add) |
+ |
+; Check that the call is padded to be at the end of a bundle |
+; CHECK: {{.*}}8:{{.*}}nop |
+; CHECK-NEXT: {{.*}}c:{{.*}}bl |
+ |
+ %add3 = add nsw i32 %call, %call2 |
+ ret i32 %add3 |
+} |
+ |