Sign in
fuchsia
/
third_party
/
llvm-project
/
82abd0da80c26fe9afbbd67f2a6653303ab2670f
/
.
/
klee
/
test
/
Concrete
/
UnconditionalBranch.ll
blob: 81e2f93159780ca150f9c99b3f5688c08c60ade5 [
file
] [
log
] [
blame
]
declare
void
@print_i32
(
i32
)
define
i32
@main
()
{
entry
:
%a
=
add
i32
0
,
1
br
label
%exit
exit
:
call
void
@print_i32
(
i32
%a
)
ret
i32
0
}