1; RUN: opt -S %s -passes=ipsccp | FileCheck %s 2 3@a = internal global i32 2 4 5define i32 @patatino() { 6; CHECK: @patatino( 7; CHECK: call void @f(i32 undef, i32 1) 8; CHECK-NEXT: call void @f(i32 2, i32 0) 9; CHECK-NEXT: ret i32 0 10entry: 11 call void @f(i32 undef, i32 1) 12 %0 = load i32, ptr @a 13 call void @f(i32 %0, i32 0) 14 ret i32 0 15} 16 17define internal void @f(i32 %c, i32 %d) { 18; CHECK: @f( 19; CHECK: ret void 20; 21entry: 22 %cmp = icmp ne i32 %c, %d 23 ret void 24} 25