File: AllocaChecker.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 (41 lines) | stat: -rw-r--r-- 1,316 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
37
38
39
40
41
;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2022 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================

; RUN: igc_opt %s -S -o - -igc-promote-constant-structs | FileCheck %s


%struct.S = type { i64, i64, i64 }

; Function Attrs: convergent nounwind
define void @f0() {
  %x = alloca %struct.S, align 8
  %y = alloca %struct.S*, align 8
  %xe0 = getelementptr inbounds %struct.S, %struct.S* %x, i64 0, i32 0
  store i64 0, i64* %xe0, align 8
  store %struct.S* %x, %struct.S** %y, align 8
  %z = load i64, i64* %xe0, align 8
  %1 = icmp eq i64 %z, 0
  ret void
}

; CHECK-LABEL:  define void @f0
; CHECK:        %x = alloca %struct.S, align 8
; CHECK:        %y = alloca %struct.S*, align 8
; CHECK:        %xe0 = getelementptr inbounds %struct.S, %struct.S* %x, i64 0, i32 0
; CHECK:        store i64 0, i64* %xe0, align 8
; CHECK:        store %struct.S* %x, %struct.S** %y, align 8
; CHECK:        %z = load i64, i64* %xe0, align 8
; CHECK:        %1 = icmp eq i64 %z, 0
; CHECK-NOT:    %1 = icmp eq i64 0, 0
; CHECK:        ret void


; Function Attrs: nounwind
declare void @llvm.memcpy.p0i8.p0i8.i64(i8 * nocapture, i8 * nocapture, i64, i1) #0

attributes #0 = { nounwind }