32 lines · plain
1; RUN: opt -disable-output -passes="function(print<memoryssa>),cgscc(function-attrs),function(print<memoryssa>)" < %s 2>&1 | FileCheck %s2 3@g = external global i164 5define i16 @fn() {6 %v = load i16, ptr @g7 ret i16 %v8}9 10declare void @fn2(i16)11 12; CHECK-LABEL: MemorySSA for function: test13; CHECK: 1 = MemoryDef(3)14; CHECK-NEXT: %call = call i16 @fn(i32 0)15 16; CHECK-LABEL: MemorySSA for function: test17; CHECK: MemoryUse(2)18; CHECK-NEXT: %call = call i16 @fn(i32 0)19 20define void @test() {21entry:22 br label %loop23 24loop:25 %call = call i16 @fn(i32 0) ; intentional signature mismatch26 call void @fn2(i16 %call)27 br i1 false, label %loop, label %exit28 29exit:30 ret void31}32