| ; Test basic address sanitizer instrumentation for Myriad. |
| ; |
| ; RUN: opt -asan -asan-module -S < %s | FileCheck %s |
| |
| target triple = "sparc-myriad-rtems" |
| target datalayout = "E-m:e-p:32:32-i64:64-f128:64-n32-S64" |
| ; CHECK: @llvm.global_ctors = {{.*}}@asan.module_ctor |
| |
| define i32 @test_load(i32* %a) sanitize_address { |
| ; CHECK-LABEL: @test_load |
| ; CHECK-NOT: load |
| ; CHECK: ptrtoint i32* %a to i32 |
| ; CHECK: %[[LOAD_ADDR:[^ ]*]] = and i32 %{{.*}}, -1073741825 |
| ; CHECK: lshr i32 %{{.*}}, 29 |
| ; CHECK: icmp eq i32 %{{.*}}, 4 |
| ; CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}}!prof ![[PROF:[0-9]+]] |
| ; |
| ; This block checks whether the shadow byte is 0. |
| ; CHECK: lshr i32 %[[LOAD_ADDR]], 5 |
| ; CHECK: add i32 %{{.*}}, -1694498816 |
| ; CHECK: %[[LOAD_SHADOW_PTR:[^ ]*]] = inttoptr |
| ; CHECK: %[[LOAD_SHADOW:[^ ]*]] = load i8, i8* %[[LOAD_SHADOW_PTR]] |
| ; CHECK: icmp ne i8 |
| ; CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}}!prof ![[PROF:[0-9]+]] |
| ; |
| ; This block refines the shadow test. |
| ; CHECK: and i32 %[[LOAD_ADDR]], 31 |
| ; CHECK: add i32 %{{.*}}, 3 |
| ; CHECK: trunc i32 %{{.*}} to i8 |
| ; CHECK: icmp sge i8 %{{.*}}, %[[LOAD_SHADOW]] |
| ; CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} |
| ; |
| ; The crash block reports the error. |
| ; CHECK: call void @__asan_report_load4(i32 %[[LOAD_ADDR]]) |
| ; CHECK: unreachable |
| ; |
| ; The actual load. |
| ; CHECK: %tmp1 = load i32, i32* %a |
| ; CHECK: ret i32 %tmp1 |
| |
| entry: |
| %tmp1 = load i32, i32* %a, align 4 |
| ret i32 %tmp1 |
| } |
| |
| define void @test_store(i32* %a) sanitize_address { |
| ; CHECK-LABEL: @test_store |
| ; CHECK-NOT: store |
| ; CHECK: ptrtoint i32* %a to i32 |
| ; CHECK: %[[STORE_ADDR:[^ ]*]] = and i32 %{{.*}}, -1073741825 |
| ; CHECK: lshr i32 %{{.*}}, 29 |
| ; CHECK: icmp eq i32 %{{.*}}, 4 |
| ; CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}}!prof ![[PROF:[0-9]+]] |
| ; |
| ; This block checks whether the shadow byte is 0. |
| ; CHECK: lshr i32 %[[STORE_ADDR]], 5 |
| ; CHECK: add i32 %{{.*}}, -1694498816 |
| ; CHECK: %[[STORE_SHADOW_PTR:[^ ]*]] = inttoptr |
| ; CHECK: %[[STORE_SHADOW:[^ ]*]] = load i8, i8* %[[STORE_SHADOW_PTR]] |
| ; CHECK: icmp ne i8 |
| ; CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} |
| ; |
| ; This block refines the shadow test. |
| ; CHECK: and i32 %[[STORE_ADDR]], 31 |
| ; CHECK: add i32 %{{.*}}, 3 |
| ; CHECK: trunc i32 %{{.*}} to i8 |
| ; CHECK: icmp sge i8 %{{.*}}, %[[STORE_SHADOW]] |
| ; CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}} |
| ; |
| ; The crash block reports the error. |
| ; CHECK: call void @__asan_report_store4(i32 %[[STORE_ADDR]]) |
| ; CHECK: unreachable |
| ; The actual store. |
| ; CHECK: store i32 42, i32* %a |
| ; CHECK: ret void |
| ; |
| |
| entry: |
| store i32 42, i32* %a, align 4 |
| ret void |
| } |
| |
| ; CHECK: define internal void @asan.module_ctor() |
| ; CHECK: call void @__asan_init() |
