1
; RUN: llvm-as < %s | llvm-dis > %t1.ll
2
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
3
; RUN: diff %t1.ll %t2.ll
5
; Test "stripped" format where nothing is symbolic... this is how the bytecode
6
; format looks anyways (except for negative vs positive offsets)...
9
define void @void(i32, i32) {
10
add i32 0, 0 ; <i32>:3 [#uses=2]
11
sub i32 0, 4 ; <i32>:4 [#uses=2]
14
; <label>:5 ; preds = %5, %2
15
add i32 %0, %1 ; <i32>:6 [#uses=2]
16
sub i32 %6, %4 ; <i32>:7 [#uses=1]
17
icmp sle i32 %7, %3 ; <i1>:8 [#uses=1]
18
br i1 %8, label %9, label %5
20
; <label>:9 ; preds = %5
21
add i32 %0, %1 ; <i32>:10 [#uses=0]
22
sub i32 %6, %4 ; <i32>:11 [#uses=1]
23
icmp sle i32 %11, %3 ; <i1>:12 [#uses=0]
27
; This function always returns zero