| ; RUN: opt -disable-output -passes="function(print<memoryssa>),cgscc(function-attrs),function(print<memoryssa>)" < %s 2>&1 | FileCheck %s |
| |
| @g = external global i16 |
| |
| define i16 @fn() { |
| %v = load i16, ptr @g |
| ret i16 %v |
| } |
| |
| declare void @fn2(i16) |
| |
| ; CHECK-LABEL: MemorySSA for function: test |
| ; CHECK: 1 = MemoryDef(3) |
| ; CHECK-NEXT: %call = call i16 @fn(i32 0) |
| |
| ; CHECK-LABEL: MemorySSA for function: test |
| ; CHECK: MemoryUse(2) |
| ; CHECK-NEXT: %call = call i16 @fn(i32 0) |
| |
| define void @test() { |
| entry: |
| br label %loop |
| |
| loop: |
| %call = call i16 @fn(i32 0) ; intentional signature mismatch |
| call void @fn2(i16 %call) |
| br i1 false, label %loop, label %exit |
| |
| exit: |
| ret void |
| } |
