Skip to content
Commit 81908213 authored by Vikram S. Adve's avatar Vikram S. Adve
Browse files

Added support for bitwise logical operators. Use different labels for

for these than for boolean logicals to avoid making Burg diverge.
See Burg manual for more information.

llvm-svn: 1196
parent 03f12f52
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment