230 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; Test basic address sanitizer instrumentation.3;4; RUN: opt < %s -passes=hwasan -hwasan-mapping-offset=4398046511104 -S | FileCheck %s5 6 7target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"8target triple = "aarch64--linux-android9001"9 10define i8 @test_load8(ptr %a) sanitize_hwaddress {11; CHECK-LABEL: define i8 @test_load812; CHECK-SAME: (ptr [[A:%.*]]) #[[ATTR0:[0-9]+]] {13; CHECK-NEXT: entry:14; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))15; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules.fixedshadow(ptr [[A]], i32 0, i64 4398046511104)16; CHECK-NEXT: [[B:%.*]] = load i8, ptr [[A]], align 417; CHECK-NEXT: ret i8 [[B]]18;19entry:20 %b = load i8, ptr %a, align 421 ret i8 %b22}23 24define i16 @test_load16(ptr %a) sanitize_hwaddress {25; CHECK-LABEL: define i16 @test_load1626; CHECK-SAME: (ptr [[A:%.*]]) #[[ATTR0]] {27; CHECK-NEXT: entry:28; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))29; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules.fixedshadow(ptr [[A]], i32 1, i64 4398046511104)30; CHECK-NEXT: [[B:%.*]] = load i16, ptr [[A]], align 431; CHECK-NEXT: ret i16 [[B]]32;33entry:34 %b = load i16, ptr %a, align 435 ret i16 %b36}37 38define i32 @test_load32(ptr %a) sanitize_hwaddress {39; CHECK-LABEL: define i32 @test_load3240; CHECK-SAME: (ptr [[A:%.*]]) #[[ATTR0]] {41; CHECK-NEXT: entry:42; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))43; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules.fixedshadow(ptr [[A]], i32 2, i64 4398046511104)44; CHECK-NEXT: [[B:%.*]] = load i32, ptr [[A]], align 445; CHECK-NEXT: ret i32 [[B]]46;47entry:48 %b = load i32, ptr %a, align 449 ret i32 %b50}51 52define i64 @test_load64(ptr %a) sanitize_hwaddress {53; CHECK-LABEL: define i64 @test_load6454; CHECK-SAME: (ptr [[A:%.*]]) #[[ATTR0]] {55; CHECK-NEXT: entry:56; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))57; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules.fixedshadow(ptr [[A]], i32 3, i64 4398046511104)58; CHECK-NEXT: [[B:%.*]] = load i64, ptr [[A]], align 859; CHECK-NEXT: ret i64 [[B]]60;61entry:62 %b = load i64, ptr %a, align 863 ret i64 %b64}65 66define i128 @test_load128(ptr %a) sanitize_hwaddress {67; CHECK-LABEL: define i128 @test_load12868; CHECK-SAME: (ptr [[A:%.*]]) #[[ATTR0]] {69; CHECK-NEXT: entry:70; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))71; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules.fixedshadow(ptr [[A]], i32 4, i64 4398046511104)72; CHECK-NEXT: [[B:%.*]] = load i128, ptr [[A]], align 1673; CHECK-NEXT: ret i128 [[B]]74;75entry:76 %b = load i128, ptr %a, align 1677 ret i128 %b78}79 80define i40 @test_load40(ptr %a) sanitize_hwaddress {81; CHECK-LABEL: define i40 @test_load4082; CHECK-SAME: (ptr [[A:%.*]]) #[[ATTR0]] {83; CHECK-NEXT: entry:84; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))85; CHECK-NEXT: [[TMP0:%.*]] = ptrtoint ptr [[A]] to i6486; CHECK-NEXT: call void @__hwasan_loadN(i64 [[TMP0]], i64 5)87; CHECK-NEXT: [[B:%.*]] = load i40, ptr [[A]], align 488; CHECK-NEXT: ret i40 [[B]]89;90entry:91 %b = load i40, ptr %a, align 492 ret i40 %b93}94 95define void @test_store8(ptr %a, i8 %b) sanitize_hwaddress {96; CHECK-LABEL: define void @test_store897; CHECK-SAME: (ptr [[A:%.*]], i8 [[B:%.*]]) #[[ATTR0]] {98; CHECK-NEXT: entry:99; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))100; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules.fixedshadow(ptr [[A]], i32 16, i64 4398046511104)101; CHECK-NEXT: store i8 [[B]], ptr [[A]], align 4102; CHECK-NEXT: ret void103;104entry:105 store i8 %b, ptr %a, align 4106 ret void107}108 109define void @test_store16(ptr %a, i16 %b) sanitize_hwaddress {110; CHECK-LABEL: define void @test_store16111; CHECK-SAME: (ptr [[A:%.*]], i16 [[B:%.*]]) #[[ATTR0]] {112; CHECK-NEXT: entry:113; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))114; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules.fixedshadow(ptr [[A]], i32 17, i64 4398046511104)115; CHECK-NEXT: store i16 [[B]], ptr [[A]], align 4116; CHECK-NEXT: ret void117;118entry:119 store i16 %b, ptr %a, align 4120 ret void121}122 123define void @test_store32(ptr %a, i32 %b) sanitize_hwaddress {124; CHECK-LABEL: define void @test_store32125; CHECK-SAME: (ptr [[A:%.*]], i32 [[B:%.*]]) #[[ATTR0]] {126; CHECK-NEXT: entry:127; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))128; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules.fixedshadow(ptr [[A]], i32 18, i64 4398046511104)129; CHECK-NEXT: store i32 [[B]], ptr [[A]], align 4130; CHECK-NEXT: ret void131;132entry:133 store i32 %b, ptr %a, align 4134 ret void135}136 137define void @test_store64(ptr %a, i64 %b) sanitize_hwaddress {138; CHECK-LABEL: define void @test_store64139; CHECK-SAME: (ptr [[A:%.*]], i64 [[B:%.*]]) #[[ATTR0]] {140; CHECK-NEXT: entry:141; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))142; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules.fixedshadow(ptr [[A]], i32 19, i64 4398046511104)143; CHECK-NEXT: store i64 [[B]], ptr [[A]], align 8144; CHECK-NEXT: ret void145;146entry:147 store i64 %b, ptr %a, align 8148 ret void149}150 151define void @test_store128(ptr %a, i128 %b) sanitize_hwaddress {152; CHECK-LABEL: define void @test_store128153; CHECK-SAME: (ptr [[A:%.*]], i128 [[B:%.*]]) #[[ATTR0]] {154; CHECK-NEXT: entry:155; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))156; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules.fixedshadow(ptr [[A]], i32 20, i64 4398046511104)157; CHECK-NEXT: store i128 [[B]], ptr [[A]], align 16158; CHECK-NEXT: ret void159;160entry:161 store i128 %b, ptr %a, align 16162 ret void163}164 165define void @test_store40(ptr %a, i40 %b) sanitize_hwaddress {166; CHECK-LABEL: define void @test_store40167; CHECK-SAME: (ptr [[A:%.*]], i40 [[B:%.*]]) #[[ATTR0]] {168; CHECK-NEXT: entry:169; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))170; CHECK-NEXT: [[TMP0:%.*]] = ptrtoint ptr [[A]] to i64171; CHECK-NEXT: call void @__hwasan_storeN(i64 [[TMP0]], i64 5)172; CHECK-NEXT: store i40 [[B]], ptr [[A]], align 4173; CHECK-NEXT: ret void174;175entry:176 store i40 %b, ptr %a, align 4177 ret void178}179 180define void @test_store_unaligned(ptr %a, i64 %b) sanitize_hwaddress {181; CHECK-LABEL: define void @test_store_unaligned182; CHECK-SAME: (ptr [[A:%.*]], i64 [[B:%.*]]) #[[ATTR0]] {183; CHECK-NEXT: entry:184; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr inttoptr (i64 4398046511104 to ptr))185; CHECK-NEXT: [[TMP0:%.*]] = ptrtoint ptr [[A]] to i64186; CHECK-NEXT: call void @__hwasan_storeN(i64 [[TMP0]], i64 8)187; CHECK-NEXT: store i64 [[B]], ptr [[A]], align 4188; CHECK-NEXT: ret void189;190entry:191 store i64 %b, ptr %a, align 4192 ret void193}194 195define i8 @test_load_noattr(ptr %a) {196; CHECK-LABEL: define i8 @test_load_noattr197; CHECK-SAME: (ptr [[A:%.*]]) {198; CHECK-NEXT: entry:199; CHECK-NEXT: [[B:%.*]] = load i8, ptr [[A]], align 4200; CHECK-NEXT: ret i8 [[B]]201;202entry:203 %b = load i8, ptr %a, align 4204 ret i8 %b205}206 207define i8 @test_load_notmyattr(ptr %a) sanitize_address {208; CHECK-LABEL: define i8 @test_load_notmyattr209; CHECK-SAME: (ptr [[A:%.*]]) #[[ATTR1:[0-9]+]] {210; CHECK-NEXT: entry:211; CHECK-NEXT: [[B:%.*]] = load i8, ptr [[A]], align 4212; CHECK-NEXT: ret i8 [[B]]213;214entry:215 %b = load i8, ptr %a, align 4216 ret i8 %b217}218 219define i8 @test_load_addrspace(ptr addrspace(256) %a) sanitize_hwaddress {220; CHECK-LABEL: define i8 @test_load_addrspace221; CHECK-SAME: (ptr addrspace(256) [[A:%.*]]) #[[ATTR0]] {222; CHECK-NEXT: entry:223; CHECK-NEXT: [[B:%.*]] = load i8, ptr addrspace(256) [[A]], align 4224; CHECK-NEXT: ret i8 [[B]]225;226entry:227 %b = load i8, ptr addrspace(256) %a, align 4228 ret i8 %b229}230