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