; RUN: opt < %s -S | FileCheck %s | |
; RUN: opt < %s | opt -S -discard-value-names | FileCheck --check-prefix=NONAME %s | |
; CHECK: @GlobalValueName | |
; CHECK: @foo(i32 %in) | |
; CHECK: somelabel: | |
; CHECK: %GV = load i32, i32* @GlobalValueName | |
; CHECK: %add = add i32 %in, %GV | |
; CHECK: ret i32 %add | |
; NONAME: @GlobalValueName | |
; NONAME: @foo(i32) | |
; NONAME-NOT: somelabel: | |
; NONAME: %2 = load i32, i32* @GlobalValueName | |
; NONAME: %3 = add i32 %0, %2 | |
; NONAME: ret i32 %3 | |
@GlobalValueName = global i32 0 | |
define i32 @foo(i32 %in) { | |
somelabel: | |
%GV = load i32, i32* @GlobalValueName | |
%add = add i32 %in, %GV | |
ret i32 %add | |
} |