1; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s 2 3declare void @free_v() 4 5define void @f(i32* %x, i32 %c32, i32* %y) { 6; CHECK-LABEL: f 7 entry: 8 %v = load i32, i32* %x, !invariant.load !0 9; CHECK: movl (%rdi), %ebx 10; CHECK: free_v 11; CHECK-NOT: movl (%rdi), %ebx 12 call void @free_v() 13 %c = icmp ne i32 %c32, 0 14 br i1 %c, label %left, label %merge 15 16 left: 17 store i32 %v, i32* %y 18 br label %merge 19 20 merge: 21 ret void 22} 23 24!0 = !{} 25