File: narrow-load-metadata.ll

package info (click to toggle)
llvm-toolchain-21 1%3A21.1.6-3
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 2,245,028 kB
  • sloc: cpp: 7,619,726; ansic: 1,434,018; asm: 1,058,748; python: 252,740; f90: 94,671; objc: 70,685; lisp: 42,813; pascal: 18,401; sh: 8,601; ml: 5,111; perl: 4,720; makefile: 3,675; awk: 3,523; javascript: 2,409; xml: 892; fortran: 770
file content (25 lines) | stat: -rw-r--r-- 998 bytes parent folder | download | duplicates (3) 
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
 
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; RUN: llc -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
;
; This test case is reduced from RangeConstraintManager.cpp in a ASan build.
; It crashes reduceLoadWidth in DAGCombiner.cpp. Preservation of range
; metadata must ensure that ConstantRange truncation is strictly smaller.

define i8 @narrow_load_metadata(ptr %valptr) {
; CHECK-LABEL: narrow_load_metadata:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    movzbl (%rdi), %eax
; CHECK-NEXT:    movb %al, 4(%rdi)
; CHECK-NEXT:    movl $0, (%rdi)
; CHECK-NEXT:    retq
entry:
  %val = load i8, ptr %valptr, align 4, !range !0, !noundef !1
  %retval.sroa.1.0.insert.ext.i = zext i8 %val to i64
  %retval.sroa.1.0.insert.shift.i = shl i64 %retval.sroa.1.0.insert.ext.i, 32
  %coerce.val.ii = trunc i64 %retval.sroa.1.0.insert.shift.i to i40
  store i40 %coerce.val.ii, ptr %valptr, align 4
  ret i8 %val
}

!0 = !{i8 0, i8 2}
!1 = !{}