OLD | NEW |
(Empty) | |
| 1 ; Test that we no longer support the "nuw", "nsw", or the "exact" attributes on |
| 2 ; binary operators in PNaCl bitcode files, since the PNaClABI doesn't allow |
| 3 ; these attributes. |
| 4 |
| 5 ; RUN: llvm-as < %s | pnacl-freeze | pnacl-thaw | llvm-dis - \ |
| 6 ; RUN: | FileCheck %s |
| 7 |
| 8 define void @WrapFlags(i32, i32) { |
| 9 %3 = add nuw i32 %0, %1 |
| 10 %4 = add nsw i32 %0, %1 |
| 11 %5 = udiv exact i32 %0, %1 |
| 12 ret void |
| 13 } |
| 14 |
| 15 ; CHECK: %3 = add i32 %0, %1 |
| 16 ; CHECK: %4 = add i32 %0, %1 |
| 17 ; CHECK: %5 = udiv i32 %0, %1 |
OLD | NEW |