atomic.ll 63 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998
  1. ; RUN: opt < %s -tsan -S | FileCheck %s
  2. ; Check that atomic memory operations are converted to calls into ThreadSanitizer runtime.
  3. target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
  4. define i8 @atomic8_load_unordered(i8* %a) nounwind uwtable {
  5. entry:
  6. %0 = load atomic i8, i8* %a unordered, align 1, !dbg !7
  7. ret i8 %0, !dbg !7
  8. }
  9. ; CHECK-LABEL: atomic8_load_unordered
  10. ; CHECK: call i8 @__tsan_atomic8_load(i8* %a, i32 0), !dbg
  11. define i8 @atomic8_load_monotonic(i8* %a) nounwind uwtable {
  12. entry:
  13. %0 = load atomic i8, i8* %a monotonic, align 1, !dbg !7
  14. ret i8 %0, !dbg !7
  15. }
  16. ; CHECK-LABEL: atomic8_load_monotonic
  17. ; CHECK: call i8 @__tsan_atomic8_load(i8* %a, i32 0), !dbg
  18. define i8 @atomic8_load_acquire(i8* %a) nounwind uwtable {
  19. entry:
  20. %0 = load atomic i8, i8* %a acquire, align 1, !dbg !7
  21. ret i8 %0, !dbg !7
  22. }
  23. ; CHECK-LABEL: atomic8_load_acquire
  24. ; CHECK: call i8 @__tsan_atomic8_load(i8* %a, i32 2), !dbg
  25. define i8 @atomic8_load_seq_cst(i8* %a) nounwind uwtable {
  26. entry:
  27. %0 = load atomic i8, i8* %a seq_cst, align 1, !dbg !7
  28. ret i8 %0, !dbg !7
  29. }
  30. ; CHECK-LABEL: atomic8_load_seq_cst
  31. ; CHECK: call i8 @__tsan_atomic8_load(i8* %a, i32 5), !dbg
  32. define void @atomic8_store_unordered(i8* %a) nounwind uwtable {
  33. entry:
  34. store atomic i8 0, i8* %a unordered, align 1, !dbg !7
  35. ret void, !dbg !7
  36. }
  37. ; CHECK-LABEL: atomic8_store_unordered
  38. ; CHECK: call void @__tsan_atomic8_store(i8* %a, i8 0, i32 0), !dbg
  39. define void @atomic8_store_monotonic(i8* %a) nounwind uwtable {
  40. entry:
  41. store atomic i8 0, i8* %a monotonic, align 1, !dbg !7
  42. ret void, !dbg !7
  43. }
  44. ; CHECK-LABEL: atomic8_store_monotonic
  45. ; CHECK: call void @__tsan_atomic8_store(i8* %a, i8 0, i32 0), !dbg
  46. define void @atomic8_store_release(i8* %a) nounwind uwtable {
  47. entry:
  48. store atomic i8 0, i8* %a release, align 1, !dbg !7
  49. ret void, !dbg !7
  50. }
  51. ; CHECK-LABEL: atomic8_store_release
  52. ; CHECK: call void @__tsan_atomic8_store(i8* %a, i8 0, i32 3), !dbg
  53. define void @atomic8_store_seq_cst(i8* %a) nounwind uwtable {
  54. entry:
  55. store atomic i8 0, i8* %a seq_cst, align 1, !dbg !7
  56. ret void, !dbg !7
  57. }
  58. ; CHECK-LABEL: atomic8_store_seq_cst
  59. ; CHECK: call void @__tsan_atomic8_store(i8* %a, i8 0, i32 5), !dbg
  60. define void @atomic8_xchg_monotonic(i8* %a) nounwind uwtable {
  61. entry:
  62. atomicrmw xchg i8* %a, i8 0 monotonic, !dbg !7
  63. ret void, !dbg !7
  64. }
  65. ; CHECK-LABEL: atomic8_xchg_monotonic
  66. ; CHECK: call i8 @__tsan_atomic8_exchange(i8* %a, i8 0, i32 0), !dbg
  67. define void @atomic8_add_monotonic(i8* %a) nounwind uwtable {
  68. entry:
  69. atomicrmw add i8* %a, i8 0 monotonic, !dbg !7
  70. ret void, !dbg !7
  71. }
  72. ; CHECK-LABEL: atomic8_add_monotonic
  73. ; CHECK: call i8 @__tsan_atomic8_fetch_add(i8* %a, i8 0, i32 0), !dbg
  74. define void @atomic8_sub_monotonic(i8* %a) nounwind uwtable {
  75. entry:
  76. atomicrmw sub i8* %a, i8 0 monotonic, !dbg !7
  77. ret void, !dbg !7
  78. }
  79. ; CHECK-LABEL: atomic8_sub_monotonic
  80. ; CHECK: call i8 @__tsan_atomic8_fetch_sub(i8* %a, i8 0, i32 0), !dbg
  81. define void @atomic8_and_monotonic(i8* %a) nounwind uwtable {
  82. entry:
  83. atomicrmw and i8* %a, i8 0 monotonic, !dbg !7
  84. ret void, !dbg !7
  85. }
  86. ; CHECK-LABEL: atomic8_and_monotonic
  87. ; CHECK: call i8 @__tsan_atomic8_fetch_and(i8* %a, i8 0, i32 0), !dbg
  88. define void @atomic8_or_monotonic(i8* %a) nounwind uwtable {
  89. entry:
  90. atomicrmw or i8* %a, i8 0 monotonic, !dbg !7
  91. ret void, !dbg !7
  92. }
  93. ; CHECK-LABEL: atomic8_or_monotonic
  94. ; CHECK: call i8 @__tsan_atomic8_fetch_or(i8* %a, i8 0, i32 0), !dbg
  95. define void @atomic8_xor_monotonic(i8* %a) nounwind uwtable {
  96. entry:
  97. atomicrmw xor i8* %a, i8 0 monotonic, !dbg !7
  98. ret void, !dbg !7
  99. }
  100. ; CHECK-LABEL: atomic8_xor_monotonic
  101. ; CHECK: call i8 @__tsan_atomic8_fetch_xor(i8* %a, i8 0, i32 0), !dbg
  102. define void @atomic8_nand_monotonic(i8* %a) nounwind uwtable {
  103. entry:
  104. atomicrmw nand i8* %a, i8 0 monotonic, !dbg !7
  105. ret void, !dbg !7
  106. }
  107. ; CHECK-LABEL: atomic8_nand_monotonic
  108. ; CHECK: call i8 @__tsan_atomic8_fetch_nand(i8* %a, i8 0, i32 0), !dbg
  109. define void @atomic8_xchg_acquire(i8* %a) nounwind uwtable {
  110. entry:
  111. atomicrmw xchg i8* %a, i8 0 acquire, !dbg !7
  112. ret void, !dbg !7
  113. }
  114. ; CHECK-LABEL: atomic8_xchg_acquire
  115. ; CHECK: call i8 @__tsan_atomic8_exchange(i8* %a, i8 0, i32 2), !dbg
  116. define void @atomic8_add_acquire(i8* %a) nounwind uwtable {
  117. entry:
  118. atomicrmw add i8* %a, i8 0 acquire, !dbg !7
  119. ret void, !dbg !7
  120. }
  121. ; CHECK-LABEL: atomic8_add_acquire
  122. ; CHECK: call i8 @__tsan_atomic8_fetch_add(i8* %a, i8 0, i32 2), !dbg
  123. define void @atomic8_sub_acquire(i8* %a) nounwind uwtable {
  124. entry:
  125. atomicrmw sub i8* %a, i8 0 acquire, !dbg !7
  126. ret void, !dbg !7
  127. }
  128. ; CHECK-LABEL: atomic8_sub_acquire
  129. ; CHECK: call i8 @__tsan_atomic8_fetch_sub(i8* %a, i8 0, i32 2), !dbg
  130. define void @atomic8_and_acquire(i8* %a) nounwind uwtable {
  131. entry:
  132. atomicrmw and i8* %a, i8 0 acquire, !dbg !7
  133. ret void, !dbg !7
  134. }
  135. ; CHECK-LABEL: atomic8_and_acquire
  136. ; CHECK: call i8 @__tsan_atomic8_fetch_and(i8* %a, i8 0, i32 2), !dbg
  137. define void @atomic8_or_acquire(i8* %a) nounwind uwtable {
  138. entry:
  139. atomicrmw or i8* %a, i8 0 acquire, !dbg !7
  140. ret void, !dbg !7
  141. }
  142. ; CHECK-LABEL: atomic8_or_acquire
  143. ; CHECK: call i8 @__tsan_atomic8_fetch_or(i8* %a, i8 0, i32 2), !dbg
  144. define void @atomic8_xor_acquire(i8* %a) nounwind uwtable {
  145. entry:
  146. atomicrmw xor i8* %a, i8 0 acquire, !dbg !7
  147. ret void, !dbg !7
  148. }
  149. ; CHECK-LABEL: atomic8_xor_acquire
  150. ; CHECK: call i8 @__tsan_atomic8_fetch_xor(i8* %a, i8 0, i32 2), !dbg
  151. define void @atomic8_nand_acquire(i8* %a) nounwind uwtable {
  152. entry:
  153. atomicrmw nand i8* %a, i8 0 acquire, !dbg !7
  154. ret void, !dbg !7
  155. }
  156. ; CHECK-LABEL: atomic8_nand_acquire
  157. ; CHECK: call i8 @__tsan_atomic8_fetch_nand(i8* %a, i8 0, i32 2), !dbg
  158. define void @atomic8_xchg_release(i8* %a) nounwind uwtable {
  159. entry:
  160. atomicrmw xchg i8* %a, i8 0 release, !dbg !7
  161. ret void, !dbg !7
  162. }
  163. ; CHECK-LABEL: atomic8_xchg_release
  164. ; CHECK: call i8 @__tsan_atomic8_exchange(i8* %a, i8 0, i32 3), !dbg
  165. define void @atomic8_add_release(i8* %a) nounwind uwtable {
  166. entry:
  167. atomicrmw add i8* %a, i8 0 release, !dbg !7
  168. ret void, !dbg !7
  169. }
  170. ; CHECK-LABEL: atomic8_add_release
  171. ; CHECK: call i8 @__tsan_atomic8_fetch_add(i8* %a, i8 0, i32 3), !dbg
  172. define void @atomic8_sub_release(i8* %a) nounwind uwtable {
  173. entry:
  174. atomicrmw sub i8* %a, i8 0 release, !dbg !7
  175. ret void, !dbg !7
  176. }
  177. ; CHECK-LABEL: atomic8_sub_release
  178. ; CHECK: call i8 @__tsan_atomic8_fetch_sub(i8* %a, i8 0, i32 3), !dbg
  179. define void @atomic8_and_release(i8* %a) nounwind uwtable {
  180. entry:
  181. atomicrmw and i8* %a, i8 0 release, !dbg !7
  182. ret void, !dbg !7
  183. }
  184. ; CHECK-LABEL: atomic8_and_release
  185. ; CHECK: call i8 @__tsan_atomic8_fetch_and(i8* %a, i8 0, i32 3), !dbg
  186. define void @atomic8_or_release(i8* %a) nounwind uwtable {
  187. entry:
  188. atomicrmw or i8* %a, i8 0 release, !dbg !7
  189. ret void, !dbg !7
  190. }
  191. ; CHECK-LABEL: atomic8_or_release
  192. ; CHECK: call i8 @__tsan_atomic8_fetch_or(i8* %a, i8 0, i32 3), !dbg
  193. define void @atomic8_xor_release(i8* %a) nounwind uwtable {
  194. entry:
  195. atomicrmw xor i8* %a, i8 0 release, !dbg !7
  196. ret void, !dbg !7
  197. }
  198. ; CHECK-LABEL: atomic8_xor_release
  199. ; CHECK: call i8 @__tsan_atomic8_fetch_xor(i8* %a, i8 0, i32 3), !dbg
  200. define void @atomic8_nand_release(i8* %a) nounwind uwtable {
  201. entry:
  202. atomicrmw nand i8* %a, i8 0 release, !dbg !7
  203. ret void, !dbg !7
  204. }
  205. ; CHECK-LABEL: atomic8_nand_release
  206. ; CHECK: call i8 @__tsan_atomic8_fetch_nand(i8* %a, i8 0, i32 3), !dbg
  207. define void @atomic8_xchg_acq_rel(i8* %a) nounwind uwtable {
  208. entry:
  209. atomicrmw xchg i8* %a, i8 0 acq_rel, !dbg !7
  210. ret void, !dbg !7
  211. }
  212. ; CHECK-LABEL: atomic8_xchg_acq_rel
  213. ; CHECK: call i8 @__tsan_atomic8_exchange(i8* %a, i8 0, i32 4), !dbg
  214. define void @atomic8_add_acq_rel(i8* %a) nounwind uwtable {
  215. entry:
  216. atomicrmw add i8* %a, i8 0 acq_rel, !dbg !7
  217. ret void, !dbg !7
  218. }
  219. ; CHECK-LABEL: atomic8_add_acq_rel
  220. ; CHECK: call i8 @__tsan_atomic8_fetch_add(i8* %a, i8 0, i32 4), !dbg
  221. define void @atomic8_sub_acq_rel(i8* %a) nounwind uwtable {
  222. entry:
  223. atomicrmw sub i8* %a, i8 0 acq_rel, !dbg !7
  224. ret void, !dbg !7
  225. }
  226. ; CHECK-LABEL: atomic8_sub_acq_rel
  227. ; CHECK: call i8 @__tsan_atomic8_fetch_sub(i8* %a, i8 0, i32 4), !dbg
  228. define void @atomic8_and_acq_rel(i8* %a) nounwind uwtable {
  229. entry:
  230. atomicrmw and i8* %a, i8 0 acq_rel, !dbg !7
  231. ret void, !dbg !7
  232. }
  233. ; CHECK-LABEL: atomic8_and_acq_rel
  234. ; CHECK: call i8 @__tsan_atomic8_fetch_and(i8* %a, i8 0, i32 4), !dbg
  235. define void @atomic8_or_acq_rel(i8* %a) nounwind uwtable {
  236. entry:
  237. atomicrmw or i8* %a, i8 0 acq_rel, !dbg !7
  238. ret void, !dbg !7
  239. }
  240. ; CHECK-LABEL: atomic8_or_acq_rel
  241. ; CHECK: call i8 @__tsan_atomic8_fetch_or(i8* %a, i8 0, i32 4), !dbg
  242. define void @atomic8_xor_acq_rel(i8* %a) nounwind uwtable {
  243. entry:
  244. atomicrmw xor i8* %a, i8 0 acq_rel, !dbg !7
  245. ret void, !dbg !7
  246. }
  247. ; CHECK-LABEL: atomic8_xor_acq_rel
  248. ; CHECK: call i8 @__tsan_atomic8_fetch_xor(i8* %a, i8 0, i32 4), !dbg
  249. define void @atomic8_nand_acq_rel(i8* %a) nounwind uwtable {
  250. entry:
  251. atomicrmw nand i8* %a, i8 0 acq_rel, !dbg !7
  252. ret void, !dbg !7
  253. }
  254. ; CHECK-LABEL: atomic8_nand_acq_rel
  255. ; CHECK: call i8 @__tsan_atomic8_fetch_nand(i8* %a, i8 0, i32 4), !dbg
  256. define void @atomic8_xchg_seq_cst(i8* %a) nounwind uwtable {
  257. entry:
  258. atomicrmw xchg i8* %a, i8 0 seq_cst, !dbg !7
  259. ret void, !dbg !7
  260. }
  261. ; CHECK-LABEL: atomic8_xchg_seq_cst
  262. ; CHECK: call i8 @__tsan_atomic8_exchange(i8* %a, i8 0, i32 5), !dbg
  263. define void @atomic8_add_seq_cst(i8* %a) nounwind uwtable {
  264. entry:
  265. atomicrmw add i8* %a, i8 0 seq_cst, !dbg !7
  266. ret void, !dbg !7
  267. }
  268. ; CHECK-LABEL: atomic8_add_seq_cst
  269. ; CHECK: call i8 @__tsan_atomic8_fetch_add(i8* %a, i8 0, i32 5), !dbg
  270. define void @atomic8_sub_seq_cst(i8* %a) nounwind uwtable {
  271. entry:
  272. atomicrmw sub i8* %a, i8 0 seq_cst, !dbg !7
  273. ret void, !dbg !7
  274. }
  275. ; CHECK-LABEL: atomic8_sub_seq_cst
  276. ; CHECK: call i8 @__tsan_atomic8_fetch_sub(i8* %a, i8 0, i32 5), !dbg
  277. define void @atomic8_and_seq_cst(i8* %a) nounwind uwtable {
  278. entry:
  279. atomicrmw and i8* %a, i8 0 seq_cst, !dbg !7
  280. ret void, !dbg !7
  281. }
  282. ; CHECK-LABEL: atomic8_and_seq_cst
  283. ; CHECK: call i8 @__tsan_atomic8_fetch_and(i8* %a, i8 0, i32 5), !dbg
  284. define void @atomic8_or_seq_cst(i8* %a) nounwind uwtable {
  285. entry:
  286. atomicrmw or i8* %a, i8 0 seq_cst, !dbg !7
  287. ret void, !dbg !7
  288. }
  289. ; CHECK-LABEL: atomic8_or_seq_cst
  290. ; CHECK: call i8 @__tsan_atomic8_fetch_or(i8* %a, i8 0, i32 5), !dbg
  291. define void @atomic8_xor_seq_cst(i8* %a) nounwind uwtable {
  292. entry:
  293. atomicrmw xor i8* %a, i8 0 seq_cst, !dbg !7
  294. ret void, !dbg !7
  295. }
  296. ; CHECK-LABEL: atomic8_xor_seq_cst
  297. ; CHECK: call i8 @__tsan_atomic8_fetch_xor(i8* %a, i8 0, i32 5), !dbg
  298. define void @atomic8_nand_seq_cst(i8* %a) nounwind uwtable {
  299. entry:
  300. atomicrmw nand i8* %a, i8 0 seq_cst, !dbg !7
  301. ret void, !dbg !7
  302. }
  303. ; CHECK-LABEL: atomic8_nand_seq_cst
  304. ; CHECK: call i8 @__tsan_atomic8_fetch_nand(i8* %a, i8 0, i32 5), !dbg
  305. define void @atomic8_cas_monotonic(i8* %a) nounwind uwtable {
  306. entry:
  307. cmpxchg i8* %a, i8 0, i8 1 monotonic monotonic, !dbg !7
  308. ret void, !dbg !7
  309. }
  310. ; CHECK-LABEL: atomic8_cas_monotonic
  311. ; CHECK: call i8 @__tsan_atomic8_compare_exchange_val(i8* %a, i8 0, i8 1, i32 0, i32 0), !dbg
  312. define void @atomic8_cas_acquire(i8* %a) nounwind uwtable {
  313. entry:
  314. cmpxchg i8* %a, i8 0, i8 1 acquire acquire, !dbg !7
  315. ret void, !dbg !7
  316. }
  317. ; CHECK-LABEL: atomic8_cas_acquire
  318. ; CHECK: call i8 @__tsan_atomic8_compare_exchange_val(i8* %a, i8 0, i8 1, i32 2, i32 2), !dbg
  319. define void @atomic8_cas_release(i8* %a) nounwind uwtable {
  320. entry:
  321. cmpxchg i8* %a, i8 0, i8 1 release monotonic, !dbg !7
  322. ret void, !dbg !7
  323. }
  324. ; CHECK-LABEL: atomic8_cas_release
  325. ; CHECK: call i8 @__tsan_atomic8_compare_exchange_val(i8* %a, i8 0, i8 1, i32 3, i32 0), !dbg
  326. define void @atomic8_cas_acq_rel(i8* %a) nounwind uwtable {
  327. entry:
  328. cmpxchg i8* %a, i8 0, i8 1 acq_rel acquire, !dbg !7
  329. ret void, !dbg !7
  330. }
  331. ; CHECK-LABEL: atomic8_cas_acq_rel
  332. ; CHECK: call i8 @__tsan_atomic8_compare_exchange_val(i8* %a, i8 0, i8 1, i32 4, i32 2), !dbg
  333. define void @atomic8_cas_seq_cst(i8* %a) nounwind uwtable {
  334. entry:
  335. cmpxchg i8* %a, i8 0, i8 1 seq_cst seq_cst, !dbg !7
  336. ret void, !dbg !7
  337. }
  338. ; CHECK-LABEL: atomic8_cas_seq_cst
  339. ; CHECK: call i8 @__tsan_atomic8_compare_exchange_val(i8* %a, i8 0, i8 1, i32 5, i32 5), !dbg
  340. define i16 @atomic16_load_unordered(i16* %a) nounwind uwtable {
  341. entry:
  342. %0 = load atomic i16, i16* %a unordered, align 2, !dbg !7
  343. ret i16 %0, !dbg !7
  344. }
  345. ; CHECK-LABEL: atomic16_load_unordered
  346. ; CHECK: call i16 @__tsan_atomic16_load(i16* %a, i32 0), !dbg
  347. define i16 @atomic16_load_monotonic(i16* %a) nounwind uwtable {
  348. entry:
  349. %0 = load atomic i16, i16* %a monotonic, align 2, !dbg !7
  350. ret i16 %0, !dbg !7
  351. }
  352. ; CHECK-LABEL: atomic16_load_monotonic
  353. ; CHECK: call i16 @__tsan_atomic16_load(i16* %a, i32 0), !dbg
  354. define i16 @atomic16_load_acquire(i16* %a) nounwind uwtable {
  355. entry:
  356. %0 = load atomic i16, i16* %a acquire, align 2, !dbg !7
  357. ret i16 %0, !dbg !7
  358. }
  359. ; CHECK-LABEL: atomic16_load_acquire
  360. ; CHECK: call i16 @__tsan_atomic16_load(i16* %a, i32 2), !dbg
  361. define i16 @atomic16_load_seq_cst(i16* %a) nounwind uwtable {
  362. entry:
  363. %0 = load atomic i16, i16* %a seq_cst, align 2, !dbg !7
  364. ret i16 %0, !dbg !7
  365. }
  366. ; CHECK-LABEL: atomic16_load_seq_cst
  367. ; CHECK: call i16 @__tsan_atomic16_load(i16* %a, i32 5), !dbg
  368. define void @atomic16_store_unordered(i16* %a) nounwind uwtable {
  369. entry:
  370. store atomic i16 0, i16* %a unordered, align 2, !dbg !7
  371. ret void, !dbg !7
  372. }
  373. ; CHECK-LABEL: atomic16_store_unordered
  374. ; CHECK: call void @__tsan_atomic16_store(i16* %a, i16 0, i32 0), !dbg
  375. define void @atomic16_store_monotonic(i16* %a) nounwind uwtable {
  376. entry:
  377. store atomic i16 0, i16* %a monotonic, align 2, !dbg !7
  378. ret void, !dbg !7
  379. }
  380. ; CHECK-LABEL: atomic16_store_monotonic
  381. ; CHECK: call void @__tsan_atomic16_store(i16* %a, i16 0, i32 0), !dbg
  382. define void @atomic16_store_release(i16* %a) nounwind uwtable {
  383. entry:
  384. store atomic i16 0, i16* %a release, align 2, !dbg !7
  385. ret void, !dbg !7
  386. }
  387. ; CHECK-LABEL: atomic16_store_release
  388. ; CHECK: call void @__tsan_atomic16_store(i16* %a, i16 0, i32 3), !dbg
  389. define void @atomic16_store_seq_cst(i16* %a) nounwind uwtable {
  390. entry:
  391. store atomic i16 0, i16* %a seq_cst, align 2, !dbg !7
  392. ret void, !dbg !7
  393. }
  394. ; CHECK-LABEL: atomic16_store_seq_cst
  395. ; CHECK: call void @__tsan_atomic16_store(i16* %a, i16 0, i32 5), !dbg
  396. define void @atomic16_xchg_monotonic(i16* %a) nounwind uwtable {
  397. entry:
  398. atomicrmw xchg i16* %a, i16 0 monotonic, !dbg !7
  399. ret void, !dbg !7
  400. }
  401. ; CHECK-LABEL: atomic16_xchg_monotonic
  402. ; CHECK: call i16 @__tsan_atomic16_exchange(i16* %a, i16 0, i32 0), !dbg
  403. define void @atomic16_add_monotonic(i16* %a) nounwind uwtable {
  404. entry:
  405. atomicrmw add i16* %a, i16 0 monotonic, !dbg !7
  406. ret void, !dbg !7
  407. }
  408. ; CHECK-LABEL: atomic16_add_monotonic
  409. ; CHECK: call i16 @__tsan_atomic16_fetch_add(i16* %a, i16 0, i32 0), !dbg
  410. define void @atomic16_sub_monotonic(i16* %a) nounwind uwtable {
  411. entry:
  412. atomicrmw sub i16* %a, i16 0 monotonic, !dbg !7
  413. ret void, !dbg !7
  414. }
  415. ; CHECK-LABEL: atomic16_sub_monotonic
  416. ; CHECK: call i16 @__tsan_atomic16_fetch_sub(i16* %a, i16 0, i32 0), !dbg
  417. define void @atomic16_and_monotonic(i16* %a) nounwind uwtable {
  418. entry:
  419. atomicrmw and i16* %a, i16 0 monotonic, !dbg !7
  420. ret void, !dbg !7
  421. }
  422. ; CHECK-LABEL: atomic16_and_monotonic
  423. ; CHECK: call i16 @__tsan_atomic16_fetch_and(i16* %a, i16 0, i32 0), !dbg
  424. define void @atomic16_or_monotonic(i16* %a) nounwind uwtable {
  425. entry:
  426. atomicrmw or i16* %a, i16 0 monotonic, !dbg !7
  427. ret void, !dbg !7
  428. }
  429. ; CHECK-LABEL: atomic16_or_monotonic
  430. ; CHECK: call i16 @__tsan_atomic16_fetch_or(i16* %a, i16 0, i32 0), !dbg
  431. define void @atomic16_xor_monotonic(i16* %a) nounwind uwtable {
  432. entry:
  433. atomicrmw xor i16* %a, i16 0 monotonic, !dbg !7
  434. ret void, !dbg !7
  435. }
  436. ; CHECK-LABEL: atomic16_xor_monotonic
  437. ; CHECK: call i16 @__tsan_atomic16_fetch_xor(i16* %a, i16 0, i32 0), !dbg
  438. define void @atomic16_nand_monotonic(i16* %a) nounwind uwtable {
  439. entry:
  440. atomicrmw nand i16* %a, i16 0 monotonic, !dbg !7
  441. ret void, !dbg !7
  442. }
  443. ; CHECK-LABEL: atomic16_nand_monotonic
  444. ; CHECK: call i16 @__tsan_atomic16_fetch_nand(i16* %a, i16 0, i32 0), !dbg
  445. define void @atomic16_xchg_acquire(i16* %a) nounwind uwtable {
  446. entry:
  447. atomicrmw xchg i16* %a, i16 0 acquire, !dbg !7
  448. ret void, !dbg !7
  449. }
  450. ; CHECK-LABEL: atomic16_xchg_acquire
  451. ; CHECK: call i16 @__tsan_atomic16_exchange(i16* %a, i16 0, i32 2), !dbg
  452. define void @atomic16_add_acquire(i16* %a) nounwind uwtable {
  453. entry:
  454. atomicrmw add i16* %a, i16 0 acquire, !dbg !7
  455. ret void, !dbg !7
  456. }
  457. ; CHECK-LABEL: atomic16_add_acquire
  458. ; CHECK: call i16 @__tsan_atomic16_fetch_add(i16* %a, i16 0, i32 2), !dbg
  459. define void @atomic16_sub_acquire(i16* %a) nounwind uwtable {
  460. entry:
  461. atomicrmw sub i16* %a, i16 0 acquire, !dbg !7
  462. ret void, !dbg !7
  463. }
  464. ; CHECK-LABEL: atomic16_sub_acquire
  465. ; CHECK: call i16 @__tsan_atomic16_fetch_sub(i16* %a, i16 0, i32 2), !dbg
  466. define void @atomic16_and_acquire(i16* %a) nounwind uwtable {
  467. entry:
  468. atomicrmw and i16* %a, i16 0 acquire, !dbg !7
  469. ret void, !dbg !7
  470. }
  471. ; CHECK-LABEL: atomic16_and_acquire
  472. ; CHECK: call i16 @__tsan_atomic16_fetch_and(i16* %a, i16 0, i32 2), !dbg
  473. define void @atomic16_or_acquire(i16* %a) nounwind uwtable {
  474. entry:
  475. atomicrmw or i16* %a, i16 0 acquire, !dbg !7
  476. ret void, !dbg !7
  477. }
  478. ; CHECK-LABEL: atomic16_or_acquire
  479. ; CHECK: call i16 @__tsan_atomic16_fetch_or(i16* %a, i16 0, i32 2), !dbg
  480. define void @atomic16_xor_acquire(i16* %a) nounwind uwtable {
  481. entry:
  482. atomicrmw xor i16* %a, i16 0 acquire, !dbg !7
  483. ret void, !dbg !7
  484. }
  485. ; CHECK-LABEL: atomic16_xor_acquire
  486. ; CHECK: call i16 @__tsan_atomic16_fetch_xor(i16* %a, i16 0, i32 2), !dbg
  487. define void @atomic16_nand_acquire(i16* %a) nounwind uwtable {
  488. entry:
  489. atomicrmw nand i16* %a, i16 0 acquire, !dbg !7
  490. ret void, !dbg !7
  491. }
  492. ; CHECK-LABEL: atomic16_nand_acquire
  493. ; CHECK: call i16 @__tsan_atomic16_fetch_nand(i16* %a, i16 0, i32 2), !dbg
  494. define void @atomic16_xchg_release(i16* %a) nounwind uwtable {
  495. entry:
  496. atomicrmw xchg i16* %a, i16 0 release, !dbg !7
  497. ret void, !dbg !7
  498. }
  499. ; CHECK-LABEL: atomic16_xchg_release
  500. ; CHECK: call i16 @__tsan_atomic16_exchange(i16* %a, i16 0, i32 3), !dbg
  501. define void @atomic16_add_release(i16* %a) nounwind uwtable {
  502. entry:
  503. atomicrmw add i16* %a, i16 0 release, !dbg !7
  504. ret void, !dbg !7
  505. }
  506. ; CHECK-LABEL: atomic16_add_release
  507. ; CHECK: call i16 @__tsan_atomic16_fetch_add(i16* %a, i16 0, i32 3), !dbg
  508. define void @atomic16_sub_release(i16* %a) nounwind uwtable {
  509. entry:
  510. atomicrmw sub i16* %a, i16 0 release, !dbg !7
  511. ret void, !dbg !7
  512. }
  513. ; CHECK-LABEL: atomic16_sub_release
  514. ; CHECK: call i16 @__tsan_atomic16_fetch_sub(i16* %a, i16 0, i32 3), !dbg
  515. define void @atomic16_and_release(i16* %a) nounwind uwtable {
  516. entry:
  517. atomicrmw and i16* %a, i16 0 release, !dbg !7
  518. ret void, !dbg !7
  519. }
  520. ; CHECK-LABEL: atomic16_and_release
  521. ; CHECK: call i16 @__tsan_atomic16_fetch_and(i16* %a, i16 0, i32 3), !dbg
  522. define void @atomic16_or_release(i16* %a) nounwind uwtable {
  523. entry:
  524. atomicrmw or i16* %a, i16 0 release, !dbg !7
  525. ret void, !dbg !7
  526. }
  527. ; CHECK-LABEL: atomic16_or_release
  528. ; CHECK: call i16 @__tsan_atomic16_fetch_or(i16* %a, i16 0, i32 3), !dbg
  529. define void @atomic16_xor_release(i16* %a) nounwind uwtable {
  530. entry:
  531. atomicrmw xor i16* %a, i16 0 release, !dbg !7
  532. ret void, !dbg !7
  533. }
  534. ; CHECK-LABEL: atomic16_xor_release
  535. ; CHECK: call i16 @__tsan_atomic16_fetch_xor(i16* %a, i16 0, i32 3), !dbg
  536. define void @atomic16_nand_release(i16* %a) nounwind uwtable {
  537. entry:
  538. atomicrmw nand i16* %a, i16 0 release, !dbg !7
  539. ret void, !dbg !7
  540. }
  541. ; CHECK-LABEL: atomic16_nand_release
  542. ; CHECK: call i16 @__tsan_atomic16_fetch_nand(i16* %a, i16 0, i32 3), !dbg
  543. define void @atomic16_xchg_acq_rel(i16* %a) nounwind uwtable {
  544. entry:
  545. atomicrmw xchg i16* %a, i16 0 acq_rel, !dbg !7
  546. ret void, !dbg !7
  547. }
  548. ; CHECK-LABEL: atomic16_xchg_acq_rel
  549. ; CHECK: call i16 @__tsan_atomic16_exchange(i16* %a, i16 0, i32 4), !dbg
  550. define void @atomic16_add_acq_rel(i16* %a) nounwind uwtable {
  551. entry:
  552. atomicrmw add i16* %a, i16 0 acq_rel, !dbg !7
  553. ret void, !dbg !7
  554. }
  555. ; CHECK-LABEL: atomic16_add_acq_rel
  556. ; CHECK: call i16 @__tsan_atomic16_fetch_add(i16* %a, i16 0, i32 4), !dbg
  557. define void @atomic16_sub_acq_rel(i16* %a) nounwind uwtable {
  558. entry:
  559. atomicrmw sub i16* %a, i16 0 acq_rel, !dbg !7
  560. ret void, !dbg !7
  561. }
  562. ; CHECK-LABEL: atomic16_sub_acq_rel
  563. ; CHECK: call i16 @__tsan_atomic16_fetch_sub(i16* %a, i16 0, i32 4), !dbg
  564. define void @atomic16_and_acq_rel(i16* %a) nounwind uwtable {
  565. entry:
  566. atomicrmw and i16* %a, i16 0 acq_rel, !dbg !7
  567. ret void, !dbg !7
  568. }
  569. ; CHECK-LABEL: atomic16_and_acq_rel
  570. ; CHECK: call i16 @__tsan_atomic16_fetch_and(i16* %a, i16 0, i32 4), !dbg
  571. define void @atomic16_or_acq_rel(i16* %a) nounwind uwtable {
  572. entry:
  573. atomicrmw or i16* %a, i16 0 acq_rel, !dbg !7
  574. ret void, !dbg !7
  575. }
  576. ; CHECK-LABEL: atomic16_or_acq_rel
  577. ; CHECK: call i16 @__tsan_atomic16_fetch_or(i16* %a, i16 0, i32 4), !dbg
  578. define void @atomic16_xor_acq_rel(i16* %a) nounwind uwtable {
  579. entry:
  580. atomicrmw xor i16* %a, i16 0 acq_rel, !dbg !7
  581. ret void, !dbg !7
  582. }
  583. ; CHECK-LABEL: atomic16_xor_acq_rel
  584. ; CHECK: call i16 @__tsan_atomic16_fetch_xor(i16* %a, i16 0, i32 4), !dbg
  585. define void @atomic16_nand_acq_rel(i16* %a) nounwind uwtable {
  586. entry:
  587. atomicrmw nand i16* %a, i16 0 acq_rel, !dbg !7
  588. ret void, !dbg !7
  589. }
  590. ; CHECK-LABEL: atomic16_nand_acq_rel
  591. ; CHECK: call i16 @__tsan_atomic16_fetch_nand(i16* %a, i16 0, i32 4), !dbg
  592. define void @atomic16_xchg_seq_cst(i16* %a) nounwind uwtable {
  593. entry:
  594. atomicrmw xchg i16* %a, i16 0 seq_cst, !dbg !7
  595. ret void, !dbg !7
  596. }
  597. ; CHECK-LABEL: atomic16_xchg_seq_cst
  598. ; CHECK: call i16 @__tsan_atomic16_exchange(i16* %a, i16 0, i32 5), !dbg
  599. define void @atomic16_add_seq_cst(i16* %a) nounwind uwtable {
  600. entry:
  601. atomicrmw add i16* %a, i16 0 seq_cst, !dbg !7
  602. ret void, !dbg !7
  603. }
  604. ; CHECK-LABEL: atomic16_add_seq_cst
  605. ; CHECK: call i16 @__tsan_atomic16_fetch_add(i16* %a, i16 0, i32 5), !dbg
  606. define void @atomic16_sub_seq_cst(i16* %a) nounwind uwtable {
  607. entry:
  608. atomicrmw sub i16* %a, i16 0 seq_cst, !dbg !7
  609. ret void, !dbg !7
  610. }
  611. ; CHECK-LABEL: atomic16_sub_seq_cst
  612. ; CHECK: call i16 @__tsan_atomic16_fetch_sub(i16* %a, i16 0, i32 5), !dbg
  613. define void @atomic16_and_seq_cst(i16* %a) nounwind uwtable {
  614. entry:
  615. atomicrmw and i16* %a, i16 0 seq_cst, !dbg !7
  616. ret void, !dbg !7
  617. }
  618. ; CHECK-LABEL: atomic16_and_seq_cst
  619. ; CHECK: call i16 @__tsan_atomic16_fetch_and(i16* %a, i16 0, i32 5), !dbg
  620. define void @atomic16_or_seq_cst(i16* %a) nounwind uwtable {
  621. entry:
  622. atomicrmw or i16* %a, i16 0 seq_cst, !dbg !7
  623. ret void, !dbg !7
  624. }
  625. ; CHECK-LABEL: atomic16_or_seq_cst
  626. ; CHECK: call i16 @__tsan_atomic16_fetch_or(i16* %a, i16 0, i32 5), !dbg
  627. define void @atomic16_xor_seq_cst(i16* %a) nounwind uwtable {
  628. entry:
  629. atomicrmw xor i16* %a, i16 0 seq_cst, !dbg !7
  630. ret void, !dbg !7
  631. }
  632. ; CHECK-LABEL: atomic16_xor_seq_cst
  633. ; CHECK: call i16 @__tsan_atomic16_fetch_xor(i16* %a, i16 0, i32 5), !dbg
  634. define void @atomic16_nand_seq_cst(i16* %a) nounwind uwtable {
  635. entry:
  636. atomicrmw nand i16* %a, i16 0 seq_cst, !dbg !7
  637. ret void, !dbg !7
  638. }
  639. ; CHECK-LABEL: atomic16_nand_seq_cst
  640. ; CHECK: call i16 @__tsan_atomic16_fetch_nand(i16* %a, i16 0, i32 5), !dbg
  641. define void @atomic16_cas_monotonic(i16* %a) nounwind uwtable {
  642. entry:
  643. cmpxchg i16* %a, i16 0, i16 1 monotonic monotonic, !dbg !7
  644. ret void, !dbg !7
  645. }
  646. ; CHECK-LABEL: atomic16_cas_monotonic
  647. ; CHECK: call i16 @__tsan_atomic16_compare_exchange_val(i16* %a, i16 0, i16 1, i32 0, i32 0), !dbg
  648. define void @atomic16_cas_acquire(i16* %a) nounwind uwtable {
  649. entry:
  650. cmpxchg i16* %a, i16 0, i16 1 acquire acquire, !dbg !7
  651. ret void, !dbg !7
  652. }
  653. ; CHECK-LABEL: atomic16_cas_acquire
  654. ; CHECK: call i16 @__tsan_atomic16_compare_exchange_val(i16* %a, i16 0, i16 1, i32 2, i32 2), !dbg
  655. define void @atomic16_cas_release(i16* %a) nounwind uwtable {
  656. entry:
  657. cmpxchg i16* %a, i16 0, i16 1 release monotonic, !dbg !7
  658. ret void, !dbg !7
  659. }
  660. ; CHECK-LABEL: atomic16_cas_release
  661. ; CHECK: call i16 @__tsan_atomic16_compare_exchange_val(i16* %a, i16 0, i16 1, i32 3, i32 0), !dbg
  662. define void @atomic16_cas_acq_rel(i16* %a) nounwind uwtable {
  663. entry:
  664. cmpxchg i16* %a, i16 0, i16 1 acq_rel acquire, !dbg !7
  665. ret void, !dbg !7
  666. }
  667. ; CHECK-LABEL: atomic16_cas_acq_rel
  668. ; CHECK: call i16 @__tsan_atomic16_compare_exchange_val(i16* %a, i16 0, i16 1, i32 4, i32 2), !dbg
  669. define void @atomic16_cas_seq_cst(i16* %a) nounwind uwtable {
  670. entry:
  671. cmpxchg i16* %a, i16 0, i16 1 seq_cst seq_cst, !dbg !7
  672. ret void, !dbg !7
  673. }
  674. ; CHECK-LABEL: atomic16_cas_seq_cst
  675. ; CHECK: call i16 @__tsan_atomic16_compare_exchange_val(i16* %a, i16 0, i16 1, i32 5, i32 5), !dbg
  676. define i32 @atomic32_load_unordered(i32* %a) nounwind uwtable {
  677. entry:
  678. %0 = load atomic i32, i32* %a unordered, align 4, !dbg !7
  679. ret i32 %0, !dbg !7
  680. }
  681. ; CHECK-LABEL: atomic32_load_unordered
  682. ; CHECK: call i32 @__tsan_atomic32_load(i32* %a, i32 0), !dbg
  683. define i32 @atomic32_load_monotonic(i32* %a) nounwind uwtable {
  684. entry:
  685. %0 = load atomic i32, i32* %a monotonic, align 4, !dbg !7
  686. ret i32 %0, !dbg !7
  687. }
  688. ; CHECK-LABEL: atomic32_load_monotonic
  689. ; CHECK: call i32 @__tsan_atomic32_load(i32* %a, i32 0), !dbg
  690. define i32 @atomic32_load_acquire(i32* %a) nounwind uwtable {
  691. entry:
  692. %0 = load atomic i32, i32* %a acquire, align 4, !dbg !7
  693. ret i32 %0, !dbg !7
  694. }
  695. ; CHECK-LABEL: atomic32_load_acquire
  696. ; CHECK: call i32 @__tsan_atomic32_load(i32* %a, i32 2), !dbg
  697. define i32 @atomic32_load_seq_cst(i32* %a) nounwind uwtable {
  698. entry:
  699. %0 = load atomic i32, i32* %a seq_cst, align 4, !dbg !7
  700. ret i32 %0, !dbg !7
  701. }
  702. ; CHECK-LABEL: atomic32_load_seq_cst
  703. ; CHECK: call i32 @__tsan_atomic32_load(i32* %a, i32 5), !dbg
  704. define void @atomic32_store_unordered(i32* %a) nounwind uwtable {
  705. entry:
  706. store atomic i32 0, i32* %a unordered, align 4, !dbg !7
  707. ret void, !dbg !7
  708. }
  709. ; CHECK-LABEL: atomic32_store_unordered
  710. ; CHECK: call void @__tsan_atomic32_store(i32* %a, i32 0, i32 0), !dbg
  711. define void @atomic32_store_monotonic(i32* %a) nounwind uwtable {
  712. entry:
  713. store atomic i32 0, i32* %a monotonic, align 4, !dbg !7
  714. ret void, !dbg !7
  715. }
  716. ; CHECK-LABEL: atomic32_store_monotonic
  717. ; CHECK: call void @__tsan_atomic32_store(i32* %a, i32 0, i32 0), !dbg
  718. define void @atomic32_store_release(i32* %a) nounwind uwtable {
  719. entry:
  720. store atomic i32 0, i32* %a release, align 4, !dbg !7
  721. ret void, !dbg !7
  722. }
  723. ; CHECK-LABEL: atomic32_store_release
  724. ; CHECK: call void @__tsan_atomic32_store(i32* %a, i32 0, i32 3), !dbg
  725. define void @atomic32_store_seq_cst(i32* %a) nounwind uwtable {
  726. entry:
  727. store atomic i32 0, i32* %a seq_cst, align 4, !dbg !7
  728. ret void, !dbg !7
  729. }
  730. ; CHECK-LABEL: atomic32_store_seq_cst
  731. ; CHECK: call void @__tsan_atomic32_store(i32* %a, i32 0, i32 5), !dbg
  732. define void @atomic32_xchg_monotonic(i32* %a) nounwind uwtable {
  733. entry:
  734. atomicrmw xchg i32* %a, i32 0 monotonic, !dbg !7
  735. ret void, !dbg !7
  736. }
  737. ; CHECK-LABEL: atomic32_xchg_monotonic
  738. ; CHECK: call i32 @__tsan_atomic32_exchange(i32* %a, i32 0, i32 0), !dbg
  739. define void @atomic32_add_monotonic(i32* %a) nounwind uwtable {
  740. entry:
  741. atomicrmw add i32* %a, i32 0 monotonic, !dbg !7
  742. ret void, !dbg !7
  743. }
  744. ; CHECK-LABEL: atomic32_add_monotonic
  745. ; CHECK: call i32 @__tsan_atomic32_fetch_add(i32* %a, i32 0, i32 0), !dbg
  746. define void @atomic32_sub_monotonic(i32* %a) nounwind uwtable {
  747. entry:
  748. atomicrmw sub i32* %a, i32 0 monotonic, !dbg !7
  749. ret void, !dbg !7
  750. }
  751. ; CHECK-LABEL: atomic32_sub_monotonic
  752. ; CHECK: call i32 @__tsan_atomic32_fetch_sub(i32* %a, i32 0, i32 0), !dbg
  753. define void @atomic32_and_monotonic(i32* %a) nounwind uwtable {
  754. entry:
  755. atomicrmw and i32* %a, i32 0 monotonic, !dbg !7
  756. ret void, !dbg !7
  757. }
  758. ; CHECK-LABEL: atomic32_and_monotonic
  759. ; CHECK: call i32 @__tsan_atomic32_fetch_and(i32* %a, i32 0, i32 0), !dbg
  760. define void @atomic32_or_monotonic(i32* %a) nounwind uwtable {
  761. entry:
  762. atomicrmw or i32* %a, i32 0 monotonic, !dbg !7
  763. ret void, !dbg !7
  764. }
  765. ; CHECK-LABEL: atomic32_or_monotonic
  766. ; CHECK: call i32 @__tsan_atomic32_fetch_or(i32* %a, i32 0, i32 0), !dbg
  767. define void @atomic32_xor_monotonic(i32* %a) nounwind uwtable {
  768. entry:
  769. atomicrmw xor i32* %a, i32 0 monotonic, !dbg !7
  770. ret void, !dbg !7
  771. }
  772. ; CHECK-LABEL: atomic32_xor_monotonic
  773. ; CHECK: call i32 @__tsan_atomic32_fetch_xor(i32* %a, i32 0, i32 0), !dbg
  774. define void @atomic32_nand_monotonic(i32* %a) nounwind uwtable {
  775. entry:
  776. atomicrmw nand i32* %a, i32 0 monotonic, !dbg !7
  777. ret void, !dbg !7
  778. }
  779. ; CHECK-LABEL: atomic32_nand_monotonic
  780. ; CHECK: call i32 @__tsan_atomic32_fetch_nand(i32* %a, i32 0, i32 0), !dbg
  781. define void @atomic32_xchg_acquire(i32* %a) nounwind uwtable {
  782. entry:
  783. atomicrmw xchg i32* %a, i32 0 acquire, !dbg !7
  784. ret void, !dbg !7
  785. }
  786. ; CHECK-LABEL: atomic32_xchg_acquire
  787. ; CHECK: call i32 @__tsan_atomic32_exchange(i32* %a, i32 0, i32 2), !dbg
  788. define void @atomic32_add_acquire(i32* %a) nounwind uwtable {
  789. entry:
  790. atomicrmw add i32* %a, i32 0 acquire, !dbg !7
  791. ret void, !dbg !7
  792. }
  793. ; CHECK-LABEL: atomic32_add_acquire
  794. ; CHECK: call i32 @__tsan_atomic32_fetch_add(i32* %a, i32 0, i32 2), !dbg
  795. define void @atomic32_sub_acquire(i32* %a) nounwind uwtable {
  796. entry:
  797. atomicrmw sub i32* %a, i32 0 acquire, !dbg !7
  798. ret void, !dbg !7
  799. }
  800. ; CHECK-LABEL: atomic32_sub_acquire
  801. ; CHECK: call i32 @__tsan_atomic32_fetch_sub(i32* %a, i32 0, i32 2), !dbg
  802. define void @atomic32_and_acquire(i32* %a) nounwind uwtable {
  803. entry:
  804. atomicrmw and i32* %a, i32 0 acquire, !dbg !7
  805. ret void, !dbg !7
  806. }
  807. ; CHECK-LABEL: atomic32_and_acquire
  808. ; CHECK: call i32 @__tsan_atomic32_fetch_and(i32* %a, i32 0, i32 2), !dbg
  809. define void @atomic32_or_acquire(i32* %a) nounwind uwtable {
  810. entry:
  811. atomicrmw or i32* %a, i32 0 acquire, !dbg !7
  812. ret void, !dbg !7
  813. }
  814. ; CHECK-LABEL: atomic32_or_acquire
  815. ; CHECK: call i32 @__tsan_atomic32_fetch_or(i32* %a, i32 0, i32 2), !dbg
  816. define void @atomic32_xor_acquire(i32* %a) nounwind uwtable {
  817. entry:
  818. atomicrmw xor i32* %a, i32 0 acquire, !dbg !7
  819. ret void, !dbg !7
  820. }
  821. ; CHECK-LABEL: atomic32_xor_acquire
  822. ; CHECK: call i32 @__tsan_atomic32_fetch_xor(i32* %a, i32 0, i32 2), !dbg
  823. define void @atomic32_nand_acquire(i32* %a) nounwind uwtable {
  824. entry:
  825. atomicrmw nand i32* %a, i32 0 acquire, !dbg !7
  826. ret void, !dbg !7
  827. }
  828. ; CHECK-LABEL: atomic32_nand_acquire
  829. ; CHECK: call i32 @__tsan_atomic32_fetch_nand(i32* %a, i32 0, i32 2), !dbg
  830. define void @atomic32_xchg_release(i32* %a) nounwind uwtable {
  831. entry:
  832. atomicrmw xchg i32* %a, i32 0 release, !dbg !7
  833. ret void, !dbg !7
  834. }
  835. ; CHECK-LABEL: atomic32_xchg_release
  836. ; CHECK: call i32 @__tsan_atomic32_exchange(i32* %a, i32 0, i32 3), !dbg
  837. define void @atomic32_add_release(i32* %a) nounwind uwtable {
  838. entry:
  839. atomicrmw add i32* %a, i32 0 release, !dbg !7
  840. ret void, !dbg !7
  841. }
  842. ; CHECK-LABEL: atomic32_add_release
  843. ; CHECK: call i32 @__tsan_atomic32_fetch_add(i32* %a, i32 0, i32 3), !dbg
  844. define void @atomic32_sub_release(i32* %a) nounwind uwtable {
  845. entry:
  846. atomicrmw sub i32* %a, i32 0 release, !dbg !7
  847. ret void, !dbg !7
  848. }
  849. ; CHECK-LABEL: atomic32_sub_release
  850. ; CHECK: call i32 @__tsan_atomic32_fetch_sub(i32* %a, i32 0, i32 3), !dbg
  851. define void @atomic32_and_release(i32* %a) nounwind uwtable {
  852. entry:
  853. atomicrmw and i32* %a, i32 0 release, !dbg !7
  854. ret void, !dbg !7
  855. }
  856. ; CHECK-LABEL: atomic32_and_release
  857. ; CHECK: call i32 @__tsan_atomic32_fetch_and(i32* %a, i32 0, i32 3), !dbg
  858. define void @atomic32_or_release(i32* %a) nounwind uwtable {
  859. entry:
  860. atomicrmw or i32* %a, i32 0 release, !dbg !7
  861. ret void, !dbg !7
  862. }
  863. ; CHECK-LABEL: atomic32_or_release
  864. ; CHECK: call i32 @__tsan_atomic32_fetch_or(i32* %a, i32 0, i32 3), !dbg
  865. define void @atomic32_xor_release(i32* %a) nounwind uwtable {
  866. entry:
  867. atomicrmw xor i32* %a, i32 0 release, !dbg !7
  868. ret void, !dbg !7
  869. }
  870. ; CHECK-LABEL: atomic32_xor_release
  871. ; CHECK: call i32 @__tsan_atomic32_fetch_xor(i32* %a, i32 0, i32 3), !dbg
  872. define void @atomic32_nand_release(i32* %a) nounwind uwtable {
  873. entry:
  874. atomicrmw nand i32* %a, i32 0 release, !dbg !7
  875. ret void, !dbg !7
  876. }
  877. ; CHECK-LABEL: atomic32_nand_release
  878. ; CHECK: call i32 @__tsan_atomic32_fetch_nand(i32* %a, i32 0, i32 3), !dbg
  879. define void @atomic32_xchg_acq_rel(i32* %a) nounwind uwtable {
  880. entry:
  881. atomicrmw xchg i32* %a, i32 0 acq_rel, !dbg !7
  882. ret void, !dbg !7
  883. }
  884. ; CHECK-LABEL: atomic32_xchg_acq_rel
  885. ; CHECK: call i32 @__tsan_atomic32_exchange(i32* %a, i32 0, i32 4), !dbg
  886. define void @atomic32_add_acq_rel(i32* %a) nounwind uwtable {
  887. entry:
  888. atomicrmw add i32* %a, i32 0 acq_rel, !dbg !7
  889. ret void, !dbg !7
  890. }
  891. ; CHECK-LABEL: atomic32_add_acq_rel
  892. ; CHECK: call i32 @__tsan_atomic32_fetch_add(i32* %a, i32 0, i32 4), !dbg
  893. define void @atomic32_sub_acq_rel(i32* %a) nounwind uwtable {
  894. entry:
  895. atomicrmw sub i32* %a, i32 0 acq_rel, !dbg !7
  896. ret void, !dbg !7
  897. }
  898. ; CHECK-LABEL: atomic32_sub_acq_rel
  899. ; CHECK: call i32 @__tsan_atomic32_fetch_sub(i32* %a, i32 0, i32 4), !dbg
  900. define void @atomic32_and_acq_rel(i32* %a) nounwind uwtable {
  901. entry:
  902. atomicrmw and i32* %a, i32 0 acq_rel, !dbg !7
  903. ret void, !dbg !7
  904. }
  905. ; CHECK-LABEL: atomic32_and_acq_rel
  906. ; CHECK: call i32 @__tsan_atomic32_fetch_and(i32* %a, i32 0, i32 4), !dbg
  907. define void @atomic32_or_acq_rel(i32* %a) nounwind uwtable {
  908. entry:
  909. atomicrmw or i32* %a, i32 0 acq_rel, !dbg !7
  910. ret void, !dbg !7
  911. }
  912. ; CHECK-LABEL: atomic32_or_acq_rel
  913. ; CHECK: call i32 @__tsan_atomic32_fetch_or(i32* %a, i32 0, i32 4), !dbg
  914. define void @atomic32_xor_acq_rel(i32* %a) nounwind uwtable {
  915. entry:
  916. atomicrmw xor i32* %a, i32 0 acq_rel, !dbg !7
  917. ret void, !dbg !7
  918. }
  919. ; CHECK-LABEL: atomic32_xor_acq_rel
  920. ; CHECK: call i32 @__tsan_atomic32_fetch_xor(i32* %a, i32 0, i32 4), !dbg
  921. define void @atomic32_nand_acq_rel(i32* %a) nounwind uwtable {
  922. entry:
  923. atomicrmw nand i32* %a, i32 0 acq_rel, !dbg !7
  924. ret void, !dbg !7
  925. }
  926. ; CHECK-LABEL: atomic32_nand_acq_rel
  927. ; CHECK: call i32 @__tsan_atomic32_fetch_nand(i32* %a, i32 0, i32 4), !dbg
  928. define void @atomic32_xchg_seq_cst(i32* %a) nounwind uwtable {
  929. entry:
  930. atomicrmw xchg i32* %a, i32 0 seq_cst, !dbg !7
  931. ret void, !dbg !7
  932. }
  933. ; CHECK-LABEL: atomic32_xchg_seq_cst
  934. ; CHECK: call i32 @__tsan_atomic32_exchange(i32* %a, i32 0, i32 5), !dbg
  935. define void @atomic32_add_seq_cst(i32* %a) nounwind uwtable {
  936. entry:
  937. atomicrmw add i32* %a, i32 0 seq_cst, !dbg !7
  938. ret void, !dbg !7
  939. }
  940. ; CHECK-LABEL: atomic32_add_seq_cst
  941. ; CHECK: call i32 @__tsan_atomic32_fetch_add(i32* %a, i32 0, i32 5), !dbg
  942. define void @atomic32_sub_seq_cst(i32* %a) nounwind uwtable {
  943. entry:
  944. atomicrmw sub i32* %a, i32 0 seq_cst, !dbg !7
  945. ret void, !dbg !7
  946. }
  947. ; CHECK-LABEL: atomic32_sub_seq_cst
  948. ; CHECK: call i32 @__tsan_atomic32_fetch_sub(i32* %a, i32 0, i32 5), !dbg
  949. define void @atomic32_and_seq_cst(i32* %a) nounwind uwtable {
  950. entry:
  951. atomicrmw and i32* %a, i32 0 seq_cst, !dbg !7
  952. ret void, !dbg !7
  953. }
  954. ; CHECK-LABEL: atomic32_and_seq_cst
  955. ; CHECK: call i32 @__tsan_atomic32_fetch_and(i32* %a, i32 0, i32 5), !dbg
  956. define void @atomic32_or_seq_cst(i32* %a) nounwind uwtable {
  957. entry:
  958. atomicrmw or i32* %a, i32 0 seq_cst, !dbg !7
  959. ret void, !dbg !7
  960. }
  961. ; CHECK-LABEL: atomic32_or_seq_cst
  962. ; CHECK: call i32 @__tsan_atomic32_fetch_or(i32* %a, i32 0, i32 5), !dbg
  963. define void @atomic32_xor_seq_cst(i32* %a) nounwind uwtable {
  964. entry:
  965. atomicrmw xor i32* %a, i32 0 seq_cst, !dbg !7
  966. ret void, !dbg !7
  967. }
  968. ; CHECK-LABEL: atomic32_xor_seq_cst
  969. ; CHECK: call i32 @__tsan_atomic32_fetch_xor(i32* %a, i32 0, i32 5), !dbg
  970. define void @atomic32_nand_seq_cst(i32* %a) nounwind uwtable {
  971. entry:
  972. atomicrmw nand i32* %a, i32 0 seq_cst, !dbg !7
  973. ret void, !dbg !7
  974. }
  975. ; CHECK-LABEL: atomic32_nand_seq_cst
  976. ; CHECK: call i32 @__tsan_atomic32_fetch_nand(i32* %a, i32 0, i32 5), !dbg
  977. define void @atomic32_cas_monotonic(i32* %a) nounwind uwtable {
  978. entry:
  979. cmpxchg i32* %a, i32 0, i32 1 monotonic monotonic, !dbg !7
  980. ret void, !dbg !7
  981. }
  982. ; CHECK-LABEL: atomic32_cas_monotonic
  983. ; CHECK: call i32 @__tsan_atomic32_compare_exchange_val(i32* %a, i32 0, i32 1, i32 0, i32 0), !dbg
  984. define void @atomic32_cas_acquire(i32* %a) nounwind uwtable {
  985. entry:
  986. cmpxchg i32* %a, i32 0, i32 1 acquire acquire, !dbg !7
  987. ret void, !dbg !7
  988. }
  989. ; CHECK-LABEL: atomic32_cas_acquire
  990. ; CHECK: call i32 @__tsan_atomic32_compare_exchange_val(i32* %a, i32 0, i32 1, i32 2, i32 2), !dbg
  991. define void @atomic32_cas_release(i32* %a) nounwind uwtable {
  992. entry:
  993. cmpxchg i32* %a, i32 0, i32 1 release monotonic, !dbg !7
  994. ret void, !dbg !7
  995. }
  996. ; CHECK-LABEL: atomic32_cas_release
  997. ; CHECK: call i32 @__tsan_atomic32_compare_exchange_val(i32* %a, i32 0, i32 1, i32 3, i32 0), !dbg
  998. define void @atomic32_cas_acq_rel(i32* %a) nounwind uwtable {
  999. entry:
  1000. cmpxchg i32* %a, i32 0, i32 1 acq_rel acquire, !dbg !7
  1001. ret void, !dbg !7
  1002. }
  1003. ; CHECK-LABEL: atomic32_cas_acq_rel
  1004. ; CHECK: call i32 @__tsan_atomic32_compare_exchange_val(i32* %a, i32 0, i32 1, i32 4, i32 2), !dbg
  1005. define void @atomic32_cas_seq_cst(i32* %a) nounwind uwtable {
  1006. entry:
  1007. cmpxchg i32* %a, i32 0, i32 1 seq_cst seq_cst, !dbg !7
  1008. ret void, !dbg !7
  1009. }
  1010. ; CHECK-LABEL: atomic32_cas_seq_cst
  1011. ; CHECK: call i32 @__tsan_atomic32_compare_exchange_val(i32* %a, i32 0, i32 1, i32 5, i32 5), !dbg
  1012. define i64 @atomic64_load_unordered(i64* %a) nounwind uwtable {
  1013. entry:
  1014. %0 = load atomic i64, i64* %a unordered, align 8, !dbg !7
  1015. ret i64 %0, !dbg !7
  1016. }
  1017. ; CHECK-LABEL: atomic64_load_unordered
  1018. ; CHECK: call i64 @__tsan_atomic64_load(i64* %a, i32 0), !dbg
  1019. define i64 @atomic64_load_monotonic(i64* %a) nounwind uwtable {
  1020. entry:
  1021. %0 = load atomic i64, i64* %a monotonic, align 8, !dbg !7
  1022. ret i64 %0, !dbg !7
  1023. }
  1024. ; CHECK-LABEL: atomic64_load_monotonic
  1025. ; CHECK: call i64 @__tsan_atomic64_load(i64* %a, i32 0), !dbg
  1026. define i64 @atomic64_load_acquire(i64* %a) nounwind uwtable {
  1027. entry:
  1028. %0 = load atomic i64, i64* %a acquire, align 8, !dbg !7
  1029. ret i64 %0, !dbg !7
  1030. }
  1031. ; CHECK-LABEL: atomic64_load_acquire
  1032. ; CHECK: call i64 @__tsan_atomic64_load(i64* %a, i32 2), !dbg
  1033. define i64 @atomic64_load_seq_cst(i64* %a) nounwind uwtable {
  1034. entry:
  1035. %0 = load atomic i64, i64* %a seq_cst, align 8, !dbg !7
  1036. ret i64 %0, !dbg !7
  1037. }
  1038. ; CHECK-LABEL: atomic64_load_seq_cst
  1039. ; CHECK: call i64 @__tsan_atomic64_load(i64* %a, i32 5), !dbg
  1040. define void @atomic64_store_unordered(i64* %a) nounwind uwtable {
  1041. entry:
  1042. store atomic i64 0, i64* %a unordered, align 8, !dbg !7
  1043. ret void, !dbg !7
  1044. }
  1045. ; CHECK-LABEL: atomic64_store_unordered
  1046. ; CHECK: call void @__tsan_atomic64_store(i64* %a, i64 0, i32 0), !dbg
  1047. define void @atomic64_store_monotonic(i64* %a) nounwind uwtable {
  1048. entry:
  1049. store atomic i64 0, i64* %a monotonic, align 8, !dbg !7
  1050. ret void, !dbg !7
  1051. }
  1052. ; CHECK-LABEL: atomic64_store_monotonic
  1053. ; CHECK: call void @__tsan_atomic64_store(i64* %a, i64 0, i32 0), !dbg
  1054. define void @atomic64_store_release(i64* %a) nounwind uwtable {
  1055. entry:
  1056. store atomic i64 0, i64* %a release, align 8, !dbg !7
  1057. ret void, !dbg !7
  1058. }
  1059. ; CHECK-LABEL: atomic64_store_release
  1060. ; CHECK: call void @__tsan_atomic64_store(i64* %a, i64 0, i32 3), !dbg
  1061. define void @atomic64_store_seq_cst(i64* %a) nounwind uwtable {
  1062. entry:
  1063. store atomic i64 0, i64* %a seq_cst, align 8, !dbg !7
  1064. ret void, !dbg !7
  1065. }
  1066. ; CHECK-LABEL: atomic64_store_seq_cst
  1067. ; CHECK: call void @__tsan_atomic64_store(i64* %a, i64 0, i32 5), !dbg
  1068. define void @atomic64_xchg_monotonic(i64* %a) nounwind uwtable {
  1069. entry:
  1070. atomicrmw xchg i64* %a, i64 0 monotonic, !dbg !7
  1071. ret void, !dbg !7
  1072. }
  1073. ; CHECK-LABEL: atomic64_xchg_monotonic
  1074. ; CHECK: call i64 @__tsan_atomic64_exchange(i64* %a, i64 0, i32 0), !dbg
  1075. define void @atomic64_add_monotonic(i64* %a) nounwind uwtable {
  1076. entry:
  1077. atomicrmw add i64* %a, i64 0 monotonic, !dbg !7
  1078. ret void, !dbg !7
  1079. }
  1080. ; CHECK-LABEL: atomic64_add_monotonic
  1081. ; CHECK: call i64 @__tsan_atomic64_fetch_add(i64* %a, i64 0, i32 0), !dbg
  1082. define void @atomic64_sub_monotonic(i64* %a) nounwind uwtable {
  1083. entry:
  1084. atomicrmw sub i64* %a, i64 0 monotonic, !dbg !7
  1085. ret void, !dbg !7
  1086. }
  1087. ; CHECK-LABEL: atomic64_sub_monotonic
  1088. ; CHECK: call i64 @__tsan_atomic64_fetch_sub(i64* %a, i64 0, i32 0), !dbg
  1089. define void @atomic64_and_monotonic(i64* %a) nounwind uwtable {
  1090. entry:
  1091. atomicrmw and i64* %a, i64 0 monotonic, !dbg !7
  1092. ret void, !dbg !7
  1093. }
  1094. ; CHECK-LABEL: atomic64_and_monotonic
  1095. ; CHECK: call i64 @__tsan_atomic64_fetch_and(i64* %a, i64 0, i32 0), !dbg
  1096. define void @atomic64_or_monotonic(i64* %a) nounwind uwtable {
  1097. entry:
  1098. atomicrmw or i64* %a, i64 0 monotonic, !dbg !7
  1099. ret void, !dbg !7
  1100. }
  1101. ; CHECK-LABEL: atomic64_or_monotonic
  1102. ; CHECK: call i64 @__tsan_atomic64_fetch_or(i64* %a, i64 0, i32 0), !dbg
  1103. define void @atomic64_xor_monotonic(i64* %a) nounwind uwtable {
  1104. entry:
  1105. atomicrmw xor i64* %a, i64 0 monotonic, !dbg !7
  1106. ret void, !dbg !7
  1107. }
  1108. ; CHECK-LABEL: atomic64_xor_monotonic
  1109. ; CHECK: call i64 @__tsan_atomic64_fetch_xor(i64* %a, i64 0, i32 0), !dbg
  1110. define void @atomic64_nand_monotonic(i64* %a) nounwind uwtable {
  1111. entry:
  1112. atomicrmw nand i64* %a, i64 0 monotonic, !dbg !7
  1113. ret void, !dbg !7
  1114. }
  1115. ; CHECK-LABEL: atomic64_nand_monotonic
  1116. ; CHECK: call i64 @__tsan_atomic64_fetch_nand(i64* %a, i64 0, i32 0), !dbg
  1117. define void @atomic64_xchg_acquire(i64* %a) nounwind uwtable {
  1118. entry:
  1119. atomicrmw xchg i64* %a, i64 0 acquire, !dbg !7
  1120. ret void, !dbg !7
  1121. }
  1122. ; CHECK-LABEL: atomic64_xchg_acquire
  1123. ; CHECK: call i64 @__tsan_atomic64_exchange(i64* %a, i64 0, i32 2), !dbg
  1124. define void @atomic64_add_acquire(i64* %a) nounwind uwtable {
  1125. entry:
  1126. atomicrmw add i64* %a, i64 0 acquire, !dbg !7
  1127. ret void, !dbg !7
  1128. }
  1129. ; CHECK-LABEL: atomic64_add_acquire
  1130. ; CHECK: call i64 @__tsan_atomic64_fetch_add(i64* %a, i64 0, i32 2), !dbg
  1131. define void @atomic64_sub_acquire(i64* %a) nounwind uwtable {
  1132. entry:
  1133. atomicrmw sub i64* %a, i64 0 acquire, !dbg !7
  1134. ret void, !dbg !7
  1135. }
  1136. ; CHECK-LABEL: atomic64_sub_acquire
  1137. ; CHECK: call i64 @__tsan_atomic64_fetch_sub(i64* %a, i64 0, i32 2), !dbg
  1138. define void @atomic64_and_acquire(i64* %a) nounwind uwtable {
  1139. entry:
  1140. atomicrmw and i64* %a, i64 0 acquire, !dbg !7
  1141. ret void, !dbg !7
  1142. }
  1143. ; CHECK-LABEL: atomic64_and_acquire
  1144. ; CHECK: call i64 @__tsan_atomic64_fetch_and(i64* %a, i64 0, i32 2), !dbg
  1145. define void @atomic64_or_acquire(i64* %a) nounwind uwtable {
  1146. entry:
  1147. atomicrmw or i64* %a, i64 0 acquire, !dbg !7
  1148. ret void, !dbg !7
  1149. }
  1150. ; CHECK-LABEL: atomic64_or_acquire
  1151. ; CHECK: call i64 @__tsan_atomic64_fetch_or(i64* %a, i64 0, i32 2), !dbg
  1152. define void @atomic64_xor_acquire(i64* %a) nounwind uwtable {
  1153. entry:
  1154. atomicrmw xor i64* %a, i64 0 acquire, !dbg !7
  1155. ret void, !dbg !7
  1156. }
  1157. ; CHECK-LABEL: atomic64_xor_acquire
  1158. ; CHECK: call i64 @__tsan_atomic64_fetch_xor(i64* %a, i64 0, i32 2), !dbg
  1159. define void @atomic64_nand_acquire(i64* %a) nounwind uwtable {
  1160. entry:
  1161. atomicrmw nand i64* %a, i64 0 acquire, !dbg !7
  1162. ret void, !dbg !7
  1163. }
  1164. ; CHECK-LABEL: atomic64_nand_acquire
  1165. ; CHECK: call i64 @__tsan_atomic64_fetch_nand(i64* %a, i64 0, i32 2), !dbg
  1166. define void @atomic64_xchg_release(i64* %a) nounwind uwtable {
  1167. entry:
  1168. atomicrmw xchg i64* %a, i64 0 release, !dbg !7
  1169. ret void, !dbg !7
  1170. }
  1171. ; CHECK-LABEL: atomic64_xchg_release
  1172. ; CHECK: call i64 @__tsan_atomic64_exchange(i64* %a, i64 0, i32 3), !dbg
  1173. define void @atomic64_add_release(i64* %a) nounwind uwtable {
  1174. entry:
  1175. atomicrmw add i64* %a, i64 0 release, !dbg !7
  1176. ret void, !dbg !7
  1177. }
  1178. ; CHECK-LABEL: atomic64_add_release
  1179. ; CHECK: call i64 @__tsan_atomic64_fetch_add(i64* %a, i64 0, i32 3), !dbg
  1180. define void @atomic64_sub_release(i64* %a) nounwind uwtable {
  1181. entry:
  1182. atomicrmw sub i64* %a, i64 0 release, !dbg !7
  1183. ret void, !dbg !7
  1184. }
  1185. ; CHECK-LABEL: atomic64_sub_release
  1186. ; CHECK: call i64 @__tsan_atomic64_fetch_sub(i64* %a, i64 0, i32 3), !dbg
  1187. define void @atomic64_and_release(i64* %a) nounwind uwtable {
  1188. entry:
  1189. atomicrmw and i64* %a, i64 0 release, !dbg !7
  1190. ret void, !dbg !7
  1191. }
  1192. ; CHECK-LABEL: atomic64_and_release
  1193. ; CHECK: call i64 @__tsan_atomic64_fetch_and(i64* %a, i64 0, i32 3), !dbg
  1194. define void @atomic64_or_release(i64* %a) nounwind uwtable {
  1195. entry:
  1196. atomicrmw or i64* %a, i64 0 release, !dbg !7
  1197. ret void, !dbg !7
  1198. }
  1199. ; CHECK-LABEL: atomic64_or_release
  1200. ; CHECK: call i64 @__tsan_atomic64_fetch_or(i64* %a, i64 0, i32 3), !dbg
  1201. define void @atomic64_xor_release(i64* %a) nounwind uwtable {
  1202. entry:
  1203. atomicrmw xor i64* %a, i64 0 release, !dbg !7
  1204. ret void, !dbg !7
  1205. }
  1206. ; CHECK-LABEL: atomic64_xor_release
  1207. ; CHECK: call i64 @__tsan_atomic64_fetch_xor(i64* %a, i64 0, i32 3), !dbg
  1208. define void @atomic64_nand_release(i64* %a) nounwind uwtable {
  1209. entry:
  1210. atomicrmw nand i64* %a, i64 0 release, !dbg !7
  1211. ret void, !dbg !7
  1212. }
  1213. ; CHECK-LABEL: atomic64_nand_release
  1214. ; CHECK: call i64 @__tsan_atomic64_fetch_nand(i64* %a, i64 0, i32 3), !dbg
  1215. define void @atomic64_xchg_acq_rel(i64* %a) nounwind uwtable {
  1216. entry:
  1217. atomicrmw xchg i64* %a, i64 0 acq_rel, !dbg !7
  1218. ret void, !dbg !7
  1219. }
  1220. ; CHECK-LABEL: atomic64_xchg_acq_rel
  1221. ; CHECK: call i64 @__tsan_atomic64_exchange(i64* %a, i64 0, i32 4), !dbg
  1222. define void @atomic64_add_acq_rel(i64* %a) nounwind uwtable {
  1223. entry:
  1224. atomicrmw add i64* %a, i64 0 acq_rel, !dbg !7
  1225. ret void, !dbg !7
  1226. }
  1227. ; CHECK-LABEL: atomic64_add_acq_rel
  1228. ; CHECK: call i64 @__tsan_atomic64_fetch_add(i64* %a, i64 0, i32 4), !dbg
  1229. define void @atomic64_sub_acq_rel(i64* %a) nounwind uwtable {
  1230. entry:
  1231. atomicrmw sub i64* %a, i64 0 acq_rel, !dbg !7
  1232. ret void, !dbg !7
  1233. }
  1234. ; CHECK-LABEL: atomic64_sub_acq_rel
  1235. ; CHECK: call i64 @__tsan_atomic64_fetch_sub(i64* %a, i64 0, i32 4), !dbg
  1236. define void @atomic64_and_acq_rel(i64* %a) nounwind uwtable {
  1237. entry:
  1238. atomicrmw and i64* %a, i64 0 acq_rel, !dbg !7
  1239. ret void, !dbg !7
  1240. }
  1241. ; CHECK-LABEL: atomic64_and_acq_rel
  1242. ; CHECK: call i64 @__tsan_atomic64_fetch_and(i64* %a, i64 0, i32 4), !dbg
  1243. define void @atomic64_or_acq_rel(i64* %a) nounwind uwtable {
  1244. entry:
  1245. atomicrmw or i64* %a, i64 0 acq_rel, !dbg !7
  1246. ret void, !dbg !7
  1247. }
  1248. ; CHECK-LABEL: atomic64_or_acq_rel
  1249. ; CHECK: call i64 @__tsan_atomic64_fetch_or(i64* %a, i64 0, i32 4), !dbg
  1250. define void @atomic64_xor_acq_rel(i64* %a) nounwind uwtable {
  1251. entry:
  1252. atomicrmw xor i64* %a, i64 0 acq_rel, !dbg !7
  1253. ret void, !dbg !7
  1254. }
  1255. ; CHECK-LABEL: atomic64_xor_acq_rel
  1256. ; CHECK: call i64 @__tsan_atomic64_fetch_xor(i64* %a, i64 0, i32 4), !dbg
  1257. define void @atomic64_nand_acq_rel(i64* %a) nounwind uwtable {
  1258. entry:
  1259. atomicrmw nand i64* %a, i64 0 acq_rel, !dbg !7
  1260. ret void, !dbg !7
  1261. }
  1262. ; CHECK-LABEL: atomic64_nand_acq_rel
  1263. ; CHECK: call i64 @__tsan_atomic64_fetch_nand(i64* %a, i64 0, i32 4), !dbg
  1264. define void @atomic64_xchg_seq_cst(i64* %a) nounwind uwtable {
  1265. entry:
  1266. atomicrmw xchg i64* %a, i64 0 seq_cst, !dbg !7
  1267. ret void, !dbg !7
  1268. }
  1269. ; CHECK-LABEL: atomic64_xchg_seq_cst
  1270. ; CHECK: call i64 @__tsan_atomic64_exchange(i64* %a, i64 0, i32 5), !dbg
  1271. define void @atomic64_add_seq_cst(i64* %a) nounwind uwtable {
  1272. entry:
  1273. atomicrmw add i64* %a, i64 0 seq_cst, !dbg !7
  1274. ret void, !dbg !7
  1275. }
  1276. ; CHECK-LABEL: atomic64_add_seq_cst
  1277. ; CHECK: call i64 @__tsan_atomic64_fetch_add(i64* %a, i64 0, i32 5), !dbg
  1278. define void @atomic64_sub_seq_cst(i64* %a) nounwind uwtable {
  1279. entry:
  1280. atomicrmw sub i64* %a, i64 0 seq_cst, !dbg !7
  1281. ret void, !dbg !7
  1282. }
  1283. ; CHECK-LABEL: atomic64_sub_seq_cst
  1284. ; CHECK: call i64 @__tsan_atomic64_fetch_sub(i64* %a, i64 0, i32 5), !dbg
  1285. define void @atomic64_and_seq_cst(i64* %a) nounwind uwtable {
  1286. entry:
  1287. atomicrmw and i64* %a, i64 0 seq_cst, !dbg !7
  1288. ret void, !dbg !7
  1289. }
  1290. ; CHECK-LABEL: atomic64_and_seq_cst
  1291. ; CHECK: call i64 @__tsan_atomic64_fetch_and(i64* %a, i64 0, i32 5), !dbg
  1292. define void @atomic64_or_seq_cst(i64* %a) nounwind uwtable {
  1293. entry:
  1294. atomicrmw or i64* %a, i64 0 seq_cst, !dbg !7
  1295. ret void, !dbg !7
  1296. }
  1297. ; CHECK-LABEL: atomic64_or_seq_cst
  1298. ; CHECK: call i64 @__tsan_atomic64_fetch_or(i64* %a, i64 0, i32 5), !dbg
  1299. define void @atomic64_xor_seq_cst(i64* %a) nounwind uwtable {
  1300. entry:
  1301. atomicrmw xor i64* %a, i64 0 seq_cst, !dbg !7
  1302. ret void, !dbg !7
  1303. }
  1304. ; CHECK-LABEL: atomic64_xor_seq_cst
  1305. ; CHECK: call i64 @__tsan_atomic64_fetch_xor(i64* %a, i64 0, i32 5), !dbg
  1306. define void @atomic64_nand_seq_cst(i64* %a) nounwind uwtable {
  1307. entry:
  1308. atomicrmw nand i64* %a, i64 0 seq_cst, !dbg !7
  1309. ret void, !dbg !7
  1310. }
  1311. ; CHECK-LABEL: atomic64_nand_seq_cst
  1312. ; CHECK: call i64 @__tsan_atomic64_fetch_nand(i64* %a, i64 0, i32 5), !dbg
  1313. define void @atomic64_cas_monotonic(i64* %a) nounwind uwtable {
  1314. entry:
  1315. cmpxchg i64* %a, i64 0, i64 1 monotonic monotonic, !dbg !7
  1316. ret void, !dbg !7
  1317. }
  1318. ; CHECK-LABEL: atomic64_cas_monotonic
  1319. ; CHECK: call i64 @__tsan_atomic64_compare_exchange_val(i64* %a, i64 0, i64 1, i32 0, i32 0), !dbg
  1320. define void @atomic64_cas_acquire(i64* %a) nounwind uwtable {
  1321. entry:
  1322. cmpxchg i64* %a, i64 0, i64 1 acquire acquire, !dbg !7
  1323. ret void, !dbg !7
  1324. }
  1325. ; CHECK-LABEL: atomic64_cas_acquire
  1326. ; CHECK: call i64 @__tsan_atomic64_compare_exchange_val(i64* %a, i64 0, i64 1, i32 2, i32 2), !dbg
  1327. define void @atomic64_cas_release(i64* %a) nounwind uwtable {
  1328. entry:
  1329. cmpxchg i64* %a, i64 0, i64 1 release monotonic, !dbg !7
  1330. ret void, !dbg !7
  1331. }
  1332. ; CHECK-LABEL: atomic64_cas_release
  1333. ; CHECK: call i64 @__tsan_atomic64_compare_exchange_val(i64* %a, i64 0, i64 1, i32 3, i32 0), !dbg
  1334. define void @atomic64_cas_acq_rel(i64* %a) nounwind uwtable {
  1335. entry:
  1336. cmpxchg i64* %a, i64 0, i64 1 acq_rel acquire, !dbg !7
  1337. ret void, !dbg !7
  1338. }
  1339. ; CHECK-LABEL: atomic64_cas_acq_rel
  1340. ; CHECK: call i64 @__tsan_atomic64_compare_exchange_val(i64* %a, i64 0, i64 1, i32 4, i32 2), !dbg
  1341. define void @atomic64_cas_seq_cst(i64* %a) nounwind uwtable {
  1342. entry:
  1343. cmpxchg i64* %a, i64 0, i64 1 seq_cst seq_cst, !dbg !7
  1344. ret void, !dbg !7
  1345. }
  1346. ; CHECK-LABEL: atomic64_cas_seq_cst
  1347. ; CHECK: call i64 @__tsan_atomic64_compare_exchange_val(i64* %a, i64 0, i64 1, i32 5, i32 5), !dbg
  1348. define i128 @atomic128_load_unordered(i128* %a) nounwind uwtable {
  1349. entry:
  1350. %0 = load atomic i128, i128* %a unordered, align 16, !dbg !7
  1351. ret i128 %0, !dbg !7
  1352. }
  1353. ; CHECK-LABEL: atomic128_load_unordered
  1354. ; CHECK: call i128 @__tsan_atomic128_load(i128* %a, i32 0), !dbg
  1355. define i128 @atomic128_load_monotonic(i128* %a) nounwind uwtable {
  1356. entry:
  1357. %0 = load atomic i128, i128* %a monotonic, align 16, !dbg !7
  1358. ret i128 %0, !dbg !7
  1359. }
  1360. ; CHECK-LABEL: atomic128_load_monotonic
  1361. ; CHECK: call i128 @__tsan_atomic128_load(i128* %a, i32 0), !dbg
  1362. define i128 @atomic128_load_acquire(i128* %a) nounwind uwtable {
  1363. entry:
  1364. %0 = load atomic i128, i128* %a acquire, align 16, !dbg !7
  1365. ret i128 %0, !dbg !7
  1366. }
  1367. ; CHECK-LABEL: atomic128_load_acquire
  1368. ; CHECK: call i128 @__tsan_atomic128_load(i128* %a, i32 2), !dbg
  1369. define i128 @atomic128_load_seq_cst(i128* %a) nounwind uwtable {
  1370. entry:
  1371. %0 = load atomic i128, i128* %a seq_cst, align 16, !dbg !7
  1372. ret i128 %0, !dbg !7
  1373. }
  1374. ; CHECK-LABEL: atomic128_load_seq_cst
  1375. ; CHECK: call i128 @__tsan_atomic128_load(i128* %a, i32 5), !dbg
  1376. define void @atomic128_store_unordered(i128* %a) nounwind uwtable {
  1377. entry:
  1378. store atomic i128 0, i128* %a unordered, align 16, !dbg !7
  1379. ret void, !dbg !7
  1380. }
  1381. ; CHECK-LABEL: atomic128_store_unordered
  1382. ; CHECK: call void @__tsan_atomic128_store(i128* %a, i128 0, i32 0), !dbg
  1383. define void @atomic128_store_monotonic(i128* %a) nounwind uwtable {
  1384. entry:
  1385. store atomic i128 0, i128* %a monotonic, align 16, !dbg !7
  1386. ret void, !dbg !7
  1387. }
  1388. ; CHECK-LABEL: atomic128_store_monotonic
  1389. ; CHECK: call void @__tsan_atomic128_store(i128* %a, i128 0, i32 0), !dbg
  1390. define void @atomic128_store_release(i128* %a) nounwind uwtable {
  1391. entry:
  1392. store atomic i128 0, i128* %a release, align 16, !dbg !7
  1393. ret void, !dbg !7
  1394. }
  1395. ; CHECK-LABEL: atomic128_store_release
  1396. ; CHECK: call void @__tsan_atomic128_store(i128* %a, i128 0, i32 3), !dbg
  1397. define void @atomic128_store_seq_cst(i128* %a) nounwind uwtable {
  1398. entry:
  1399. store atomic i128 0, i128* %a seq_cst, align 16, !dbg !7
  1400. ret void, !dbg !7
  1401. }
  1402. ; CHECK-LABEL: atomic128_store_seq_cst
  1403. ; CHECK: call void @__tsan_atomic128_store(i128* %a, i128 0, i32 5), !dbg
  1404. define void @atomic128_xchg_monotonic(i128* %a) nounwind uwtable {
  1405. entry:
  1406. atomicrmw xchg i128* %a, i128 0 monotonic, !dbg !7
  1407. ret void, !dbg !7
  1408. }
  1409. ; CHECK-LABEL: atomic128_xchg_monotonic
  1410. ; CHECK: call i128 @__tsan_atomic128_exchange(i128* %a, i128 0, i32 0), !dbg
  1411. define void @atomic128_add_monotonic(i128* %a) nounwind uwtable {
  1412. entry:
  1413. atomicrmw add i128* %a, i128 0 monotonic, !dbg !7
  1414. ret void, !dbg !7
  1415. }
  1416. ; CHECK-LABEL: atomic128_add_monotonic
  1417. ; CHECK: call i128 @__tsan_atomic128_fetch_add(i128* %a, i128 0, i32 0), !dbg
  1418. define void @atomic128_sub_monotonic(i128* %a) nounwind uwtable {
  1419. entry:
  1420. atomicrmw sub i128* %a, i128 0 monotonic, !dbg !7
  1421. ret void, !dbg !7
  1422. }
  1423. ; CHECK-LABEL: atomic128_sub_monotonic
  1424. ; CHECK: call i128 @__tsan_atomic128_fetch_sub(i128* %a, i128 0, i32 0), !dbg
  1425. define void @atomic128_and_monotonic(i128* %a) nounwind uwtable {
  1426. entry:
  1427. atomicrmw and i128* %a, i128 0 monotonic, !dbg !7
  1428. ret void, !dbg !7
  1429. }
  1430. ; CHECK-LABEL: atomic128_and_monotonic
  1431. ; CHECK: call i128 @__tsan_atomic128_fetch_and(i128* %a, i128 0, i32 0), !dbg
  1432. define void @atomic128_or_monotonic(i128* %a) nounwind uwtable {
  1433. entry:
  1434. atomicrmw or i128* %a, i128 0 monotonic, !dbg !7
  1435. ret void, !dbg !7
  1436. }
  1437. ; CHECK-LABEL: atomic128_or_monotonic
  1438. ; CHECK: call i128 @__tsan_atomic128_fetch_or(i128* %a, i128 0, i32 0), !dbg
  1439. define void @atomic128_xor_monotonic(i128* %a) nounwind uwtable {
  1440. entry:
  1441. atomicrmw xor i128* %a, i128 0 monotonic, !dbg !7
  1442. ret void, !dbg !7
  1443. }
  1444. ; CHECK-LABEL: atomic128_xor_monotonic
  1445. ; CHECK: call i128 @__tsan_atomic128_fetch_xor(i128* %a, i128 0, i32 0), !dbg
  1446. define void @atomic128_nand_monotonic(i128* %a) nounwind uwtable {
  1447. entry:
  1448. atomicrmw nand i128* %a, i128 0 monotonic, !dbg !7
  1449. ret void, !dbg !7
  1450. }
  1451. ; CHECK-LABEL: atomic128_nand_monotonic
  1452. ; CHECK: call i128 @__tsan_atomic128_fetch_nand(i128* %a, i128 0, i32 0), !dbg
  1453. define void @atomic128_xchg_acquire(i128* %a) nounwind uwtable {
  1454. entry:
  1455. atomicrmw xchg i128* %a, i128 0 acquire, !dbg !7
  1456. ret void, !dbg !7
  1457. }
  1458. ; CHECK-LABEL: atomic128_xchg_acquire
  1459. ; CHECK: call i128 @__tsan_atomic128_exchange(i128* %a, i128 0, i32 2), !dbg
  1460. define void @atomic128_add_acquire(i128* %a) nounwind uwtable {
  1461. entry:
  1462. atomicrmw add i128* %a, i128 0 acquire, !dbg !7
  1463. ret void, !dbg !7
  1464. }
  1465. ; CHECK-LABEL: atomic128_add_acquire
  1466. ; CHECK: call i128 @__tsan_atomic128_fetch_add(i128* %a, i128 0, i32 2), !dbg
  1467. define void @atomic128_sub_acquire(i128* %a) nounwind uwtable {
  1468. entry:
  1469. atomicrmw sub i128* %a, i128 0 acquire, !dbg !7
  1470. ret void, !dbg !7
  1471. }
  1472. ; CHECK-LABEL: atomic128_sub_acquire
  1473. ; CHECK: call i128 @__tsan_atomic128_fetch_sub(i128* %a, i128 0, i32 2), !dbg
  1474. define void @atomic128_and_acquire(i128* %a) nounwind uwtable {
  1475. entry:
  1476. atomicrmw and i128* %a, i128 0 acquire, !dbg !7
  1477. ret void, !dbg !7
  1478. }
  1479. ; CHECK-LABEL: atomic128_and_acquire
  1480. ; CHECK: call i128 @__tsan_atomic128_fetch_and(i128* %a, i128 0, i32 2), !dbg
  1481. define void @atomic128_or_acquire(i128* %a) nounwind uwtable {
  1482. entry:
  1483. atomicrmw or i128* %a, i128 0 acquire, !dbg !7
  1484. ret void, !dbg !7
  1485. }
  1486. ; CHECK-LABEL: atomic128_or_acquire
  1487. ; CHECK: call i128 @__tsan_atomic128_fetch_or(i128* %a, i128 0, i32 2), !dbg
  1488. define void @atomic128_xor_acquire(i128* %a) nounwind uwtable {
  1489. entry:
  1490. atomicrmw xor i128* %a, i128 0 acquire, !dbg !7
  1491. ret void, !dbg !7
  1492. }
  1493. ; CHECK-LABEL: atomic128_xor_acquire
  1494. ; CHECK: call i128 @__tsan_atomic128_fetch_xor(i128* %a, i128 0, i32 2), !dbg
  1495. define void @atomic128_nand_acquire(i128* %a) nounwind uwtable {
  1496. entry:
  1497. atomicrmw nand i128* %a, i128 0 acquire, !dbg !7
  1498. ret void, !dbg !7
  1499. }
  1500. ; CHECK-LABEL: atomic128_nand_acquire
  1501. ; CHECK: call i128 @__tsan_atomic128_fetch_nand(i128* %a, i128 0, i32 2), !dbg
  1502. define void @atomic128_xchg_release(i128* %a) nounwind uwtable {
  1503. entry:
  1504. atomicrmw xchg i128* %a, i128 0 release, !dbg !7
  1505. ret void, !dbg !7
  1506. }
  1507. ; CHECK-LABEL: atomic128_xchg_release
  1508. ; CHECK: call i128 @__tsan_atomic128_exchange(i128* %a, i128 0, i32 3), !dbg
  1509. define void @atomic128_add_release(i128* %a) nounwind uwtable {
  1510. entry:
  1511. atomicrmw add i128* %a, i128 0 release, !dbg !7
  1512. ret void, !dbg !7
  1513. }
  1514. ; CHECK-LABEL: atomic128_add_release
  1515. ; CHECK: call i128 @__tsan_atomic128_fetch_add(i128* %a, i128 0, i32 3), !dbg
  1516. define void @atomic128_sub_release(i128* %a) nounwind uwtable {
  1517. entry:
  1518. atomicrmw sub i128* %a, i128 0 release, !dbg !7
  1519. ret void, !dbg !7
  1520. }
  1521. ; CHECK-LABEL: atomic128_sub_release
  1522. ; CHECK: call i128 @__tsan_atomic128_fetch_sub(i128* %a, i128 0, i32 3), !dbg
  1523. define void @atomic128_and_release(i128* %a) nounwind uwtable {
  1524. entry:
  1525. atomicrmw and i128* %a, i128 0 release, !dbg !7
  1526. ret void, !dbg !7
  1527. }
  1528. ; CHECK-LABEL: atomic128_and_release
  1529. ; CHECK: call i128 @__tsan_atomic128_fetch_and(i128* %a, i128 0, i32 3), !dbg
  1530. define void @atomic128_or_release(i128* %a) nounwind uwtable {
  1531. entry:
  1532. atomicrmw or i128* %a, i128 0 release, !dbg !7
  1533. ret void, !dbg !7
  1534. }
  1535. ; CHECK-LABEL: atomic128_or_release
  1536. ; CHECK: call i128 @__tsan_atomic128_fetch_or(i128* %a, i128 0, i32 3), !dbg
  1537. define void @atomic128_xor_release(i128* %a) nounwind uwtable {
  1538. entry:
  1539. atomicrmw xor i128* %a, i128 0 release, !dbg !7
  1540. ret void, !dbg !7
  1541. }
  1542. ; CHECK-LABEL: atomic128_xor_release
  1543. ; CHECK: call i128 @__tsan_atomic128_fetch_xor(i128* %a, i128 0, i32 3), !dbg
  1544. define void @atomic128_nand_release(i128* %a) nounwind uwtable {
  1545. entry:
  1546. atomicrmw nand i128* %a, i128 0 release, !dbg !7
  1547. ret void, !dbg !7
  1548. }
  1549. ; CHECK-LABEL: atomic128_nand_release
  1550. ; CHECK: call i128 @__tsan_atomic128_fetch_nand(i128* %a, i128 0, i32 3), !dbg
  1551. define void @atomic128_xchg_acq_rel(i128* %a) nounwind uwtable {
  1552. entry:
  1553. atomicrmw xchg i128* %a, i128 0 acq_rel, !dbg !7
  1554. ret void, !dbg !7
  1555. }
  1556. ; CHECK-LABEL: atomic128_xchg_acq_rel
  1557. ; CHECK: call i128 @__tsan_atomic128_exchange(i128* %a, i128 0, i32 4), !dbg
  1558. define void @atomic128_add_acq_rel(i128* %a) nounwind uwtable {
  1559. entry:
  1560. atomicrmw add i128* %a, i128 0 acq_rel, !dbg !7
  1561. ret void, !dbg !7
  1562. }
  1563. ; CHECK-LABEL: atomic128_add_acq_rel
  1564. ; CHECK: call i128 @__tsan_atomic128_fetch_add(i128* %a, i128 0, i32 4), !dbg
  1565. define void @atomic128_sub_acq_rel(i128* %a) nounwind uwtable {
  1566. entry:
  1567. atomicrmw sub i128* %a, i128 0 acq_rel, !dbg !7
  1568. ret void, !dbg !7
  1569. }
  1570. ; CHECK-LABEL: atomic128_sub_acq_rel
  1571. ; CHECK: call i128 @__tsan_atomic128_fetch_sub(i128* %a, i128 0, i32 4), !dbg
  1572. define void @atomic128_and_acq_rel(i128* %a) nounwind uwtable {
  1573. entry:
  1574. atomicrmw and i128* %a, i128 0 acq_rel, !dbg !7
  1575. ret void, !dbg !7
  1576. }
  1577. ; CHECK-LABEL: atomic128_and_acq_rel
  1578. ; CHECK: call i128 @__tsan_atomic128_fetch_and(i128* %a, i128 0, i32 4), !dbg
  1579. define void @atomic128_or_acq_rel(i128* %a) nounwind uwtable {
  1580. entry:
  1581. atomicrmw or i128* %a, i128 0 acq_rel, !dbg !7
  1582. ret void, !dbg !7
  1583. }
  1584. ; CHECK-LABEL: atomic128_or_acq_rel
  1585. ; CHECK: call i128 @__tsan_atomic128_fetch_or(i128* %a, i128 0, i32 4), !dbg
  1586. define void @atomic128_xor_acq_rel(i128* %a) nounwind uwtable {
  1587. entry:
  1588. atomicrmw xor i128* %a, i128 0 acq_rel, !dbg !7
  1589. ret void, !dbg !7
  1590. }
  1591. ; CHECK-LABEL: atomic128_xor_acq_rel
  1592. ; CHECK: call i128 @__tsan_atomic128_fetch_xor(i128* %a, i128 0, i32 4), !dbg
  1593. define void @atomic128_nand_acq_rel(i128* %a) nounwind uwtable {
  1594. entry:
  1595. atomicrmw nand i128* %a, i128 0 acq_rel, !dbg !7
  1596. ret void, !dbg !7
  1597. }
  1598. ; CHECK-LABEL: atomic128_nand_acq_rel
  1599. ; CHECK: call i128 @__tsan_atomic128_fetch_nand(i128* %a, i128 0, i32 4), !dbg
  1600. define void @atomic128_xchg_seq_cst(i128* %a) nounwind uwtable {
  1601. entry:
  1602. atomicrmw xchg i128* %a, i128 0 seq_cst, !dbg !7
  1603. ret void, !dbg !7
  1604. }
  1605. ; CHECK-LABEL: atomic128_xchg_seq_cst
  1606. ; CHECK: call i128 @__tsan_atomic128_exchange(i128* %a, i128 0, i32 5), !dbg
  1607. define void @atomic128_add_seq_cst(i128* %a) nounwind uwtable {
  1608. entry:
  1609. atomicrmw add i128* %a, i128 0 seq_cst, !dbg !7
  1610. ret void, !dbg !7
  1611. }
  1612. ; CHECK-LABEL: atomic128_add_seq_cst
  1613. ; CHECK: call i128 @__tsan_atomic128_fetch_add(i128* %a, i128 0, i32 5), !dbg
  1614. define void @atomic128_sub_seq_cst(i128* %a) nounwind uwtable {
  1615. entry:
  1616. atomicrmw sub i128* %a, i128 0 seq_cst, !dbg !7
  1617. ret void, !dbg !7
  1618. }
  1619. ; CHECK-LABEL: atomic128_sub_seq_cst
  1620. ; CHECK: call i128 @__tsan_atomic128_fetch_sub(i128* %a, i128 0, i32 5), !dbg
  1621. define void @atomic128_and_seq_cst(i128* %a) nounwind uwtable {
  1622. entry:
  1623. atomicrmw and i128* %a, i128 0 seq_cst, !dbg !7
  1624. ret void, !dbg !7
  1625. }
  1626. ; CHECK-LABEL: atomic128_and_seq_cst
  1627. ; CHECK: call i128 @__tsan_atomic128_fetch_and(i128* %a, i128 0, i32 5), !dbg
  1628. define void @atomic128_or_seq_cst(i128* %a) nounwind uwtable {
  1629. entry:
  1630. atomicrmw or i128* %a, i128 0 seq_cst, !dbg !7
  1631. ret void, !dbg !7
  1632. }
  1633. ; CHECK-LABEL: atomic128_or_seq_cst
  1634. ; CHECK: call i128 @__tsan_atomic128_fetch_or(i128* %a, i128 0, i32 5), !dbg
  1635. define void @atomic128_xor_seq_cst(i128* %a) nounwind uwtable {
  1636. entry:
  1637. atomicrmw xor i128* %a, i128 0 seq_cst, !dbg !7
  1638. ret void, !dbg !7
  1639. }
  1640. ; CHECK-LABEL: atomic128_xor_seq_cst
  1641. ; CHECK: call i128 @__tsan_atomic128_fetch_xor(i128* %a, i128 0, i32 5), !dbg
  1642. define void @atomic128_nand_seq_cst(i128* %a) nounwind uwtable {
  1643. entry:
  1644. atomicrmw nand i128* %a, i128 0 seq_cst, !dbg !7
  1645. ret void, !dbg !7
  1646. }
  1647. ; CHECK-LABEL: atomic128_nand_seq_cst
  1648. ; CHECK: call i128 @__tsan_atomic128_fetch_nand(i128* %a, i128 0, i32 5), !dbg
  1649. define void @atomic128_cas_monotonic(i128* %a) nounwind uwtable {
  1650. entry:
  1651. cmpxchg i128* %a, i128 0, i128 1 monotonic monotonic, !dbg !7
  1652. ret void, !dbg !7
  1653. }
  1654. ; CHECK-LABEL: atomic128_cas_monotonic
  1655. ; CHECK: call i128 @__tsan_atomic128_compare_exchange_val(i128* %a, i128 0, i128 1, i32 0, i32 0), !dbg
  1656. define void @atomic128_cas_acquire(i128* %a) nounwind uwtable {
  1657. entry:
  1658. cmpxchg i128* %a, i128 0, i128 1 acquire acquire, !dbg !7
  1659. ret void, !dbg !7
  1660. }
  1661. ; CHECK-LABEL: atomic128_cas_acquire
  1662. ; CHECK: call i128 @__tsan_atomic128_compare_exchange_val(i128* %a, i128 0, i128 1, i32 2, i32 2), !dbg
  1663. define void @atomic128_cas_release(i128* %a) nounwind uwtable {
  1664. entry:
  1665. cmpxchg i128* %a, i128 0, i128 1 release monotonic, !dbg !7
  1666. ret void, !dbg !7
  1667. }
  1668. ; CHECK-LABEL: atomic128_cas_release
  1669. ; CHECK: call i128 @__tsan_atomic128_compare_exchange_val(i128* %a, i128 0, i128 1, i32 3, i32 0), !dbg
  1670. define void @atomic128_cas_acq_rel(i128* %a) nounwind uwtable {
  1671. entry:
  1672. cmpxchg i128* %a, i128 0, i128 1 acq_rel acquire, !dbg !7
  1673. ret void, !dbg !7
  1674. }
  1675. ; CHECK-LABEL: atomic128_cas_acq_rel
  1676. ; CHECK: call i128 @__tsan_atomic128_compare_exchange_val(i128* %a, i128 0, i128 1, i32 4, i32 2), !dbg
  1677. define void @atomic128_cas_seq_cst(i128* %a) nounwind uwtable {
  1678. entry:
  1679. cmpxchg i128* %a, i128 0, i128 1 seq_cst seq_cst, !dbg !7
  1680. ret void, !dbg !7
  1681. }
  1682. ; CHECK-LABEL: atomic128_cas_seq_cst
  1683. ; CHECK: call i128 @__tsan_atomic128_compare_exchange_val(i128* %a, i128 0, i128 1, i32 5, i32 5), !dbg
  1684. define void @atomic_signal_fence_acquire() nounwind uwtable {
  1685. entry:
  1686. fence singlethread acquire, !dbg !7
  1687. ret void, !dbg !7
  1688. }
  1689. ; CHECK-LABEL: atomic_signal_fence_acquire
  1690. ; CHECK: call void @__tsan_atomic_signal_fence(i32 2), !dbg
  1691. define void @atomic_thread_fence_acquire() nounwind uwtable {
  1692. entry:
  1693. fence acquire, !dbg !7
  1694. ret void, !dbg !7
  1695. }
  1696. ; CHECK-LABEL: atomic_thread_fence_acquire
  1697. ; CHECK: call void @__tsan_atomic_thread_fence(i32 2), !dbg
  1698. define void @atomic_signal_fence_release() nounwind uwtable {
  1699. entry:
  1700. fence singlethread release, !dbg !7
  1701. ret void, !dbg !7
  1702. }
  1703. ; CHECK-LABEL: atomic_signal_fence_release
  1704. ; CHECK: call void @__tsan_atomic_signal_fence(i32 3), !dbg
  1705. define void @atomic_thread_fence_release() nounwind uwtable {
  1706. entry:
  1707. fence release, !dbg !7
  1708. ret void, !dbg !7
  1709. }
  1710. ; CHECK-LABEL: atomic_thread_fence_release
  1711. ; CHECK: call void @__tsan_atomic_thread_fence(i32 3), !dbg
  1712. define void @atomic_signal_fence_acq_rel() nounwind uwtable {
  1713. entry:
  1714. fence singlethread acq_rel, !dbg !7
  1715. ret void, !dbg !7
  1716. }
  1717. ; CHECK-LABEL: atomic_signal_fence_acq_rel
  1718. ; CHECK: call void @__tsan_atomic_signal_fence(i32 4), !dbg
  1719. define void @atomic_thread_fence_acq_rel() nounwind uwtable {
  1720. entry:
  1721. fence acq_rel, !dbg !7
  1722. ret void, !dbg !7
  1723. }
  1724. ; CHECK-LABEL: atomic_thread_fence_acq_rel
  1725. ; CHECK: call void @__tsan_atomic_thread_fence(i32 4), !dbg
  1726. define void @atomic_signal_fence_seq_cst() nounwind uwtable {
  1727. entry:
  1728. fence singlethread seq_cst, !dbg !7
  1729. ret void, !dbg !7
  1730. }
  1731. ; CHECK-LABEL: atomic_signal_fence_seq_cst
  1732. ; CHECK: call void @__tsan_atomic_signal_fence(i32 5), !dbg
  1733. define void @atomic_thread_fence_seq_cst() nounwind uwtable {
  1734. entry:
  1735. fence seq_cst, !dbg !7
  1736. ret void, !dbg !7
  1737. }
  1738. ; CHECK-LABEL: atomic_thread_fence_seq_cst
  1739. ; CHECK: call void @__tsan_atomic_thread_fence(i32 5), !dbg
  1740. !llvm.module.flags = !{!0, !1, !2}
  1741. !0 = !{i32 2, !"Dwarf Version", i32 4}
  1742. !1 = !{i32 2, !"Debug Info Version", i32 3}
  1743. !2 = !{i32 1, !"PIC Level", i32 2}
  1744. !3 = !{}
  1745. !4 = !DISubroutineType(types: !3)
  1746. !5 = !DIFile(filename: "atomic.cpp", directory: "/tmp")
  1747. !6 = !DISubprogram(name: "test", scope: !5, file: !5, line: 99, type: !4, isLocal: false, isDefinition: true, scopeLine: 100, flags: DIFlagPrototyped, isOptimized: false, variables: !3)
  1748. !7 = !DILocation(line: 100, column: 1, scope: !6)