File: sanitizer-not-eliminated.ll

package info (click to toggle)
intel-graphics-compiler 1.0.17791.18-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 102,312 kB
  • sloc: cpp: 935,343; lisp: 286,143; ansic: 16,196; python: 3,279; yacc: 2,487; lex: 1,642; pascal: 300; sh: 174; makefile: 27
file content (36 lines) | stat: -rw-r--r-- 1,217 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2024 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================

; Check store to local memory variable @__AsanLaunchInfo isn't eliminated.
; It is inserted by address sanitizer instrumentation pass and is used in a
; a non-kernel function as well.
; If the store is eliminated, the load in asan_report_error becomes invalid.

; RUN: igc_opt -TrivialLocalMemoryOpsElimination -S < %s -o - | FileCheck %s

@__AsanLaunchInfo = external addrspace(3) global i8 addrspace(1)*

define spir_kernel void @test(i8 addrspace(1)* %__asan_launch) {
entry:
; CHECK: store i8 addrspace(1)* %__asan_launch, i8 addrspace(1)* addrspace(3)* @__AsanLaunchInfo, align 8

  store i8 addrspace(1)* %__asan_launch, i8 addrspace(1)* addrspace(3)* @__AsanLaunchInfo, align 8
  ret void
}

define internal spir_func zeroext i8 @asan_report_error() {
entry:
  %0 = load i8 addrspace(1)*, i8 addrspace(1)* addrspace(3)* @__AsanLaunchInfo, align 8
  ret i8 0
}

!igc.functions = !{!0}

!0 = !{void (i8 addrspace(1)*)* @test, !1}
!1 = !{!2}
!2 = !{!"function_type", i32 0}