144 lines · plain
1; RUN: llc < %s | FileCheck %s2 3target triple = "aarch64--linux-android"4 5define ptr @f1(ptr %x0, ptr %x1) {6 ; CHECK: f1:7 ; CHECK: str x30, [sp, #-16]!8 ; CHECK-NEXT: .cfi_def_cfa_offset 169 ; CHECK-NEXT: .cfi_offset w30, -1610 ; CHECK-NEXT: mov x9, x011 ; CHECK-NEXT: mov x0, x112 ; CHECK-NEXT: bl __hwasan_check_x1_113 ; CHECK-NEXT: ldr x30, [sp], #1614 ; CHECK-NEXT: ret15 call void @llvm.hwasan.check.memaccess(ptr %x0, ptr %x1, i32 1)16 ret ptr %x117}18 19define ptr @f2(ptr %x0, ptr %x1) {20 ; CHECK: f2:21 ; CHECK: stp x30, x20, [sp, #-16]!22 ; CHECK-NEXT: .cfi_def_cfa_offset 1623 ; CHECK-NEXT: .cfi_offset w20, -824 ; CHECK-NEXT: .cfi_offset w30, -1625 ; CHECK-NEXT: mov x20, x126 ; CHECK-NEXT: bl __hwasan_check_x0_2_short_v227 ; CHECK-NEXT: ldp x30, x20, [sp], #1628 ; CHECK-NEXT: ret29 call void @llvm.hwasan.check.memaccess.shortgranules(ptr %x1, ptr %x0, i32 2)30 ret ptr %x031}32 33define void @f3(ptr %x0, ptr %x1) {34 ; 0x3ff0000 (kernel, match-all = 0xff)35 call void @llvm.hwasan.check.memaccess(ptr %x0, ptr %x1, i32 67043328)36 ret void37}38 39define void @f4(ptr %x0, ptr %x1) {40 ; 0x1000010 (access-size-index = 0, is-write = 1, match-all = 0x0)41 call void @llvm.hwasan.check.memaccess.shortgranules(ptr %x0, ptr %x1, i32 16777232)42 ret void43}44 45declare void @llvm.hwasan.check.memaccess(ptr, ptr, i32)46declare void @llvm.hwasan.check.memaccess.shortgranules(ptr, ptr, i32)47 48; CHECK: .section .text.hot,"axG",@progbits,__hwasan_check_x0_2_short_v2,comdat49; CHECK-NEXT: .type __hwasan_check_x0_2_short_v2,@function50; CHECK-NEXT: .weak __hwasan_check_x0_2_short_v251; CHECK-NEXT: .hidden __hwasan_check_x0_2_short_v252; CHECK-NEXT: __hwasan_check_x0_2_short_v2:53; CHECK-NEXT: sbfx x16, x0, #4, #5254; CHECK-NEXT: ldrb w16, [x20, x16]55; CHECK-NEXT: cmp x16, x0, lsr #5656; CHECK-NEXT: b.ne .Ltmp057; CHECK-NEXT: .Ltmp1:58; CHECK-NEXT: ret59; CHECK-NEXT: .Ltmp0:60; CHECK-NEXT: cmp w16, #1561; CHECK-NEXT: b.hi .Ltmp262; CHECK-NEXT: and x17, x0, #0xf63; CHECK-NEXT: add x17, x17, #364; CHECK-NEXT: cmp w16, w1765; CHECK-NEXT: b.ls .Ltmp266; CHECK-NEXT: orr x16, x0, #0xf67; CHECK-NEXT: ldrb w16, [x16]68; CHECK-NEXT: cmp x16, x0, lsr #5669; CHECK-NEXT: b.eq .Ltmp170; CHECK-NEXT: .Ltmp2:71; CHECK-NEXT: stp x0, x1, [sp, #-256]!72; CHECK-NEXT: stp x29, x30, [sp, #232]73; CHECK-NEXT: mov x1, #274; CHECK-NEXT: adrp x16, :got:__hwasan_tag_mismatch_v275; CHECK-NEXT: ldr x16, [x16, :got_lo12:__hwasan_tag_mismatch_v2]76; CHECK-NEXT: br x1677 78 79; CHECK: .section .text.hot,"axG",@progbits,__hwasan_check_x1_1,comdat80; CHECK-NEXT: .type __hwasan_check_x1_1,@function81; CHECK-NEXT: .weak __hwasan_check_x1_182; CHECK-NEXT: .hidden __hwasan_check_x1_183; CHECK-NEXT: __hwasan_check_x1_1:84; CHECK-NEXT: sbfx x16, x1, #4, #5285; CHECK-NEXT: ldrb w16, [x9, x16]86; CHECK-NEXT: cmp x16, x1, lsr #5687; CHECK-NEXT: b.ne .Ltmp388; CHECK-NEXT: .Ltmp4:89; CHECK-NEXT: ret90; CHECK-NEXT: .Ltmp3:91; CHECK-NEXT: stp x0, x1, [sp, #-256]!92; CHECK-NEXT: stp x29, x30, [sp, #232]93; CHECK-NEXT: mov x0, x194; CHECK-NEXT: mov x1, #195; CHECK-NEXT: adrp x16, :got:__hwasan_tag_mismatch96; CHECK-NEXT: ldr x16, [x16, :got_lo12:__hwasan_tag_mismatch]97; CHECK-NEXT: br x1698 99; CHECK: __hwasan_check_x1_67043328:100; CHECK-NEXT: sbfx x16, x1, #4, #52101; CHECK-NEXT: ldrb w16, [x9, x16]102; CHECK-NEXT: cmp x16, x1, lsr #56103; CHECK-NEXT: b.ne .Ltmp5104; CHECK-NEXT: .Ltmp6:105; CHECK-NEXT: ret106; CHECK-NEXT: .Ltmp5:107; CHECK-NEXT: lsr x17, x1, #56108; CHECK-NEXT: cmp x17, #255109; CHECK-NEXT: b.eq .Ltmp6110; CHECK-NEXT: stp x0, x1, [sp, #-256]!111; CHECK-NEXT: stp x29, x30, [sp, #232]112; CHECK-NEXT: mov x0, x1113; CHECK-NEXT: mov x1, #0114; CHECK-NEXT: b __hwasan_tag_mismatch115 116; CHECK: __hwasan_check_x1_16777232_short_v2:117; CHECK-NEXT: sbfx x16, x1, #4, #52118; CHECK-NEXT: ldrb w16, [x20, x16]119; CHECK-NEXT: cmp x16, x1, lsr #56120; CHECK-NEXT: b.ne .Ltmp7121; CHECK-NEXT: .Ltmp8:122; CHECK-NEXT: ret123; CHECK-NEXT: .Ltmp7:124; CHECK-NEXT: lsr x17, x1, #56125; CHECK-NEXT: cmp x17, #0126; CHECK-NEXT: b.eq .Ltmp8127; CHECK-NEXT: cmp w16, #15128; CHECK-NEXT: b.hi .Ltmp9129; CHECK-NEXT: and x17, x1, #0xf130; CHECK-NEXT: cmp w16, w17131; CHECK-NEXT: b.ls .Ltmp9132; CHECK-NEXT: orr x16, x1, #0xf133; CHECK-NEXT: ldrb w16, [x16]134; CHECK-NEXT: cmp x16, x1, lsr #56135; CHECK-NEXT: b.eq .Ltmp8136; CHECK-NEXT: .Ltmp9:137; CHECK-NEXT: stp x0, x1, [sp, #-256]!138; CHECK-NEXT: stp x29, x30, [sp, #232]139; CHECK-NEXT: mov x0, x1140; CHECK-NEXT: mov x1, #16141; CHECK-NEXT: adrp x16, :got:__hwasan_tag_mismatch_v2142; CHECK-NEXT: ldr x16, [x16, :got_lo12:__hwasan_tag_mismatch_v2]143; CHECK-NEXT: br x16144