443 lines · plain
1; RUN: llvm-as < %s | llvm-dis > %t.orig2; RUN: llvm-as < %s | llvm-c-test --echo > %t.echo3; RUN: diff -w %t.orig %t.echo4;5source_filename = "/test/Bindings/echo.ll"6target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"7target triple = "x86_64-apple-macosx10.11.0"8 9module asm "classical GAS"10 11%S = type { i64, ptr }12 13@var = global i32 4214@ext = external global ptr15@cst = constant %S { i64 1, ptr @cst }16@tl = thread_local global { i64, ptr } { i64 1, ptr @cst }17@arr = linkonce_odr global [5 x i8] [ i8 2, i8 3, i8 5, i8 7, i8 11 ]18@str = private unnamed_addr constant [13 x i8] c"hello world\0A\00"19@locStr = private local_unnamed_addr constant [13 x i8] c"hello world\0A\00"20@caLarge = private constant [2 x i128] [ i128 12345, i128 67890 ]21@hidden = hidden global i32 722@protected = protected global i32 2323@section = global i32 27, section ".custom"24@align = global i32 31, align 425@nullptr = global ptr null26 27@const_gep = global ptr getelementptr (i32, ptr @var, i64 2)28@const_inbounds_gep = global ptr getelementptr inbounds (i32, ptr @var, i64 1)29@const_gep_nuw = global ptr getelementptr nuw (i32, ptr @var, i64 1)30@const_gep_nusw = global ptr getelementptr nusw (i32, ptr @var, i64 1)31@const_gep_nuw_inbounds = global ptr getelementptr nuw inbounds (i32, ptr @var, i64 1)32 33@aliased1 = alias i32, ptr @var34@aliased2 = internal alias i32, ptr @var35@aliased3 = external alias i32, ptr @var36@aliased4 = weak alias i32, ptr @var37@aliased5 = weak_odr alias i32, ptr @var38 39@ifunc = ifunc i32 (i32), ptr @ifunc_resolver40 41@ptrauth_addr_disc = global i32 042@ptrauth_data = global i32 043@ptrauth_ptr_01 = global ptr ptrauth (ptr @ptrauth_data, i32 77, i64 1001, ptr @ptrauth_addr_disc)44@ptrauth_ptr_02 = global ptr ptrauth (ptr @ptrauth_data, i32 11, i64 99, ptr null)45 46define ptr @ifunc_resolver() {47entry:48 ret ptr null49}50 51define { i64, ptr } @unpackrepack(%S %s) {52 %1 = extractvalue %S %s, 053 %2 = extractvalue %S %s, 154 %3 = insertvalue { i64, ptr } undef, ptr %2, 155 %4 = insertvalue { i64, ptr } %3, i64 %1, 056 ret { i64, ptr } %457}58 59declare void @decl()60 61; TODO: label and metadata types62define void @types() {63 %1 = alloca half, align 264 %2 = alloca float, align 465 %3 = alloca double, align 866 %4 = alloca x86_fp80, align 1667 %5 = alloca fp128, align 1668 %6 = alloca ppc_fp128, align 1669 %7 = alloca i7, align 170 %8 = alloca ptr, align 871 %9 = alloca [3 x i22], align 472 %10 = alloca ptr addrspace(5), align 873 %11 = alloca <5 x ptr>, align 6474 %12 = alloca <1 x i64>, align 875 ret void76}77 78; Target extension types:79define target("target.ext.1") @target_ext_01(target("target.ext.1") %0) {80 ret target("target.ext.1") %081}82 83define target("target.ext.2", i8, i1) @target_ext_02(target("target.ext.2", i8, i1) %0) {84 ret target("target.ext.2", i8, i1) %085}86 87define target("target.ext.3", 7) @target_ext_03(target("target.ext.3", 7) %0) {88 ret target("target.ext.3", 7) %089}90 91define target("target.ext.4", i1, i32, 7) @target_ext_04(target("target.ext.4", i1, i32, 7) %0) {92 ret target("target.ext.4", i1, i32, 7) %093}94 95define i32 @iops(i32 %a, i32 %b) {96 %1 = add i32 %a, %b97 %2 = mul i32 %a, %198 %3 = sub i32 %2, %199 %4 = udiv i32 %3, %b100 %5 = sdiv i32 %2, %4101 %6 = urem i32 %3, %5102 %7 = srem i32 %2, %6103 %8 = shl i32 %1, %b104 %9 = lshr i32 %a, %7105 %10 = ashr i32 %b, %8106 %11 = and i32 %9, %10107 %12 = or i32 %2, %11108 %13 = xor i32 %12, %4109 %14 = add nuw i32 %13, %a110 %15 = add nsw i32 %14, %b111 %16 = add nuw nsw i32 %15, %a112 %17 = shl nuw i32 %16, %a113 %18 = shl nsw i32 %17, %b114 %19 = shl nuw nsw i32 %18, %a115 %20 = udiv exact i32 %19, %1116 %21 = sdiv exact i32 %20, %2117 %22 = lshr exact i32 %21, %4118 %23 = ashr exact i32 %22, %14119 %24 = zext i32 %23 to i64120 %25 = zext nneg i32 %23 to i64121 %26 = or disjoint i32 %23, %a122 ret i32 %26123}124 125define i32 @call() {126 %1 = call i32 @iops(i32 23, i32 19)127 ret i32 %1128}129 130define i32 @tailcall() {131 %1 = tail call i32 @call()132 ret i32 %1133}134 135define i32 @musttailcall() {136 %1 = musttail call i32 @call()137 ret i32 %1138}139 140define i32 @notailcall() {141 %1 = notail call i32 @call()142 ret i32 %1143}144 145define i32 @call_inline_asm(i32 %0) {146 ; Test Intel syntax147 %2 = tail call i32 asm sideeffect inteldialect "mov $0, $1", "=r,r,~{dirflag},~{fpsr},~{flags}"(i32 %0)148 %3 = tail call i32 asm sideeffect inteldialect "lea $0, [$1+$2]", "=r,r,r,~{dirflag},~{fpsr},~{flags}"(i32 %0, i32 %2)149 %4 = tail call i32 asm inteldialect "mov $0, $1", "=r,r,~{dirflag},~{fpsr},~{flags}"(i32 %3)150 %5 = tail call i32 asm inteldialect unwind "mov $0, $1", "=r,r,~{dirflag},~{fpsr},~{flags}"(i32 %4)151 %6 = tail call i32 asm alignstack inteldialect "mov $0, $1", "=r,r,~{dirflag},~{fpsr},~{flags}"(i32 %5)152 153 ; Test AT&T syntax154 %7 = tail call i32 asm "mov $1, $0", "=r,r,~{dirflag},~{fpsr},~{flags}"(i32 %6)155 %8 = tail call i32 asm sideeffect "mov $1, $0", "=r,r,~{dirflag},~{fpsr},~{flags}"(i32 %7)156 %9 = tail call i32 asm alignstack "mov $1, $0", "=r,r,~{dirflag},~{fpsr},~{flags}"(i32 %8)157 %10 = tail call i32 asm alignstack unwind "mov $1, $0", "=r,r,~{dirflag},~{fpsr},~{flags}"(i32 %9)158 ret i32 %10159}160 161define i32 @cond(i32 %a, i32 %b) {162 br label %br163unreachable:164 unreachable165br:166 %1 = icmp eq i32 %a, %b167 br i1 %1, label %next0, label %unreachable168next0:169 %2 = icmp ne i32 %a, %b170 br i1 %2, label %next1, label %unreachable171next1:172 %3 = icmp ugt i32 %a, %b173 br i1 %3, label %next2, label %unreachable174next2:175 %4 = icmp uge i32 %a, %b176 br i1 %4, label %next3, label %unreachable177next3:178 %5 = icmp ult i32 %a, %b179 br i1 %5, label %next4, label %unreachable180next4:181 %6 = icmp ule i32 %a, %b182 br i1 %6, label %next5, label %unreachable183next5:184 %7 = icmp sgt i32 %a, %b185 br i1 %7, label %next6, label %unreachable186next6:187 %8 = icmp sge i32 %a, %b188 br i1 %8, label %next7, label %unreachable189next7:190 %9 = icmp slt i32 %a, %b191 br i1 %9, label %next8, label %unreachable192next8:193 %10 = icmp sle i32 %a, %b194 br i1 %10, label %next9, label %unreachable195next9:196 ret i32 0197}198 199define i32 @loop(i32 %i) {200 br label %cond201cond:202 %c = phi i32 [ %i, %0 ], [ %j, %do ]203 %p = phi i32 [ %r, %do ], [ 789, %0 ]204 %1 = icmp eq i32 %c, 0205 br i1 %1, label %do, label %done206do:207 %2 = sub i32 %p, 23208 %j = sub i32 %i, 1209 %r = mul i32 %2, 3210 br label %cond211done:212 ret i32 %p213}214 215define void @memops(ptr %ptr) {216 %a = load i8, ptr %ptr217 %b = load volatile i8, ptr %ptr218 %c = load i8, ptr %ptr, align 8219 %d = load atomic i8, ptr %ptr acquire, align 32220 %e = load atomic i8, ptr %ptr syncscope("singlethread") acquire, align 32221 store i8 0, ptr %ptr222 store volatile i8 0, ptr %ptr223 store i8 0, ptr %ptr, align 8224 store atomic i8 0, ptr %ptr release, align 32225 store atomic i8 0, ptr %ptr syncscope("singlethread") release, align 32226 %f = atomicrmw add ptr %ptr, i8 0 monotonic, align 1227 %g = atomicrmw volatile xchg ptr %ptr, i8 0 acq_rel, align 8228 %h = atomicrmw volatile xchg ptr %ptr, i8 0 syncscope("singlethread") acq_rel, align 8229 %i = atomicrmw volatile xchg ptr %ptr, i8 0 syncscope("agent") acq_rel, align 8230 %j = cmpxchg ptr %ptr, i8 1, i8 2 seq_cst acquire, align 1231 %k = cmpxchg weak ptr %ptr, i8 1, i8 2 seq_cst acquire, align 8232 %l = cmpxchg volatile ptr %ptr, i8 1, i8 2 monotonic monotonic, align 16233 %m = cmpxchg volatile ptr %ptr, i8 1, i8 2 syncscope("singlethread") monotonic monotonic, align 16234 %n = cmpxchg volatile ptr %ptr, i8 1, i8 2 syncscope("agent") monotonic monotonic, align 16235 fence syncscope("singlethread") acquire236 fence syncscope("agent") acquire237 ret void238}239 240define i32 @vectorops(i32, i32) {241 %a = insertelement <4 x i32> undef, i32 %0, i32 0242 %b = insertelement <4 x i32> %a, i32 %1, i32 2243 %c = shufflevector <4 x i32> %b, <4 x i32> undef, <4 x i32> zeroinitializer244 %d = shufflevector <4 x i32> %c, <4 x i32> %b, <4 x i32> <i32 1, i32 2, i32 3, i32 0>245 %e = add <4 x i32> %d, %a246 %f = mul <4 x i32> %e, %b247 %g = xor <4 x i32> %f, %d248 %h = or <4 x i32> %f, %e249 %i = lshr <4 x i32> %h, <i32 2, i32 2, i32 2, i32 2>250 %j = shl <4 x i32> %i, <i32 2, i32 3, i32 4, i32 5>251 %k = shufflevector <4 x i32> %j, <4 x i32> %i, <4 x i32> <i32 2, i32 3, i32 undef, i32 undef>252 %m = shufflevector <4 x i32> %k, <4 x i32> undef, <1 x i32> <i32 1>253 %n = shufflevector <4 x i32> %j, <4 x i32> undef, <8 x i32> <i32 0, i32 0, i32 1, i32 2, i32 undef, i32 3, i32 undef, i32 undef>254 %p = extractelement <8 x i32> %n, i32 5255 ret i32 %p256}257 258define i32 @scalablevectorops(i32, <vscale x 4 x i32>) {259 %a = insertelement <vscale x 4 x i32> undef, i32 %0, i32 0260 %b = insertelement <vscale x 4 x i32> %a, i32 %0, i32 2261 %c = shufflevector <vscale x 4 x i32> %b, <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer262 %e = add <vscale x 4 x i32> %a, %1263 %f = mul <vscale x 4 x i32> %e, %b264 %g = xor <vscale x 4 x i32> %f, %e265 %h = or <vscale x 4 x i32> %g, %e266 %i = lshr <vscale x 4 x i32> %h, undef267 %j = extractelement <vscale x 4 x i32> %i, i32 3268 ret i32 %j269}270 271declare void @personalityFn()272 273define void @exn() personality ptr @personalityFn {274entry:275 invoke void @decl()276 to label %via.cleanup unwind label %exn.dispatch277via.cleanup:278 invoke void @decl()279 to label %via.catchswitch unwind label %cleanup.inner280cleanup.inner:281 %cp.inner = cleanuppad within none []282 cleanupret from %cp.inner unwind label %exn.dispatch283via.catchswitch:284 invoke void @decl()285 to label %exit unwind label %dispatch.inner286dispatch.inner:287 %cs.inner = catchswitch within none [label %pad.inner] unwind label %exn.dispatch288pad.inner:289 %catch.inner = catchpad within %cs.inner [i32 0]290 catchret from %catch.inner to label %exit291exn.dispatch:292 %cs = catchswitch within none [label %pad1, label %pad2] unwind label %cleanup293pad1:294 catchpad within %cs [i32 1]295 unreachable296pad2:297 catchpad within %cs [i32 2]298 unreachable299cleanup:300 %cp = cleanuppad within none []301 cleanupret from %cp unwind to caller302exit:303 ret void304}305 306define void @operandbundles() personality ptr @personalityFn {307 call void @decl() [ "foo"(), "bar\00x"(i32 0, ptr null, token none) ]308 invoke void @decl() [ "baz"(label %bar) ] to label %foo unwind label %bar309foo:310 ret void311bar:312 %1 = landingpad { ptr, i32 }313 cleanup314 ret void315}316 317define void @with_debuginfo() !dbg !4 {318 ret void, !dbg !7319}320 321declare ptr @llvm.stacksave()322declare void @llvm.stackrestore(ptr)323declare void @llvm.lifetime.start.p0(i64, ptr)324declare void @llvm.lifetime.end.p0(i64, ptr)325 326define void @test_intrinsics() {327entry:328 %sp = call ptr @llvm.stacksave()329 %0 = alloca i8, align 1330 call void @llvm.lifetime.start.p0(i64 1, ptr %0)331 call void @llvm.lifetime.end.p0(i64 1, ptr %0)332 call void @llvm.stackrestore(ptr %sp)333 ret void334}335 336define void @test_fast_math_flags(i1 %c, float %a, float %b) {337entry:338 %select.f.1 = select i1 %c, float %a, float %b339 %select.f.2 = select nsz i1 %c, float %a, float %b340 %select.f.3 = select fast i1 %c, float %a, float %b341 %select.f.4 = select nnan arcp afn i1 %c, float %a, float %b342 343 br i1 %c, label %choose_a, label %choose_b344 345choose_a:346 br label %final347 348choose_b:349 br label %final350 351final:352 %phi.f.1 = phi float [ %a, %choose_a ], [ %b, %choose_b ]353 %phi.f.2 = phi nsz float [ %a, %choose_a ], [ %b, %choose_b ]354 %phi.f.3 = phi fast float [ %a, %choose_a ], [ %b, %choose_b ]355 %phi.f.4 = phi nnan arcp afn float [ %a, %choose_a ], [ %b, %choose_b ]356 ret void357}358 359define float @test_fast_math_flags_call_inner(float %a) {360 ret float %a361}362 363define void @test_fast_math_flags_call_outer(float %a) {364 %a.1 = call float @test_fast_math_flags_call_inner(float %a)365 %a.2 = call nsz float @test_fast_math_flags_call_inner(float %a)366 %a.3 = call fast float @test_fast_math_flags_call_inner(float %a)367 %a.4 = call nnan arcp afn float @test_fast_math_flags_call_inner(float %a)368 ret void369}370 371define void @test_func_prefix_data_01() prefix i32 123 {372 ret void373}374 375define void @test_func_prefix_data_02() prefix i64 2000 {376 ret void377}378 379%func_prolog_struct = type <{ i8, i8, ptr }>380 381define void @test_func_prologue_data_01() prologue %func_prolog_struct <{ i8 235, i8 8, ptr zeroinitializer}> {382 ret void383}384 385 386define void @test_call_br_01(i32 %input) {387entry:388 callbr void asm "nop", "r,!i"(i32 %input) to label %bb_01 [label %bb_02]389 390bb_01:391 ret void392bb_02:393 ret void394}395 396define void @test_call_br_02(i32 %input0, i32 %input1) {397entry:398 ; Multiple indirect destinations, operand bundles, and arguments399 callbr void asm "nop", "r,r,!i,!i"(i32 %input0, i32 %input1)400 ["op0"(i32 %input1), "op1"(label %bb_02)]401 to label %bb_01 [label %bb_03, label %bb_02]402 403bb_01:404 ret void405bb_02:406 ret void407bb_03:408 ret void409}410 411define ptr @test_gep_no_wrap_flags(ptr %0) {412 %gep.1 = getelementptr i8, ptr %0, i32 4413 %gep.inbounds = getelementptr inbounds i8, ptr %0, i32 4414 %gep.nuw = getelementptr nuw i8, ptr %0, i32 4415 %gep.nuw.inbounds = getelementptr inbounds nuw i8, ptr %0, i32 4416 %gep.nusw = getelementptr nusw i8, ptr %0, i32 4417 ret ptr %gep.nusw418}419 420define void @test_icmp_same_sign(i32 %a, i32 %b) {421 %icmp.1 = icmp eq i32 %a, %b422 %icmp.2 = icmp slt i32 %a, %b423 %icmp.3 = icmp samesign eq i32 %a, %b424 %icmp.4 = icmp samesign slt i32 %a, %b425 ret void426}427 428!llvm.dbg.cu = !{!0, !2}429!llvm.module.flags = !{!3}430 431!0 = distinct !DICompileUnit(language: DW_LANG_C, file: !1, producer: "", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug)432!1 = !DIFile(filename: "echo.ll", directory: "/llvm/test/Bindings/llvm-c/echo.ll")433!2 = distinct !DICompileUnit(language: DW_LANG_C, file: !1, producer: "", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug)434!3 = !{i32 2, !"Debug Info Version", i32 3}435!4 = distinct !DISubprogram(name: "with_debuginfo", linkageName: "_with_debuginfo", scope: null, file: !1, line: 42, type: !5, isLocal: false, isDefinition: true, scopeLine: 1519, flags: DIFlagPrototyped, isOptimized: true, unit: !0, templateParams: !6, retainedNodes: !6)436!5 = !DISubroutineType(types: !6)437!6 = !{}438!7 = !DILocation(line: 42, scope: !8, inlinedAt: !11)439!8 = distinct !DILexicalBlock(scope: !9, file: !1, line: 42, column: 12)440!9 = distinct !DISubprogram(name: "fake_inlined_block", linkageName: "_fake_inlined_block", scope: null, file: !1, line: 82, type: !5, isLocal: false, isDefinition: true, scopeLine: 82, flags: DIFlagPrototyped, isOptimized: true, unit: !2, templateParams: !6, retainedNodes: !6)441!10 = distinct !DILocation(line: 84, scope: !8, inlinedAt: !11)442!11 = !DILocation(line: 42, scope: !4)443