llvm/test/Transforms/SCCP/pr35357.ll


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: opt -S %s -passes=ipsccp | FileCheck %s

@a = internal global i32 2

define i32 @patatino() {
; CHECK: @patatino(
; CHECK: call void @f(i32 undef, i32 1)
; CHECK-NEXT: call void @f(i32 2, i32 0)
; CHECK-NEXT: ret i32 0
entry:
  call void @f(i32 undef, i32 1)
  %0 = load i32, ptr @a
  call void @f(i32 %0, i32 0)
  ret i32 0
}

define internal void @f(i32 %c, i32 %d) {
; CHECK: @f(
; CHECK:    ret void
;
entry:
  %cmp = icmp ne i32 %c, %d
  ret void
}