| Index: test/NaCl/Bitcode/flags.ll
|
| diff --git a/test/NaCl/Bitcode/flags.ll b/test/NaCl/Bitcode/flags.ll
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..0b510e2a48caeae57e3ec9a5afa10212c4ad661d
|
| --- /dev/null
|
| +++ b/test/NaCl/Bitcode/flags.ll
|
| @@ -0,0 +1,17 @@
|
| +; Test that we no longer support the "nuw", "nsw", or the "exact" attributes on
|
| +; binary operators in PNaCl bitcode files, since the PNaClABI doesn't allow
|
| +; these attributes.
|
| +
|
| +; RUN: llvm-as < %s | pnacl-freeze | pnacl-thaw | llvm-dis - \
|
| +; RUN: | FileCheck %s
|
| +
|
| +define void @WrapFlags(i32, i32) {
|
| + %3 = add nuw i32 %0, %1
|
| + %4 = add nsw i32 %0, %1
|
| + %5 = udiv exact i32 %0, %1
|
| + ret void
|
| +}
|
| +
|
| +; CHECK: %3 = add i32 %0, %1
|
| +; CHECK: %4 = add i32 %0, %1
|
| +; CHECK: %5 = udiv i32 %0, %1
|
|
|