File: issue100880-mismatched-call-type.ll

package info (click to toggle)
llvm-toolchain-snapshot 1%3A22~%2B%2B20251023025710%2B3f47a7be1ae6-1~exp5
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 2,336,076 kB
  • sloc: cpp: 7,822,956; ansic: 1,531,523; asm: 1,088,291; python: 260,779; f90: 98,765; objc: 70,846; lisp: 47,149; pascal: 17,852; sh: 8,636; ml: 5,111; perl: 4,720; makefile: 3,680; awk: 3,523; javascript: 2,270; xml: 892; fortran: 793
file content (24 lines) | stat: -rw-r--r-- 832 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
 
; RUN: llvm-reduce %s -o %t --abort-on-invalid-reduction --delta-passes=operands-to-args --test FileCheck --test-arg %s --test-arg --check-prefix=INTERESTING --test-arg --input-file
; RUN: FileCheck %s --input-file %t --check-prefix=REDUCED

@a = dso_local global i8 0, align 1
@b = dso_local global i16 0, align 2

; INTERESTING-LABEL: define void @c(
; INTERESTING: sext
; INTERESTING: icmp

; REDUCED: define void @c(ptr %a, i8 %ld0, ptr %b, i16 %ld1, i32 %conv, i32 %conv1, i1 %cmp, i32 %conv2)
; REDUCED: call void @c(i32 noundef signext %conv2)
define void @c() {
entry:
  %ld0 = load i8, ptr @a, align 1
  %conv = zext i8 %ld0 to i32
  %ld1 = load i16, ptr @b, align 2
  %conv1 = sext i16 %ld1 to i32
  %cmp = icmp sge i32 %conv, %conv1
  %conv2 = zext i1 %cmp to i32
  call void @c(i32 noundef signext %conv2)
  ret void
}